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-3746934-1339110305/watcher-3746934-1339110305 -o /tmp/evaluation-result-3746934-1339110305/solver-3746934-1339110305 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746934-1339110305.opb 990983720 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/178 17006
/proc/meminfo: memFree=28103776/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) R 17004 17006 15337 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 273 33554432000 4194304 5064252 140733312588608 140735348456888 4376015 0 0 4100 65536 0 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[startup+0.026392 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17006
/proc/meminfo: memFree=28103776/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100783 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17006
/proc/meminfo: memFree=28103776/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.301076 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17006
/proc/meminfo: memFree=28103776/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.701068 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17006
/proc/meminfo: memFree=28103776/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50077 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17008
/proc/meminfo: memFree=27985004/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=171300 CPUtime=1.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) R 17006 17006 15337 0 -1 4202496 24106 0 0 0 142 6 0 0 20 0 1 0 377156408 175411200 42316 33554432000 4194304 6004724 140735607983824 140735607980344 4617975 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17007/statm: 42825 42316 162 442 0 42379 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 180448
[startup+3.10114 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17008
/proc/meminfo: memFree=27882280/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=400676 CPUtime=3.08 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) R 17006 17006 15337 0 -1 4202496 25805 0 0 0 297 11 0 0 20 0 1 0 377156408 410292224 69964 33554432000 4194304 6004724 140735607983824 140735607978424 4579246 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 100169 69964 162 442 0 99723 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 409824
[startup+6.30027 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 17008
/proc/meminfo: memFree=27631664/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=662820 CPUtime=6.28 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) R 17006 17006 15337 0 -1 4202496 26560 0 0 0 609 19 0 0 20 0 1 0 377156408 678727680 129356 33554432000 4194304 6004724 140735607983824 140735607978632 4618006 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 165705 129356 162 442 0 165259 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 671968
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 17008
/proc/meminfo: memFree=27086812/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=12.68 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) R 17006 17006 15337 0 -1 4202496 27568 0 0 0 1235 33 0 0 20 0 1 0 377156408 1215598592 252748 33554432000 4194304 6004724 140735607983824 140735607978424 4536305 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 296777 252748 162 442 0 296331 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1196256
[startup+25.5009 s]
/proc/loadavg: 2.21 2.05 2.01 3/182 17010
/proc/meminfo: memFree=24813404/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=16.44 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28811 0 0 0 1443 201 0 0 20 0 1 0 377156408 1215598592 290132 33554432000 4194304 6004724 140735607983824 140735607978288 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290132 170 442 0 296331 0
[pid=17009] ppid=17007 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17009/stat : 17009 (cp2_pre.sh) S 17007 17006 15337 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377158056 9367552 276 33554432000 4194304 5064252 140737309573280 140737309571984 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17009/statm: 2287 276 234 213 0 72 0
[pid=17010] ppid=17009 vsize=991704 CPUtime=9 cores=0,2,4,6
/proc/17010/stat : 17010 (coprocessor) R 17009 17006 15337 0 -1 4202496 19979 0 0 0 868 32 0 0 20 0 1 0 377158056 1015504896 235982 33554432000 4194304 6586260 140733768555328 140733768552088 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/17010/statm: 247926 235982 137 584 0 247338 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 2197108
[startup+51.1003 s]
/proc/loadavg: 2.26 2.07 2.02 3/182 17010
/proc/meminfo: memFree=23513292/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=16.44 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28811 0 0 0 1443 201 0 0 20 0 1 0 377156408 1215598592 290132 33554432000 4194304 6004724 140735607983824 140735607978288 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290132 170 442 0 296331 0
[pid=17009] ppid=17007 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17009/stat : 17009 (cp2_pre.sh) S 17007 17006 15337 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377158056 9367552 276 33554432000 4194304 5064252 140737309573280 140737309571984 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17009/statm: 2287 276 234 213 0 72 0
[pid=17010] ppid=17009 vsize=1913620 CPUtime=34.46 cores=0,2,4,6
/proc/17010/stat : 17010 (coprocessor) R 17009 17006 15337 0 -1 4202496 23582 0 0 0 3282 164 0 0 20 0 1 0 377158056 1959546880 403616 33554432000 4194304 6586260 140733768555328 140733768551080 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 13 0 0
/proc/17010/statm: 478405 403616 158 584 0 477817 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 3119024
[startup+102.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/181 17012
/proc/meminfo: memFree=23704548/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2749040 CPUtime=35.56 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 269147 0 0 0 3474 82 0 0 20 0 1 0 377163080 2815016960 572216 33554432000 4194304 5654031 140735556479872 140735556477640 4232767 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 687260 572216 131 357 0 686900 0
Current children cumulated CPU time (s) 101.04
Current children cumulated vsize (KiB) 3945296
[startup+162.308 s]
/proc/loadavg: 2.10 2.06 2.02 3/181 17013
/proc/meminfo: memFree=23437388/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2768888 CPUtime=95.56 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 270194 0 0 0 9473 83 0 0 20 0 1 0 377163080 2835341312 574796 33554432000 4194304 5654031 140735556479872 140735556467688 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 692222 574796 140 357 0 691862 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 3965144
[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/181 17013
/proc/meminfo: memFree=23611220/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=155.54 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 270858 0 0 0 15471 83 0 0 20 0 1 0 377163080 2859425792 580570 33554432000 4194304 5654031 140735556479872 140735556467688 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 698102 580570 140 357 0 697742 0
Current children cumulated CPU time (s) 221.02
Current children cumulated vsize (KiB) 3988664
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/181 17013
/proc/meminfo: memFree=23390288/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=24677692/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1235.23 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271193 0 0 0 123440 83 0 0 20 0 1 0 377163080 2859425792 587631 33554432000 4194304 5654031 140735556479872 140735556467688 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 698102 587631 141 357 0 697742 0
Current children cumulated CPU time (s) 1300.71
Current children cumulated vsize (KiB) 3988664
[startup+1362.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/173 17048
/proc/meminfo: memFree=24675680/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1295.22 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271206 0 0 0 129439 83 0 0 20 0 1 0 377163080 2859425792 588143 33554432000 4194304 5654031 140735556479872 140735556467688 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 698102 588143 141 357 0 697742 0
Current children cumulated CPU time (s) 1360.7
Current children cumulated vsize (KiB) 3988664
[startup+1422.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/173 17049
/proc/meminfo: memFree=24675708/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1355.2 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271214 0 0 0 135437 83 0 0 20 0 1 0 377163080 2859425792 588143 33554432000 4194304 5654031 140735556479872 140735556467688 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 698102 588143 141 357 0 697742 0
Current children cumulated CPU time (s) 1420.68
Current children cumulated vsize (KiB) 3988664
[startup+1482.31 s]
/proc/loadavg: 1.00 1.05 1.39 2/173 17049
/proc/meminfo: memFree=24676044/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1415.18 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271231 0 0 0 141435 83 0 0 20 0 1 0 377163080 2859425792 588143 33554432000 4194304 5654031 140735556479872 140735556467688 4208641 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 698102 588143 141 357 0 697742 0
Current children cumulated CPU time (s) 1480.66
Current children cumulated vsize (KiB) 3988664
[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/174 17052
/proc/meminfo: memFree=24675916/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1475.14 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271297 0 0 0 147430 84 0 0 20 0 1 0 377163080 2859425792 588170 33554432000 4194304 5654031 140735556479872 140735556467688 4232788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 698102 588170 141 357 0 697742 0
Current children cumulated CPU time (s) 1540.62
Current children cumulated vsize (KiB) 3988664
[startup+1602.3 s]
/proc/loadavg: 1.03 1.05 1.34 2/173 17052
/proc/meminfo: memFree=24676404/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1535.11 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271312 0 0 0 153427 84 0 0 20 0 1 0 377163080 2859425792 588170 33554432000 4194304 5654031 140735556479872 140735556467688 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17012/statm: 698102 588170 141 357 0 697742 0
Current children cumulated CPU time (s) 1600.59
Current children cumulated vsize (KiB) 3988664
[startup+1662.3 s]
/proc/loadavg: 1.01 1.04 1.32 2/173 17052
/proc/meminfo: memFree=24676044/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1595.1 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271314 0 0 0 159426 84 0 0 20 0 1 0 377163080 2859425792 588172 33554432000 4194304 5654031 140735556479872 140735556467688 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 698102 588172 141 357 0 697742 0
Current children cumulated CPU time (s) 1660.58
Current children cumulated vsize (KiB) 3988664
[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/173 17053
/proc/meminfo: memFree=24675896/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1655.09 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271321 0 0 0 165425 84 0 0 20 0 1 0 377163080 2859425792 588175 33554432000 4194304 5654031 140735556479872 140735556467688 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 698102 588175 141 357 0 697742 0
Current children cumulated CPU time (s) 1720.57
Current children cumulated vsize (KiB) 3988664
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/173 17053
/proc/meminfo: memFree=24675444/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1715.07 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271342 0 0 0 171423 84 0 0 20 0 1 0 377163080 2859425792 588177 33554432000 4194304 5654031 140735556479872 140735556467688 4232659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 698102 588177 141 357 0 697742 0
Current children cumulated CPU time (s) 1780.55
Current children cumulated vsize (KiB) 3988664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.8 s]
/proc/loadavg: 1.00 1.02 1.27 2/173 17053
/proc/meminfo: memFree=24675536/32873648 swapFree=7372/7372
[pid=17006] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17006/stat : 17006 (npSolver-pbo-It) S 17004 17006 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377156407 9367552 274 33554432000 4194304 5064252 140733312588608 140733312587520 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17006/statm: 2287 274 233 213 0 72 0
[pid=17007] ppid=17006 vsize=1187108 CPUtime=65.48 cores=0,2,4,6
/proc/17007/stat : 17007 (npSolver-pbo) S 17006 17006 15337 0 -1 4202496 28828 24482 0 0 1443 202 4644 259 20 0 1 0 377156408 1215598592 290135 33554432000 4194304 6004724 140735607983824 140735607970104 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/17007/statm: 296777 290135 173 442 0 296331 0
[pid=17012] ppid=17007 vsize=2792408 CPUtime=1734.57 cores=0,2,4,6
/proc/17012/stat : 17012 (glucosInc) R 17007 17006 15337 0 -1 4202496 271344 0 0 0 173373 84 0 0 20 0 1 0 377163080 2859425792 588178 33554432000 4194304 5654031 140735556479872 140735556467688 4209128 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 698102 588178 141 357 0 697742 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3988664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17006 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.82
CPU time (s): 1800.05
CPU user time (s): 1794.6
CPU system time (s): 5.45
CPU usage (%): 99.902
Max. virtual memory (cumulated for all children) (KiB): 3988664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 4.21336 second user time and 10.0315 second system time
The end