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-3698056-1338061969/watcher-3698056-1338061969 -o /tmp/evaluation-result-3698056-1338061969/solver-3698056-1338061969 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698056-1338061969.opb 1772996345 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 4/175 6041
/proc/meminfo: memFree=27773876/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[startup+0.014912 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 6041
/proc/meminfo: memFree=27773876/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100142 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 6041
/proc/meminfo: memFree=27773876/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 6041
/proc/meminfo: memFree=27773876/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700186 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 6041
/proc/meminfo: memFree=27773876/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6067
/proc/meminfo: memFree=27730492/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=1.4 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 5845 16723 0 0 35 10 92 3 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 16676
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6071
/proc/meminfo: memFree=27730500/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=1.4 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 5845 16723 0 0 35 10 92 3 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6069] ppid=6043 vsize=19552 CPUtime=1.66 cores=1,3,5,7
/proc/6069/stat : 6069 (glucosInc) R 6043 6041 5308 0 -1 4202496 3941 0 0 0 166 0 0 0 20 0 1 0 272323894 20021248 4139 33554432000 4194304 5654031 140737345259040 140737345246856 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 4888 4139 140 357 0 4528 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 36228
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6075
/proc/meminfo: memFree=27726748/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=3.26 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 7179 21201 0 0 42 10 270 4 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6073] ppid=6043 vsize=18224 CPUtime=3 cores=1,3,5,7
/proc/6073/stat : 6073 (glucosInc) R 6043 6041 5308 0 -1 4202496 4693 0 0 0 300 0 0 0 20 0 1 0 272324079 18661376 3989 33554432000 4194304 5654031 140733497359088 140733497346904 4232408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6073/statm: 4556 3989 142 357 0 4196 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 34900
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6085
/proc/meminfo: memFree=27728816/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=11.33 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 9847 33683 0 0 55 11 1060 7 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6085] ppid=6043 vsize=19420 CPUtime=1.33 cores=1,3,5,7
/proc/6085/stat : 6085 (glucosInc) R 6043 6041 5308 0 -1 4202496 3661 0 0 0 133 0 0 0 20 0 1 0 272324887 19886080 3913 33554432000 4194304 5654031 140734302897792 140734302895560 4232611 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6085/statm: 4855 3913 140 357 0 4495 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 36096
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6093
/proc/meminfo: memFree=27723968/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=23.11 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 12515 46490 0 0 69 11 2222 9 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6093] ppid=6043 vsize=18160 CPUtime=2.35 cores=1,3,5,7
/proc/6093/stat : 6093 (glucosInc) R 6043 6041 5308 0 -1 4202496 4571 0 0 0 235 0 0 0 20 0 1 0 272326065 18595840 3823 33554432000 4194304 5654031 140736258729888 140736258717704 4232479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6093/statm: 4540 3823 142 357 0 4180 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 34836
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6097
/proc/meminfo: memFree=27699568/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=30.12 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 13849 54094 0 0 75 11 2915 11 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6095] ppid=6043 vsize=34264 CPUtime=20.93 cores=1,3,5,7
/proc/6095/stat : 6095 (glucosInc) R 6043 6041 5308 0 -1 4202496 7408 0 0 0 2092 1 0 0 20 0 1 0 272326767 35086336 8079 33554432000 4194304 5654031 140737161510384 140737161498200 4232605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6095/statm: 8566 8079 142 357 0 8206 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 50940
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6156
/proc/meminfo: memFree=27668168/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=30.12 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 13849 54094 0 0 75 11 2915 11 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6095] ppid=6043 vsize=55772 CPUtime=72.13 cores=1,3,5,7
/proc/6095/stat : 6095 (glucosInc) R 6043 6041 5308 0 -1 4202496 9030 0 0 0 7212 1 0 0 20 0 1 0 272326767 57110528 13428 33554432000 4194304 5654031 140737161510384 140737161498200 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6095/statm: 13943 13428 142 357 0 13583 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 72448
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6166
/proc/meminfo: memFree=27695700/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=144.49 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 15183 63656 0 0 82 12 14342 13 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6164] ppid=6043 vsize=36996 CPUtime=17.75 cores=1,3,5,7
/proc/6164/stat : 6164 (glucosInc) R 6043 6041 5308 0 -1 4202496 8233 0 0 0 1774 1 0 0 20 0 1 0 272338204 37883904 7949 33554432000 4194304 5654031 140735756242320 140735756240248 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6164/statm: 9249 7949 142 357 0 8889 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 53672
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6171
/proc/meminfo: memFree=27661620/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=144.49 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 15183 63656 0 0 82 12 14342 13 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6164] ppid=6043 vsize=51416 CPUtime=77.74 cores=1,3,5,7
/proc/6164/stat : 6164 (glucosInc) R 6043 6041 5308 0 -1 4202496 9097 0 0 0 7772 2 0 0 20 0 1 0 272338204 52649984 12368 33554432000 4194304 5654031 140735756242320 140735756230136 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6164/statm: 12854 12368 142 357 0 12494 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 68092
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6173
/proc/meminfo: memFree=27628516/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=144.49 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 15183 63656 0 0 82 12 14342 13 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6164] ppid=6043 vsize=75112 CPUtime=137.73 cores=1,3,5,7
/proc/6164/stat : 6164 (glucosInc) R 6043 6041 5308 0 -1 4202496 9230 0 0 0 13770 3 0 0 20 0 1 0 272338204 76914688 15953 33554432000 4194304 5654031 140735756242320 140735756230136 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6164/statm: 18778 15953 142 357 0 18418 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 91788
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6173
/proc/meminfo: memFree=27616972/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=144.49 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 15183 63656 0 0 82 12 14342 13 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6164] ppid=6043 vsize=75112 CPUtime=162.53 cores=1,3,5,7
/proc/6164/stat : 6164 (glucosInc) R 6043 6041 5308 0 -1 4202496 9231 0 0 0 16250 3 0 0 20 0 1 0 272338204 76914688 16465 33554432000 4194304 5654031 140735756242320 140735756230136 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6164/statm: 18778 16465 142 357 0 18418 0
Current children cumulated CPU time (s) 307.02
Current children cumulated vsize (KiB) 91788
[startup+313.507 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6173
/proc/meminfo: memFree=27611260/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=144.49 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 15183 63656 0 0 82 12 14342 13 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6164] ppid=6043 vsize=75112 CPUtime=168.93 cores=1,3,5,7
/proc/6164/stat : 6164 (glucosInc) R 6043 6041 5308 0 -1 4202496 9231 0 0 0 16890 3 0 0 20 0 1 0 272338204 76914688 16465 33554432000 4194304 5654031 140735756242320 140735756230136 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6164/statm: 18778 16465 142 357 0 18418 0
Current children cumulated CPU time (s) 313.42
Current children cumulated vsize (KiB) 91788
[startup+316.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6175
/proc/meminfo: memFree=27661100/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=315.45 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 16517 73419 0 0 89 12 31426 18 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6175] ppid=6043 vsize=19412 CPUtime=1.18 cores=1,3,5,7
/proc/6175/stat : 6175 (glucosInc) R 6043 6041 5308 0 -1 4202496 3931 0 0 0 118 0 0 0 20 0 1 0 272355303 19877888 4128 33554432000 4194304 5654031 140735031382544 140735031380312 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6175/statm: 4853 4128 131 357 0 4493 0
Current children cumulated CPU time (s) 316.63
Current children cumulated vsize (KiB) 36088
[startup+319.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6175
/proc/meminfo: memFree=27661412/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=315.45 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 16517 73419 0 0 89 12 31426 18 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6175] ppid=6043 vsize=18392 CPUtime=4.36 cores=1,3,5,7
/proc/6175/stat : 6175 (glucosInc) R 6043 6041 5308 0 -1 4202496 5835 0 0 0 436 0 0 0 20 0 1 0 272355303 18833408 4056 33554432000 4194304 5654031 140735031382544 140735031370360 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6175/statm: 4598 4056 142 357 0 4238 0
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (KiB) 35068
[startup+320.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6175
/proc/meminfo: memFree=27657624/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=315.45 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 16517 73419 0 0 89 12 31426 18 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6175] ppid=6043 vsize=22772 CPUtime=5.17 cores=1,3,5,7
/proc/6175/stat : 6175 (glucosInc) R 6043 6041 5308 0 -1 4202496 6251 0 0 0 516 1 0 0 20 0 1 0 272355303 23318528 4982 33554432000 4194304 5654031 140735031382544 140735031370360 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6175/statm: 5693 4982 142 357 0 5333 0
Current children cumulated CPU time (s) 320.62
Current children cumulated vsize (KiB) 39448
[startup+321.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6175
/proc/meminfo: memFree=27652724/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=315.45 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 16517 73419 0 0 89 12 31426 18 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6175] ppid=6043 vsize=25448 CPUtime=5.58 cores=1,3,5,7
/proc/6175/stat : 6175 (glucosInc) R 6043 6041 5308 0 -1 4202496 7045 0 0 0 557 1 0 0 20 0 1 0 272355303 26058752 5671 33554432000 4194304 5654031 140735031382544 140735031370360 4216494 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6175/statm: 6362 5671 142 357 0 6002 0
Current children cumulated CPU time (s) 321.03
Current children cumulated vsize (KiB) 42124
[startup+321.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6175
/proc/meminfo: memFree=27652724/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=315.45 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 16517 73419 0 0 89 12 31426 18 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6175] ppid=6043 vsize=25448 CPUtime=5.97 cores=1,3,5,7
/proc/6175/stat : 6175 (glucosInc) R 6043 6041 5308 0 -1 4202496 7135 0 0 0 596 1 0 0 20 0 1 0 272355303 26058752 5757 33554432000 4194304 5654031 140735031382544 140735031380344 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6175/statm: 6362 5757 142 357 0 6002 0
Current children cumulated CPU time (s) 321.42
Current children cumulated vsize (KiB) 42124
[startup+321.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6175
/proc/meminfo: memFree=27652724/32873648 swapFree=6848/6848
[pid=6041] ppid=6039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6041/stat : 6041 (npSolver-pbo-It) S 6039 6041 5308 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272323751 9367552 274 33554432000 4194304 5064252 140736722231856 140736722230768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 2287 274 233 213 0 72 0
[pid=6043] ppid=6041 vsize=7528 CPUtime=315.45 cores=1,3,5,7
/proc/6043/stat : 6043 (npSolver-pbo) S 6041 6041 5308 0 -1 4202496 16517 73419 0 0 89 12 31426 18 20 0 1 0 272323751 7708672 1333 33554432000 4194304 5992684 140734062982096 140734062967928 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6043/statm: 1882 1333 179 440 0 1438 0
[pid=6175] ppid=6043 vsize=25448 CPUtime=6.07 cores=1,3,5,7
/proc/6175/stat : 6175 (glucosInc) R 6043 6041 5308 0 -1 4202496 7135 0 0 0 606 1 0 0 20 0 1 0 272355303 26058752 5757 33554432000 4194304 5654031 140735031382544 140735031380344 4217160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6175/statm: 6362 5757 142 357 0 6002 0
Current children cumulated CPU time (s) 321.52
Current children cumulated vsize (KiB) 42124
Child status: 0
Real time (s): 321.698
CPU time (s): 321.642
CPU user time (s): 321.32
CPU system time (s): 0.321951
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 98444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.32
system time used= 0.321951
maximum resident set size= 70412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 910
involuntary context switches= 378
runsolver used 0.6539 second user time and 1.78773 second system time
The end