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-3697727-1338133192/watcher-3697727-1338133192 -o /tmp/evaluation-result-3697727-1338133192/solver-3697727-1338133192 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697727-1338133192.opb 917071047 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.02 2.00 3/176 27928
/proc/meminfo: memFree=27616080/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[startup+0.047852 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 27928
/proc/meminfo: memFree=27616080/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100274 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 27928
/proc/meminfo: memFree=27616080/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300211 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 27928
/proc/meminfo: memFree=27616080/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700322 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 27928
/proc/meminfo: memFree=27616080/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 27932
/proc/meminfo: memFree=27502148/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=65024 CPUtime=0.87 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 11118 0 0 0 78 9 0 0 20 0 1 0 279444700 66584576 15489 33554432000 4194304 5992684 140735459595776 140735459590224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27929/statm: 16256 15489 172 440 0 15812 0
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (cp2_pre.sh) S 27929 27928 26585 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279444788 9367552 277 33554432000 4194304 5064252 140737170878048 140737170876752 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27931/statm: 2287 277 234 213 0 72 0
[pid=27932] ppid=27931 vsize=277192 CPUtime=0.6 cores=1,3,5,7
/proc/27932/stat : 27932 (coprocessor) R 27931 27928 26585 0 -1 4202496 25880 0 0 0 53 7 0 0 20 0 1 0 279444789 283844608 60672 33554432000 4194304 6586260 140733787445424 140737170876776 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/27932/statm: 69298 60672 166 584 0 68710 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 360512
[startup+3.10045 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 27932
/proc/meminfo: memFree=27224036/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=65024 CPUtime=0.87 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 11118 0 0 0 78 9 0 0 20 0 1 0 279444700 66584576 15489 33554432000 4194304 5992684 140735459595776 140735459590224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27929/statm: 16256 15489 172 440 0 15812 0
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (cp2_pre.sh) S 27929 27928 26585 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279444788 9367552 277 33554432000 4194304 5064252 140737170878048 140737170876752 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27931/statm: 2287 277 234 213 0 72 0
[pid=27932] ppid=27931 vsize=366764 CPUtime=2.2 cores=1,3,5,7
/proc/27932/stat : 27932 (coprocessor) R 27931 27928 26585 0 -1 4202496 46989 0 0 0 209 11 0 0 20 0 1 0 279444789 375566336 88932 33554432000 4194304 6586260 140733787445424 140733787441688 4774946 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/27932/statm: 91691 88932 176 584 0 91103 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 450084
[startup+6.30037 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 27932
/proc/meminfo: memFree=27044556/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=65024 CPUtime=0.87 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 11118 0 0 0 78 9 0 0 20 0 1 0 279444700 66584576 15489 33554432000 4194304 5992684 140735459595776 140735459590224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27929/statm: 16256 15489 172 440 0 15812 0
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (cp2_pre.sh) S 27929 27928 26585 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279444788 9367552 277 33554432000 4194304 5064252 140737170878048 140737170876752 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27931/statm: 2287 277 234 213 0 72 0
[pid=27932] ppid=27931 vsize=0 CPUtime=5.4 cores=1,3,5,7
/proc/27932/stat : 27932 (coprocessor) R 27931 27928 26585 0 -1 4202500 55884 0 0 0 475 65 0 0 20 0 1 0 279444789 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27932/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 83320
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 27937
/proc/meminfo: memFree=27271644/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=124924 CPUtime=12.68 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) R 27928 27928 26585 0 -1 4202496 19659 90388 0 0 152 180 854 82 20 0 1 0 279444700 127922176 29067 33554432000 4194304 5992684 140735459595776 140735459588120 4524999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 31231 29067 189 440 0 30787 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 134072
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/180 27940
/proc/meminfo: memFree=26476984/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=124924 CPUtime=16 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 22755 90905 0 0 437 222 854 87 20 0 1 0 279444700 127922176 30480 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 31231 30480 190 440 0 30787 0
[pid=27940] ppid=27929 vsize=709948 CPUtime=8.77 cores=1,3,5,7
/proc/27940/stat : 27940 (glucosInc) R 27929 27928 26585 0 -1 4202496 103069 0 0 0 845 32 0 0 20 0 1 0 279446372 726986752 156500 33554432000 4194304 5654031 140735462357872 140735462345688 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27940/statm: 177487 156500 141 357 0 177127 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 844020
[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/180 27940
/proc/meminfo: memFree=26362892/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=124924 CPUtime=16 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 22755 90905 0 0 437 222 854 87 20 0 1 0 279444700 127922176 30480 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 31231 30480 190 440 0 30787 0
[pid=27940] ppid=27929 vsize=793800 CPUtime=34.37 cores=1,3,5,7
/proc/27940/stat : 27940 (glucosInc) R 27929 27928 26585 0 -1 4202496 104381 0 0 0 3403 34 0 0 20 0 1 0 279446372 812851200 159339 33554432000 4194304 5654031 140735462357872 140735462345688 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27940/statm: 198450 159339 141 357 0 198090 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 927872
[startup+102.307 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 27940
/proc/meminfo: memFree=26360536/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=124924 CPUtime=16 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 22755 90905 0 0 437 222 854 87 20 0 1 0 279444700 127922176 30480 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 31231 30480 190 440 0 30787 0
[pid=27940] ppid=27929 vsize=793800 CPUtime=85.56 cores=1,3,5,7
/proc/27940/stat : 27940 (glucosInc) R 27929 27928 26585 0 -1 4202496 104404 0 0 0 8522 34 0 0 20 0 1 0 279446372 812851200 159873 33554432000 4194304 5654031 140735462357872 140735462345688 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27940/statm: 198450 159873 142 357 0 198090 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 927872
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 27940
/proc/meminfo: memFree=26293440/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=124924 CPUtime=16 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 22755 90905 0 0 437 222 854 87 20 0 1 0 279444700 127922176 30480 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 31231 30480 190 440 0 30787 0
[pid=27940] ppid=27929 vsize=808780 CPUtime=145.55 cores=1,3,5,7
/proc/27940/stat : 27940 (glucosInc) R 27929 27928 26585 0 -1 4202496 105736 0 0 0 14520 35 0 0 20 0 1 0 279446372 828190720 172447 33554432000 4194304 5654031 140735462357872 140735462345688 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27940/statm: 202195 172447 142 357 0 201835 0
Current children cumulated CPU time (s) 161.55
Current children cumulated vsize (KiB) 942852
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 27943
/proc/meminfo: memFree=26288132/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=792140 CPUtime=51.3 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=26181464/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1150168 CPUtime=1191.04 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 138740 0 0 0 118679 425 0 0 20 0 1 0 279461798 1177772032 247550 33554432000 4194304 5654031 140736248379344 140736248377432 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 287542 247550 141 357 0 287182 0
Current children cumulated CPU time (s) 1361.32
Current children cumulated vsize (KiB) 1300336
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27977
/proc/meminfo: memFree=26243108/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1150592 CPUtime=1251.04 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 140396 0 0 0 124657 447 0 0 20 0 1 0 279461798 1178206208 218974 33554432000 4194304 5654031 140736248379344 140736248377432 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 287648 218974 141 357 0 287288 0
Current children cumulated CPU time (s) 1421.32
Current children cumulated vsize (KiB) 1300760
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28026
/proc/meminfo: memFree=26587084/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1500124 CPUtime=1311.02 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 141381 0 0 0 130644 458 0 0 20 0 1 0 279461798 1536126976 327780 33554432000 4194304 5654031 140736248379344 140736248377128 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 375031 327780 141 357 0 374671 0
Current children cumulated CPU time (s) 1481.3
Current children cumulated vsize (KiB) 1650292
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28030
/proc/meminfo: memFree=26790876/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1500124 CPUtime=1371.01 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 142933 0 0 0 136622 479 0 0 20 0 1 0 279461798 1536126976 280686 33554432000 4194304 5654031 140736248379344 140736248377432 4218807 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 375031 280686 141 357 0 374671 0
Current children cumulated CPU time (s) 1541.29
Current children cumulated vsize (KiB) 1650292
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 28034
/proc/meminfo: memFree=27040152/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1152120 CPUtime=1431 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 143995 0 0 0 142604 496 0 0 20 0 1 0 279461798 1179770880 222375 33554432000 4194304 5654031 140736248379344 140736248377432 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 288030 222375 141 357 0 287670 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 1302288
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 28040
/proc/meminfo: memFree=26708252/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1501368 CPUtime=1490.99 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 144872 0 0 0 148594 505 0 0 20 0 1 0 279461798 1537400832 306545 33554432000 4194304 5654031 140736248379344 140736248377432 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 375342 306545 141 357 0 374982 0
Current children cumulated CPU time (s) 1661.27
Current children cumulated vsize (KiB) 1651536
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 28041
/proc/meminfo: memFree=26943608/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1152404 CPUtime=1550.98 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 145765 0 0 0 154577 521 0 0 20 0 1 0 279461798 1180061696 244979 33554432000 4194304 5654031 140736248379344 140736248377432 4215200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 288101 244979 141 357 0 287741 0
Current children cumulated CPU time (s) 1721.26
Current children cumulated vsize (KiB) 1302572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28041
/proc/meminfo: memFree=26531160/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=1502076 CPUtime=1610.97 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 146733 0 0 0 160567 530 0 0 20 0 1 0 279461798 1538125824 339971 33554432000 4194304 5654031 140736248379344 140736248377128 4233176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 375519 339971 141 357 0 375159 0
Current children cumulated CPU time (s) 1781.25
Current children cumulated vsize (KiB) 1652244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28043
/proc/meminfo: memFree=27102856/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=938188 CPUtime=1629.78 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 147662 0 0 0 162437 541 0 0 20 0 1 0 279461798 960704512 208919 33554432000 4194304 5654031 140736248379344 140736248377368 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 234547 208919 141 357 0 234187 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1088356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28043
/proc/meminfo: memFree=27102856/32873852 swapFree=6848/6848
[pid=27928] ppid=27926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (npSolver-pbo-It) S 27926 27928 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279444700 9367552 275 33554432000 4194304 5064252 140736221100208 140736221099120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27928/statm: 2287 275 233 213 0 72 0
[pid=27929] ppid=27928 vsize=141020 CPUtime=170.28 cores=1,3,5,7
/proc/27929/stat : 27929 (npSolver-pbo) S 27928 27928 26585 0 -1 4202496 33937 197531 0 0 762 267 15862 137 20 0 1 0 279444700 144404480 34505 33554432000 4194304 5992684 140735459595776 140735459581608 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 35255 34505 191 440 0 34811 0
[pid=27943] ppid=27929 vsize=938188 CPUtime=1629.78 cores=1,3,5,7
/proc/27943/stat : 27943 (glucosInc) R 27929 27928 26585 0 -1 4202496 147662 0 0 0 162437 541 0 0 20 0 1 0 279461798 960704512 208919 33554432000 4194304 5654031 140736248379344 140736248377368 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27943/statm: 234547 208919 141 357 0 234187 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1088356
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27928 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=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.12
CPU time (s): 1800.06
CPU user time (s): 1790.61
CPU system time (s): 9.45
CPU usage (%): 99.9412
Max. virtual memory (cumulated for all children) (KiB): 2563932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
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.46232 second user time and 11.1023 second system time
The end