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-3752793-1339212228/watcher-3752793-1339212228 -o /tmp/evaluation-result-3752793-1339212228/solver-3752793-1339212228 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752793-1339212228.wbo 372914661 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/175 15646
/proc/meminfo: memFree=31840324/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[startup+0.038822 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15646
/proc/meminfo: memFree=31840324/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100335 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15646
/proc/meminfo: memFree=31840324/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15646
/proc/meminfo: memFree=31840324/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15646
/proc/meminfo: memFree=31840324/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 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.00 2.00 2.00 4/179 15660
/proc/meminfo: memFree=31694828/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=128888 CPUtime=1.49 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) R 15646 15646 15040 0 -1 4202496 16861 0 0 0 145 4 0 0 20 0 1 0 387346934 131981312 28950 33554432000 4194304 6006132 140735338425680 140735338420984 4428952 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15647/statm: 32222 28950 148 443 0 31775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138036
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15662
/proc/meminfo: memFree=31633196/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=128888 CPUtime=2.21 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 16869 0 0 0 164 57 0 0 20 0 1 0 387346934 131981312 28957 33554432000 4194304 6006132 140735338425680 140735338418784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15647/statm: 32222 28957 155 443 0 31775 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 138036
heavy processes:
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15664
/proc/meminfo: memFree=31438440/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=128888 CPUtime=2.21 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 16869 0 0 0 164 57 0 0 20 0 1 0 387346934 131981312 28957 33554432000 4194304 6006132 140735338425680 140735338418784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15647/statm: 32222 28957 155 443 0 31775 0
[pid=15663] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15663/stat : 15663 (cp2_pre.sh) S 15647 15646 15040 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 387347156 9367552 277 33554432000 4194304 5064252 140733568425520 140733568424224 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15663/statm: 2287 277 234 213 0 72 0
[pid=15664] ppid=15663 vsize=193444 CPUtime=4.06 cores=1,3,5,7
/proc/15664/stat : 15664 (coprocessor) R 15663 15646 15040 0 -1 4202496 25921 0 0 0 401 5 0 0 20 0 1 0 387347156 198086656 47510 33554432000 4194304 6586260 140735131780352 140735131775720 5599447 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/15664/statm: 48361 47510 191 584 0 47773 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 340628
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 15671
/proc/meminfo: memFree=31002508/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=128888 CPUtime=2.21 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 16869 0 0 0 164 57 0 0 20 0 1 0 387346934 131981312 28957 33554432000 4194304 6006132 140735338425680 140735338418784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15647/statm: 32222 28957 155 443 0 31775 0
[pid=15663] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15663/stat : 15663 (cp2_pre.sh) S 15647 15646 15040 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 387347156 9367552 277 33554432000 4194304 5064252 140733568425520 140733568424224 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15663/statm: 2287 277 234 213 0 72 0
[pid=15664] ppid=15663 vsize=194236 CPUtime=10.46 cores=1,3,5,7
/proc/15664/stat : 15664 (coprocessor) R 15663 15646 15040 0 -1 4202496 26125 0 0 0 1041 5 0 0 20 0 1 0 387347156 198897664 47714 33554432000 4194304 6586260 140735131780352 140735131775944 5599454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/15664/statm: 48559 47714 191 584 0 47971 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 341420
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15679
/proc/meminfo: memFree=29732904/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=1443588 CPUtime=25.47 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) R 15646 15646 15040 0 -1 4202496 84208 46531 0 0 1171 120 1242 14 20 0 1 0 387346934 1478234112 273942 33554432000 4194304 6006132 140735338425680 140735338418024 4619212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15647/statm: 360897 273942 190 443 0 360450 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1452736
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15679
/proc/meminfo: memFree=27821920/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4589316 CPUtime=51.07 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) R 15646 15646 15040 0 -1 4202496 87710 46531 0 0 3658 193 1242 14 20 0 1 0 387346934 4699459584 757270 33554432000 4194304 6006132 140735338425680 140735338418024 4416723 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15647/statm: 1147329 757270 190 443 0 1146882 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 4598464
[startup+102.307 s]
/proc/loadavg: 2.81 2.20 2.07 4/183 15681
/proc/meminfo: memFree=19623232/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6487180 CPUtime=45.43 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613112 0 0 0 4288 255 0 0 20 0 1 0 387352621 6642872320 1369269 33554432000 4194304 5208918 140736875776128 140736875773976 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1621795 1369269 96 248 0 1621544 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 10854580
[startup+162.3 s]
/proc/loadavg: 2.36 2.19 2.07 4/183 15681
/proc/meminfo: memFree=19624740/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=105.41 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613974 0 0 0 10286 255 0 0 20 0 1 0 387352621 6646648832 1370112 33554432000 4194304 5208918 140736875776128 140736875774008 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370112 104 248 0 1622466 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 10858268
[startup+222.3 s]
/proc/loadavg: 2.13 2.15 2.06 4/184 15683
/proc/meminfo: memFree=19608432/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=165.4 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613974 0 0 0 16285 255 0 0 20 0 1 0 387352621 6646648832 1370112 33554432000 4194304 5208918 140736875776128 140736875774008 4211162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370112 104 248 0 1622466 0
################
# More data... #
################
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 10858268
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 15693
/proc/meminfo: memFree=19540208/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1365.22 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 136267 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4205128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 10858268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 15693
/proc/meminfo: memFree=19531028/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1425.21 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 142266 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 10858268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 15693
/proc/meminfo: memFree=19553436/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1485.2 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 148265 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4229483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 10858268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/184 15696
/proc/meminfo: memFree=19535764/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1545.19 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 154264 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 10858268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 15696
/proc/meminfo: memFree=19524248/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1605.18 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 160263 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 10858268
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 15697
/proc/meminfo: memFree=19539452/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1665.17 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 166262 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 10858268
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 15697
/proc/meminfo: memFree=19527108/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1725.16 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 172261 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 10858268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15697
/proc/meminfo: memFree=19525308/32873648 swapFree=7376/7376
[pid=15646] ppid=15642 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (npSolver-wbo-It) S 15642 15646 15040 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387346934 9367552 274 33554432000 4194304 5064252 140735157334816 140735157333728 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15646/statm: 2287 274 233 213 0 72 0
[pid=15647] ppid=15646 vsize=4349104 CPUtime=56.8 cores=1,3,5,7
/proc/15647/stat : 15647 (npSolver-wbo) S 15646 15646 15040 0 -1 4202496 89451 46531 0 0 3825 599 1242 14 20 0 1 0 387346934 4453482496 720257 33554432000 4194304 6006132 140735338425680 140735338417072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/15647/statm: 1087276 720257 190 443 0 1086829 0
[pid=15680] ppid=15647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (satsolver.sh) S 15647 15646 15040 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387352620 9367552 267 33554432000 4194304 5064252 140733611112384 140733611111296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15680/statm: 2287 267 226 213 0 72 0
[pid=15681] ppid=15680 vsize=6490868 CPUtime=1743.27 cores=1,3,5,7
/proc/15681/stat : 15681 (glucose) R 15680 15646 15040 0 -1 4202496 613992 0 0 0 174072 255 0 0 20 0 1 0 387352621 6646648832 1370641 33554432000 4194304 5208918 140736875776128 140736875774008 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15681/statm: 1622717 1370641 104 248 0 1622466 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10858268
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 15646 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.07
CPU user time (s): 1791.39
CPU system time (s): 8.68
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 13177752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
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= 1
runsolver used 4.18036 second user time and 11.5542 second system time
The end