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-3749249-1339170231/watcher-3749249-1339170231 -o /tmp/evaluation-result-3749249-1339170231/solver-3749249-1339170231 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749249-1339170231.opb 1279285262 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: 1.89 2.01 1.97 4/175 3828
/proc/meminfo: memFree=28979168/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[startup+0.0426349 s]
/proc/loadavg: 1.89 2.01 1.97 4/175 3828
/proc/meminfo: memFree=28979168/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 1.89 2.01 1.97 4/175 3828
/proc/meminfo: memFree=28979168/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300256 s]
/proc/loadavg: 1.89 2.01 1.97 4/175 3828
/proc/meminfo: memFree=28979168/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700152 s]
/proc/loadavg: 1.89 2.01 1.97 4/175 3828
/proc/meminfo: memFree=28979168/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50018 s]
/proc/loadavg: 1.89 2.01 1.97 4/179 3832
/proc/meminfo: memFree=28792588/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=148220 CPUtime=1.49 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) R 3828 3828 3785 0 -1 4202496 23518 0 0 0 142 7 0 0 20 0 1 0 383149223 151777280 33204 33554432000 4194304 6004724 140735395804928 140735395800504 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3830/statm: 37055 33204 130 442 0 36609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157368
[startup+3.10018 s]
/proc/loadavg: 1.89 2.01 1.97 4/179 3832
/proc/meminfo: memFree=28517468/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=362892 CPUtime=3.09 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) R 3828 3828 3785 0 -1 4202496 50562 0 0 0 296 13 0 0 20 0 1 0 383149223 371601408 76434 33554432000 4194304 6004724 140735395804928 140735395799208 4534761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3830/statm: 90723 76434 154 442 0 90277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372040
[startup+6.30018 s]
/proc/loadavg: 1.97 2.02 1.98 4/179 3832
/proc/meminfo: memFree=27952460/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=756108 CPUtime=6.28 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) R 3828 3828 3785 0 -1 4202496 51893 0 0 0 607 21 0 0 20 0 1 0 383149223 774254592 136338 33554432000 4194304 6004724 140735395804928 140735395799528 4582526 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3830/statm: 189027 136338 154 442 0 188581 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765256
[startup+12.7004 s]
/proc/loadavg: 1.98 2.02 1.98 4/179 3832
/proc/meminfo: memFree=26929680/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=1280396 CPUtime=12.68 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) R 3828 3828 3785 0 -1 4202496 52901 0 0 0 1232 36 0 0 20 0 1 0 383149223 1311125504 259730 33554432000 4194304 6004724 140735395804928 140735395799528 4720368 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3830/statm: 320099 259730 154 442 0 319653 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1289544
[startup+25.5003 s]
/proc/loadavg: 1.98 2.02 1.98 4/183 3836
/proc/meminfo: memFree=22408208/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=23.81 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57773 0 0 0 2106 275 0 0 20 0 1 0 383149223 2394083328 429473 33554432000 4194304 6004724 140735395804928 140735395799392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429473 163 442 0 584047 0
[pid=3835] ppid=3830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3835/stat : 3835 (cp2_pre.sh) S 3830 3828 3785 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383151608 9367552 276 33554432000 4194304 5064252 140733610213152 140733610211856 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3835/statm: 2287 276 234 213 0 72 0
[pid=3836] ppid=3835 vsize=184016 CPUtime=1.62 cores=1,3,5,7
/proc/3836/stat : 3836 (coprocessor) R 3835 3828 3785 0 -1 4202496 13226 0 0 0 156 6 0 0 20 0 1 0 383151609 188432384 41431 33554432000 4194304 6586260 140735847981056 140735847977816 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/3836/statm: 46004 41431 138 584 0 45416 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 2540284
[startup+51.1066 s]
/proc/loadavg: 2.33 2.10 2.01 3/183 3836
/proc/meminfo: memFree=17508636/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=23.81 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57773 0 0 0 2106 275 0 0 20 0 1 0 383149223 2394083328 429473 33554432000 4194304 6004724 140735395804928 140735395799392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429473 163 442 0 584047 0
[pid=3835] ppid=3830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3835/stat : 3835 (cp2_pre.sh) S 3830 3828 3785 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383151608 9367552 276 33554432000 4194304 5064252 140733610213152 140733610211856 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3835/statm: 2287 276 234 213 0 72 0
[pid=3836] ppid=3835 vsize=2800976 CPUtime=26.67 cores=1,3,5,7
/proc/3836/stat : 3836 (coprocessor) R 3835 3828 3785 0 -1 4202496 24966 0 0 0 2540 127 0 0 20 0 1 0 383151609 2868199424 591456 33554432000 4194304 6586260 140735847981056 140735847976808 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 55 0 0
/proc/3836/statm: 700244 591456 158 584 0 699656 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 5157244
[startup+102.3 s]
/proc/loadavg: 3.27 2.39 2.11 4/181 3840
/proc/meminfo: memFree=19665504/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=990004 CPUtime=3.23 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 111701 0 0 0 293 30 0 0 20 0 1 0 383159129 1013764096 201464 33554432000 4194304 5654031 140736563744960 140736562694312 4240850 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3840/statm: 247501 201464 108 357 0 247141 0
Current children cumulated CPU time (s) 98.09
Current children cumulated vsize (KiB) 3337124
[startup+162.3 s]
/proc/loadavg: 2.53 2.34 2.11 4/181 3840
/proc/meminfo: memFree=16664300/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=3970172 CPUtime=63.22 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 390304 0 0 0 6204 118 0 0 20 0 1 0 383159129 4065456128 818561 33554432000 4194304 5654031 140736563744960 140736563742744 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 992543 818561 140 357 0 992183 0
Current children cumulated CPU time (s) 158.08
Current children cumulated vsize (KiB) 6317292
[startup+222.3 s]
/proc/loadavg: 2.19 2.28 2.09 4/181 3840
/proc/meminfo: memFree=16664600/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=3970752 CPUtime=123.21 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 394151 0 0 0 12202 119 0 0 20 0 1 0 383159129 4066050048 818702 33554432000 4194304 5654031 140736563744960 140736563742744 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 992688 818702 140 357 0 992328 0
Current children cumulated CPU time (s) 218.07
Current children cumulated vsize (KiB) 6317872
[startup+282.3 s]
/proc/loadavg: 2.07 2.23 2.09 4/181 3841
/proc/meminfo: memFree=16663456/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=16610340/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4002868 CPUtime=1203.04 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 502664 0 0 0 120153 151 0 0 20 0 1 0 383159129 4098936832 832346 33554432000 4194304 5654031 140736563744960 140736563732776 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1000717 832346 141 357 0 1000357 0
Current children cumulated CPU time (s) 1297.9
Current children cumulated vsize (KiB) 6349988
[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 2.01 4/181 3873
/proc/meminfo: memFree=16610344/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4003132 CPUtime=1263.04 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 502703 0 0 0 126153 151 0 0 20 0 1 0 383159129 4099207168 832385 33554432000 4194304 5654031 140736563744960 140736563742760 4214522 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1000783 832385 141 357 0 1000423 0
Current children cumulated CPU time (s) 1357.9
Current children cumulated vsize (KiB) 6350252
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 3873
/proc/meminfo: memFree=16607104/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4003980 CPUtime=1323.03 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 506624 0 0 0 132150 153 0 0 20 0 1 0 383159129 4100075520 833132 33554432000 4194304 5654031 140736563744960 140736563732776 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1000995 833132 141 357 0 1000635 0
Current children cumulated CPU time (s) 1417.89
Current children cumulated vsize (KiB) 6351100
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 3873
/proc/meminfo: memFree=16604540/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4004564 CPUtime=1383.01 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 514141 0 0 0 138146 155 0 0 20 0 1 0 383159129 4100673536 833790 33554432000 4194304 5654031 140736563744960 140736563743032 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1001141 833790 141 357 0 1000781 0
Current children cumulated CPU time (s) 1477.87
Current children cumulated vsize (KiB) 6351684
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 3874
/proc/meminfo: memFree=16601792/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4005600 CPUtime=1443.01 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 518012 0 0 0 144144 157 0 0 20 0 1 0 383159129 4101734400 834487 33554432000 4194304 5654031 140736563744960 140736563732776 4233306 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1001400 834487 141 357 0 1001040 0
Current children cumulated CPU time (s) 1537.87
Current children cumulated vsize (KiB) 6352720
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 3877
/proc/meminfo: memFree=16598228/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4007152 CPUtime=1503 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 525773 0 0 0 150140 160 0 0 20 0 1 0 383159129 4103323648 835389 33554432000 4194304 5654031 140736563744960 140736563743032 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1001788 835389 141 357 0 1001428 0
Current children cumulated CPU time (s) 1597.86
Current children cumulated vsize (KiB) 6354272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 3877
/proc/meminfo: memFree=16595044/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4008272 CPUtime=1562.99 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 533426 0 0 0 156136 163 0 0 20 0 1 0 383159129 4104470528 836183 33554432000 4194304 5654031 140736563744960 140736563743032 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1002068 836183 141 357 0 1001708 0
Current children cumulated CPU time (s) 1657.85
Current children cumulated vsize (KiB) 6355392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 3877
/proc/meminfo: memFree=16594972/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4008272 CPUtime=1622.98 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 537145 0 0 0 162134 164 0 0 20 0 1 0 383159129 4104470528 836217 33554432000 4194304 5654031 140736563744960 140736563743032 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1002068 836217 141 357 0 1001708 0
Current children cumulated CPU time (s) 1717.84
Current children cumulated vsize (KiB) 6355392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 3877
/proc/meminfo: memFree=16592476/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4008632 CPUtime=1682.97 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 540886 0 0 0 168132 165 0 0 20 0 1 0 383159129 4104839168 836784 33554432000 4194304 5654031 140736563744960 140736563732776 4232386 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1002158 836784 141 357 0 1001798 0
Current children cumulated CPU time (s) 1777.83
Current children cumulated vsize (KiB) 6355752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.51 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 3879
/proc/meminfo: memFree=21144508/32873648 swapFree=6860/6860
[pid=3828] ppid=3826 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3828/stat : 3828 (npSolver-pbo-I.) S 3826 3828 3785 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383149223 9367552 274 33554432000 4194304 5064252 140733362113744 140733362112656 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3828/statm: 2287 274 233 213 0 72 0
[pid=3830] ppid=3828 vsize=2337972 CPUtime=94.86 cores=1,3,5,7
/proc/3830/stat : 3830 (npSolver-pbo) S 3828 3828 3785 0 -1 4202496 57791 25867 0 0 2106 275 6692 413 20 0 1 0 383149223 2394083328 429477 33554432000 4194304 6004724 140735395804928 140735395791208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/3830/statm: 584493 429477 167 442 0 584047 0
[pid=3840] ppid=3830 vsize=4008632 CPUtime=1705.18 cores=1,3,5,7
/proc/3840/stat : 3840 (glucosInc) R 3830 3828 3785 0 -1 4202496 544615 0 0 0 170352 166 0 0 20 0 1 0 383159129 4104839168 836828 33554432000 4194304 5654031 140736563744960 140736563743032 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3840/statm: 1002158 836828 141 357 0 1001798 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 6355752
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 3828 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1804.53
CPU time (s): 1800.04
CPU user time (s): 1791.5
CPU system time (s): 8.54
CPU usage (%): 99.7513
Max. virtual memory (cumulated for all children) (KiB): 6397276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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 3.75143 second user time and 10.3124 second system time
The end