runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4089397-1466024667/watcher-4089397-1466024667 -o /tmp/evaluation-result-4089397-1466024667/solver-4089397-1466024667 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466015679-6168 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089397-1466024667.opb
pid=7747
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.03 2.05 2.02 3/194 7750
/proc/meminfo: memFree=30971864/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 4512365 98570240 978 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 24065 978 744 9 0 16771 0
[pid=7750/tid=7751] ppid=7747 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 4512365 98570240 978 33554432000 1073741824 1073778376 140736904393056 139813518913064 206629062016 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100062 s]
/proc/loadavg: 2.03 2.05 2.02 3/194 7750
/proc/meminfo: memFree=30971864/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 4494 0 1 0 10 1 0 0 20 0 18 0 4512365 9787879424 6122 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2389619 6122 2157 9 0 2380296 0
[pid=7750/tid=7751] ppid=7747 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2374 0 1 0 7 1 0 0 20 0 18 0 4512365 9787879424 6122 33554432000 1073741824 1073778376 140736904393056 139813518914824 206632445197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200287 s]
/proc/loadavg: 2.03 2.05 2.02 3/194 7750
/proc/meminfo: memFree=30971864/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 5811 0 1 0 27 2 0 0 20 0 19 0 4512365 9856040960 7484 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 7484 2235 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2404 0 1 0 16 2 0 0 20 0 19 0 4512365 9856040960 7485 33554432000 1073741824 1073778376 140736904393056 139813518918272 139813349082497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040
[startup+0.300376 s]
/proc/loadavg: 2.03 2.05 2.02 3/194 7750
/proc/meminfo: memFree=30971864/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 6054 0 1 0 48 2 0 0 20 0 19 0 4512365 9856040960 7604 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 7604 2243 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2404 0 1 0 26 2 0 0 20 0 19 0 4512365 9856040960 7604 33554432000 1073741824 1073778376 140736904393056 139813518917496 139813349076268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040
[startup+0.700328 s]
/proc/loadavg: 2.03 2.05 2.02 3/194 7750
/proc/meminfo: memFree=30971864/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 7788 0 1 0 102 2 0 0 20 0 19 0 4512365 9856040960 9994 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 9994 2254 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2407 0 1 0 66 2 0 0 20 0 19 0 4512365 9856040960 9994 33554432000 1073741824 1073778376 140736904393056 139813518918216 139813349234515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625040
[startup+1.50076 s]
/proc/loadavg: 2.03 2.05 2.02 3/213 7769
/proc/meminfo: memFree=30932148/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 7806 0 1 0 185 3 0 0 20 0 19 0 4512365 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 13588 2256 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2415 0 1 0 146 2 0 0 20 0 19 0 4512365 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813518918080 139813349506464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7753] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7753/stat : 7753 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813480409384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7754] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7754/stat : 7754 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813479356584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7755] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7755/stat : 7755 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813478304296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7750/tid=7756] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7756/stat : 7756 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813477251496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7757] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7757/stat : 7757 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813476199208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7758] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7758/stat : 7758 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813475146408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7759] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7759/stat : 7759 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813474094120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7760] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7760/stat : 7760 (java) S 7747 7750 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813473041320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7761] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7761/stat : 7761 (java) S 7747 7750 6151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813342644456 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7762] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7762/stat : 7762 (java) S 7747 7750 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813341590520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7763] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7763/stat : 7763 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813340538120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7764] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7764/stat : 7764 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813339486608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7765] ppid=7747 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7750/task/7765/stat : 7765 (java) S 7747 7750 6151 0 -1 4202560 2582 0 0 0 20 0 0 0 20 0 19 0 4512370 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813338434232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7766] ppid=7747 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/7750/task/7766/stat : 7766 (java) S 7747 7750 6151 0 -1 4202560 1536 0 0 0 16 0 0 0 20 0 19 0 4512370 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813337381432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7767] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7767/stat : 7767 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813336329336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7768] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7768/stat : 7768 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813335276744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7769] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7769/stat : 7769 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512382 9856040960 13588 33554432000 1073741824 1073778376 140736904393056 139813334221736 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9625040
[startup+3.10093 s]
/proc/loadavg: 2.03 2.05 2.02 3/213 7769
/proc/meminfo: memFree=30915020/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 7817 0 1 0 346 3 0 0 20 0 19 0 4512365 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 19220 2256 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2426 0 1 0 305 2 0 0 20 0 19 0 4512365 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813518909104 139813349590772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7753] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7753/stat : 7753 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813480409384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7754] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7754/stat : 7754 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813479356584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7755] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7755/stat : 7755 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813478304296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7750/tid=7756] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7756/stat : 7756 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813477251496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7757] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7757/stat : 7757 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813476199208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7758] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7758/stat : 7758 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813475146408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7759] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7759/stat : 7759 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813474094120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7760] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7760/stat : 7760 (java) S 7747 7750 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813473041320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7761] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7761/stat : 7761 (java) S 7747 7750 6151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813342644456 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7762] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7762/stat : 7762 (java) S 7747 7750 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813341590520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7763] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7763/stat : 7763 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813340538120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7764] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7764/stat : 7764 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813339486608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7765] ppid=7747 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7750/task/7765/stat : 7765 (java) S 7747 7750 6151 0 -1 4202560 2582 0 0 0 20 0 0 0 20 0 19 0 4512370 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813338434232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7766] ppid=7747 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/7750/task/7766/stat : 7766 (java) R 7747 7750 6151 0 -1 4202560 1536 0 0 0 17 0 0 0 20 0 19 0 4512370 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813337381312 139813526657008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7767] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7767/stat : 7767 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813336329336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7768] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7768/stat : 7768 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813335276744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7769] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7769/stat : 7769 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512382 9856040960 19220 33554432000 1073741824 1073778376 140736904393056 139813334221736 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625040
[startup+6.30083 s]
/proc/loadavg: 2.03 2.05 2.01 3/213 7769
/proc/meminfo: memFree=30885252/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=6.71 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 7839 0 1 0 667 4 0 0 20 0 19 0 4512365 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 28897 2257 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2447 0 1 0 625 2 0 0 20 0 19 0 4512365 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813518909120 139813349506600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7753] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7753/stat : 7753 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813480409384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7754] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7754/stat : 7754 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813479356584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7755] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7755/stat : 7755 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813478304296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7750/tid=7756] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7756/stat : 7756 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813477251496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7757] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7757/stat : 7757 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813476199208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7758] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7758/stat : 7758 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813475146408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7759] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7759/stat : 7759 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813474094120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7760] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7760/stat : 7760 (java) S 7747 7750 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4512366 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813473041320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7761] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7761/stat : 7761 (java) S 7747 7750 6151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813342644456 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7762] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7762/stat : 7762 (java) S 7747 7750 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813341590520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7763] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7763/stat : 7763 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813340538120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7764] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7764/stat : 7764 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813339486608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7765] ppid=7747 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7750/task/7765/stat : 7765 (java) S 7747 7750 6151 0 -1 4202560 2582 0 0 0 20 0 0 0 20 0 19 0 4512370 9856040960 28897 33554432000 1073741824 1073778376 140736904393056 139813338434232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7766] ppid=7747 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
################
# More data... #
################
[pid=7750/tid=7762] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7762/stat : 7762 (java) S 7747 7750 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813341590520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7763] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7763/stat : 7763 (java) S 7747 7750 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813340538120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7764] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7764/stat : 7764 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813339486608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7765] ppid=7747 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7750/task/7765/stat : 7765 (java) S 7747 7750 6151 0 -1 4202560 2582 0 0 0 20 0 0 0 20 0 19 0 4512370 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813338434232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7766] ppid=7747 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7750/task/7766/stat : 7766 (java) S 7747 7750 6151 0 -1 4202560 1816 0 0 0 21 0 0 0 20 0 19 0 4512370 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813337381432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7767] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7767/stat : 7767 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813336329336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7768] ppid=7747 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7750/task/7768/stat : 7768 (java) S 7747 7750 6151 0 -1 4202560 96 0 0 0 24 31 0 0 20 0 19 0 4512370 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813335276744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7769] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7769/stat : 7769 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512382 9856040960 74650 33554432000 1073741824 1073778376 140736904393056 139813334221736 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1673.68
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/214 7879
/proc/meminfo: memFree=30847792/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=1734.32 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 17095 0 1 0 173320 112 0 0 20 0 19 0 4512365 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 83832 2279 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=1714.18 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2695 0 1 0 171386 32 0 0 20 0 19 0 4512365 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813518916832 139813349506595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7753] ppid=7747 vsize=9625040 CPUtime=2.13 cores=1,3,5,7
/proc/7750/task/7753/stat : 7753 (java) S 7747 7750 6151 0 -1 4202560 1269 0 0 0 201 12 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813480409384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7754] ppid=7747 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/7750/task/7754/stat : 7754 (java) S 7747 7750 6151 0 -1 4202560 699 0 0 0 195 9 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813479356584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7755] ppid=7747 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/7750/task/7755/stat : 7755 (java) S 7747 7750 6151 0 -1 4202560 905 0 0 0 180 9 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813478304296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7756] ppid=7747 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/7750/task/7756/stat : 7756 (java) S 7747 7750 6151 0 -1 4202560 933 0 0 0 191 10 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813477251496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7757] ppid=7747 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/7750/task/7757/stat : 7757 (java) S 7747 7750 6151 0 -1 4202560 822 0 0 0 190 7 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813476199208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7750/tid=7758] ppid=7747 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/7750/task/7758/stat : 7758 (java) S 7747 7750 6151 0 -1 4202560 1418 0 0 0 205 11 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813475146408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7759] ppid=7747 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/7750/task/7759/stat : 7759 (java) S 7747 7750 6151 0 -1 4202560 628 0 0 0 180 7 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813474094120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7760] ppid=7747 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/7750/task/7760/stat : 7760 (java) S 7747 7750 6151 0 -1 4202560 1392 0 0 0 198 11 0 0 20 0 19 0 4512366 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813473041320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7750/tid=7761] ppid=7747 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/7750/task/7761/stat : 7761 (java) S 7747 7750 6151 0 -1 4202560 577 0 0 0 325 6 0 0 20 0 19 0 4512367 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813342644456 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7762] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7762/stat : 7762 (java) S 7747 7750 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813341590520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7763] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7763/stat : 7763 (java) S 7747 7750 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813340538120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7764] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7764/stat : 7764 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813339486608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7765] ppid=7747 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7750/task/7765/stat : 7765 (java) S 7747 7750 6151 0 -1 4202560 2582 0 0 0 20 0 0 0 20 0 19 0 4512370 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813338434232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7766] ppid=7747 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7750/task/7766/stat : 7766 (java) S 7747 7750 6151 0 -1 4202560 1816 0 0 0 21 0 0 0 20 0 19 0 4512370 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813337381432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7767] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7767/stat : 7767 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813336329336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7768] ppid=7747 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/7750/task/7768/stat : 7768 (java) S 7747 7750 6151 0 -1 4202560 100 0 0 0 25 32 0 0 20 0 19 0 4512370 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813335276744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7769] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7769/stat : 7769 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512382 9856040960 83832 33554432000 1073741824 1073778376 140736904393056 139813334221736 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1734.32
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 7880
/proc/meminfo: memFree=30811500/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=1794.92 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 18023 0 1 0 179377 115 0 0 20 0 19 0 4512365 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 80746 2279 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=1773.76 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2712 0 1 0 177344 32 0 0 20 0 19 0 4512365 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813518916816 139813349421089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7753] ppid=7747 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/7750/task/7753/stat : 7753 (java) S 7747 7750 6151 0 -1 4202560 1269 0 0 0 211 12 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813480409384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7754] ppid=7747 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/7750/task/7754/stat : 7754 (java) S 7747 7750 6151 0 -1 4202560 955 0 0 0 204 10 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813479356584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7755] ppid=7747 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/7750/task/7755/stat : 7755 (java) S 7747 7750 6151 0 -1 4202560 1065 0 0 0 192 9 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813478304296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7756] ppid=7747 vsize=9625040 CPUtime=2.13 cores=1,3,5,7
/proc/7750/task/7756/stat : 7756 (java) S 7747 7750 6151 0 -1 4202560 933 0 0 0 202 11 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813477251496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7757] ppid=7747 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/7750/task/7757/stat : 7757 (java) S 7747 7750 6151 0 -1 4202560 1014 0 0 0 203 7 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813476199208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7758] ppid=7747 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/7750/task/7758/stat : 7758 (java) S 7747 7750 6151 0 -1 4202560 1610 0 0 0 216 11 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813475146408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7759] ppid=7747 vsize=9625040 CPUtime=1.95 cores=1,3,5,7
/proc/7750/task/7759/stat : 7759 (java) S 7747 7750 6151 0 -1 4202560 628 0 0 0 188 7 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813474094120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7760] ppid=7747 vsize=9625040 CPUtime=2.18 cores=1,3,5,7
/proc/7750/task/7760/stat : 7760 (java) S 7747 7750 6151 0 -1 4202560 1488 0 0 0 207 11 0 0 20 0 19 0 4512366 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813473041320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7750/tid=7761] ppid=7747 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/7750/task/7761/stat : 7761 (java) S 7747 7750 6151 0 -1 4202560 588 0 0 0 341 6 0 0 20 0 19 0 4512367 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813342644456 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7762] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7762/stat : 7762 (java) S 7747 7750 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813341590520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7763] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7763/stat : 7763 (java) S 7747 7750 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813340538120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7764] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7764/stat : 7764 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813339486608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7765] ppid=7747 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7750/task/7765/stat : 7765 (java) S 7747 7750 6151 0 -1 4202560 2582 0 0 0 20 0 0 0 20 0 19 0 4512370 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813338434232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7766] ppid=7747 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7750/task/7766/stat : 7766 (java) S 7747 7750 6151 0 -1 4202560 1816 0 0 0 21 0 0 0 20 0 19 0 4512370 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813337381432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7767] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7767/stat : 7767 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813336329336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7768] ppid=7747 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7750/task/7768/stat : 7768 (java) S 7747 7750 6151 0 -1 4202560 104 0 0 0 25 34 0 0 20 0 19 0 4512370 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813335276744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7769] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7769/stat : 7769 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512382 9856040960 80746 33554432000 1073741824 1073778376 140736904393056 139813334221736 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.92
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 7880
/proc/meminfo: memFree=30811500/32872528 swapFree=532444/565148
[pid=7750] ppid=7747 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/7750/stat : 7750 (java) S 7747 7750 6151 0 -1 4202496 18024 0 1 0 179890 115 0 0 20 0 19 0 4512365 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 140736904384192 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7750/statm: 2406260 80745 2279 9 0 2396937 0
[pid=7750/tid=7751] ppid=7747 vsize=9625040 CPUtime=1778.74 cores=1,3,5,7
/proc/7750/task/7751/stat : 7751 (java) R 7747 7750 6151 0 -1 4202560 2713 0 1 0 177841 33 0 0 20 0 19 0 4512365 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813518916832 139813349506540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7753] ppid=7747 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/7750/task/7753/stat : 7753 (java) S 7747 7750 6151 0 -1 4202560 1269 0 0 0 211 12 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813480409384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7754] ppid=7747 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/7750/task/7754/stat : 7754 (java) S 7747 7750 6151 0 -1 4202560 955 0 0 0 204 10 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813479356584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7755] ppid=7747 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/7750/task/7755/stat : 7755 (java) S 7747 7750 6151 0 -1 4202560 1065 0 0 0 193 9 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813478304296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7756] ppid=7747 vsize=9625040 CPUtime=2.13 cores=1,3,5,7
/proc/7750/task/7756/stat : 7756 (java) S 7747 7750 6151 0 -1 4202560 933 0 0 0 202 11 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813477251496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7757] ppid=7747 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/7750/task/7757/stat : 7757 (java) S 7747 7750 6151 0 -1 4202560 1014 0 0 0 203 7 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813476199208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7758] ppid=7747 vsize=9625040 CPUtime=2.28 cores=1,3,5,7
/proc/7750/task/7758/stat : 7758 (java) S 7747 7750 6151 0 -1 4202560 1610 0 0 0 217 11 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813475146408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7759] ppid=7747 vsize=9625040 CPUtime=1.95 cores=1,3,5,7
/proc/7750/task/7759/stat : 7759 (java) S 7747 7750 6151 0 -1 4202560 628 0 0 0 188 7 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813474094120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7760] ppid=7747 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/7750/task/7760/stat : 7760 (java) S 7747 7750 6151 0 -1 4202560 1488 0 0 0 208 11 0 0 20 0 19 0 4512366 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813473041320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7750/tid=7761] ppid=7747 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/7750/task/7761/stat : 7761 (java) S 7747 7750 6151 0 -1 4202560 588 0 0 0 352 6 0 0 20 0 19 0 4512367 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813342644456 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7762] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7762/stat : 7762 (java) S 7747 7750 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813341590520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7763] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7763/stat : 7763 (java) S 7747 7750 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4512367 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813340538120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7764] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7764/stat : 7764 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813339486608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7765] ppid=7747 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7750/task/7765/stat : 7765 (java) S 7747 7750 6151 0 -1 4202560 2582 0 0 0 20 0 0 0 20 0 19 0 4512370 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813338434232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7750/tid=7766] ppid=7747 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7750/task/7766/stat : 7766 (java) S 7747 7750 6151 0 -1 4202560 1816 0 0 0 21 0 0 0 20 0 19 0 4512370 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813337381432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7767] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7767/stat : 7767 (java) S 7747 7750 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512370 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813336329336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7750/tid=7768] ppid=7747 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7750/task/7768/stat : 7768 (java) S 7747 7750 6151 0 -1 4202560 104 0 0 0 25 34 0 0 20 0 19 0 4512370 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813335276744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7750/tid=7769] ppid=7747 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7750/task/7769/stat : 7769 (java) S 7747 7750 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512382 9856040960 80745 33554432000 1073741824 1073778376 140736904393056 139813334221736 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7750 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1787.44
CPU time (s): 1800.69
CPU user time (s): 1799.04
CPU system time (s): 1.65275
CPU usage (%): 100.741
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.65275
maximum resident set size= 686104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18173
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45074
involuntary context switches= 35947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.857 second user time and 14.4208 second system time
The end