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-3730178-1338714883/watcher-3730178-1338714883 -o /tmp/evaluation-result-3730178-1338714883/solver-3730178-1338714883 -C 1800 -W 1900 -M 15500 solver HOME/instance-3730178-1338714883.opb 1059918355
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.05 2.05 1.96 4/177 15893
/proc/meminfo: memFree=27085740/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/15893/stat : 15893 (python) R 15891 15893 15301 0 -1 4202496 764 0 0 0 0 0 0 0 20 0 1 0 337612459 15675392 535 33554432000 4194304 5683644 140733965165840 140733965151752 251052658580 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 3827 541 314 364 0 269 0
[startup+0.092211 s]
/proc/loadavg: 2.05 2.05 1.96 4/177 15893
/proc/meminfo: memFree=27085740/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=17620 CPUtime=0.02 cores=1,3,5,7
/proc/15893/stat : 15893 (python) D 15891 15893 15301 0 -1 4202496 2211 0 0 0 1 1 0 0 20 0 1 0 337612459 18042880 720 33554432000 4194304 4196484 140733324962016 140733324887960 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/15893/statm: 4405 720 354 1 0 340 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17620
[startup+0.100221 s]
/proc/loadavg: 2.05 2.05 1.96 4/177 15893
/proc/meminfo: memFree=27085740/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=17632 CPUtime=0.02 cores=1,3,5,7
/proc/15893/stat : 15893 (python) R 15891 15893 15301 0 -1 4202496 2240 0 0 0 1 1 0 0 20 0 1 0 337612459 18055168 744 33554432000 4194304 4196484 140733324962016 140733324906120 251053032336 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 4416 751 367 1 0 351 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632
[startup+0.3002 s]
/proc/loadavg: 2.05 2.05 1.96 4/177 15893
/proc/meminfo: memFree=27085740/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=57144 CPUtime=0.08 cores=1,3,5,7
/proc/15893/stat : 15893 (python) D 15891 15893 15301 0 -1 4202496 4106 0 0 0 5 3 0 0 20 0 1 0 337612459 58515456 2251 33554432000 4194304 4196484 140733324962016 140733324821768 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 14286 2251 603 1 0 1624 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57144
[startup+0.700127 s]
/proc/loadavg: 2.05 2.05 1.96 4/177 15893
/proc/meminfo: memFree=27085740/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=103800 CPUtime=0.26 cores=1,3,5,7
/proc/15893/stat : 15893 (python) R 15891 15893 15301 0 -1 4202496 6858 1013 0 0 17 9 0 0 20 0 1 0 337612459 106291200 4265 33554432000 4194304 4196484 140733324962016 140733324927976 139864361981806 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 25950 4265 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 103800
[startup+1.50024 s]
/proc/loadavg: 2.05 2.05 1.96 2/178 15898
/proc/meminfo: memFree=27066264/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=118120 CPUtime=0.47 cores=1,3,5,7
/proc/15893/stat : 15893 (python) D 15891 15893 15301 0 -1 4202496 9592 1013 0 0 29 18 0 0 20 0 1 0 337612459 120954880 5830 33554432000 4194304 4196484 140733324962016 140733324895624 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 29530 5830 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 118120
[startup+3.10026 s]
/proc/loadavg: 2.05 2.05 1.96 3/179 15899
/proc/meminfo: memFree=27062728/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=134484 CPUtime=0.65 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 11212 1013 0 0 45 20 0 0 20 0 1 0 337612459 137711616 6346 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 33621 6346 1170 1 0 5193 0
[pid=15899] ppid=15893 vsize=4268 CPUtime=1.35 cores=1,3,5,7
/proc/15899/stat : 15899 (clasp-1.3.3-x86) R 15893 15899 15899 0 -1 4202496 1128 0 0 0 135 0 0 0 20 0 1 0 337612634 4370432 816 33554432000 134512640 136080129 4294207728 4294206720 134588720 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15899/statm: 1067 816 175 383 0 682 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 138752
heavy processes:
[startup+6.30025 s]
/proc/loadavg: 2.05 2.05 1.96 3/179 15899
/proc/meminfo: memFree=27060284/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=134484 CPUtime=0.79 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 11223 1013 0 0 57 22 0 0 20 0 1 0 337612459 137711616 6346 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 33621 6346 1170 1 0 5193 0
[pid=15899] ppid=15893 vsize=5328 CPUtime=4.55 cores=1,3,5,7
/proc/15899/stat : 15899 (clasp-1.3.3-x86) R 15893 15899 15899 0 -1 4202496 1401 0 0 0 455 0 0 0 20 0 1 0 337612634 5455872 1089 33554432000 134512640 136080129 4294207728 4294206800 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15899/statm: 1332 1089 175 383 0 947 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 139812
[startup+12.7002 s]
/proc/loadavg: 2.11 2.06 1.97 3/179 15899
/proc/meminfo: memFree=27059212/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=11.64 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 12478 3593 0 0 85 27 1051 1 20 0 1 0 337612459 139821056 6368 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6368 1180 1 0 5193 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 136544
[startup+25.5002 s]
/proc/loadavg: 2.09 2.06 1.97 3/179 15902
/proc/meminfo: memFree=27059964/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=12.21 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 12508 3593 0 0 134 35 1051 1 20 0 1 0 337612459 139821056 6368 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6368 1180 1 0 5193 0
[pid=15902] ppid=15893 vsize=6496 CPUtime=13.21 cores=1,3,5,7
/proc/15902/stat : 15902 (clasp-1.3.3-x86) R 15893 15902 15902 0 -1 4202496 1688 0 0 0 1321 0 0 0 20 0 1 0 337613687 6651904 1378 33554432000 134512640 136080129 4288844928 4288843920 134588755 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15902/statm: 1624 1378 175 383 0 1239 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 143040
[startup+51.1002 s]
/proc/loadavg: 2.13 2.07 1.97 3/179 15902
/proc/meminfo: memFree=27058100/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=13.33 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 12538 3593 0 0 231 50 1051 1 20 0 1 0 337612459 139821056 6368 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6368 1180 1 0 5193 0
[pid=15902] ppid=15893 vsize=8288 CPUtime=38.81 cores=1,3,5,7
/proc/15902/stat : 15902 (clasp-1.3.3-x86) R 15893 15902 15902 0 -1 4202496 2148 0 0 0 3881 0 0 0 20 0 1 0 337613687 8486912 1836 33554432000 134512640 136080129 4288844928 4288843920 134588742 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15902/statm: 2072 1836 175 383 0 1687 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 144832
[startup+102.306 s]
/proc/loadavg: 2.08 2.07 1.98 4/179 15914
/proc/meminfo: memFree=26966700/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=66.1 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 13723 6804 0 0 446 84 6079 1 20 0 1 0 337612459 139821056 6372 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6372 1180 1 0 5193 0
[pid=15908] ppid=15893 vsize=101216 CPUtime=39.7 cores=1,3,5,7
/proc/15908/stat : 15908 (wbo1.4a) R 15893 15908 15908 0 -1 4202496 25140 0 0 0 3955 15 0 0 20 0 1 0 337618718 103645184 24809 33554432000 134512640 135751879 4288124192 4288122444 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15908/statm: 25304 24809 139 303 0 24999 0
Current children cumulated CPU time (s) 105.8
Current children cumulated vsize (KiB) 237760
[startup+162.3 s]
/proc/loadavg: 2.06 2.07 1.98 3/179 15917
/proc/meminfo: memFree=27056716/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=119.37 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 14975 38251 0 0 677 117 11121 22 20 0 1 0 337612459 139821056 6372 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6372 1180 1 0 5193 0
[pid=15917] ppid=15893 vsize=8856 CPUtime=49.05 cores=1,3,5,7
/proc/15917/stat : 15917 (clasp-1.3.3-x86) R 15893 15917 15917 0 -1 4202496 2290 0 0 0 4905 0 0 0 20 0 1 0 337623783 9068544 1977 33554432000 134512640 136080129 4291444080 4291443072 134588742 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15917/statm: 2214 1977 175 383 0 1829 0
Current children cumulated CPU time (s) 168.42
Current children cumulated vsize (KiB) 145400
[startup+222.3 s]
/proc/loadavg: 2.06 2.07 1.99 3/179 15930
/proc/meminfo: memFree=27035388/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=222.67 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 16229 42000 0 0 921 153 21170 23 20 0 1 0 337612459 139821056 6376 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6376 1180 1 0 5193 0
[pid=15930] ppid=15893 vsize=31700 CPUtime=8.52 cores=1,3,5,7
/proc/15930/stat : 15930 (wbo1.4a) R 15893 15930 15930 0 -1 4202496 7791 0 0 0 847 5 0 0 20 0 1 0 337633836 32460800 7476 33554432000 134512640 135751879 4290289248 4290287500 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15930/statm: 7925 7476 139 303 0 7620 0
Current children cumulated CPU time (s) 231.19
Current children cumulated vsize (KiB) 168244
[startup+282.3 s]
/proc/loadavg: 2.03 2.05 1.99 3/179 16019
/proc/meminfo: memFree=26916240/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=225.34 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 16270 42000 0 0 1153 188 21170 23 20 0 1 0 337612459 139821056 6376 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6376 1180 1 0 5193 0
[pid=15930] ppid=15893 vsize=148376 CPUtime=68.49 cores=1,3,5,7
/proc/15930/stat : 15930 (wbo1.4a) R 15893 15930 15930 0 -1 4202496 36925 0 0 0 6826 23 0 0 20 0 1 0 337633836 151937024 36636 33554432000 134512640 135751879 4290289248 4290287500 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15930/statm: 37094 36636 139 303 0 36789 0
Current children cumulated CPU time (s) 293.83
Current children cumulated vsize (KiB) 284920
[startup+342.3 s]
/proc/loadavg: 2.13 2.07 2.00 3/175 16062
/proc/meminfo: memFree=27022384/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=328.85 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 17500 94862 0 0 1402 228 31198 57 20 0 1 0 337612459 139821056 6378 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6378 1180 1 0 5193 0
[pid=16025] ppid=15893 vsize=73600 CPUtime=27.84 cores=1,3,5,7
/proc/16025/stat : 16025 (wbo1.4b) R 15893 16025 16025 0 -1 4202496 18303 0 0 0 2773 11 0 0 20 0 1 0 337643903 75366400 17914 33554432000 134512640 135751879 4291270768 4291268860 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16025/statm: 18400 17914 144 303 0 18095 0
Current children cumulated CPU time (s) 356.69
Current children cumulated vsize (KiB) 210144
[startup+402.301 s]
/proc/loadavg: 2.09 2.07 2.00 3/197 16100
/proc/meminfo: memFree=26870304/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=382.26 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 18753 126384 0 0 1644 263 36243 76 20 0 1 0 337612459 139821056 6379 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6379 1180 1 0 5193 0
[pid=16082] ppid=15893 vsize=2715136 CPUtime=37.65 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 15893 16082 16082 0 -1 4202496 8466 0 1 0 3761 4 0 0 20 0 19 0 337648970 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 140734819882480 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16082/statm: 678784 46862 2240 9 0 669477 0
################
# More data... #
################
/proc/16082/task/16094/stat : 16094 (java) S 15893 16082 16082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337648974 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 139967661737736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16095] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648976 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 139967660686224 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16096] ppid=15893 vsize=2715136 CPUtime=0.22 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 15893 16082 16082 0 -1 4202560 2036 0 0 0 22 0 0 0 20 0 19 0 337648976 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 139967659632824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16097] ppid=15893 vsize=2715136 CPUtime=0.26 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 15893 16082 16082 0 -1 4202560 2039 0 0 0 26 0 0 0 20 0 19 0 337648976 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 139967658580024 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16082/tid=16098] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648976 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 139967657527928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16082/tid=16099] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 15893 16082 16082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337648976 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 139967656475336 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16082/tid=16100] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 15893 16082 16082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337648993 2780299264 46862 33554432000 1073741824 1073778376 140734819891344 139967655388584 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 419.91
Current children cumulated vsize (KiB) 2851680
[startup+462.301 s]
/proc/loadavg: 2.08 2.07 2.00 3/197 16106
/proc/meminfo: memFree=26750976/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=384.96 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 18781 126384 0 0 1875 302 36243 76 20 0 1 0 337612459 139821056 6379 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6379 1180 1 0 5193 0
[pid=16082] ppid=15893 vsize=2715136 CPUtime=97.68 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 15893 16082 16082 0 -1 4202496 8531 0 1 0 9761 7 0 0 20 0 19 0 337648970 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 140734819882480 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16082/statm: 678784 78095 2240 9 0 669477 0
[pid=16082/tid=16083] ppid=15893 vsize=2715136 CPUtime=97.13 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 15893 16082 16082 0 -1 4202560 2934 0 1 0 9707 6 0 0 20 0 19 0 337648971 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967816716696 139967756936256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16084] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16084/stat : 16084 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967750834984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16085] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16085/stat : 16085 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967682570920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16082/tid=16086] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16086/stat : 16086 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967681518632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16082/tid=16087] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16087/stat : 16087 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967680465832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16082/tid=16088] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16088/stat : 16088 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967679412520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16089] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16089/stat : 16089 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967678359720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16082/tid=16090] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16090/stat : 16090 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967677307432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16091] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16091/stat : 16091 (java) S 15893 16082 16082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337648972 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967676254632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16092] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16092/stat : 16092 (java) S 15893 16082 16082 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337648973 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967663844072 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16082/tid=16093] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16093/stat : 16093 (java) S 15893 16082 16082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337648974 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967662790136 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16094] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16094/stat : 16094 (java) S 15893 16082 16082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337648974 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967661737736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16095] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648976 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967660686224 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16096] ppid=15893 vsize=2715136 CPUtime=0.22 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 15893 16082 16082 0 -1 4202560 2036 0 0 0 22 0 0 0 20 0 19 0 337648976 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967659632824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16082/tid=16097] ppid=15893 vsize=2715136 CPUtime=0.26 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 15893 16082 16082 0 -1 4202560 2041 0 0 0 26 0 0 0 20 0 19 0 337648976 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967658580024 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16082/tid=16098] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 15893 16082 16082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337648976 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967657527928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16082/tid=16099] ppid=15893 vsize=2715136 CPUtime=0.04 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 15893 16082 16082 0 -1 4202560 6 0 0 0 2 2 0 0 20 0 19 0 337648976 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967656475336 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16082/tid=16100] ppid=15893 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 15893 16082 16082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337648993 2780299264 78095 33554432000 1073741824 1073778376 140734819891344 139967655388584 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 482.64
Current children cumulated vsize (KiB) 2851680
[startup+522.3 s]
/proc/loadavg: 2.14 2.09 2.01 3/179 16110
/proc/meminfo: memFree=26916560/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=488.17 cores=1,3,5,7
/proc/15893/stat : 15893 (python) R 15891 15893 15301 0 -1 4202496 20024 135838 0 1 2124 338 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053073335 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=132220 CPUtime=57.34 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 32965 0 0 0 5713 21 0 0 20 0 1 0 337658952 135393280 32607 33554432000 134512640 135751879 4294427840 4294425848 134517424 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 33055 32607 144 303 0 32750 0
Current children cumulated CPU time (s) 545.51
Current children cumulated vsize (KiB) 268764
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.11 2.08 2.01 3/179 16110
/proc/meminfo: memFree=26886644/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=488.86 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 20030 135838 0 1 2184 347 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=161484 CPUtime=72.53 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 40266 0 0 0 7227 26 0 0 20 0 1 0 337658952 165359616 39908 33554432000 134512640 135751879 4294427840 4294425932 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 40371 39908 144 303 0 40066 0
Current children cumulated CPU time (s) 561.39
Current children cumulated vsize (KiB) 298028
[startup+550.3 s]
/proc/loadavg: 2.09 2.08 2.00 3/179 16110
/proc/meminfo: memFree=26862944/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=489.42 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 20035 135838 0 1 2233 354 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=182884 CPUtime=85.32 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 45608 0 0 0 8504 28 0 0 20 0 1 0 337658952 187273216 45258 33554432000 134512640 135751879 4294427840 4294425932 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 45721 45258 144 303 0 45416 0
Current children cumulated CPU time (s) 574.74
Current children cumulated vsize (KiB) 319428
[startup+556.7 s]
/proc/loadavg: 2.08 2.08 2.00 3/179 16113
/proc/meminfo: memFree=26867648/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=489.72 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 20039 135838 0 1 2260 357 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=192716 CPUtime=91.73 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 48052 0 0 0 9143 30 0 0 20 0 1 0 337658952 197341184 47706 33554432000 134512640 135751879 4294427840 4294425932 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 48179 47706 144 303 0 47874 0
Current children cumulated CPU time (s) 581.45
Current children cumulated vsize (KiB) 329260
[startup+559.906 s]
/proc/loadavg: 2.08 2.08 2.00 3/179 16113
/proc/meminfo: memFree=26849420/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=489.86 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 20041 135838 0 1 2272 359 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=198424 CPUtime=94.93 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 49487 0 0 0 9462 31 0 0 20 0 1 0 337658952 203186176 49141 33554432000 134512640 135751879 4294427840 4294425932 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 49606 49141 144 303 0 49301 0
Current children cumulated CPU time (s) 584.79
Current children cumulated vsize (KiB) 334968
[startup+563.1 s]
/proc/loadavg: 2.07 2.07 2.00 3/179 16113
/proc/meminfo: memFree=26833440/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=490 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 20042 135838 0 1 2284 361 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=204696 CPUtime=98.12 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 51042 0 0 0 9780 32 0 0 20 0 1 0 337658952 209608704 50699 33554432000 134512640 135751879 4294427840 4294425932 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 51174 50699 144 303 0 50869 0
Current children cumulated CPU time (s) 588.12
Current children cumulated vsize (KiB) 341240
[startup+564.7 s]
/proc/loadavg: 2.07 2.07 2.00 3/179 16113
/proc/meminfo: memFree=26828108/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=490.06 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 20042 135838 0 1 2290 361 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=207340 CPUtime=99.72 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 51699 0 0 0 9939 33 0 0 20 0 1 0 337658952 212316160 51356 33554432000 134512640 135751879 4294427840 4294425932 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 51835 51356 144 303 0 51530 0
Current children cumulated CPU time (s) 589.78
Current children cumulated vsize (KiB) 343884
[startup+565.5 s]
/proc/loadavg: 2.07 2.07 2.00 3/179 16113
/proc/meminfo: memFree=26822900/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136544 CPUtime=490.08 cores=1,3,5,7
/proc/15893/stat : 15893 (python) S 15891 15893 15301 0 -1 4202496 20044 135838 0 1 2292 361 46267 88 20 0 1 0 337612459 139821056 6380 33554432000 4194304 4196484 140733324962016 140733324953776 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34136 6380 1180 1 0 5193 0
[pid=16109] ppid=15893 vsize=208396 CPUtime=100.51 cores=1,3,5,7
/proc/16109/stat : 16109 (wbo1.4b) R 15893 16109 16109 0 -1 4202496 51951 0 0 0 10018 33 0 0 20 0 1 0 337658952 213397504 51608 33554432000 134512640 135751879 4294427840 4294425932 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16109/statm: 52099 51608 144 303 0 51794 0
Current children cumulated CPU time (s) 590.59
Current children cumulated vsize (KiB) 344940
[startup+565.9 s]
/proc/loadavg: 2.07 2.07 2.00 3/179 16113
/proc/meminfo: memFree=26822900/32873648 swapFree=7368/7368
[pid=15893] ppid=15891 vsize=136540 CPUtime=591.13 cores=1,3,5,7
/proc/15893/stat : 15893 (python) R 15891 15893 15301 0 -1 4202496 25070 190903 0 1 2309 365 56314 125 20 0 1 0 337612459 139816960 6382 33554432000 4194304 4196484 140733324962016 140733324954552 139864361920514 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0
/proc/15893/statm: 34135 6382 1181 1 0 5192 0
Current children cumulated CPU time (s) 591.13
Current children cumulated vsize (KiB) 136540
Child status: 20
Real time (s): 565.915
CPU time (s): 591.159
CPU user time (s): 586.253
CPU system time (s): 4.90625
CPU usage (%): 104.461
Max. virtual memory (cumulated for all children) (KiB): 2851684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.253
system time used= 4.90625
maximum resident set size= 316476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217063
page faults= 1
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7043
involuntary context switches= 891
runsolver used 0.935857 second user time and 2.40063 second system time
The end