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-4243403-1500671220/watcher-4243403-1500671220 -o /tmp/evaluation-result-4243403-1500671220/solver-4243403-1500671220 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500670160-12230 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243403-1500671220.xml
pid=12935
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.83 9.32 7.75 3/262 12938
/proc/meminfo: memFree=27640252/32770624 swapFree=5924/200256
[pid=12938] ppid=12935 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 2197 0 0 0 0 0 0 0 20 0 2 0 2391085 8550137856 2442 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2087436 2442 1197 1 0 2076347 0
[pid=12938/tid=12939] ppid=12935 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) R 12935 12938 9835 0 -1 4202560 921 0 0 0 0 0 0 0 20 0 3 0 2391086 8551190528 2442 33554432000 4194304 4196468 140722222261088 140522489231056 140522477226814 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=8351800 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) S 12935 12938 9835 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 2391087 8552243200 2442 33554432000 4194304 4196468 140722222261088 140522411064544 140522484999893 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=8352828 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) S 12935 12938 9835 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 2391087 8553295872 2508 33554432000 4194304 4196468 140722222261088 140522410011744 140522484999893 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=8353856 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) S 12935 12938 9835 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 2391087 8554348544 2508 33554432000 4194304 4196468 140722222261088 140522408959456 140522484999893 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=8354884 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) S 12935 12938 9835 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 2391087 8555401216 2508 33554432000 4194304 4196468 140722222261088 140522407906656 140522484999893 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=8355912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) S 12935 12938 9835 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 2391087 8556453888 2508 33554432000 4194304 4196468 140722222261088 140522406853344 140522484999893 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=8355912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) R 12935 12938 9835 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 2391087 8556453888 2508 33554432000 4194304 4196468 140722222261088 140522489231056 140522477729537 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[startup+0.100063 s]
/proc/loadavg: 8.83 9.32 7.75 3/262 12938
/proc/meminfo: memFree=27640252/32770624 swapFree=5924/200256
[pid=12938] ppid=12935 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 4711 0 0 0 8 1 0 0 20 0 20 0 2391085 11162169344 6300 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725139 6300 2638 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) R 12935 12938 9835 0 -1 4202560 2802 0 0 0 7 1 0 0 20 0 20 0 2391086 11162169344 6300 33554432000 4194304 4196468 140722222261088 140522489231968 140522469070174 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 6300 33554432000 4194304 4196468 140722222261088 140522411064208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 6300 33554432000 4194304 4196468 140722222261088 140522410011408 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 6300 33554432000 4194304 4196468 140722222261088 140522408959120 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 6300 33554432000 4194304 4196468 140722222261088 140522407906320 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 6300 33554432000 4194304 4196468 140722222261088 140522406853008 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 6300 33554432000 4194304 4196468 140722222261088 140522405800208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200743 s]
/proc/loadavg: 8.83 9.32 7.75 3/262 12938
/proc/meminfo: memFree=27640252/32770624 swapFree=5924/200256
[pid=12938] ppid=12935 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 7045 0 0 0 23 3 0 0 20 0 20 0 2391085 11162169344 8875 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725139 8875 2830 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) R 12935 12938 9835 0 -1 4202560 4702 0 0 0 16 1 0 0 20 0 20 0 2391086 11162169344 8875 33554432000 4194304 4196468 140722222261088 140522489212912 140522469070174 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 8875 33554432000 4194304 4196468 140722222261088 140522411064208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 8875 33554432000 4194304 4196468 140722222261088 140522410011408 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 8875 33554432000 4194304 4196468 140722222261088 140522408959120 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 8875 33554432000 4194304 4196468 140722222261088 140522407906320 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 8875 33554432000 4194304 4196468 140722222261088 140522406853008 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 8875 33554432000 4194304 4196468 140722222261088 140522405800208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300552 s]
/proc/loadavg: 8.83 9.32 7.75 3/262 12938
/proc/meminfo: memFree=27640252/32770624 swapFree=5924/200256
[pid=12938] ppid=12935 vsize=10900556 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 9571 0 0 0 52 3 0 0 20 0 20 0 2391085 11162169344 12453 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725139 12453 3009 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) R 12935 12938 9835 0 -1 4202560 5052 0 0 0 26 1 0 0 20 0 20 0 2391086 11162169344 12453 33554432000 4194304 4196468 140722222261088 140522489225288 140522485011613 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 12453 33554432000 4194304 4196468 140722222261088 140522411064208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 12453 33554432000 4194304 4196468 140722222261088 140522410011408 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 12453 33554432000 4194304 4196468 140722222261088 140522408959120 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 12453 33554432000 4194304 4196468 140722222261088 140522407906320 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 12453 33554432000 4194304 4196468 140722222261088 140522406853008 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162169344 12453 33554432000 4194304 4196468 140722222261088 140522405800208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10900556
[startup+0.700399 s]
/proc/loadavg: 8.83 9.32 7.75 3/262 12938
/proc/meminfo: memFree=27640252/32770624 swapFree=5924/200256
[pid=12938] ppid=12935 vsize=10900632 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 12473 0 0 0 188 6 0 0 20 0 20 0 2391085 11162247168 30022 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725158 30022 3083 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) R 12935 12938 9835 0 -1 4202560 5777 0 0 0 64 3 0 0 20 0 20 0 2391086 11162247168 30022 33554432000 4194304 4196468 140722222261088 140522489224632 140522469329865 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162247168 30022 33554432000 4194304 4196468 140722222261088 140522411064208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) S 12935 12938 9835 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2391087 11162247168 30022 33554432000 4194304 4196468 140722222261088 140522410011408 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162247168 30022 33554432000 4194304 4196468 140722222261088 140522408959120 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391087 11162247168 30022 33554432000 4194304 4196468 140722222261088 140522407906320 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162247168 30022 33554432000 4194304 4196468 140722222261088 140522406853008 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391087 11162247168 30022 33554432000 4194304 4196468 140722222261088 140522405800208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10900632
[startup+1.50115 s]
/proc/loadavg: 8.83 9.32 7.75 4/282 12958
/proc/meminfo: memFree=27414764/32770624 swapFree=5924/200264
[pid=12938] ppid=12935 vsize=10900632 CPUtime=5.4 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 15331 0 0 0 443 97 0 0 20 0 20 0 2391085 11162247168 173326 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725158 173326 3127 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900632 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) R 12935 12938 9835 0 -1 4202560 6302 0 0 0 115 8 0 0 20 0 20 0 2391086 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522489226752 140522471057806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) S 12935 12938 9835 0 -1 1077944384 165 0 0 0 10 12 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522411064208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) S 12935 12938 9835 0 -1 1077944384 205 0 0 0 11 11 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522410011408 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) S 12935 12938 9835 0 -1 1077944384 204 0 0 0 10 10 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522408959120 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) S 12935 12938 9835 0 -1 1077944384 133 0 0 0 10 10 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522407906320 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) S 12935 12938 9835 0 -1 1077944384 232 0 0 0 9 9 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522406853008 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) S 12935 12938 9835 0 -1 1077944384 136 0 0 0 12 9 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522405800208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12946] ppid=12935 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12946/stat : 12946 (java) S 12935 12938 9835 0 -1 1077944384 195 0 0 0 12 10 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522085673616 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12947] ppid=12935 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12947/stat : 12947 (java) S 12935 12938 9835 0 -1 1077944384 167 0 0 0 10 11 0 0 20 0 20 0 2391087 11162247168 173326 33554432000 4194304 4196468 140722222261088 140522084620816 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12949] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12949/stat : 12949 (java) S 12935 12938 9835 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 20 0 2391089 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521960598128 140522485000834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12950] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12950/stat : 12950 (java) S 12935 12938 9835 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521959544160 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12951] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12951/stat : 12951 (java) S 12935 12938 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521958491760 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12952] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12952/stat : 12952 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521957440080 140522485008283 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12953] ppid=12935 vsize=10900632 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12953/stat : 12953 (java) S 12935 12938 9835 0 -1 1077944384 1660 0 0 0 66 0 0 0 20 0 20 0 2391094 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521956386928 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12954] ppid=12935 vsize=10900632 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12954/stat : 12954 (java) S 12935 12938 9835 0 -1 1077944384 1496 0 0 0 68 0 0 0 20 0 20 0 2391094 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521955334128 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12955] ppid=12935 vsize=10900632 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12955/stat : 12955 (java) S 12935 12938 9835 0 -1 1077944384 1041 0 0 0 71 0 0 0 20 0 20 0 2391094 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521954281840 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12956] ppid=12935 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12956/stat : 12956 (java) S 12935 12938 9835 0 -1 1077944384 1534 0 0 0 34 0 0 0 20 0 20 0 2391094 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521953229040 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12957] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12957/stat : 12957 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521952176992 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12958] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12958/stat : 12958 (java) S 12935 12938 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 173326 33554432000 4194304 4196468 140722222261088 140521951124272 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 10900632
[startup+3.10117 s]
/proc/loadavg: 8.83 9.32 7.75 3/282 12958
/proc/meminfo: memFree=26291292/32770624 swapFree=5924/200264
[pid=12938] ppid=12935 vsize=10900632 CPUtime=9.43 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 18526 0 0 0 708 235 0 0 20 0 20 0 2391085 11162247168 597794 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725158 597794 3128 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900632 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) R 12935 12938 9835 0 -1 4202560 7396 0 0 0 222 29 0 0 20 0 20 0 2391086 11162247168 597794 33554432000 4194304 4196468 140722222261088 140522489222952 140522089936767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900632 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) S 12935 12938 9835 0 -1 1077944384 322 0 0 0 27 26 0 0 20 0 20 0 2391087 11162247168 597794 33554432000 4194304 4196468 140722222261088 140522411064208 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900632 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) S 12935 12938 9835 0 -1 1077944384 367 0 0 0 27 26 0 0 20 0 20 0 2391087 11162247168 597794 33554432000 4194304 4196468 140722222261088 140522410011408 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900632 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) S 12935 12938 9835 0 -1 1077944384 358 0 0 0 25 25 0 0 20 0 20 0 2391087 11162247168 597794 33554432000 4194304 4196468 140722222261088 140522408959120 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900632 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) S 12935 12938 9835 0 -1 1077944384 286 0 0 0 25 24 0 0 20 0 20 0 2391087 11162247168 597794 33554432000 4194304 4196468 140722222261088 140522407906320 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900632 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) S 12935 12938 9835 0 -1 1077944384 380 0 0 0 25 23 0 0 20 0 20 0 2391087 11162247168 597794 33554432000 4194304 4196468 140722222261088 140522406853008 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
################
# More data... #
################
[pid=12938/tid=12954] ppid=12935 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12954/stat : 12954 (java) S 12935 12938 9835 0 -1 1077944384 2784 0 0 0 87 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521955334128 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12955] ppid=12935 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12955/stat : 12955 (java) S 12935 12938 9835 0 -1 1077944384 2215 0 0 0 92 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521954281840 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12956] ppid=12935 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12956/stat : 12956 (java) S 12935 12938 9835 0 -1 1077944384 4408 0 0 0 40 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521953229040 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12957] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12957/stat : 12957 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521952176992 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12958] ppid=12935 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12958/stat : 12958 (java) S 12935 12938 9835 0 -1 1077944384 388 0 0 0 8 6 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521951124272 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 2400.51
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12938
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12938 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+344.001 s]
/proc/loadavg: 8.14 8.23 7.67 9/282 12971
/proc/meminfo: memFree=19317028/32770624 swapFree=5924/200584
[pid=12938] ppid=12935 vsize=10900632 CPUtime=2406.71 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 1946806 0 0 0 238400 2271 0 0 20 0 20 0 2391085 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725158 2078919 3145 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900632 CPUtime=15.5 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) S 12935 12938 9835 0 -1 1077944384 28072 0 0 0 1519 31 0 0 20 0 20 0 2391086 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522489226416 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900632 CPUtime=295.45 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) R 12935 12938 9835 0 -1 4202560 308978 0 0 0 29265 280 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522411064408 140522466586698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900632 CPUtime=295.89 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) R 12935 12938 9835 0 -1 4202560 278966 0 0 0 29316 273 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522410011304 140522477617895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900632 CPUtime=294.39 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) R 12935 12938 9835 0 -1 4202560 149267 0 0 0 29172 267 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522408959320 140522466586209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900632 CPUtime=294.1 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) R 12935 12938 9835 0 -1 4202560 201003 0 0 0 29123 287 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522407906520 140522466586710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900632 CPUtime=294.54 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) R 12935 12938 9835 0 -1 4202560 212194 0 0 0 29163 291 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522406852904 140522477617895 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900632 CPUtime=294.4 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) R 12935 12938 9835 0 -1 4202560 179218 0 0 0 29159 281 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522405800104 140522468372720 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12946] ppid=12935 vsize=10900632 CPUtime=295.09 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12946/stat : 12946 (java) R 12935 12938 9835 0 -1 4202560 254384 0 0 0 29244 265 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522085673816 140522469940786 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12947] ppid=12935 vsize=10900632 CPUtime=295.2 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12947/stat : 12947 (java) R 12935 12938 9835 0 -1 4202560 204116 0 0 0 29245 275 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522084620400 140522477617895 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12949] ppid=12935 vsize=10900632 CPUtime=28.8 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12949/stat : 12949 (java) S 12935 12938 9835 0 -1 1077944384 116913 0 0 0 2873 7 0 0 20 0 20 0 2391089 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521960596448 140522484999893 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12950] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12950/stat : 12950 (java) S 12935 12938 9835 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521959544160 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12951] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12951/stat : 12951 (java) S 12935 12938 9835 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521958491760 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12952] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12952/stat : 12952 (java) S 12935 12938 9835 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521957439728 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12953] ppid=12935 vsize=10900632 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12953/stat : 12953 (java) S 12935 12938 9835 0 -1 1077944384 2455 0 0 0 85 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521956386928 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12954] ppid=12935 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12954/stat : 12954 (java) S 12935 12938 9835 0 -1 1077944384 2784 0 0 0 87 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521955334128 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12955] ppid=12935 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12955/stat : 12955 (java) S 12935 12938 9835 0 -1 1077944384 2215 0 0 0 92 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521954281840 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12956] ppid=12935 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12956/stat : 12956 (java) S 12935 12938 9835 0 -1 1077944384 4408 0 0 0 40 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521953229040 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12957] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12957/stat : 12957 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521952176992 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12958] ppid=12935 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12958/stat : 12958 (java) S 12935 12938 9835 0 -1 1077944384 388 0 0 0 8 6 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521951124272 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 2406.71
Current children cumulated vsize (KiB) 10900632
[startup+344.801 s]
/proc/loadavg: 8.21 8.24 7.68 10/282 12971
/proc/meminfo: memFree=19317028/32770624 swapFree=5924/200584
[pid=12938] ppid=12935 vsize=10900632 CPUtime=2412.97 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 1946809 0 0 0 239022 2275 0 0 20 0 20 0 2391085 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725158 2078919 3145 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900632 CPUtime=15.5 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) S 12935 12938 9835 0 -1 1077944384 28072 0 0 0 1519 31 0 0 20 0 20 0 2391086 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522489226416 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900632 CPUtime=296.25 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) R 12935 12938 9835 0 -1 4202560 308979 0 0 0 29345 280 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522411064408 140522466586425 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900632 CPUtime=296.66 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) R 12935 12938 9835 0 -1 4202560 278966 0 0 0 29393 273 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522410010992 140522477617895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900632 CPUtime=295.19 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) R 12935 12938 9835 0 -1 4202560 149268 0 0 0 29252 267 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522408959320 140522466586206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900632 CPUtime=294.9 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) R 12935 12938 9835 0 -1 4202560 201003 0 0 0 29203 287 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522407906520 140522469940292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900632 CPUtime=295.29 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) R 12935 12938 9835 0 -1 4202560 212194 0 0 0 29237 292 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522406852904 140522468372722 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900632 CPUtime=295.15 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) R 12935 12938 9835 0 -1 4202560 179218 0 0 0 29233 282 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522405800104 140522477617895 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12946] ppid=12935 vsize=10900632 CPUtime=295.89 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12946/stat : 12946 (java) R 12935 12938 9835 0 -1 4202560 254385 0 0 0 29324 265 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522085673816 140522469687349 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12947] ppid=12935 vsize=10900632 CPUtime=295.98 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12947/stat : 12947 (java) R 12935 12938 9835 0 -1 4202560 204116 0 0 0 29321 277 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522084620712 140522477617895 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12949] ppid=12935 vsize=10900632 CPUtime=28.8 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12949/stat : 12949 (java) S 12935 12938 9835 0 -1 1077944384 116913 0 0 0 2873 7 0 0 20 0 20 0 2391089 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521960596448 140522484999893 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12950] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12950/stat : 12950 (java) S 12935 12938 9835 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521959544160 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12951] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12951/stat : 12951 (java) S 12935 12938 9835 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521958491760 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12952] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12952/stat : 12952 (java) S 12935 12938 9835 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521957439728 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12953] ppid=12935 vsize=10900632 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12953/stat : 12953 (java) S 12935 12938 9835 0 -1 1077944384 2455 0 0 0 85 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521956386928 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12954] ppid=12935 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12954/stat : 12954 (java) S 12935 12938 9835 0 -1 1077944384 2784 0 0 0 87 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521955334128 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12955] ppid=12935 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12955/stat : 12955 (java) S 12935 12938 9835 0 -1 1077944384 2215 0 0 0 92 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521954281840 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12956] ppid=12935 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12956/stat : 12956 (java) S 12935 12938 9835 0 -1 1077944384 4408 0 0 0 40 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521953229040 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12957] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12957/stat : 12957 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521952176992 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12958] ppid=12935 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12958/stat : 12958 (java) S 12935 12938 9835 0 -1 1077944384 388 0 0 0 8 6 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521951124272 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 2412.97
Current children cumulated vsize (KiB) 10900632
[startup+345.201 s]
/proc/loadavg: 8.21 8.24 7.68 10/282 12971
/proc/meminfo: memFree=19317028/32770624 swapFree=5924/200584
[pid=12938] ppid=12935 vsize=10900632 CPUtime=2416.12 cores=0,2,4,6,8,10,12,14
/proc/12938/stat : 12938 (java) S 12935 12938 9835 0 -1 1077944320 1947640 0 0 0 239336 2276 0 0 20 0 20 0 2391085 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140722222243632 140522484989687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
/proc/12938/statm: 2725158 2078919 3145 1 0 2713552 0
[pid=12938/tid=12939] ppid=12935 vsize=10900632 CPUtime=15.5 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12939/stat : 12939 (java) S 12935 12938 9835 0 -1 1077944384 28072 0 0 0 1519 31 0 0 20 0 20 0 2391086 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522489226416 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12940] ppid=12935 vsize=10900632 CPUtime=296.65 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12940/stat : 12940 (java) R 12935 12938 9835 0 -1 4202560 308979 0 0 0 29385 280 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522411064408 140522477617895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12941] ppid=12935 vsize=10900632 CPUtime=297.06 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12941/stat : 12941 (java) R 12935 12938 9835 0 -1 4202560 278966 0 0 0 29432 274 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522410010992 140522477617895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12942] ppid=12935 vsize=10900632 CPUtime=295.59 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12942/stat : 12942 (java) R 12935 12938 9835 0 -1 4202560 149711 0 0 0 29292 267 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522408959320 140522469940693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12943] ppid=12935 vsize=10900632 CPUtime=295.3 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12943/stat : 12943 (java) R 12935 12938 9835 0 -1 4202560 201255 0 0 0 29243 287 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522407906520 140522477617895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12944] ppid=12935 vsize=10900632 CPUtime=295.67 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12944/stat : 12944 (java) R 12935 12938 9835 0 -1 4202560 212194 0 0 0 29275 292 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522406852904 140522470748496 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12945] ppid=12935 vsize=10900632 CPUtime=295.53 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12945/stat : 12945 (java) R 12935 12938 9835 0 -1 4202560 179218 0 0 0 29271 282 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522405799792 140522477617895 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12946] ppid=12935 vsize=10900632 CPUtime=296.29 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12946/stat : 12946 (java) R 12935 12938 9835 0 -1 4202560 254522 0 0 0 29364 265 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522085673816 140522469940696 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12947] ppid=12935 vsize=10900632 CPUtime=296.37 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12947/stat : 12947 (java) R 12935 12938 9835 0 -1 4202560 204116 0 0 0 29360 277 0 0 20 0 20 0 2391087 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140522084620712 140522477617895 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12949] ppid=12935 vsize=10900632 CPUtime=28.8 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12949/stat : 12949 (java) S 12935 12938 9835 0 -1 1077944384 116913 0 0 0 2873 7 0 0 20 0 20 0 2391089 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521960596448 140522484999893 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12950] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12950/stat : 12950 (java) S 12935 12938 9835 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521959544160 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12951] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12951/stat : 12951 (java) S 12935 12938 9835 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2391090 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521958491760 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12952] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12952/stat : 12952 (java) S 12935 12938 9835 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521957439728 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12953] ppid=12935 vsize=10900632 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12953/stat : 12953 (java) S 12935 12938 9835 0 -1 1077944384 2455 0 0 0 85 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521956386928 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12954] ppid=12935 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12954/stat : 12954 (java) S 12935 12938 9835 0 -1 1077944384 2784 0 0 0 87 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521955334128 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12955] ppid=12935 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12955/stat : 12955 (java) S 12935 12938 9835 0 -1 1077944384 2215 0 0 0 92 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521954281840 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12956] ppid=12935 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12956/stat : 12956 (java) S 12935 12938 9835 0 -1 1077944384 4408 0 0 0 40 1 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521953229040 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12957] ppid=12935 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12957/stat : 12957 (java) S 12935 12938 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521952176992 140522484999893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
[pid=12938/tid=12958] ppid=12935 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12938/task/12958/stat : 12958 (java) S 12935 12938 9835 0 -1 1077944384 388 0 0 0 8 6 0 0 20 0 20 0 2391094 11162247168 2078919 33554432000 4194304 4196468 140722222261088 140521951124272 140522485000834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32653312 140722222269611 140722222269764 140722222269764 140722222272463 0
Current children cumulated CPU time (s) 2416.12
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 345.28
CPU time (s): 2416.24
CPU user time (s): 2393.39
CPU system time (s): 22.843
CPU usage (%): 699.79
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.39
system time used= 22.843
maximum resident set size= 8315856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1947673
page faults= 0
swaps= 0
block input operations= 8
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44556
involuntary context switches= 175699
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.94465 second user time and 3.66009 second system time
The end