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-3747686-1339103616/watcher-3747686-1339103616 -o /tmp/evaluation-result-3747686-1339103616/solver-3747686-1339103616 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747686-1339103616.opb 1090137709 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 4/178 23223
/proc/meminfo: memFree=31914072/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[startup+0.0616761 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23223
/proc/meminfo: memFree=31914072/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10029 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23223
/proc/meminfo: memFree=31914072/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300217 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23223
/proc/meminfo: memFree=31914072/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23223
/proc/meminfo: memFree=31914072/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.16 2.03 2.01 4/181 23234
/proc/meminfo: memFree=31895224/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=0.48 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 3273 12238 0 0 6 7 32 3 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23234] ppid=23224 vsize=13856 CPUtime=0.4 cores=0,2,4,6
/proc/23234/stat : 23234 (glucosInc) R 23224 23223 22322 0 -1 4202496 2150 0 0 0 40 0 0 0 20 0 1 0 376487816 14188544 2536 33554432000 4194304 5654031 140733301190560 140733301178376 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23234/statm: 3464 2536 141 357 0 3104 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 27420
[startup+3.10029 s]
/proc/loadavg: 2.16 2.03 2.01 4/181 23238
/proc/meminfo: memFree=31890556/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=1.16 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 3837 17872 0 0 7 7 97 5 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23238] ppid=23224 vsize=12604 CPUtime=1.33 cores=0,2,4,6
/proc/23238/stat : 23238 (glucosInc) R 23224 23223 22322 0 -1 4202496 3066 0 0 0 133 0 0 0 20 0 1 0 376487883 12906496 2661 33554432000 4194304 5654031 140734853075440 140734853063256 4215124 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23238/statm: 3151 2661 142 357 0 2791 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 26168
[startup+6.30027 s]
/proc/loadavg: 2.16 2.03 2.01 4/181 23242
/proc/meminfo: memFree=31900132/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=3.07 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4117 22566 0 0 7 7 287 6 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23240] ppid=23224 vsize=18668 CPUtime=2.61 cores=0,2,4,6
/proc/23240/stat : 23240 (glucosInc) R 23224 23223 22322 0 -1 4202496 4189 0 0 0 261 0 0 0 20 0 1 0 376488076 19116032 3700 33554432000 4194304 5654031 140734725988384 140734725976200 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23240/statm: 4667 3700 142 357 0 4307 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 32232
[startup+12.7003 s]
/proc/loadavg: 2.21 2.05 2.02 4/181 23242
/proc/meminfo: memFree=31874976/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=3.07 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4117 22566 0 0 7 7 287 6 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23240] ppid=23224 vsize=21388 CPUtime=9 cores=0,2,4,6
/proc/23240/stat : 23240 (glucosInc) R 23224 23223 22322 0 -1 4202496 5498 0 0 0 900 0 0 0 20 0 1 0 376488076 21901312 4925 33554432000 4194304 5654031 140734725988384 140734725976200 4208604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23240/statm: 5347 4925 142 357 0 4987 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 34952
[startup+25.5004 s]
/proc/loadavg: 2.18 2.05 2.01 4/181 23244
/proc/meminfo: memFree=31871328/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=3.07 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4117 22566 0 0 7 7 287 6 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23240] ppid=23224 vsize=30240 CPUtime=21.8 cores=0,2,4,6
/proc/23240/stat : 23240 (glucosInc) R 23224 23223 22322 0 -1 4202496 6426 0 0 0 2179 1 0 0 20 0 1 0 376488076 30965760 6565 33554432000 4194304 5654031 140734725988384 140734725976200 4215384 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23240/statm: 7560 6565 142 357 0 7200 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 43804
[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 4/181 23248
/proc/meminfo: memFree=31869728/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=30280 CPUtime=17.87 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 7040 0 0 0 1785 2 0 0 20 0 1 0 376491029 31006720 6555 33554432000 4194304 5654031 140733398675520 140733398673400 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23246/statm: 7570 6555 142 357 0 7210 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 43844
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.01 4/181 23248
/proc/meminfo: memFree=31770928/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=65496 CPUtime=69.06 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 9245 0 0 0 6903 3 0 0 20 0 1 0 376491029 67067904 13210 33554432000 4194304 5654031 140733398675520 140733398663336 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 16374 13210 142 357 0 16014 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 79060
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/181 23249
/proc/meminfo: memFree=31796428/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=84352 CPUtime=129.05 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 9309 0 0 0 12901 4 0 0 20 0 1 0 376491029 86376448 14748 33554432000 4194304 5654031 140733398675520 140733398663336 4233190 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 21088 14748 142 357 0 20728 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 97916
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 4/181 23249
/proc/meminfo: memFree=31717180/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=84352 CPUtime=189.04 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 9910 0 0 0 18900 4 0 0 20 0 1 0 376491029 86376448 20681 33554432000 4194304 5654031 140733398675520 140733398663336 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 21088 20681 142 357 0 20728 0
Current children cumulated CPU time (s) 221.63
Current children cumulated vsize (KiB) 97916
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31635056/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=181700 CPUtime=1268.87 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 29444 0 0 0 126840 47 0 0 20 0 1 0 376491029 186060800 42598 33554432000 4194304 5654031 140733398675520 140733398673448 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 45425 42598 142 357 0 45065 0
Current children cumulated CPU time (s) 1301.46
Current children cumulated vsize (KiB) 195264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 23261
/proc/meminfo: memFree=31607200/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=212520 CPUtime=1328.86 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 30639 0 0 0 132837 49 0 0 20 0 1 0 376491029 217620480 45028 33554432000 4194304 5654031 140733398675520 140733398673448 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 53130 45028 142 357 0 52770 0
Current children cumulated CPU time (s) 1361.45
Current children cumulated vsize (KiB) 226084
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 23262
/proc/meminfo: memFree=31591492/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=212520 CPUtime=1388.85 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 31641 0 0 0 138834 51 0 0 20 0 1 0 376491029 217620480 48297 33554432000 4194304 5654031 140733398675520 140733398663336 4244495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 53130 48297 142 357 0 52770 0
Current children cumulated CPU time (s) 1421.44
Current children cumulated vsize (KiB) 226084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 23262
/proc/meminfo: memFree=31594608/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=132380 CPUtime=1448.84 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 32441 0 0 0 144831 53 0 0 20 0 1 0 376491029 135557120 32688 33554432000 4194304 5654031 140733398675520 140733398663336 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 33095 32688 142 357 0 32735 0
Current children cumulated CPU time (s) 1481.43
Current children cumulated vsize (KiB) 145944
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 23262
/proc/meminfo: memFree=31547468/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=181700 CPUtime=1508.84 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 33442 0 0 0 150829 55 0 0 20 0 1 0 376491029 186060800 42598 33554432000 4194304 5654031 140733398675520 140733398663336 4215017 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 45425 42598 142 357 0 45065 0
Current children cumulated CPU time (s) 1541.43
Current children cumulated vsize (KiB) 195264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 23265
/proc/meminfo: memFree=31561552/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=181700 CPUtime=1568.82 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 34245 0 0 0 156825 57 0 0 20 0 1 0 376491029 186060800 43622 33554432000 4194304 5654031 140733398675520 140733398673448 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 45425 43622 142 357 0 45065 0
Current children cumulated CPU time (s) 1601.41
Current children cumulated vsize (KiB) 195264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 23265
/proc/meminfo: memFree=31549576/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=181700 CPUtime=1628.82 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 35043 0 0 0 162823 59 0 0 20 0 1 0 376491029 186060800 44134 33554432000 4194304 5654031 140733398675520 140733398673448 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 45425 44134 142 357 0 45065 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 195264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 23266
/proc/meminfo: memFree=31555848/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=181700 CPUtime=1688.81 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 35833 0 0 0 168820 61 0 0 20 0 1 0 376491029 186060800 42598 33554432000 4194304 5654031 140733398675520 140733398673448 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 45425 42598 142 357 0 45065 0
Current children cumulated CPU time (s) 1721.4
Current children cumulated vsize (KiB) 195264
[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/181 23266
/proc/meminfo: memFree=31556784/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=181700 CPUtime=1748.79 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 36627 0 0 0 174817 62 0 0 20 0 1 0 376491029 186060800 43110 33554432000 4194304 5654031 140733398675520 140733398673448 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 45425 43110 142 357 0 45065 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 195264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 23295
/proc/meminfo: memFree=31491124/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=212520 CPUtime=1767.5 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 37224 0 0 0 176687 63 0 0 20 0 1 0 376491029 217620480 45737 33554432000 4194304 5654031 140733398675520 140733398673608 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 53130 45737 142 357 0 52770 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 226084
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 23295
/proc/meminfo: memFree=31491124/32873844 swapFree=7380/7380
[pid=23223] ppid=23221 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23223/stat : 23223 (npSolver-pbo-It) S 23221 23223 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376487708 9367552 275 33554432000 4194304 5064252 140733567828624 140733567827536 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23223/statm: 2287 275 233 213 0 72 0
[pid=23224] ppid=23223 vsize=4416 CPUtime=32.59 cores=0,2,4,6
/proc/23224/stat : 23224 (npSolver-pbo) S 23223 23223 22322 0 -1 4202496 4397 29689 0 0 8 7 3236 8 20 0 1 0 376487708 4521984 725 33554432000 4194304 6004724 140736379008016 140736378993864 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23224/statm: 1104 725 176 442 0 658 0
[pid=23246] ppid=23224 vsize=212520 CPUtime=1767.5 cores=0,2,4,6
/proc/23246/stat : 23246 (glucosInc) R 23224 23223 22322 0 -1 4202496 37224 0 0 0 176687 63 0 0 20 0 1 0 376491029 217620480 45737 33554432000 4194304 5654031 140733398675520 140733398673608 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23246/statm: 53130 45737 142 357 0 52770 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 226084
Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.12
CPU user time (s): 1799.33
CPU system time (s): 0.798878
CPU usage (%): 99.9508
Max. virtual memory (cumulated for all children) (KiB): 226084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.798878
maximum resident set size= 199332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313
involuntary context switches= 2076
runsolver used 3.02154 second user time and 8.50871 second system time
The end