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-3703216-1338097856/watcher-3703216-1338097856 -o /tmp/evaluation-result-3703216-1338097856/solver-3703216-1338097856 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703216-1338097856.opb 1429929142 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.00 2.00 2.00 3/181 1055
/proc/meminfo: memFree=31318380/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[startup+0.081077 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1055
/proc/meminfo: memFree=31318380/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1055
/proc/meminfo: memFree=31318380/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300257 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1055
/proc/meminfo: memFree=31318380/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1055
/proc/meminfo: memFree=31318380/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1057
/proc/meminfo: memFree=31274468/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=78740 CPUtime=1.48 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) R 1055 1055 23606 0 -1 4202496 14224 0 0 0 145 3 0 0 20 0 1 0 275911023 80629760 18309 33554432000 4194304 5992684 140735847810112 140735847802680 4524999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1056/statm: 19685 18309 165 440 0 19241 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 87888
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1057
/proc/meminfo: memFree=31204412/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=210440 CPUtime=3.09 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) R 1055 1055 23606 0 -1 4202496 23679 0 0 0 301 8 0 0 20 0 1 0 275911023 215490560 47134 33554432000 4194304 5992684 140735847810112 140735847799416 4524999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1056/statm: 52610 47134 165 440 0 52166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 219588
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 1057
/proc/meminfo: memFree=30947192/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=685496 CPUtime=6.29 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) R 1055 1055 23606 0 -1 4202496 45432 0 0 0 608 21 0 0 20 0 1 0 275911023 701947904 107020 33554432000 4194304 5992684 140735847810112 140735847796328 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1056/statm: 171374 107020 165 440 0 170930 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 694644
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 1057
/proc/meminfo: memFree=30453112/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=1371748 CPUtime=12.68 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) R 1055 1055 23606 0 -1 4202496 86845 0 0 0 1227 41 0 0 20 0 1 0 275911023 1404669952 229426 33554432000 4194304 5992684 140735847810112 140735847797960 4523474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1056/statm: 342937 229426 165 440 0 342493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1380896
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 1057
/proc/meminfo: memFree=29404668/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=2736332 CPUtime=25.48 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) R 1055 1055 23606 0 -1 4202496 167210 0 0 0 2462 86 0 0 20 0 1 0 275911023 2802003968 483019 33554432000 4194304 5992684 140735847810112 140735847798200 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1056/statm: 684083 483020 165 440 0 683639 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2745480
[startup+51.1004 s]
/proc/loadavg: 2.26 2.06 2.02 3/184 1059
/proc/meminfo: memFree=24754960/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=2908652 CPUtime=36.09 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4202496 211181 0 0 0 3205 404 0 0 20 0 1 0 275911023 2978459648 623198 33554432000 4194304 5992684 140735847810112 140735847804560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 727163 623198 172 440 0 726719 0
[pid=1058] ppid=1056 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/1058/stat : 1058 (cp2_pre.sh) S 1056 1055 23606 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 275914634 9367552 277 33554432000 4194304 5064252 140734251023984 140734251022688 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1058/statm: 2287 277 234 213 0 72 0
[pid=1059] ppid=1058 vsize=2411300 CPUtime=14.94 cores=1,3,5,7
/proc/1059/stat : 1059 (coprocessor) R 1058 1055 23606 0 -1 4202496 23979 0 0 0 1409 85 0 0 20 0 1 0 275914637 2469171200 576613 33554432000 4194304 6586260 140734880024112 140734880021000 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1059/statm: 602825 576613 137 584 0 602237 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 5338248
[startup+102.307 s]
/proc/loadavg: 3.11 2.33 2.11 3/184 1059
/proc/meminfo: memFree=21430312/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=2908652 CPUtime=36.09 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4202496 211181 0 0 0 3205 404 0 0 20 0 1 0 275911023 2978459648 623198 33554432000 4194304 5992684 140735847810112 140735847804560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 727163 623198 172 440 0 726719 0
[pid=1058] ppid=1056 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/1058/stat : 1058 (cp2_pre.sh) S 1056 1055 23606 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 275914634 9367552 277 33554432000 4194304 5064252 140734251023984 140734251022688 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1058/statm: 2287 277 234 213 0 72 0
[pid=1059] ppid=1058 vsize=6112136 CPUtime=65.63 cores=1,3,5,7
/proc/1059/stat : 1059 (coprocessor) R 1058 1055 23606 0 -1 4202496 30488 0 0 0 6242 321 0 0 20 0 1 0 275914637 6258827264 1171157 33554432000 4194304 6586260 140734880024112 140734880019864 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 51 0 0
/proc/1059/statm: 1528034 1171157 158 584 0 1527446 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 9039084
[startup+162.3 s]
/proc/loadavg: 2.78 2.39 2.15 3/183 1061
/proc/meminfo: memFree=19822812/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=2908652 CPUtime=133.78 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4202496 211197 31391 0 0 3205 406 9266 501 20 0 1 0 275911023 2978459648 623200 33554432000 4194304 5992684 140735847810112 140735847796376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 727163 623200 174 440 0 726719 0
[pid=1061] ppid=1056 vsize=8091044 CPUtime=27.08 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) R 1056 1055 23606 0 -1 4202496 869666 0 0 0 2433 275 0 0 20 0 1 0 275924542 8285229056 1809820 33554432000 4194304 5654031 140737250720528 140737250718408 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2022761 1809820 131 357 0 2022401 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 11008844
[startup+222.3 s]
/proc/loadavg: 2.28 2.32 2.13 3/183 1062
/proc/meminfo: memFree=19668972/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=2908652 CPUtime=133.78 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4202496 211197 31391 0 0 3205 406 9266 501 20 0 1 0 275911023 2978459648 623200 33554432000 4194304 5992684 140735847810112 140735847796376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 727163 623200 174 440 0 726719 0
[pid=1061] ppid=1056 vsize=8201068 CPUtime=87.07 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) R 1056 1055 23606 0 -1 4202496 905272 0 0 0 8420 287 0 0 20 0 1 0 275924542 8397893632 1844953 33554432000 4194304 5654031 140737250720528 140737250718408 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2050267 1844954 140 357 0 2049907 0
Current children cumulated CPU time (s) 220.85
Current children cumulated vsize (KiB) 11118868
[startup+282.3 s]
/proc/loadavg: 2.11 2.26 2.12 3/183 1062
/proc/meminfo: memFree=19626612/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=2908652 CPUtime=133.78 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4202496 211197 31391 0 0 3205 406 9266 501 20 0 1 0 275911023 2978459648 623200 33554432000 4194304 5992684 140735847810112 140735847796376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 727163 623200 174 440 0 726719 0
[pid=1061] ppid=1056 vsize=8218496 CPUtime=147.06 cores=1,3,5,7
################
# More data... #
################
/proc/1061/stat : 1061 (glucosInc) R 1056 1055 23606 0 -1 4202496 971852 0 0 0 98372 321 0 0 20 0 1 0 275924542 8522731520 1917878 33554432000 4194304 5654031 140737250720528 140737250718408 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2080745 1917878 141 357 0 2080385 0
Current children cumulated CPU time (s) 1120.71
Current children cumulated vsize (KiB) 11240780
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.03 2/185 1097
/proc/meminfo: memFree=16691056/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=139.23 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219627 31391 0 0 3519 637 9266 501 20 0 1 0 275911023 3564433408 766455 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766455 191 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1176.01
Current children cumulated vsize (KiB) 11847776
[startup+1242.3 s]
/proc/loadavg: 3.86 2.54 2.20 2/184 1097
/proc/meminfo: memFree=12286468/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
[startup+1302.3 s]
/proc/loadavg: 4.58 2.98 2.38 2/183 1097
/proc/meminfo: memFree=12343236/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
[startup+1362.3 s]
/proc/loadavg: 4.90 3.34 2.53 2/184 1098
/proc/meminfo: memFree=12342704/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
Solver just ended. Dumping a history of the last processes samples
[startup+1363.1 s]
/proc/loadavg: 4.99 3.38 2.55 2/184 1098
/proc/meminfo: memFree=12342704/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
[startup+1364.7 s]
/proc/loadavg: 4.99 3.38 2.55 2/184 1098
/proc/meminfo: memFree=12342580/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
[startup+1365.5 s]
/proc/loadavg: 4.99 3.38 2.55 2/184 1098
/proc/meminfo: memFree=12342952/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
[startup+1366.3 s]
/proc/loadavg: 4.99 3.38 2.55 2/184 1098
/proc/meminfo: memFree=12345184/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
[startup+1366.5 s]
/proc/loadavg: 4.99 3.38 2.55 2/184 1098
/proc/meminfo: memFree=12345184/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=3480892 CPUtime=141.05 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) S 1055 1055 23606 0 -1 4204032 219628 31391 0 0 3519 819 9266 501 20 0 1 0 275911023 3564433408 766456 33554432000 4194304 5992684 140735847810112 140735847804648 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 870223 766456 192 440 0 869779 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 11847776
[startup+1366.6 s]
/proc/loadavg: 4.99 3.38 2.55 2/184 1098
/proc/meminfo: memFree=12345184/32873844 swapFree=7112/7112
[pid=1055] ppid=1053 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (npSolver-pbo-It) S 1053 1055 23606 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275911023 9367552 275 33554432000 4194304 5064252 140736680211840 140736680210752 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1055/statm: 2287 275 233 213 0 72 0
[pid=1056] ppid=1055 vsize=0 CPUtime=141.08 cores=1,3,5,7
/proc/1056/stat : 1056 (npSolver-pbo) R 1055 1055 23606 0 -1 4204036 219628 31391 0 0 3519 822 9266 501 20 0 1 0 275911023 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 1 0 0
/proc/1056/statm: 0 0 0 0 0 0 0
[pid=1061] ppid=1056 vsize=8357736 CPUtime=1036.78 cores=1,3,5,7
/proc/1061/stat : 1061 (glucosInc) S 1056 1055 23606 0 -1 4202496 975371 0 0 0 103348 330 0 0 20 0 1 0 275924542 8558321664 1928040 33554432000 4194304 5654031 140737250720528 140737250718840 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1061/statm: 2089434 1928040 147 357 0 2089074 0
Current children cumulated CPU time (s) 1177.86
Current children cumulated vsize (KiB) 8366884
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1055 and gives
# childrusage.ru_utime.tv_sec=127
# childrusage.ru_utime.tv_usec=861562
# childrusage.ru_stime.tv_sec=13
# childrusage.ru_stime.tv_usec=282980
# CPU time returned by wait4() is 141.145
# while last known CPU time is 1177.86
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1366.64
CPU time (s): 1177.86
CPU user time (s): 1161.33
CPU system time (s): 16.53
CPU usage (%): 86.1864
Max. virtual memory (cumulated for all children) (KiB): 12007776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.862
system time used= 13.283
maximum resident set size= 4684636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251394
page faults= 0
swaps= 0
block input operations= 16
block output operations= 6701856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 890467
involuntary context switches= 168
runsolver used 2.24866 second user time and 6.29104 second system time
The end