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-3733594-1338716481/watcher-3733594-1338716481 -o /tmp/evaluation-result-3733594-1338716481/solver-3733594-1338716481 -C 1800 -W 1900 -M 15500 solver HOME/instance-3733594-1338716481.opb 690254680
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.08 2.04 2.01 3/195 16896
/proc/meminfo: memFree=26808948/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/16896/stat : 16896 (python) D 16894 16896 15301 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 337772305 15642624 526 33554432000 4194304 5683644 140734864464320 140734864450232 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/16896/statm: 3819 526 312 364 0 261 0
[startup+0.047227 s]
/proc/loadavg: 2.08 2.04 2.01 3/195 16896
/proc/meminfo: memFree=26808948/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=16436 CPUtime=0 cores=1,3,5,7
/proc/16896/stat : 16896 (python) R 16894 16896 15301 0 -1 4202496 1235 0 0 0 0 0 0 0 20 0 1 0 337772305 16830464 930 33554432000 4194304 5683644 140734864464320 140734864446472 251052700331 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/16896/statm: 4109 930 392 364 0 551 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16436
[startup+0.100267 s]
/proc/loadavg: 2.08 2.04 2.01 3/195 16896
/proc/meminfo: memFree=26808948/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=18024 CPUtime=0.02 cores=1,3,5,7
/proc/16896/stat : 16896 (python) D 16894 16896 15301 0 -1 4202496 2330 0 0 0 1 1 0 0 20 0 1 0 337772305 18456576 824 33554432000 4194304 4196484 140734414932720 140734414886536 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/16896/statm: 4506 824 390 1 0 441 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18024
[startup+0.300238 s]
/proc/loadavg: 2.08 2.04 2.01 3/195 16896
/proc/meminfo: memFree=26808948/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=57144 CPUtime=0.06 cores=1,3,5,7
/proc/16896/stat : 16896 (python) R 16894 16896 15301 0 -1 4202496 4150 0 0 0 4 2 0 0 20 0 1 0 337772305 58515456 2278 33554432000 4194304 4196484 140734414932720 140734414760424 251053032336 0 0 16781312 2 18446744071578955333 0 0 17 5 0 0 0 0 0
/proc/16896/statm: 14286 2278 604 1 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 57144
[startup+0.700181 s]
/proc/loadavg: 2.08 2.04 2.01 3/195 16896
/proc/meminfo: memFree=26808948/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=103800 CPUtime=0.22 cores=1,3,5,7
/proc/16896/stat : 16896 (python) R 16894 16896 15301 0 -1 4202496 6863 1011 0 0 16 6 0 0 20 0 1 0 337772305 106291200 4265 33554432000 4194304 4196484 140734414932720 140734414898680 139918313406448 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 25950 4265 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 103800
[startup+1.50025 s]
/proc/loadavg: 2.08 2.04 2.01 2/196 16901
/proc/meminfo: memFree=26788244/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=118120 CPUtime=0.41 cores=1,3,5,7
/proc/16896/stat : 16896 (python) R 16894 16896 15301 0 -1 4202496 9593 1011 0 0 28 13 0 0 20 0 1 0 337772305 120954880 5831 33554432000 4194304 4196484 140734414932720 140734414866328 251053032736 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 118120
[startup+3.10031 s]
/proc/loadavg: 2.08 2.04 2.01 3/197 16902
/proc/meminfo: memFree=26783460/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=134456 CPUtime=0.56 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 11225 1011 0 0 41 15 0 0 20 0 1 0 337772305 137682944 6348 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 33614 6348 1170 1 0 5186 0
[pid=16902] ppid=16896 vsize=2332 CPUtime=1.36 cores=1,3,5,7
/proc/16902/stat : 16902 (clasp-1.3.3-x86) R 16896 16902 16902 0 -1 4202496 645 0 0 0 136 0 0 0 20 0 1 0 337772478 2387968 329 33554432000 134512640 136080129 4292837120 4292836256 134845698 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16902/statm: 583 329 175 383 0 198 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 136788
heavy processes:
[startup+6.30026 s]
/proc/loadavg: 2.07 2.04 2.01 3/197 16902
/proc/meminfo: memFree=26775460/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=134456 CPUtime=0.71 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 11239 1011 0 0 53 18 0 0 20 0 1 0 337772305 137682944 6348 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 33614 6348 1170 1 0 5186 0
[pid=16902] ppid=16896 vsize=2596 CPUtime=4.55 cores=1,3,5,7
/proc/16902/stat : 16902 (clasp-1.3.3-x86) R 16896 16902 16902 0 -1 4202496 715 0 0 0 455 0 0 0 20 0 1 0 337772478 2658304 399 33554432000 134512640 136080129 4292837120 4292836064 134804939 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16902/statm: 649 399 175 383 0 264 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 137052
[startup+12.7002 s]
/proc/loadavg: 2.07 2.04 2.01 3/197 16902
/proc/meminfo: memFree=26764540/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=11.5 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 12510 2751 0 0 79 22 1048 1 20 0 1 0 337772305 139792384 6368 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6368 1180 1 0 5186 0
Current children cumulated CPU time (s) 11.5
Current children cumulated vsize (KiB) 136516
[startup+25.5002 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 16908
/proc/meminfo: memFree=27022320/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=12.06 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 12538 2751 0 0 129 28 1048 1 20 0 1 0 337772305 139792384 6368 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6368 1180 1 0 5186 0
[pid=16905] ppid=16896 vsize=2988 CPUtime=13.25 cores=1,3,5,7
/proc/16905/stat : 16905 (clasp-1.3.3-x86) R 16896 16905 16905 0 -1 4202496 805 0 0 0 1325 0 0 0 20 0 1 0 337773529 3059712 495 33554432000 134512640 136080129 4290514032 4290512976 134579956 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16905/statm: 747 495 175 383 0 362 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 139504
[startup+51.1003 s]
/proc/loadavg: 2.17 2.07 2.01 3/179 16908
/proc/meminfo: memFree=26956952/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=13.18 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 12578 2751 0 0 227 42 1048 1 20 0 1 0 337772305 139792384 6368 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6368 1180 1 0 5186 0
[pid=16905] ppid=16896 vsize=3500 CPUtime=38.84 cores=1,3,5,7
/proc/16905/stat : 16905 (clasp-1.3.3-x86) R 16896 16905 16905 0 -1 4202496 938 0 0 0 3884 0 0 0 20 0 1 0 337773529 3584000 628 33554432000 134512640 136080129 4290514032 4290513024 134588768 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16905/statm: 875 628 175 383 0 490 0
Current children cumulated CPU time (s) 52.02
Current children cumulated vsize (KiB) 140016
[startup+102.307 s]
/proc/loadavg: 2.12 2.07 2.01 3/179 16911
/proc/meminfo: memFree=26705028/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=65.97 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 13780 4654 0 0 445 75 6075 2 20 0 1 0 337772305 139792384 6373 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6373 1180 1 0 5186 0
[pid=16911] ppid=16896 vsize=82480 CPUtime=39.75 cores=1,3,5,7
/proc/16911/stat : 16911 (wbo1.4a) R 16896 16911 16911 0 -1 4202496 20419 0 0 0 3960 15 0 0 20 0 1 0 337778559 84459520 20106 33554432000 134512640 135751879 4288162128 4288160380 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16911/statm: 20620 20106 139 303 0 20315 0
Current children cumulated CPU time (s) 105.72
Current children cumulated vsize (KiB) 218996
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.01 4/179 16966
/proc/meminfo: memFree=27042448/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=119.27 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 15065 30740 0 0 675 111 11119 22 20 0 1 0 337772305 139792384 6375 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6375 1180 1 0 5186 0
[pid=16915] ppid=16896 vsize=3636 CPUtime=49.09 cores=1,3,5,7
/proc/16915/stat : 16915 (clasp-1.3.3-x86) R 16896 16915 16915 0 -1 4202496 967 0 0 0 4908 1 0 0 20 0 1 0 337783625 3723264 655 33554432000 134512640 136080129 4290741360 4290740304 134804923 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16915/statm: 909 655 175 383 0 524 0
Current children cumulated CPU time (s) 168.36
Current children cumulated vsize (KiB) 140152
[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.01 4/179 16972
/proc/meminfo: memFree=26905900/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=222.59 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 16332 32785 0 0 919 149 21167 24 20 0 1 0 337772305 139792384 6375 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6375 1180 1 0 5186 0
[pid=16972] ppid=16896 vsize=24852 CPUtime=8.55 cores=1,3,5,7
/proc/16972/stat : 16972 (wbo1.4a) R 16896 16972 16972 0 -1 4202496 6094 0 0 0 851 4 0 0 20 0 1 0 337793678 25448448 5776 33554432000 134512640 135751879 4287923536 4287921788 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16972/statm: 6213 5776 139 303 0 5908 0
Current children cumulated CPU time (s) 231.14
Current children cumulated vsize (KiB) 161368
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 16975
/proc/meminfo: memFree=26922252/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=225.29 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 16364 32785 0 0 1151 187 21167 24 20 0 1 0 337772305 139792384 6376 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6376 1180 1 0 5186 0
[pid=16972] ppid=16896 vsize=125104 CPUtime=68.54 cores=1,3,5,7
/proc/16972/stat : 16972 (wbo1.4a) R 16896 16972 16972 0 -1 4202496 31097 0 0 0 6828 26 0 0 20 0 1 0 337793678 128106496 30812 33554432000 134512640 135751879 4287923536 4287921712 134616514 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16972/statm: 31276 30812 139 303 0 30971 0
Current children cumulated CPU time (s) 293.83
Current children cumulated vsize (KiB) 261620
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/178 16981
/proc/meminfo: memFree=26961136/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=328.57 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 17676 77468 0 0 1405 224 31168 60 20 0 1 0 337772305 139792384 6377 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6377 1180 1 0 5186 0
[pid=16978] ppid=16896 vsize=61900 CPUtime=28.12 cores=1,3,5,7
/proc/16978/stat : 16978 (wbo1.4b) R 16896 16978 16978 0 -1 4202496 15330 0 0 0 2800 12 0 0 20 0 1 0 337803721 63385600 15005 33554432000 134512640 135751879 4293284624 4293282716 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16978/statm: 15475 15005 144 303 0 15170 0
Current children cumulated CPU time (s) 356.69
Current children cumulated vsize (KiB) 198416
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/197 17003
/proc/meminfo: memFree=26745292/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=381.77 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 18929 103587 0 0 1645 263 36188 81 20 0 1 0 337772305 139792384 6379 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6379 1180 1 0 5186 0
[pid=16985] ppid=16896 vsize=2715136 CPUtime=38.04 cores=1,3,5,7
/proc/16985/stat : 16985 (java) S 16896 16985 16985 0 -1 4202496 8267 0 1 0 3799 5 0 0 20 0 19 0 337808766 2780299264 28814 33554432000 1073741824 1073778376 140736318119456 140736318110592 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16985/statm: 678784 28814 2239 9 0 669477 0
################
# More data... #
################
/proc/16985/task/16988/stat : 16988 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808769 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883960892456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16985/tid=16989] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16989/stat : 16989 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808769 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883959839400 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16985/tid=16990] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16990/stat : 16990 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808769 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883958786856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16985/tid=16991] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16991/stat : 16991 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808769 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883957733800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16985/tid=16992] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16992/stat : 16992 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808769 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883956681256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16985/tid=16993] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16993/stat : 16993 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808769 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883955628200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16985/tid=16994] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16994/stat : 16994 (java) S 16896 16985 16985 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337808769 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883954575656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16985/tid=16995] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16995/stat : 16995 (java) S 16896 16985 16985 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337808770 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883942165352 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16985/tid=16996] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16996/stat : 16996 (java) S 16896 16985 16985 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337808770 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883941111672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16985/tid=16997] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16997/stat : 16997 (java) S 16896 16985 16985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337808770 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883940058504 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16985/tid=16998] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/16998/stat : 16998 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808773 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883939007248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16985/tid=16999] ppid=16896 vsize=2715136 CPUtime=0.21 cores=1,3,5,7
/proc/16985/task/16999/stat : 16999 (java) S 16896 16985 16985 0 -1 4202560 1586 0 0 0 21 0 0 0 20 0 19 0 337808773 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883937954104 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16985/tid=17000] ppid=16896 vsize=2715136 CPUtime=0.16 cores=1,3,5,7
/proc/16985/task/17000/stat : 17000 (java) S 16896 16985 16985 0 -1 4202560 2375 0 0 0 16 0 0 0 20 0 19 0 337808773 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883936901560 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16985/tid=17001] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/17001/stat : 17001 (java) S 16896 16985 16985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337808773 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883935848696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16985/tid=17002] ppid=16896 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/16985/task/17002/stat : 17002 (java) S 16896 16985 16985 0 -1 4202560 8 0 0 0 0 3 0 0 20 0 19 0 337808773 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883934796360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16985/tid=17003] ppid=16896 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16985/task/17003/stat : 17003 (java) S 16896 16985 16985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337808782 2780299264 44174 33554432000 1073741824 1073778376 140736318119456 139883933742632 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 484.62
Current children cumulated vsize (KiB) 2851652
[startup+464.401 s]
/proc/loadavg: 2.08 2.05 2.01 4/197 17007
/proc/meminfo: memFree=26792360/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=384.57 cores=1,3,5,7
/proc/16896/stat : 16896 (python) R 16894 16896 15301 0 -1 4202496 18956 103587 0 0 1886 302 36188 81 20 0 1 0 337772305 139792384 6379 33554432000 4194304 4196484 140734414932720 140734414925192 251052844794 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6379 1180 1 0 5186 0
Current children cumulated CPU time (s) 384.57
Current children cumulated vsize (KiB) 136516
#
############
[startup+522.3 s]
/proc/loadavg: 2.11 2.05 2.01 4/198 17034
/proc/meminfo: memFree=26769744/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=487.62 cores=1,3,5,7
/proc/16896/stat : 16896 (python) R 16894 16896 15301 0 -1 4202496 20214 112819 0 1 2132 339 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053073335 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=110652 CPUtime=57.85 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 27495 0 0 0 5761 24 0 0 20 0 1 0 337818747 113307648 27179 33554432000 134512640 135751879 4290169504 4290166960 134605033 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 27663 27179 144 303 0 27358 0
Current children cumulated CPU time (s) 545.47
Current children cumulated vsize (KiB) 247168
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.09 2.05 2.01 4/198 17034
/proc/meminfo: memFree=26710316/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=488.3 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20220 112819 0 1 2190 349 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=133052 CPUtime=73.04 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 33099 0 0 0 7275 29 0 0 20 0 1 0 337818747 136245248 32807 33554432000 134512640 135751879 4290169504 4290167596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 33263 32807 144 303 0 32958 0
Current children cumulated CPU time (s) 561.34
Current children cumulated vsize (KiB) 269568
[startup+550.3 s]
/proc/loadavg: 2.07 2.05 2.00 4/198 17034
/proc/meminfo: memFree=26660048/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=488.89 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20226 112819 0 1 2239 359 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=150472 CPUtime=85.84 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 37429 0 0 0 8551 33 0 0 20 0 1 0 337818747 154083328 37138 33554432000 134512640 135751879 4290169504 4290167520 134616514 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 37618 37138 144 303 0 37313 0
Current children cumulated CPU time (s) 574.73
Current children cumulated vsize (KiB) 286988
[startup+556.7 s]
/proc/loadavg: 2.06 2.05 2.00 5/198 17034
/proc/meminfo: memFree=26634352/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=489.17 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20228 112819 0 1 2262 364 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=163156 CPUtime=92.23 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 40593 0 0 0 9187 36 0 0 20 0 1 0 337818747 167071744 40313 33554432000 134512640 135751879 4290169504 4290167596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 40789 40313 144 303 0 40484 0
Current children cumulated CPU time (s) 581.4
Current children cumulated vsize (KiB) 299672
[startup+559.907 s]
/proc/loadavg: 2.06 2.05 2.00 4/198 17034
/proc/meminfo: memFree=26623000/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=489.32 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20230 112819 0 1 2274 367 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=168568 CPUtime=95.44 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 41950 0 0 0 9507 37 0 0 20 0 1 0 337818747 172613632 41670 33554432000 134512640 135751879 4290169504 4290167596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 42142 41670 144 303 0 41837 0
Current children cumulated CPU time (s) 584.76
Current children cumulated vsize (KiB) 305084
[startup+563.1 s]
/proc/loadavg: 2.05 2.04 2.00 4/198 17034
/proc/meminfo: memFree=26611028/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=489.46 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20231 112819 0 1 2286 369 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=174136 CPUtime=98.64 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 43328 0 0 0 9827 37 0 0 20 0 1 0 337818747 178315264 43048 33554432000 134512640 135751879 4290169504 4290167596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 43534 43048 144 303 0 43229 0
Current children cumulated CPU time (s) 588.1
Current children cumulated vsize (KiB) 310652
[startup+563.9 s]
/proc/loadavg: 2.05 2.04 2.00 4/198 17034
/proc/meminfo: memFree=26611028/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=489.5 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20231 112819 0 1 2290 369 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=174928 CPUtime=99.43 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 43529 0 0 0 9906 37 0 0 20 0 1 0 337818747 179126272 43249 33554432000 134512640 135751879 4290169504 4290167596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 43732 43249 144 303 0 43427 0
Current children cumulated CPU time (s) 588.93
Current children cumulated vsize (KiB) 311444
[startup+564.7 s]
/proc/loadavg: 2.05 2.04 2.00 5/198 17034
/proc/meminfo: memFree=26607476/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=489.53 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20231 112819 0 1 2292 370 46197 94 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
[pid=17010] ppid=16896 vsize=175720 CPUtime=100.23 cores=1,3,5,7
/proc/17010/stat : 17010 (wbo1.4b) R 16896 17010 17010 0 -1 4202496 43724 0 0 0 9986 37 0 0 20 0 1 0 337818747 179937280 43452 33554432000 134512640 135751879 4290169504 4290167520 134616495 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17010/statm: 43930 43452 144 303 0 43625 0
Current children cumulated CPU time (s) 589.76
Current children cumulated vsize (KiB) 312236
[startup+564.9 s]
/proc/loadavg: 2.05 2.04 2.00 5/198 17034
/proc/meminfo: memFree=26607476/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=137544 CPUtime=589.99 cores=1,3,5,7
/proc/16896/stat : 16896 (python) S 16894 16896 15301 0 -1 4202496 20304 156575 0 1 2294 370 56203 132 20 0 1 0 337772305 140845056 6382 33554432000 4194304 4196484 140734414932720 140734414920984 251056415984 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34386 6382 1180 1 0 5443 0
Current children cumulated CPU time (s) 589.99
Current children cumulated vsize (KiB) 137544
[startup+565 s]
/proc/loadavg: 2.05 2.04 2.00 5/198 17034
/proc/meminfo: memFree=26607476/32873648 swapFree=7368/7368
[pid=16896] ppid=16894 vsize=136516 CPUtime=590.09 cores=1,3,5,7
/proc/16896/stat : 16896 (python) R 16894 16896 15301 0 -1 4202496 21433 157497 0 1 2302 371 56203 133 20 0 1 0 337772305 139792384 6380 33554432000 4194304 4196484 140734414932720 140734414924480 139918313209911 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/16896/statm: 34129 6380 1180 1 0 5186 0
Current children cumulated CPU time (s) 590.09
Current children cumulated vsize (KiB) 136516
Child status: 20
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 100.05
# lost CPU user time (s): 99.97
# lost CPU system time (s): 0.0799999
Real time (s): 565.049
CPU time (s): 690.231
CPU user time (s): 685.086
CPU system time (s): 5.14523
CPU usage (%): 122.154
Max. virtual memory (cumulated for all children) (KiB): 2851656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 585.116
system time used= 5.06523
maximum resident set size= 176696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185411
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7103
involuntary context switches= 899
runsolver used 1.38979 second user time and 3.34449 second system time
The end