runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3753833-1339201766/watcher-3753833-1339201766 -o /tmp/evaluation-result-3753833-1339201766/solver-3753833-1339201766 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753833-1339201766.wbo 1126105378 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.03 2.01 2.00 3/179 13476
/proc/meminfo: memFree=29225184/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[startup+0.0737831 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13476
/proc/meminfo: memFree=29225184/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100313 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13476
/proc/meminfo: memFree=29225184/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300296 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13476
/proc/meminfo: memFree=29225184/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700211 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13476
/proc/meminfo: memFree=29225184/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13493
/proc/meminfo: memFree=29213780/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=0.09 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 3599 4773 0 0 6 2 0 1 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
[pid=13489] ppid=13477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13489/stat : 13489 (satsolver.sh) S 13477 13476 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386305149 9367552 267 33554432000 4194304 5064252 140736897227104 140736897226016 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13489/statm: 2287 267 226 213 0 72 0
[pid=13490] ppid=13489 vsize=22544 CPUtime=1.37 cores=1,3,5,7
/proc/13490/stat : 13490 (glucose) R 13489 13476 6657 0 -1 4202496 5831 0 0 0 136 1 0 0 20 0 1 0 386305149 23085056 5034 33554432000 4194304 5208918 140735761974848 140735761972696 4229374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 5636 5034 105 248 0 5385 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 52036
[startup+3.10042 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13497
/proc/meminfo: memFree=29193556/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=0.09 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 3599 4773 0 0 6 2 0 1 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
[pid=13489] ppid=13477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13489/stat : 13489 (satsolver.sh) S 13477 13476 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386305149 9367552 267 33554432000 4194304 5064252 140736897227104 140736897226016 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13489/statm: 2287 267 226 213 0 72 0
[pid=13490] ppid=13489 vsize=29616 CPUtime=2.97 cores=1,3,5,7
/proc/13490/stat : 13490 (glucose) R 13489 13476 6657 0 -1 4202496 6556 0 0 0 296 1 0 0 20 0 1 0 386305149 30326784 6692 33554432000 4194304 5208918 140735761974848 140735761972936 4545486 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 7404 6692 105 248 0 7153 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 59108
[startup+6.30031 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13497
/proc/meminfo: memFree=29183460/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=5.5 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 5347 14609 0 0 13 2 529 6 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 20344
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13525
/proc/meminfo: memFree=29185660/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=9.22 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 7095 24224 0 0 20 3 889 10 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
[pid=13522] ppid=13477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13522/stat : 13522 (satsolver.sh) S 13477 13476 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386306062 9367552 267 33554432000 4194304 5064252 140735960384880 140735960383792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13522/statm: 2287 267 226 213 0 72 0
[pid=13523] ppid=13522 vsize=29556 CPUtime=3.43 cores=1,3,5,7
/proc/13523/stat : 13523 (glucose) R 13522 13476 6657 0 -1 4202496 7221 0 0 0 342 1 0 0 20 0 1 0 386306062 30265344 6991 33554432000 4194304 5208918 140734854223968 140734854220344 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13523/statm: 7389 6991 105 248 0 7138 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 59048
[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13556
/proc/meminfo: memFree=29198132/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=18.65 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 10497 43999 0 0 32 5 1809 19 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
[pid=13538] ppid=13477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13538/stat : 13538 (satsolver.sh) S 13477 13476 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386307005 9367552 266 33554432000 4194304 5064252 140735057338832 140735057337744 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13538/statm: 2287 266 226 213 0 72 0
[pid=13539] ppid=13538 vsize=34148 CPUtime=6.81 cores=1,3,5,7
/proc/13539/stat : 13539 (glucose) R 13538 13476 6657 0 -1 4202496 6985 0 0 0 680 1 0 0 20 0 1 0 386307005 34967552 7583 33554432000 4194304 5208918 140735797772752 140735797769064 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13539/statm: 8537 7583 105 248 0 8286 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 63640
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 13605
/proc/meminfo: memFree=29191368/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=50 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 15459 76785 0 0 51 6 4910 33 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
[pid=13604] ppid=13477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13604/stat : 13604 (satsolver.sh) S 13477 13476 6657 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386310142 9367552 267 33554432000 4194304 5064252 140737342604592 140737342603504 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13604/statm: 2287 267 226 213 0 72 0
[pid=13605] ppid=13604 vsize=19484 CPUtime=1.04 cores=1,3,5,7
/proc/13605/stat : 13605 (glucose) R 13604 13476 6657 0 -1 4202496 5572 0 0 0 103 1 0 0 20 0 1 0 386310143 19951616 4342 33554432000 4194304 5208918 140737171584464 140737171582216 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13605/statm: 4871 4342 105 248 0 4620 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 48976
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 13612
/proc/meminfo: memFree=29179892/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=57.45 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 15467 84612 0 0 51 6 5652 36 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (KiB) 20344
[startup+59.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 13619
/proc/meminfo: memFree=29188032/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=11196 CPUtime=58.97 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 20421 102168 0 0 69 9 5774 45 20 0 1 0 386305137 11464704 2464 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 2799 2464 179 443 0 2352 0
Current children cumulated CPU time (s) 58.97
Current children cumulated vsize (KiB) 20344
[startup+59.9004 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 13640
/proc/meminfo: memFree=29202068/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=19620 CPUtime=59.59 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 22308 110015 0 0 78 10 5822 49 20 0 1 0 386305137 20090880 4135 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 4905 4135 180 443 0 4458 0
Current children cumulated CPU time (s) 59.59
Current children cumulated vsize (KiB) 28768
[startup+60.3003 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 13640
/proc/meminfo: memFree=29202068/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=19620 CPUtime=60.25 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 22507 126687 0 0 79 10 5871 65 20 0 1 0 386305137 20090880 4135 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 4905 4135 180 443 0 4458 0
Current children cumulated CPU time (s) 60.25
Current children cumulated vsize (KiB) 28768
[startup+60.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 13675
/proc/meminfo: memFree=29208640/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=19620 CPUtime=60.61 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 24581 169026 0 0 82 11 5889 79 20 0 1 0 386305137 20090880 4135 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 4905 4135 180 443 0 4458 0
Current children cumulated CPU time (s) 60.61
Current children cumulated vsize (KiB) 28768
[startup+60.8003 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 13675
/proc/meminfo: memFree=29208640/32873844 swapFree=8660/8660
[pid=13476] ppid=13474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (npSolver-wbo-It) S 13474 13476 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386305137 9367552 274 33554432000 4194304 5064252 140736276336704 140736276335616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13476/statm: 2287 274 233 213 0 72 0
[pid=13477] ppid=13476 vsize=19620 CPUtime=60.69 cores=1,3,5,7
/proc/13477/stat : 13477 (npSolver-wbo) S 13476 13476 6657 0 -1 4202496 24762 172582 0 0 82 11 5896 80 20 0 1 0 386305137 20090880 4135 33554432000 4194304 6006132 140734409727136 140734409718528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13477/statm: 4905 4135 180 443 0 4458 0
Current children cumulated CPU time (s) 60.69
Current children cumulated vsize (KiB) 28768
Child status: 0
Real time (s): 60.816
CPU time (s): 60.7888
CPU user time (s): 59.8549
CPU system time (s): 0.933858
CPU usage (%): 99.9552
Max. virtual memory (cumulated for all children) (KiB): 71312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.8549
system time used= 0.933858
maximum resident set size= 48760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 111736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1055
involuntary context switches= 334
runsolver used 0.132979 second user time and 0.373943 second system time
The end