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-3715081-1338226849/watcher-3715081-1338226849 -o /tmp/evaluation-result-3715081-1338226849/solver-3715081-1338226849 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715081-1338226849.wbo 81619184 HOME HOME
running on 4 cores: 0,2,4,6
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.00 2.00 2.00 3/180 5577
/proc/meminfo: memFree=30601460/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[startup+0.048294 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5577
/proc/meminfo: memFree=30601460/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5577
/proc/meminfo: memFree=30601460/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5577
/proc/meminfo: memFree=30601460/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5577
/proc/meminfo: memFree=30601460/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5591
/proc/meminfo: memFree=30592220/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2948 CPUtime=0.06 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 688 6145 0 0 1 0 4 1 20 0 1 0 288809709 3018752 379 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 737 379 159 439 0 294 0
[pid=5590] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5590/stat : 5590 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288809717 9367552 266 33554432000 4194304 5064252 140737078832032 140737078830944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5590/statm: 2287 266 226 213 0 72 0
[pid=5591] ppid=5590 vsize=9408 CPUtime=1.4 cores=0,2,4,6
/proc/5591/stat : 5591 (glucose) R 5590 5577 16422 0 -1 4202496 1307 0 0 0 140 0 0 0 20 0 1 0 288809718 9633792 1216 33554432000 4194304 5208918 140734206095168 140734206093016 4211652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5591/statm: 2352 1216 95 248 0 2101 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30652
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5591
/proc/meminfo: memFree=30591352/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2948 CPUtime=0.06 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 688 6145 0 0 1 0 4 1 20 0 1 0 288809709 3018752 379 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 737 379 159 439 0 294 0
[pid=5590] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5590/stat : 5590 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288809717 9367552 266 33554432000 4194304 5064252 140737078832032 140737078830944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5590/statm: 2287 266 226 213 0 72 0
[pid=5591] ppid=5590 vsize=6836 CPUtime=3 cores=0,2,4,6
/proc/5591/stat : 5591 (glucose) R 5590 5577 16422 0 -1 4202496 1725 0 0 0 300 0 0 0 20 0 1 0 288809718 7000064 1189 33554432000 4194304 5208918 140734206095168 140734206093016 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5591/statm: 1709 1189 96 248 0 1458 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28080
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5598
/proc/meminfo: memFree=30609716/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2948 CPUtime=0.06 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 688 6145 0 0 1 0 4 1 20 0 1 0 288809709 3018752 379 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 737 379 159 439 0 294 0
[pid=5590] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5590/stat : 5590 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288809717 9367552 266 33554432000 4194304 5064252 140737078832032 140737078830944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5590/statm: 2287 266 226 213 0 72 0
[pid=5591] ppid=5590 vsize=9540 CPUtime=6.2 cores=0,2,4,6
/proc/5591/stat : 5591 (glucose) R 5590 5577 16422 0 -1 4202496 2189 0 0 0 620 0 0 0 20 0 1 0 288809718 9768960 1651 33554432000 4194304 5208918 140734206095168 140734206093320 4211599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5591/statm: 2385 1651 96 248 0 2134 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 30784
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5598
/proc/meminfo: memFree=30594020/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2948 CPUtime=0.06 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 688 6145 0 0 1 0 4 1 20 0 1 0 288809709 3018752 379 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 737 379 159 439 0 294 0
[pid=5590] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5590/stat : 5590 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288809717 9367552 266 33554432000 4194304 5064252 140737078832032 140737078830944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5590/statm: 2287 266 226 213 0 72 0
[pid=5591] ppid=5590 vsize=12572 CPUtime=12.6 cores=0,2,4,6
/proc/5591/stat : 5591 (glucose) R 5590 5577 16422 0 -1 4202496 3503 0 0 0 1260 0 0 0 20 0 1 0 288809718 12873728 2681 33554432000 4194304 5208918 140734206095168 140734206093112 4211537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5591/statm: 3143 2681 96 248 0 2892 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33816
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5605
/proc/meminfo: memFree=30582388/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2948 CPUtime=0.06 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 688 6145 0 0 1 0 4 1 20 0 1 0 288809709 3018752 379 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 737 379 159 439 0 294 0
[pid=5590] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5590/stat : 5590 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288809717 9367552 266 33554432000 4194304 5064252 140737078832032 140737078830944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5590/statm: 2287 266 226 213 0 72 0
[pid=5591] ppid=5590 vsize=24068 CPUtime=25.4 cores=0,2,4,6
/proc/5591/stat : 5591 (glucose) R 5590 5577 16422 0 -1 4202496 4492 0 0 0 2540 0 0 0 20 0 1 0 288809718 24645632 5509 33554432000 4194304 5208918 140734206095168 140734206093032 4211570 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5591/statm: 6017 5509 96 248 0 5766 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45312
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5612
/proc/meminfo: memFree=30573948/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2948 CPUtime=0.06 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 688 6145 0 0 1 0 4 1 20 0 1 0 288809709 3018752 379 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 737 379 159 439 0 294 0
[pid=5590] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5590/stat : 5590 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288809717 9367552 266 33554432000 4194304 5064252 140737078832032 140737078830944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5590/statm: 2287 266 226 213 0 72 0
[pid=5591] ppid=5590 vsize=31628 CPUtime=50.99 cores=0,2,4,6
/proc/5591/stat : 5591 (glucose) R 5590 5577 16422 0 -1 4202496 5692 0 0 0 5099 0 0 0 20 0 1 0 288809718 32387072 5652 33554432000 4194304 5208918 140734206095168 140734206093112 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5591/statm: 7907 5652 96 248 0 7656 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 52872
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5633
/proc/meminfo: memFree=30594976/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=3456 CPUtime=52.11 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 984 14805 0 0 2 0 5205 4 20 0 1 0 288809709 3538944 464 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 864 464 159 439 0 421 0
[pid=5618] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5618/stat : 5618 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288814923 9367552 267 33554432000 4194304 5064252 140733449569312 140733449568224 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5618/statm: 2287 267 226 213 0 72 0
[pid=5619] ppid=5618 vsize=31516 CPUtime=50.14 cores=0,2,4,6
/proc/5619/stat : 5619 (glucose) R 5618 5577 16422 0 -1 4202496 5231 0 0 0 5013 1 0 0 20 0 1 0 288814923 32272384 5585 33554432000 4194304 5208918 140736706670320 140736706668264 4211599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5619/statm: 7879 5585 96 248 0 7628 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 53268
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 5669
/proc/meminfo: memFree=30614760/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2944 CPUtime=157.27 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 1483 31358 0 0 3 0 15714 10 20 0 1 0 288809709 3014656 381 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 736 381 159 439 0 293 0
[pid=5661] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=33532 CPUtime=92.38 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6133 0 0 0 9237 1 0 0 20 0 1 0 288840698 34336768 7939 33554432000 4194304 5208918 140734702546080 140734702542392 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 8383 7939 102 248 0 8132 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 54484
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5816
/proc/meminfo: memFree=30584484/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=33532 CPUtime=99.58 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6133 0 0 0 9957 1 0 0 20 0 1 0 288840698 34336768 7939 33554432000 4194304 5208918 140734702546080 140734702542392 4229731 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 8383 7939 102 248 0 8132 0
Current children cumulated CPU time (s) 409.38
Current children cumulated vsize (KiB) 54484
[startup+435.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5831
/proc/meminfo: memFree=30584600/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=125.18 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6170 0 0 0 12517 1 0 0 20 0 1 0 288840698 38776832 7975 33554432000 4194304 5208918 140734702546080 140734702543928 4212818 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 7975 102 248 0 9216 0
Current children cumulated CPU time (s) 434.98
Current children cumulated vsize (KiB) 58820
[startup+447.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5831
/proc/meminfo: memFree=30565484/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=137.98 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6241 0 0 0 13797 1 0 0 20 0 1 0 288840698 38776832 8556 33554432000 4194304 5208918 140734702546080 140734702543928 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 8556 102 248 0 9216 0
Current children cumulated CPU time (s) 447.78
Current children cumulated vsize (KiB) 58820
[startup+451.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5831
/proc/meminfo: memFree=30564616/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=141.17 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6242 0 0 0 14116 1 0 0 20 0 1 0 288840698 38776832 8557 33554432000 4194304 5208918 140734702546080 140734702543928 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 8557 102 248 0 9216 0
Current children cumulated CPU time (s) 450.97
Current children cumulated vsize (KiB) 58820
[startup+452.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5831
/proc/meminfo: memFree=30563996/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=142.77 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6242 0 0 0 14276 1 0 0 20 0 1 0 288840698 38776832 8557 33554432000 4194304 5208918 140734702546080 140734702543928 4229780 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 8557 102 248 0 9216 0
Current children cumulated CPU time (s) 452.57
Current children cumulated vsize (KiB) 58820
[startup+454.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 5836
/proc/meminfo: memFree=30602200/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=144.38 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6242 0 0 0 14437 1 0 0 20 0 1 0 288840698 38776832 8557 33554432000 4194304 5208918 140734702546080 140734702543928 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 8557 102 248 0 9216 0
Current children cumulated CPU time (s) 454.18
Current children cumulated vsize (KiB) 58820
[startup+455.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 5836
/proc/meminfo: memFree=30602200/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=145.17 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6242 0 0 0 14516 1 0 0 20 0 1 0 288840698 38776832 8557 33554432000 4194304 5208918 140734702546080 140734702543928 4229299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 8557 102 248 0 9216 0
Current children cumulated CPU time (s) 454.97
Current children cumulated vsize (KiB) 58820
[startup+455.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5838
/proc/meminfo: memFree=30584160/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=145.57 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6242 0 0 0 14556 1 0 0 20 0 1 0 288840698 38776832 8557 33554432000 4194304 5208918 140734702546080 140734702543928 4229738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 8557 102 248 0 9216 0
Current children cumulated CPU time (s) 455.37
Current children cumulated vsize (KiB) 58820
[startup+455.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5838
/proc/meminfo: memFree=30584160/32873844 swapFree=6600/6600
[pid=5577] ppid=5575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (npSolver-wbo-It) S 5575 5577 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288809709 9367552 274 33554432000 4194304 5064252 140736262452112 140736262451024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5577/statm: 2287 274 233 213 0 72 0
[pid=5578] ppid=5577 vsize=2656 CPUtime=309.8 cores=0,2,4,6
/proc/5578/stat : 5578 (npSolver-wbo) S 5577 5577 16422 0 -1 4202496 4178 67236 0 0 5 1 30952 22 20 0 1 0 288809709 2719744 371 33554432000 4194304 5990268 140735412508208 140735412499632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5578/statm: 664 371 165 439 0 221 0
[pid=5759] ppid=5578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5759/stat : 5759 (satsolver.sh) S 5578 5577 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288840698 9367552 266 33554432000 4194304 5064252 140735980841888 140735980840800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5759/statm: 2287 266 226 213 0 72 0
[pid=5760] ppid=5759 vsize=37868 CPUtime=145.67 cores=0,2,4,6
/proc/5760/stat : 5760 (glucose) R 5759 5577 16422 0 -1 4202496 6242 0 0 0 14566 1 0 0 20 0 1 0 288840698 38776832 8557 33554432000 4194304 5208918 140734702546080 140734702543928 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5760/statm: 9467 8557 102 248 0 9216 0
Current children cumulated CPU time (s) 455.47
Current children cumulated vsize (KiB) 58820
Child status: 0
Real time (s): 455.642
CPU time (s): 455.552
CPU user time (s): 455.288
CPU system time (s): 0.263959
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 64388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 455.288
system time used= 0.263959
maximum resident set size= 35652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217
involuntary context switches= 613
runsolver used 1.9917 second user time and 4.51831 second system time
The end