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-3752136-1339128848/watcher-3752136-1339128848 -o /tmp/evaluation-result-3752136-1339128848/solver-3752136-1339128848 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752136-1339128848.opb 1027419326 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15529
/proc/meminfo: memFree=29096220/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[startup+0.0554571 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15529
/proc/meminfo: memFree=29096220/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100201 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15529
/proc/meminfo: memFree=29096220/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300146 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15529
/proc/meminfo: memFree=29096220/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700166 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15529
/proc/meminfo: memFree=29096220/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.84 3/182 15533
/proc/meminfo: memFree=28941480/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=0.49 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5305 0 0 0 46 3 0 0 20 0 1 0 379010894 29532160 5818 33554432000 4194304 6004724 140736732744672 140736732739136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5818 163 442 0 6764 0
[pid=15532] ppid=15530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15532/stat : 15532 (cp2_pre.sh) S 15530 15529 12337 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 379010945 9367552 276 33554432000 4194304 5064252 140736319613776 140736319612480 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15532/statm: 2287 276 234 213 0 72 0
[pid=15533] ppid=15532 vsize=166188 CPUtime=0.98 cores=0,2,4,6
/proc/15533/stat : 15533 (coprocessor) R 15532 15529 12337 0 -1 4202496 28876 0 0 0 93 5 0 0 20 0 1 0 379010945 170176512 40400 33554432000 4194304 6586260 140736830340368 140736830336632 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/15533/statm: 41547 40402 184 584 0 40959 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 213324
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.84 3/182 15533
/proc/meminfo: memFree=28891552/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=0.49 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5305 0 0 0 46 3 0 0 20 0 1 0 379010894 29532160 5818 33554432000 4194304 6004724 140736732744672 140736732739136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5818 163 442 0 6764 0
[pid=15532] ppid=15530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15532/stat : 15532 (cp2_pre.sh) S 15530 15529 12337 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 379010945 9367552 276 33554432000 4194304 5064252 140736319613776 140736319612480 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15532/statm: 2287 276 234 213 0 72 0
[pid=15533] ppid=15532 vsize=176164 CPUtime=2.58 cores=0,2,4,6
/proc/15533/stat : 15533 (coprocessor) R 15532 15529 12337 0 -1 4202496 32074 0 0 0 250 8 0 0 20 0 1 0 379010945 180391936 43155 33554432000 4194304 6586260 140736830340368 140736830336120 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/15533/statm: 44041 43155 204 584 0 43453 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 223300
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.84 3/181 15535
/proc/meminfo: memFree=28989872/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=79856 CPUtime=3.13 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 17357 0 0 0 311 2 0 0 20 0 1 0 379011209 81772544 18201 33554432000 4194304 5654031 140735585291424 140735585279240 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 19964 18201 141 357 0 19604 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 117844
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.84 3/181 15535
/proc/meminfo: memFree=28986648/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=80396 CPUtime=9.54 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 17470 0 0 0 951 3 0 0 20 0 1 0 379011209 82325504 18314 33554432000 4194304 5654031 140735585291424 140735585289208 4232632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 20099 18314 141 357 0 19739 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 118384
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.84 3/181 15535
/proc/meminfo: memFree=28978520/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=88260 CPUtime=22.33 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 18117 0 0 0 2230 3 0 0 20 0 1 0 379011209 90378240 18940 33554432000 4194304 5654031 140735585291424 140735585289208 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15535/statm: 22065 18940 141 357 0 21705 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 126248
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 15596
/proc/meminfo: memFree=29023688/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=88824 CPUtime=47.92 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 18725 0 0 0 4788 4 0 0 20 0 1 0 379011209 90955776 19524 33554432000 4194304 5654031 140735585291424 140735585289208 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15535/statm: 22206 19524 142 357 0 21846 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 126812
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 15638
/proc/meminfo: memFree=28998488/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=112720 CPUtime=99.1 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 21245 0 0 0 9905 5 0 0 20 0 1 0 379011209 115425280 25713 33554432000 4194304 5654031 140735585291424 140735585289224 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15535/statm: 28180 25713 142 357 0 27820 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 150708
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 15687
/proc/meminfo: memFree=28996568/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=112720 CPUtime=159.07 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 21250 0 0 0 15902 5 0 0 20 0 1 0 379011209 115425280 25799 33554432000 4194304 5654031 140735585291424 140735585289224 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 28180 25799 142 357 0 27820 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 150708
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 15737
/proc/meminfo: memFree=28989588/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=112720 CPUtime=219.06 cores=0,2,4,6
################
# More data... #
################
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 21252 0 0 0 39897 6 0 0 20 0 1 0 379011209 115425280 26823 33554432000 4194304 5654031 140735585291424 140735585279240 4232767 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 28180 26823 142 357 0 27820 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 150708
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/183 15929
/proc/meminfo: memFree=28983668/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=121580 CPUtime=459.02 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 21934 0 0 0 45895 7 0 0 20 0 1 0 379011209 124497920 28476 33554432000 4194304 5654031 140735585291424 140735585289224 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 30395 28476 142 357 0 30035 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 159568
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 15979
/proc/meminfo: memFree=28965200/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=140256 CPUtime=519 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 22526 0 0 0 51893 7 0 0 20 0 1 0 379011209 143622144 33620 33554432000 4194304 5654031 140735585291424 140735585279240 4233151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 35064 33620 142 357 0 34704 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 178244
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 15993
/proc/meminfo: memFree=28964952/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=140256 CPUtime=534.2 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 22556 0 0 0 53413 7 0 0 20 0 1 0 379011209 143622144 33648 33554432000 4194304 5654031 140735585291424 140735585279240 4232720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 35064 33648 142 357 0 34704 0
Current children cumulated CPU time (s) 537.32
Current children cumulated vsize (KiB) 178244
[startup+563.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 16014
/proc/meminfo: memFree=28955596/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=151928 CPUtime=559.81 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 23127 0 0 0 55973 8 0 0 20 0 1 0 379011209 155574272 36156 33554432000 4194304 5654031 140735585291424 140735585279240 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 37982 36156 142 357 0 37622 0
Current children cumulated CPU time (s) 562.93
Current children cumulated vsize (KiB) 189916
[startup+575.9 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 16021
/proc/meminfo: memFree=28953440/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=151928 CPUtime=572.6 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 23606 0 0 0 57252 8 0 0 20 0 1 0 379011209 155574272 36625 33554432000 4194304 5654031 140735585291424 140735585279240 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 37982 36625 142 357 0 37622 0
Current children cumulated CPU time (s) 575.72
Current children cumulated vsize (KiB) 189916
[startup+579.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 16028
/proc/meminfo: memFree=28954128/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=151928 CPUtime=575.8 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 23606 0 0 0 57572 8 0 0 20 0 1 0 379011209 155574272 36625 33554432000 4194304 5654031 140735585291424 140735585279240 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 37982 36625 142 357 0 37622 0
Current children cumulated CPU time (s) 578.92
Current children cumulated vsize (KiB) 189916
[startup+580.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 16028
/proc/meminfo: memFree=28953980/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28840 CPUtime=3.12 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4202496 5323 32975 0 0 46 3 254 9 20 0 1 0 379010894 29532160 5822 33554432000 4194304 6004724 140736732744672 140736732730952 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15530/statm: 7210 5822 167 442 0 6764 0
[pid=15535] ppid=15530 vsize=151928 CPUtime=577.4 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) R 15530 15529 12337 0 -1 4202496 23606 0 0 0 57732 8 0 0 20 0 1 0 379011209 155574272 36625 33554432000 4194304 5654031 140735585291424 140735585279240 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 37982 36625 142 357 0 37622 0
Current children cumulated CPU time (s) 580.52
Current children cumulated vsize (KiB) 189916
[startup+581.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 16028
/proc/meminfo: memFree=28953980/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28844 CPUtime=3.14 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4204032 6161 32975 0 0 48 3 254 9 20 0 1 0 379010894 29536256 5844 33554432000 4194304 6004724 140736732744672 140736732739224 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15530/statm: 7211 5844 188 442 0 6765 0
[pid=15535] ppid=15530 vsize=151936 CPUtime=578.13 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) S 15530 15529 12337 0 -1 4202496 23624 0 0 0 57805 8 0 0 20 0 1 0 379011209 155582464 36643 33554432000 4194304 5654031 140735585291424 140735585289736 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 37984 36643 148 357 0 37624 0
Current children cumulated CPU time (s) 581.27
Current children cumulated vsize (KiB) 189928
[startup+581.907 s]
/proc/loadavg: 2.00 2.00 1.90 2/184 16029
/proc/meminfo: memFree=28912372/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28844 CPUtime=3.15 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4204032 6162 32975 0 0 48 4 254 9 20 0 1 0 379010894 29536256 5845 33554432000 4194304 6004724 140736732744672 140736732739224 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15530/statm: 7211 5845 189 442 0 6765 0
[pid=15535] ppid=15530 vsize=151936 CPUtime=578.13 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) S 15530 15529 12337 0 -1 4202496 23624 0 0 0 57805 8 0 0 20 0 1 0 379011209 155582464 36643 33554432000 4194304 5654031 140735585291424 140735585289736 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 37984 36643 148 357 0 37624 0
Current children cumulated CPU time (s) 581.28
Current children cumulated vsize (KiB) 189928
[startup+582.1 s]
/proc/loadavg: 2.00 2.00 1.90 2/184 16029
/proc/meminfo: memFree=28912372/32873648 swapFree=6860/6860
[pid=15529] ppid=15527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo-It) S 15527 15529 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379010894 9367552 275 33554432000 4194304 5064252 140733983516768 140733983515680 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15529/statm: 2287 275 233 213 0 72 0
[pid=15530] ppid=15529 vsize=28844 CPUtime=3.15 cores=0,2,4,6
/proc/15530/stat : 15530 (npSolver-pbo) S 15529 15529 12337 0 -1 4204032 6162 32975 0 0 48 4 254 9 20 0 1 0 379010894 29536256 5845 33554432000 4194304 6004724 140736732744672 140736732739224 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15530/statm: 7211 5845 189 442 0 6765 0
[pid=15535] ppid=15530 vsize=151936 CPUtime=578.13 cores=0,2,4,6
/proc/15535/stat : 15535 (glucosInc) S 15530 15529 12337 0 -1 4202496 23624 0 0 0 57805 8 0 0 20 0 1 0 379011209 155582464 36643 33554432000 4194304 5654031 140735585291424 140735585289736 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15535/statm: 37984 36643 148 357 0 37624 0
Current children cumulated CPU time (s) 581.28
Current children cumulated vsize (KiB) 189928
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15529 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=34538
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=143978
# CPU time returned by wait4() is 3.17852
# while last known CPU time is 581.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 582.142
CPU time (s): 581.28
CPU user time (s): 581.07
CPU system time (s): 0.21
CPU usage (%): 99.852
Max. virtual memory (cumulated for all children) (KiB): 223300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.03454
system time used= 0.143978
maximum resident set size= 178468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6764
involuntary context switches= 18
runsolver used 1.14283 second user time and 3.03154 second system time
The end