runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10603 MiB free)
memory of node 1: 16384 MiB (15434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259404-1502648770/watcher-4259404-1502648770 -o /tmp/evaluation-result-4259404-1502648770/solver-4259404-1502648770 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259404-1502648770.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=755, runsolver pid=752
[startup+0.100015 s]*
/proc/loadavg: 1.74 2.23 2.03 4/203 782
/proc/meminfo: memFree=26662552/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=9636 memory=1508 CPUtime=0.01 cores=1,3,5,7
/proc/755/stat : 755 (bash) S 752 755 8289 0 -1 4202496 893 6483 0 0 0 0 0 1 20 0 1 0 112692220 9867264 377 18446744073709551615 4194304 5098028 140729635683264 140729635677272 140069311884288 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 30146560 140729635688948 140729635689033 140729635689033 140729635692522 0
/proc/755/statm: 2409 377 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1508 KiB
[startup+0.212592 s]*
/proc/loadavg: 1.74 2.23 2.03 3/207 810
/proc/meminfo: memFree=26656088/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=13507924 memory=16232 CPUtime=0.1 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 4766 12676 0 0 2 0 5 3 20 0 8 0 112692220 13832114176 4058 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3376981 4058 2051 1 0 3366478 0
[pid=755/tid=805] ppid=752 vsize=13574488 memory=8390339637985935414 CPUtime=0.09 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) R 752 755 8289 0 -1 4202560 2664 12676 0 0 1 0 5 3 20 0 9 0 112692239 13900275712 4618 18446744073709551615 4194304 4196468 140722105750160 140449593155816 140449573000542 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=13574488 memory=4294967626 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 9 0 112692240 13900275712 4618 18446744073709551615 4194304 4196468 140722105750160 140449530866448 140449588930261 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=13574488 memory=140672890236524 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 9 0 112692240 13900275712 4618 18446744073709551615 4194304 4196468 140722105750160 140449529813904 140449588930261 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=13574488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 9 0 112692240 13900275712 4618 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449588930261 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=13574488 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) S 752 755 8289 0 -1 1077944384 2 12676 0 0 0 0 5 3 20 0 9 0 112692240 13900275712 4618 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449588930261 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=13574488 memory=140672890214016 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 2 12676 0 0 0 0 5 3 20 0 9 0 112692241 13900275712 4618 18446744073709551615 4194304 4196468 140722105750160 140449134647280 140449588931202 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=13574488 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 33 12676 0 0 0 0 5 3 20 0 9 0 112692241 13900275712 4682 18446744073709551615 4194304 4196468 140722105750160 140449133593504 140449588930261 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=13574488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 21 12676 0 0 0 0 5 3 20 0 9 0 112692242 13900275712 4682 18446744073709551615 4194304 4196468 140722105750160 140449132540976 140449588930261 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13507924 KiB
Current children cumulated memory: 16232 KiB
[startup+0.310623 s]*
/proc/loadavg: 1.74 2.23 2.03 6/215 818
/proc/meminfo: memFree=26645620/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=13974356 memory=29756 CPUtime=0.2 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 6772 12676 0 0 11 1 5 3 20 0 15 0 112692220 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3493589 7439 2906 1 0 3482965 0
[pid=755/tid=805] ppid=752 vsize=13974356 memory=4278483708103473607 CPUtime=0.15 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) R 752 755 8289 0 -1 4202560 3301 12676 0 0 7 0 5 3 20 0 15 0 112692239 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449593152336 140449588931990 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=13974356 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692240 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449530866448 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692240 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449529813904 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692240 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) S 752 755 8289 0 -1 1077944384 2 12676 0 0 0 0 5 3 20 0 15 0 112692240 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 2 12676 0 0 0 0 5 3 20 0 15 0 112692241 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449134647280 140449588931202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 33 12676 0 0 0 0 5 3 20 0 15 0 112692241 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449133593504 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 21 12676 0 0 0 0 5 3 20 0 15 0 112692242 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449132540912 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=813] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/813/stat : 813 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449131489488 140449588938651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=814] ppid=752 vsize=13974356 memory=140672728561984 CPUtime=0.09 cores=1,3,5,7
/proc/755/task/814/stat : 814 (java) S 752 755 8289 0 -1 1077944384 548 12676 0 0 1 0 5 3 20 0 15 0 112692244 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449130437104 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=815] ppid=752 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/815/stat : 815 (java) S 752 755 8289 0 -1 1077944384 217 12676 0 0 0 0 5 3 20 0 15 0 112692244 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449129384560 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=816] ppid=752 vsize=13974356 memory=140672890214016 CPUtime=0.1 cores=1,3,5,7
/proc/755/task/816/stat : 816 (java) R 752 755 8289 0 -1 4202560 488 12676 0 0 2 0 5 3 20 0 15 0 112692244 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449128332016 140449568054596 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=817] ppid=752 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/817/stat : 817 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449127279712 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=818] ppid=752 vsize=13974356 memory=140672890214016 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/818/stat : 818 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692248 14309740544 7439 18446744073709551615 4194304 4196468 140722105750160 140449126226224 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 29756 KiB
[startup+0.700747 s]
/proc/loadavg: 1.74 2.23 2.03 3/215 818
/proc/meminfo: memFree=26621216/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=13974784 memory=59700 CPUtime=0.72 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 14013 12676 0 0 59 5 5 3 20 0 15 0 112692220 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3493696 14925 3106 1 0 3482965 0
[pid=755/tid=805] ppid=752 vsize=13974784 memory=4049079250965312047 CPUtime=0.53 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) R 752 755 8289 0 -1 4202560 10371 12676 0 0 41 4 5 3 20 0 15 0 112692239 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449593136624 140449588933959 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=13974784 memory=281345456691152 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692240 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449530866448 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=13974784 memory=281345456783460 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692240 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449529813904 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=13974784 memory=281345456783872 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692240 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=13974784 memory=281345456784064 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) S 752 755 8289 0 -1 1077944384 2 12676 0 0 0 0 5 3 20 0 15 0 112692240 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=13974784 memory=2952 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 6 12676 0 0 0 0 5 3 20 0 15 0 112692241 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449134647280 140449588931202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=13974784 memory=4278483708103473607 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 33 12676 0 0 0 0 5 3 20 0 15 0 112692241 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449133593504 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=13974784 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 21 12676 0 0 0 0 5 3 20 0 15 0 112692242 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449132540912 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=813] ppid=752 vsize=13974784 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/813/stat : 813 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449131489488 140449588938651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=814] ppid=752 vsize=13974784 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/755/task/814/stat : 814 (java) S 752 755 8289 0 -1 1077944384 563 12676 0 0 3 0 5 3 20 0 15 0 112692244 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449130437104 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=815] ppid=752 vsize=13974784 memory=6656426216303648864 CPUtime=0.11 cores=1,3,5,7
/proc/755/task/815/stat : 815 (java) S 752 755 8289 0 -1 1077944384 300 12676 0 0 3 0 5 3 20 0 15 0 112692244 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449129384560 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=816] ppid=752 vsize=13974784 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/755/task/816/stat : 816 (java) S 752 755 8289 0 -1 1077944384 557 12676 0 0 10 0 5 3 20 0 15 0 112692244 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449128332016 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=817] ppid=752 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/817/stat : 817 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449127279712 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=818] ppid=752 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/818/stat : 818 (java) S 752 755 8289 0 -1 1077944384 1 12676 0 0 0 0 5 3 20 0 15 0 112692248 14310178816 14925 18446744073709551615 4194304 4196468 140722105750160 140449126226224 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59700 KiB
[startup+1.50792 s]
/proc/loadavg: 1.74 2.23 2.03 3/215 818
/proc/meminfo: memFree=26578884/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=13985408 memory=171020 CPUtime=1.94 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 30032 12676 0 0 176 10 5 3 20 0 15 0 112692220 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3496352 42755 3375 1 0 3485525 0
[pid=755/tid=805] ppid=752 vsize=13985408 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) R 752 755 8289 0 -1 4202560 22792 12676 0 0 116 7 5 3 20 0 15 0 112692239 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449593148928 140449588931990 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=13985408 memory=-8990767739041718176 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) S 752 755 8289 0 -1 1077944384 46 12676 0 0 0 0 5 3 20 0 15 0 112692240 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449530866448 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=13985408 memory=164 CPUtime=0.09 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) S 752 755 8289 0 -1 1077944384 63 12676 0 0 1 0 5 3 20 0 15 0 112692240 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449529813904 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=13985408 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) S 752 755 8289 0 -1 1077944384 45 12676 0 0 1 0 5 3 20 0 15 0 112692240 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=13985408 memory=6944656592455097440 CPUtime=0.09 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) S 752 755 8289 0 -1 1077944384 209 12676 0 0 1 0 5 3 20 0 15 0 112692240 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=13985408 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 1504 12676 0 0 1 0 5 3 20 0 15 0 112692241 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449134647280 140449588931202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=13985408 memory=3053811428040725072 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 56 12676 0 0 0 0 5 3 20 0 15 0 112692241 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449133593568 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 43 12676 0 0 0 0 5 3 20 0 15 0 112692242 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449132540928 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=813] ppid=752 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/813/stat : 813 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449131489488 140449588938651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=814] ppid=752 vsize=13985408 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/755/task/814/stat : 814 (java) S 752 755 8289 0 -1 1077944384 851 12676 0 0 11 0 5 3 20 0 15 0 112692244 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449130437104 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=815] ppid=752 vsize=13985408 memory=144151651905289 CPUtime=0.25 cores=1,3,5,7
/proc/755/task/815/stat : 815 (java) S 752 755 8289 0 -1 1077944384 857 12676 0 0 17 0 5 3 20 0 15 0 112692244 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449129384560 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=816] ppid=752 vsize=13985408 memory=25080 CPUtime=0.31 cores=1,3,5,7
/proc/755/task/816/stat : 816 (java) R 752 755 8289 0 -1 4202560 1405 12676 0 0 23 0 5 3 20 0 15 0 112692244 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449128329824 140449588931990 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=817] ppid=752 vsize=13985408 memory=2111023335502820 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/817/stat : 817 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449127279712 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=818] ppid=752 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/818/stat : 818 (java) S 752 755 8289 0 -1 1077944384 6 12676 0 0 0 0 5 3 20 0 15 0 112692248 14321057792 42755 18446744073709551615 4194304 4196468 140722105750160 140449126226224 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 171020 KiB
[startup+3.11026 s]
/proc/loadavg: 1.74 2.23 2.03 3/215 818
/proc/meminfo: memFree=26371504/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=13995836 memory=304180 CPUtime=5.05 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 38628 12676 0 0 478 19 5 3 20 0 15 0 112692220 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3498959 76045 3454 1 0 3487573 0
[pid=755/tid=805] ppid=752 vsize=13995836 memory=303724 CPUtime=2.87 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) R 752 755 8289 0 -1 4202560 26577 12676 0 0 269 10 5 3 20 0 15 0 112692239 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140449593150768 140449571327067 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=13995836 memory=281345456771296 CPUtime=0.11 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) S 752 755 8289 0 -1 1077944384 63 12676 0 0 2 1 5 3 20 0 15 0 112692240 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140449530866448 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=13995836 memory=133108 CPUtime=0.1 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) S 752 755 8289 0 -1 1077944384 72 12676 0 0 2 0 5 3 20 0 15 0 112692240 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140449529813904 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=13995836 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) S 752 755 8289 0 -1 1077944384 265 12676 0 0 2 0 5 3 20 0 15 0 112692240 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=13995836 memory=1598 CPUtime=0.11 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) S 752 755 8289 0 -1 1077944384 327 12676 0 0 3 0 5 3 20 0 15 0 112692240 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=13995836 memory=803 CPUtime=0.09 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 1581 12676 0 0 1 0 5 3 20 0 15 0 112692241 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140449134647280 140449588931202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=13995836 memory=281345456739800 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 56 12676 0 0 0 0 5 3 20 0 15 0 112692241 14331736064 76045 18446744073709551615 4194304 4196468 140722105750160 140449133593568 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
################
# More data... #
################
/proc/755/task/807/stat : 807 (java) S 752 755 8289 0 -1 1077944384 7198 12676 0 0 459 60 5 3 20 0 15 0 112692240 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449529813904 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=14004028 memory=15819980281218354 CPUtime=5.27 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) S 752 755 8289 0 -1 1077944384 4169 12676 0 0 458 61 5 3 20 0 15 0 112692240 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=14004028 memory=14356 CPUtime=5.27 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) S 752 755 8289 0 -1 1077944384 5015 12676 0 0 459 60 5 3 20 0 15 0 112692240 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=14004028 memory=1008 CPUtime=0.28 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 17946 12676 0 0 19 1 5 3 20 0 15 0 112692241 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449134647280 140449588931202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=14004028 memory=2012 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 60 12676 0 0 0 0 5 3 20 0 15 0 112692241 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449133593632 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=14004028 memory=11136 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 46 12676 0 0 0 0 5 3 20 0 15 0 112692242 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449132540928 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=813] ppid=752 vsize=14004028 memory=5788 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/813/stat : 813 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449131489488 140449588938651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=814] ppid=752 vsize=14004028 memory=4612 CPUtime=7.38 cores=1,3,5,7
/proc/755/task/814/stat : 814 (java) S 752 755 8289 0 -1 1077944384 23848 12676 0 0 725 5 5 3 20 0 15 0 112692244 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449130437104 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=815] ppid=752 vsize=14004028 memory=1436 CPUtime=6.95 cores=1,3,5,7
/proc/755/task/815/stat : 815 (java) S 752 755 8289 0 -1 1077944384 19829 12676 0 0 683 4 5 3 20 0 15 0 112692244 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449129384560 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=816] ppid=752 vsize=14004028 memory=1200 CPUtime=2.23 cores=1,3,5,7
/proc/755/task/816/stat : 816 (java) S 752 755 8289 0 -1 1077944384 12017 12676 0 0 210 5 5 3 20 0 15 0 112692244 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449128332016 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=817] ppid=752 vsize=14004028 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/817/stat : 817 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 15 0 112692244 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449127279712 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=818] ppid=752 vsize=14004028 memory=4064 CPUtime=0.21 cores=1,3,5,7
/proc/755/task/818/stat : 818 (java) S 752 755 8289 0 -1 1077944384 732 12676 0 0 6 7 5 3 20 0 15 0 112692248 14340124672 1181463 18446744073709551615 4194304 4196468 140722105750160 140449126226224 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14004028 KiB
Current children cumulated memory: 4725852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+221.48 s]
# the end of solver process 755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.4 s, system=3.27071 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+220.801 s]
/proc/loadavg: 1.77 2.03 2.01 3/213 957
/proc/meminfo: memFree=21945600/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=14137156 memory=4725076 CPUtime=254.3 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 187390 12676 0 0 25102 320 5 3 20 0 17 0 112692220 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3534289 1181269 3485 1 0 3522903 0
[pid=755/tid=805] ppid=752 vsize=14137156 memory=4734060 CPUtime=214.53 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) S 752 755 8289 0 -1 1077944384 80028 12676 0 0 21390 55 5 3 20 0 17 0 112692239 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449593157760 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=14137156 memory=1716 CPUtime=5.85 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) R 752 755 8289 0 -1 4202560 4440 12676 0 0 518 59 5 3 20 0 17 0 112692240 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449530866648 140449570516563 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=14137156 memory=7228680271614206822 CPUtime=5.81 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) R 752 755 8289 0 -1 4202560 7276 12676 0 0 513 60 5 3 20 0 17 0 112692240 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449529814104 140449570516751 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=14137156 memory=5940083456005729127 CPUtime=5.82 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) R 752 755 8289 0 -1 4202560 4199 12676 0 0 513 61 5 3 20 0 17 0 112692240 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449573617830 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=14137156 memory=4725852 CPUtime=5.82 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) R 752 755 8289 0 -1 4202560 5053 12676 0 0 514 60 5 3 20 0 17 0 112692240 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449573374053 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=14137156 memory=4734060 CPUtime=0.32 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 27303 12676 0 0 22 2 5 3 20 0 17 0 112692241 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449134645680 140449588930261 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=14137156 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 62 12676 0 0 0 0 5 3 20 0 17 0 112692241 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449133593232 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=14137156 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 46 12676 0 0 0 0 5 3 20 0 17 0 112692242 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449132540928 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=813] ppid=752 vsize=14137156 memory=14356 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/813/stat : 813 (java) S 752 755 8289 0 -1 1077944384 153 12676 0 0 0 0 5 3 20 0 17 0 112692244 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449131489488 140449588938651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=814] ppid=752 vsize=14137156 memory=4134931637327791675 CPUtime=7.38 cores=1,3,5,7
/proc/755/task/814/stat : 814 (java) S 752 755 8289 0 -1 1077944384 23848 12676 0 0 725 5 5 3 20 0 17 0 112692244 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449130437104 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=815] ppid=752 vsize=14137156 memory=14356 CPUtime=6.95 cores=1,3,5,7
/proc/755/task/815/stat : 815 (java) S 752 755 8289 0 -1 1077944384 19829 12676 0 0 683 4 5 3 20 0 17 0 112692244 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449129384560 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=816] ppid=752 vsize=14137156 memory=1008 CPUtime=2.23 cores=1,3,5,7
/proc/755/task/816/stat : 816 (java) S 752 755 8289 0 -1 1077944384 12017 12676 0 0 210 5 5 3 20 0 17 0 112692244 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449128332016 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=817] ppid=752 vsize=14137156 memory=2440 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/817/stat : 817 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 17 0 112692244 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449127279712 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=818] ppid=752 vsize=14137156 memory=1724 CPUtime=0.21 cores=1,3,5,7
/proc/755/task/818/stat : 818 (java) S 752 755 8289 0 -1 1077944384 732 12676 0 0 6 7 5 3 20 0 17 0 112692248 14476447744 1181269 18446744073709551615 4194304 4196468 140722105750160 140449126226224 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 254.3 s
Current children cumulated vsize: 14137156 KiB
Current children cumulated memory: 4725076 KiB
[startup+221.201 s]
/proc/loadavg: 1.77 2.03 2.01 6/215 959
/proc/meminfo: memFree=21947232/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=14137156 memory=4719968 CPUtime=255.77 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 187404 12676 0 0 25249 320 5 3 20 0 17 0 112692220 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3534289 1179992 3485 1 0 3522903 0
[pid=755/tid=805] ppid=752 vsize=14137156 memory=1232 CPUtime=214.53 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) S 752 755 8289 0 -1 1077944384 80028 12676 0 0 21390 55 5 3 20 0 17 0 112692239 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449593157760 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=14137156 memory=640 CPUtime=6.2 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) R 752 755 8289 0 -1 4202560 4440 12676 0 0 553 59 5 3 20 0 17 0 112692240 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449530866448 140449570473296 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=14137156 memory=1792 CPUtime=6.17 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) R 752 755 8289 0 -1 4202560 7279 12676 0 0 549 60 5 3 20 0 17 0 112692240 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449529814104 140449573617768 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=14137156 memory=956 CPUtime=6.18 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) R 752 755 8289 0 -1 4202560 4203 12676 0 0 549 61 5 3 20 0 17 0 112692240 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449528761560 140449570473680 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=14137156 memory=2248 CPUtime=6.18 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) R 752 755 8289 0 -1 4202560 5053 12676 0 0 550 60 5 3 20 0 17 0 112692240 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449527708816 140449573617694 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=14137156 memory=4288 CPUtime=0.35 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 27308 12676 0 0 25 2 5 3 20 0 17 0 112692241 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449134645680 140449588930261 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=14137156 memory=2164 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 63 12676 0 0 0 0 5 3 20 0 17 0 112692241 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449133593472 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=14137156 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 46 12676 0 0 0 0 5 3 20 0 17 0 112692242 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449132540928 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=813] ppid=752 vsize=14137156 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/813/stat : 813 (java) S 752 755 8289 0 -1 1077944384 153 12676 0 0 0 0 5 3 20 0 17 0 112692244 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449131489488 140449588938651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=814] ppid=752 vsize=14137156 memory=1792 CPUtime=7.38 cores=1,3,5,7
/proc/755/task/814/stat : 814 (java) S 752 755 8289 0 -1 1077944384 23848 12676 0 0 725 5 5 3 20 0 17 0 112692244 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449130437104 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=815] ppid=752 vsize=14137156 memory=956 CPUtime=6.95 cores=1,3,5,7
/proc/755/task/815/stat : 815 (java) S 752 755 8289 0 -1 1077944384 19829 12676 0 0 683 4 5 3 20 0 17 0 112692244 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449129384560 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=816] ppid=752 vsize=14137156 memory=2248 CPUtime=2.23 cores=1,3,5,7
/proc/755/task/816/stat : 816 (java) S 752 755 8289 0 -1 1077944384 12017 12676 0 0 210 5 5 3 20 0 17 0 112692244 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449128332016 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=817] ppid=752 vsize=14137156 memory=4288 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/817/stat : 817 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 17 0 112692244 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449127279712 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=818] ppid=752 vsize=14137156 memory=2164 CPUtime=0.21 cores=1,3,5,7
/proc/755/task/818/stat : 818 (java) S 752 755 8289 0 -1 1077944384 732 12676 0 0 6 7 5 3 20 0 17 0 112692248 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449126226224 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=958] ppid=752 vsize=14137156 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/958/stat : 958 (java) S 752 755 8289 0 -1 1077944384 224 12676 0 0 0 0 5 3 20 0 17 0 112714240 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449027092592 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=959] ppid=752 vsize=14137156 memory=1620 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/959/stat : 959 (java) S 752 755 8289 0 -1 1077944384 27 12676 0 0 0 0 5 3 20 0 17 0 112714240 14476447744 1179992 18446744073709551615 4194304 4196468 140722105750160 140449026040768 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 255.77 s
Current children cumulated vsize: 14137156 KiB
Current children cumulated memory: 4719968 KiB
[startup+221.401 s]
/proc/loadavg: 1.77 2.03 2.01 6/215 959
/proc/meminfo: memFree=21947232/32770624 swapFree=67108860/67108860
[pid=755] ppid=752 vsize=14137156 memory=4714836 CPUtime=256.48 cores=1,3,5,7
/proc/755/stat : 755 (java) S 752 755 8289 0 -1 1077944320 187406 12676 0 0 25319 321 5 3 20 0 17 0 112692220 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140722105732704 140449588920055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
/proc/755/statm: 3534289 1178709 3485 1 0 3522903 0
[pid=755/tid=805] ppid=752 vsize=14137156 memory=18484 CPUtime=214.53 cores=1,3,5,7
/proc/755/task/805/stat : 805 (java) S 752 755 8289 0 -1 1077944384 80029 12676 0 0 21390 55 5 3 20 0 17 0 112692239 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449593157760 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=806] ppid=752 vsize=14137156 memory=3912 CPUtime=6.36 cores=1,3,5,7
/proc/755/task/806/stat : 806 (java) R 752 755 8289 0 -1 4202560 4440 12676 0 0 569 59 5 3 20 0 17 0 112692240 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449530866448 140449573916737 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=807] ppid=752 vsize=14137156 memory=4725852 CPUtime=6.34 cores=1,3,5,7
/proc/755/task/807/stat : 807 (java) R 752 755 8289 0 -1 4202560 7279 12676 0 0 566 60 5 3 20 0 17 0 112692240 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449529814104 140449570529892 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=808] ppid=752 vsize=14137156 memory=4134931637327791675 CPUtime=6.35 cores=1,3,5,7
/proc/755/task/808/stat : 808 (java) R 752 755 8289 0 -1 4202560 4203 12676 0 0 566 61 5 3 20 0 17 0 112692240 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449528761360 140449573916548 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=809] ppid=752 vsize=14137156 memory=288230617509003574 CPUtime=6.35 cores=1,3,5,7
/proc/755/task/809/stat : 809 (java) R 752 755 8289 0 -1 4202560 5053 12676 0 0 567 60 5 3 20 0 17 0 112692240 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449527709016 140449573618835 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=810] ppid=752 vsize=14137156 memory=15819980281218354 CPUtime=0.39 cores=1,3,5,7
/proc/755/task/810/stat : 810 (java) S 752 755 8289 0 -1 1077944384 27308 12676 0 0 29 2 5 3 20 0 17 0 112692241 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449134645904 140449588930261 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=811] ppid=752 vsize=14137156 memory=-6876588628754522503 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/811/stat : 811 (java) S 752 755 8289 0 -1 1077944384 63 12676 0 0 0 0 5 3 20 0 17 0 112692241 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449133593616 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=812] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/812/stat : 812 (java) S 752 755 8289 0 -1 1077944384 46 12676 0 0 0 0 5 3 20 0 17 0 112692242 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449132540928 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=813] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/813/stat : 813 (java) S 752 755 8289 0 -1 1077944384 153 12676 0 0 0 0 5 3 20 0 17 0 112692244 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449131489488 140449588938651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=814] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=7.38 cores=1,3,5,7
/proc/755/task/814/stat : 814 (java) S 752 755 8289 0 -1 1077944384 23848 12676 0 0 725 5 5 3 20 0 17 0 112692244 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449130437104 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=815] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=6.95 cores=1,3,5,7
/proc/755/task/815/stat : 815 (java) S 752 755 8289 0 -1 1077944384 19829 12676 0 0 683 4 5 3 20 0 17 0 112692244 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449129384560 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=816] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=2.23 cores=1,3,5,7
/proc/755/task/816/stat : 816 (java) S 752 755 8289 0 -1 1077944384 12017 12676 0 0 210 5 5 3 20 0 17 0 112692244 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449128332016 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=817] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/817/stat : 817 (java) S 752 755 8289 0 -1 1077944384 3 12676 0 0 0 0 5 3 20 0 17 0 112692244 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449127279712 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=818] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=0.21 cores=1,3,5,7
/proc/755/task/818/stat : 818 (java) S 752 755 8289 0 -1 1077944384 732 12676 0 0 6 7 5 3 20 0 17 0 112692248 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449126226224 140449588931202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=958] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/958/stat : 958 (java) S 752 755 8289 0 -1 1077944384 224 12676 0 0 0 0 5 3 20 0 17 0 112714240 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449027092592 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
[pid=755/tid=959] ppid=752 vsize=14137156 memory=281345456603376 CPUtime=0.08 cores=1,3,5,7
/proc/755/task/959/stat : 959 (java) S 752 755 8289 0 -1 1077944384 28 12676 0 0 0 0 5 3 20 0 17 0 112714240 14476447744 1178709 18446744073709551615 4194304 4196468 140722105750160 140449026040768 140449588930261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25645056 140722105755568 140722105758353 140722105758353 140722105761743 0
Current children cumulated CPU time: 256.48 s
Current children cumulated vsize: 14137156 KiB
Current children cumulated memory: 4714836 KiB
Child status: 143
Real time (s): 221.48
CPU time (s): 256.671
CPU user time (s): 253.4
CPU system time (s): 3.27071
CPU usage (%): 115.889
Max. virtual memory (cumulated for all children) (KiB): 14137156
Max. memory (cumulated for all children) (KiB): 4738684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.4
system time used= 3.27071
maximum resident set size= 4738684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16198
involuntary context switches= 743
# summary of solver processes directly reported to runsolver:
# pid: 755
# total CPU time (s): 256.671
# total CPU user time (s): 253.4
# total CPU system time (s): 3.27071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22267 second user time and 2.33943 second system time
The end