runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3159122-1304072924/watcher-3159122-1304072924 -o /tmp/evaluation-result-3159122-1304072924/solver-3159122-1304072924 -C 4800 -W 1300 -M 15500 HOME/csls-pnorm -maxcores 8 HOME/instance-3159122-1304072924.cnf 4 717309152
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.45 7.95 7.83 6/180 24297
/proc/meminfo: memFree=22592336/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 422 0 0 0 0 0 0 0 25 0 4 0 518889467 51978240 361 33554432000 4194304 4563110 140734912013520 18446744073709551615 47134417528744 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 12690 361 298 91 0 8208 0
[pid=24297/tid=24298] ppid=24295 vsize=168188 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 4 0 518889468 172224512 386 33554432000 4194304 4563110 140734912013520 18446744073709551615 4309425 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=120396 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 4 0 518889468 123285504 396 33554432000 4194304 4563110 140734912013520 18446744073709551615 239476738138 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 4 0 518889468 131682304 418 33554432000 4194304 4563110 140734912013520 18446744073709551615 4328755 0 0 4096 16384 0 0 0 -1 1 0 0 0
[startup+0.106798 s]
/proc/loadavg: 7.45 7.95 7.83 6/180 24297
/proc/meminfo: memFree=22592336/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=0.4 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 40 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451208 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=0.1 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 10 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438932 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=0.1 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 10 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439112 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=0.1 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 10 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4223039 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 128596
[startup+0.20078 s]
/proc/loadavg: 7.45 7.95 7.83 6/180 24297
/proc/meminfo: memFree=22592336/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=0.78 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 78 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451727 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 19 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439544 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 19 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 19 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438925 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 128596
[startup+0.300761 s]
/proc/loadavg: 7.45 7.95 7.83 6/180 24297
/proc/meminfo: memFree=22592336/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=1.18 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 118 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4324464 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 29 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229665 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 29 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438997 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 29 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4228919 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 128596
[startup+0.700684 s]
/proc/loadavg: 7.45 7.95 7.83 6/180 24297
/proc/meminfo: memFree=22592336/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=2.78 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 278 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4450759 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 69 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 69 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438416 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 69 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438936 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 128596
[startup+1.50053 s]
/proc/loadavg: 7.45 7.95 7.83 9/184 24301
/proc/meminfo: memFree=22589832/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=5.97 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 597 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451252 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=1.48 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 148 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438416 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 149 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438853 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 149 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439010 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 128596
[startup+3.10022 s]
/proc/loadavg: 7.45 7.95 7.83 9/184 24301
/proc/meminfo: memFree=22589412/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=12.37 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 1237 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451357 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=3.08 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 308 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439155 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 309 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439126 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 309 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229062 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 128596
[startup+6.30061 s]
/proc/loadavg: 7.50 7.96 7.83 9/184 24301
/proc/meminfo: memFree=22589308/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=25.15 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 2515 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451710 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=6.27 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 627 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438408 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 629 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 629 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438853 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 128596
[startup+12.7004 s]
/proc/loadavg: 7.54 7.96 7.83 9/184 24301
/proc/meminfo: memFree=22588728/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=50.72 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 5072 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4233619 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=12.64 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 1264 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4435568 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 1269 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439561 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 1269 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229335 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 128596
[startup+25.5009 s]
/proc/loadavg: 7.64 7.96 7.83 9/184 24302
/proc/meminfo: memFree=22588724/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=101.87 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 10187 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451383 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=25.38 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 2538 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229223 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 2549 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4227894 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 2549 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439126 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 128596
[startup+51.101 s]
/proc/loadavg: 7.76 7.96 7.83 9/184 24302
/proc/meminfo: memFree=22588700/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=204.16 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 20416 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451377 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=50.86 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 5086 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438932 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 5109 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438932 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 5109 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439192 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.16
Current children cumulated vsize (KiB) 128596
[startup+102.3 s]
/proc/loadavg: 7.98 7.99 7.85 9/184 24304
/proc/meminfo: memFree=22587824/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=408.75 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 40875 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451514 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=101.83 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 10183 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438707 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 10230 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439136 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 10230 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229618 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.75
Current children cumulated vsize (KiB) 128596
[startup+162.301 s]
################
# More data... #
################
[pid=24297] ppid=24295 vsize=128596 CPUtime=2806.08 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 280608 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4450752 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=699.13 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 69913 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438416 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=702.32 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 70232 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=702.3 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 70230 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438997 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2806.08
Current children cumulated vsize (KiB) 128596
[startup+762.301 s]
/proc/loadavg: 8.15 8.09 7.96 9/184 24321
/proc/meminfo: memFree=22587496/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=3045.84 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 304584 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4424800 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=758.86 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 75886 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4324491 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=762.33 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 76233 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=762.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 76231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229164 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.84
Current children cumulated vsize (KiB) 128596
[startup+822.3 s]
/proc/loadavg: 8.09 8.09 7.96 9/184 24323
/proc/meminfo: memFree=22587368/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=3285.56 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 328556 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451727 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=818.59 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 81859 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438811 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=822.32 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 82232 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 47134417527099 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=822.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 82231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439561 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3285.56
Current children cumulated vsize (KiB) 128596
[startup+882.306 s]
/proc/loadavg: 8.03 8.07 7.96 9/184 24324
/proc/meminfo: memFree=22587356/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=3525.31 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 352531 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451099 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=878.32 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 87832 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229115 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=882.33 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 88233 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438902 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=882.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 88231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3525.31
Current children cumulated vsize (KiB) 128596
[startup+942.3 s]
/proc/loadavg: 8.01 8.05 7.96 9/184 24326
/proc/meminfo: memFree=22587600/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=3765.03 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 376503 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4233790 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=938.05 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 93805 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229783 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=942.33 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 94233 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 47134417527124 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=942.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 94231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438994 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3765.03
Current children cumulated vsize (KiB) 128596
[startup+1002.3 s]
/proc/loadavg: 8.08 8.07 7.97 9/184 24328
/proc/meminfo: memFree=22587596/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=4004.76 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 400476 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451550 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=997.78 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 99778 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4229104 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=1002.33 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 100233 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=1002.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 100231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439175 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4004.76
Current children cumulated vsize (KiB) 128596
[startup+1062.3 s]
/proc/loadavg: 8.03 8.05 7.97 9/184 24329
/proc/meminfo: memFree=22587588/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=4244.5 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 424450 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4233628 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=1057.51 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 105751 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439136 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=1062.33 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 106233 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4227887 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=1062.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 106231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438853 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4244.5
Current children cumulated vsize (KiB) 128596
[startup+1122.3 s]
/proc/loadavg: 8.16 8.09 7.99 9/184 24331
/proc/meminfo: memFree=22587580/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=4484.23 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 448423 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4223205 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=1117.24 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 111724 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438907 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=1122.33 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 112233 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439544 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=1122.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 112231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438824 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4484.23
Current children cumulated vsize (KiB) 128596
[startup+1182.3 s]
/proc/loadavg: 8.13 8.09 8.00 9/184 24332
/proc/meminfo: memFree=22587576/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=4723.97 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 472397 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4234698 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=1176.97 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 117697 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4467480 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=1182.34 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 118234 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439551 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=1182.31 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 118231 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438831 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4723.97
Current children cumulated vsize (KiB) 128596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.4 s]
/proc/loadavg: 8.15 8.10 8.00 5/179 24334
/proc/meminfo: memFree=22589476/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=4800.3 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 480030 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451054 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=1195.98 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 119598 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438359 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=1201.44 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 120144 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438370 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=1201.42 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 120142 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439148 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 128596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.4 s]
/proc/loadavg: 8.15 8.10 8.00 5/179 24334
/proc/meminfo: memFree=22589476/32950928 swapFree=67087032/67111528
[pid=24297] ppid=24295 vsize=128596 CPUtime=4800.3 cores=1,3,5,7
/proc/24297/stat : 24297 (csls-pnorm) R 24295 24297 23667 0 -1 4202496 955 0 0 0 480030 0 0 0 25 0 4 0 518889467 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4451054 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24297/statm: 32149 858 339 91 0 27667 0
[pid=24297/tid=24298] ppid=24295 vsize=128596 CPUtime=1195.98 cores=1,3,5,7
/proc/24297/task/24298/stat : 24298 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 113 0 0 0 119598 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438359 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=24297/tid=24299] ppid=24295 vsize=128596 CPUtime=1201.44 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 130 0 0 0 120144 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4438370 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=128596 CPUtime=1201.42 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (csls-pnorm) R 24295 24297 23667 0 -1 4202560 140 0 0 0 120142 0 0 0 25 0 4 0 518889468 131682304 858 33554432000 4194304 4563110 140734912013520 18446744073709551615 4439148 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 1201.41
CPU time (s): 4800.32
CPU user time (s): 4800.32
CPU system time (s): 0
CPU usage (%): 399.557
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.33
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 23281
runsolver used 1.75973 second user time and 3.71143 second system time
The end