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-3703228-1338098524/watcher-3703228-1338098524 -o /tmp/evaluation-result-3703228-1338098524/solver-3703228-1338098524 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703228-1338098524.opb 1598560520 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/178 1088
/proc/meminfo: memFree=27725352/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[startup+0.00780806 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 1088
/proc/meminfo: memFree=27725352/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 1088
/proc/meminfo: memFree=27725352/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 1088
/proc/meminfo: memFree=27725352/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 1088
/proc/meminfo: memFree=27725352/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/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.03 2.01 2.00 3/180 1090
/proc/meminfo: memFree=27676104/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=92876 CPUtime=1.49 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) R 1088 1088 15712 0 -1 4202496 16698 0 0 0 145 4 0 0 20 0 1 0 275976757 95105024 22259 33554432000 4194304 5992684 140735625796736 140735625791960 4227904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 23219 22259 159 440 0 22775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102024
[startup+3.10036 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 1090
/proc/meminfo: memFree=27576348/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=270404 CPUtime=3.09 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) R 1088 1088 15712 0 -1 4202496 37021 0 0 0 298 11 0 0 20 0 1 0 275976757 276893696 61952 33554432000 4194304 5992684 140735625796736 140735625738408 4225888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 67601 61952 159 440 0 67157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279552
[startup+6.30035 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 1090
/proc/meminfo: memFree=27245832/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=804232 CPUtime=6.28 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) R 1088 1088 15712 0 -1 4202496 73558 0 0 0 602 26 0 0 20 0 1 0 275976757 823533568 139688 33554432000 4194304 5992684 140735625796736 140735625792152 4571359 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 201058 139688 160 440 0 200614 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 813380
[startup+12.7005 s]
/proc/loadavg: 2.10 2.03 2.01 3/182 1092
/proc/meminfo: memFree=26093152/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=882968 CPUtime=8.84 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4202496 93919 0 0 0 789 95 0 0 20 0 1 0 275976757 904159232 186521 33554432000 4194304 5992684 140735625796736 140735625791184 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 220742 186521 167 440 0 220298 0
[pid=1091] ppid=1089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1091/stat : 1091 (cp2_pre.sh) S 1089 1088 15712 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 275977641 9367552 277 33554432000 4194304 5064252 140737382340400 140737382339104 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1091/statm: 2287 277 234 213 0 72 0
[pid=1092] ppid=1091 vsize=629164 CPUtime=3.83 cores=1,3,5,7
/proc/1092/stat : 1092 (coprocessor) R 1091 1088 15712 0 -1 4202496 18168 0 0 0 362 21 0 0 20 0 1 0 275977643 644263936 151359 33554432000 4194304 6586260 140737296379760 140737296376520 4373392 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1092/statm: 157291 151359 137 584 0 156703 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1530428
[startup+25.5004 s]
/proc/loadavg: 2.23 2.06 2.02 3/182 1092
/proc/meminfo: memFree=25082424/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=882968 CPUtime=8.84 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4202496 93919 0 0 0 789 95 0 0 20 0 1 0 275976757 904159232 186521 33554432000 4194304 5992684 140735625796736 140735625791184 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 220742 186521 167 440 0 220298 0
[pid=1091] ppid=1089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1091/stat : 1091 (cp2_pre.sh) S 1089 1088 15712 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 275977641 9367552 277 33554432000 4194304 5064252 140737382340400 140737382339104 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1091/statm: 2287 277 234 213 0 72 0
[pid=1092] ppid=1091 vsize=1654852 CPUtime=16.48 cores=1,3,5,7
/proc/1092/stat : 1092 (coprocessor) R 1091 1088 15712 0 -1 4202496 22281 0 0 0 1558 90 0 0 20 0 1 0 275977643 1694568448 314744 33554432000 4194304 6586260 140737296379760 140737296375512 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 15 0 0
/proc/1092/statm: 413713 314744 158 584 0 413125 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 2556116
[startup+51.1003 s]
/proc/loadavg: 2.37 2.10 2.03 2/182 1095
/proc/meminfo: memFree=22826972/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
Solver just ended. Dumping a history of the last processes samples
[startup+51.4003 s]
/proc/loadavg: 2.37 2.10 2.03 2/182 1095
/proc/meminfo: memFree=22826972/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
[startup+64.2003 s]
/proc/loadavg: 2.62 2.16 2.05 2/182 1095
/proc/meminfo: memFree=22824304/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
[startup+67.407 s]
/proc/loadavg: 2.73 2.19 2.06 2/182 1095
/proc/meminfo: memFree=22824428/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
[startup+70.6003 s]
/proc/loadavg: 2.83 2.22 2.07 2/182 1095
/proc/meminfo: memFree=22824552/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
[startup+71.4003 s]
/proc/loadavg: 2.83 2.22 2.07 2/182 1095
/proc/meminfo: memFree=22824552/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
[startup+72.2003 s]
/proc/loadavg: 2.83 2.22 2.07 2/182 1095
/proc/meminfo: memFree=22825172/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
[startup+72.4003 s]
/proc/loadavg: 2.83 2.22 2.07 2/182 1095
/proc/meminfo: memFree=22825172/32873844 swapFree=7616/7616
[pid=1088] ppid=1086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1088/stat : 1088 (npSolver-pbo-It) S 1086 1088 15712 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275976757 9367552 274 33554432000 4194304 5064252 140736773622736 140736773621648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1088/statm: 2287 274 233 213 0 72 0
[pid=1089] ppid=1088 vsize=1044032 CPUtime=34.57 cores=1,3,5,7
/proc/1089/stat : 1089 (npSolver-pbo) S 1088 1088 15712 0 -1 4204032 102924 23184 0 0 915 229 2188 125 20 0 1 0 275976757 1069088768 226804 33554432000 4194304 5992684 140735625796736 140735625791272 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1089/statm: 261008 226804 187 440 0 260564 0
[pid=1094] ppid=1089 vsize=1956968 CPUtime=8.83 cores=1,3,5,7
/proc/1094/stat : 1094 (glucosInc) S 1089 1088 15712 0 -1 4202496 236169 0 0 0 807 76 0 0 20 0 1 0 275979974 2003935232 463581 33554432000 4194304 5654031 140733284863488 140733284861800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1094/statm: 489242 463581 147 357 0 488882 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 3010148
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1088 and gives
# childrusage.ru_utime.tv_sec=31
# childrusage.ru_utime.tv_usec=38281
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=585454
# CPU time returned by wait4() is 34.6237
# while last known CPU time is 43.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 72.4478
CPU time (s): 43.4
CPU user time (s): 39.1
CPU system time (s): 4.3
CPU usage (%): 59.9052
Max. virtual memory (cumulated for all children) (KiB): 3050148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.0383
system time used= 3.58545
maximum resident set size= 1258984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1546904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251671
involuntary context switches= 46
runsolver used 0.120981 second user time and 0.383941 second system time
The end