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 (13386 MiB free)
memory of node 1: 16384 MiB (6858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263248-1502626855/watcher-4263248-1502626855 -o /tmp/evaluation-result-4263248-1502626855/solver-4263248-1502626855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3501 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263248-1502626855.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=4488, runsolver pid=4485
Current StackSize limit: 8192 KiB
[startup+0.107805 s]*
/proc/loadavg: 2.33 2.16 2.10 4/217 4503
/proc/meminfo: memFree=20711804/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10555400 memory=29652 CPUtime=0.13 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 6587 0 0 0 12 1 0 0 20 0 15 0 95766411 10808729600 7413 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2638850 7413 2789 1 0 2627263 0
[pid=4488/tid=4490] ppid=4485 vsize=10555400 memory=-8824905109220455616 CPUtime=0.09 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) R 4485 4488 3242 0 -1 4202560 4415 0 0 0 9 0 0 0 20 0 15 0 95766412 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766752874528 139766748681373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10555400 memory=140004034684544 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10555400 memory=140004034684544 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95766414 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4496] ppid=4485 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95766414 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766307157024 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95766415 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766306104176 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) S 4485 4488 3242 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766304000880 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) S 4485 4488 3242 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766302948080 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10555400 memory=140004034684544 CPUtime=0.02 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) S 4485 4488 3242 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 95766417 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766301895280 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10555400 memory=140004034684544 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 7413 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29652 KiB
[startup+0.216891 s]*
/proc/loadavg: 2.33 2.16 2.10 6/217 4503
/proc/meminfo: memFree=20703528/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10555400 memory=41328 CPUtime=0.34 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 7969 0 0 0 32 2 0 0 20 0 15 0 95766411 10808729600 10332 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2638850 10332 2968 1 0 2627263 0
[pid=4488/tid=4490] ppid=4485 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) R 4485 4488 3242 0 -1 4202560 5033 0 0 0 19 1 0 0 20 0 15 0 95766412 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766752881920 139766732739934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10555400 memory=342 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10555400 memory=140004034689285 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95766413 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10555400 memory=140004034684544 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95766414 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4496] ppid=4485 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95766414 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766307157024 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95766415 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766306104176 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) R 4485 4488 3242 0 -1 4202560 440 0 0 0 2 0 0 0 20 0 15 0 95766417 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766303989872 139766726644068 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10555400 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) S 4485 4488 3242 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 15 0 95766417 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766302948080 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10555400 memory=140004034684544 CPUtime=0.07 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) R 4485 4488 3242 0 -1 1077944384 829 0 0 0 7 0 0 0 20 0 15 0 95766417 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766301890336 139766748669653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10555400 memory=140004034684544 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766417 10808729600 10377 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 41328 KiB
[startup+0.311129 s]*
/proc/loadavg: 2.33 2.16 2.10 7/217 4503
/proc/meminfo: memFree=20690292/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10555476 memory=52640 CPUtime=0.62 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 10268 0 0 0 59 3 0 0 20 0 15 0 95766411 10808807424 13160 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2638869 13160 3054 1 0 2627263 0
[pid=4488/tid=4490] ppid=4485 vsize=10555476 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) R 4485 4488 3242 0 -1 4202560 5494 0 0 0 28 1 0 0 20 0 15 0 95766412 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766752885888 139766731087712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10555476 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10555476 memory=13988577197500056 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10555476 memory=140004034684544 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95766414 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4496] ppid=4485 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95766414 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766307157024 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95766415 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766306104176 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10555476 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) S 4485 4488 3242 0 -1 1077944384 1471 0 0 0 10 0 0 0 20 0 15 0 95766417 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766304000880 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10555476 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) S 4485 4488 3242 0 -1 1077944384 592 0 0 0 5 0 0 0 20 0 15 0 95766417 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766302948080 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10555476 memory=140004034684544 CPUtime=0.13 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) R 4485 4488 3242 0 -1 4202560 1347 0 0 0 13 0 0 0 20 0 15 0 95766417 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766301895280 139766732739934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10555476 memory=140004034684544 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766417 10808807424 13160 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 52640 KiB
[startup+0.70074 s]
/proc/loadavg: 2.33 2.16 2.10 5/217 4503
/proc/meminfo: memFree=20614148/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10555476 memory=183436 CPUtime=1.77 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 12108 0 0 0 170 7 0 0 20 0 15 0 95766411 10808807424 45859 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2638869 45859 3112 1 0 2627263 0
[pid=4488/tid=4490] ppid=4485 vsize=10555476 memory=1732 CPUtime=0.66 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) R 4485 4488 3242 0 -1 4202560 6021 0 0 0 62 4 0 0 20 0 15 0 95766412 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766752889312 139766372897032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10555476 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10555476 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10555476 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10555476 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 95766413 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10555476 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95766414 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4496] ppid=4485 vsize=10555476 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95766414 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766307157024 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10555476 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95766415 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766306104176 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10555476 memory=6296683629868568929 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10555476 memory=7519159149027546218 CPUtime=0.37 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) R 4485 4488 3242 0 -1 4202560 1614 0 0 0 37 0 0 0 20 0 15 0 95766417 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766303980272 139766732565193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10555476 memory=7523071198212214892 CPUtime=0.35 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) R 4485 4488 3242 0 -1 4202560 1150 0 0 0 35 0 0 0 20 0 15 0 95766417 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766302937696 139766748680794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10555476 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) R 4485 4488 3242 0 -1 1077944384 1837 0 0 0 34 0 0 0 20 0 15 0 95766417 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766301895280 139766748670594 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95766417 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10555476 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95766417 10808807424 45859 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 183436 KiB
[startup+1.50879 s]
/proc/loadavg: 2.33 2.16 2.10 5/217 4503
/proc/meminfo: memFree=20505124/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10555476 memory=453924 CPUtime=4.32 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 19484 0 0 0 413 19 0 0 20 0 15 0 95766411 10808807424 113481 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2638869 113481 3133 1 0 2627263 0
[pid=4488/tid=4490] ppid=4485 vsize=10555476 memory=8112282956445269571 CPUtime=1.31 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) R 4485 4488 3242 0 -1 4202560 6098 0 0 0 126 5 0 0 20 0 15 0 95766412 10808807424 113481 33554432000 4194304 4196468 140721763456752 139766752894248 139766732999568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10555476 memory=-8754540793456063680 CPUtime=0.11 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 75 0 0 0 8 3 0 0 20 0 15 0 95766413 10808807424 113481 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10555476 memory=-2843869621055772062 CPUtime=0.1 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 144 0 0 0 8 2 0 0 20 0 15 0 95766413 10808807424 113481 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10555476 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 146 0 0 0 7 2 0 0 20 0 15 0 95766413 10808807424 113481 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10555476 memory=7005738693937936738 CPUtime=0.09 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 138 0 0 0 7 2 0 0 20 0 15 0 95766413 10808807424 113481 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 95766414 10808807424 113481 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
################
# More data... #
################
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 95766414 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766307157088 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10622040 memory=7594878107858790510 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 95766415 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766306104192 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10622040 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10622040 memory=0 CPUtime=2.41 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) S 4485 4488 3242 0 -1 1077944384 9091 0 0 0 239 2 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766304000880 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10622040 memory=4144 CPUtime=1.94 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) S 4485 4488 3242 0 -1 1077944384 9971 0 0 0 192 2 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766302948080 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10622040 memory=28156 CPUtime=0.52 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) S 4485 4488 3242 0 -1 1077944384 5403 0 0 0 51 1 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766301895280 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10622040 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10622040 memory=1224 CPUtime=1.34 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1797 0 0 0 67 67 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4504] ppid=4485 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4504/stat : 4504 (java) S 4485 4488 3242 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 95766983 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766298735536 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 2461.38 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 2530588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.9 s]
/proc/loadavg: 2.06 2.01 2.14 3/217 4734
/proc/meminfo: memFree=22770256/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10622040 memory=2530588 CPUtime=2520.03 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 373777 0 0 0 251786 217 0 0 20 0 16 0 95766411 10876968960 632647 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2655510 632647 3175 1 0 2643904 0
[pid=4488/tid=4490] ppid=4485 vsize=10622040 memory=2530588 CPUtime=2494.62 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) R 4485 4488 3242 0 -1 4202560 292761 0 0 0 249432 30 0 0 20 0 16 0 95766412 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766752898568 139766378807707 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10622040 memory=2530588 CPUtime=4.29 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 12489 0 0 0 395 34 0 0 20 0 16 0 95766413 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10622040 memory=2530588 CPUtime=4.28 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 9675 0 0 0 396 32 0 0 20 0 16 0 95766413 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10622040 memory=2530588 CPUtime=4.23 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 15275 0 0 0 393 30 0 0 20 0 16 0 95766413 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10622040 memory=2530588 CPUtime=4.28 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 12451 0 0 0 397 31 0 0 20 0 16 0 95766413 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10622040 memory=2530588 CPUtime=2 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 3412 0 0 0 198 2 0 0 20 0 16 0 95766414 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4496] ppid=4485 vsize=10622040 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 95766414 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766307157088 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10622040 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 95766415 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766306104192 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10622040 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10622040 memory=280007843948656 CPUtime=2.41 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) S 4485 4488 3242 0 -1 1077944384 9099 0 0 0 239 2 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766304000880 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10622040 memory=2530588 CPUtime=1.94 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) S 4485 4488 3242 0 -1 1077944384 9973 0 0 0 192 2 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766302948080 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10622040 memory=2530588 CPUtime=0.52 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) S 4485 4488 3242 0 -1 1077944384 5405 0 0 0 51 1 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766301895280 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10622040 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10622040 memory=2530588 CPUtime=1.37 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1829 0 0 0 69 68 0 0 20 0 16 0 95766417 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4504] ppid=4485 vsize=10622040 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4504/stat : 4504 (java) S 4485 4488 3242 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 95766983 10876968960 632647 33554432000 4194304 4196468 140721763456752 139766298735536 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 2530588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.17 s]
# the end of solver process 4488 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.96 s, system=2.18351 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2501.01 s]*
/proc/loadavg: 2.06 2.01 2.14 2/218 4737
/proc/meminfo: memFree=22770256/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10821732 memory=2530828 CPUtime=2520.06 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 374192 0 0 0 251789 217 0 0 20 0 17 0 95766411 11081453568 632707 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2705433 632707 3177 1 0 2693827 0
[pid=4488/tid=4490] ppid=4485 vsize=10821732 memory=8112282956445269571 CPUtime=2494.65 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) S 4485 4488 3242 0 -1 1077944384 292809 0 0 0 249435 30 0 0 20 0 17 0 95766412 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766752902320 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10821732 memory=4872558044660077418 CPUtime=4.29 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 12489 0 0 0 395 34 0 0 20 0 17 0 95766413 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10821732 memory=7897517683652307531 CPUtime=4.28 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 9675 0 0 0 396 32 0 0 20 0 17 0 95766413 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10821732 memory=8514726395715349656 CPUtime=4.23 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 15275 0 0 0 393 30 0 0 20 0 17 0 95766413 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10821732 memory=3047711553320166262 CPUtime=4.28 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 12451 0 0 0 397 31 0 0 20 0 17 0 95766413 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10821732 memory=8514701219730523551 CPUtime=2 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 3439 0 0 0 198 2 0 0 20 0 17 0 95766414 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4496] ppid=4485 vsize=10821732 memory=7591207947006207336 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 95766414 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766307157088 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10821732 memory=7667774629638398824 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 95766415 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766306104192 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10821732 memory=7451839359216740964 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 17 0 95766417 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10821732 memory=7656236367401870442 CPUtime=2.41 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) S 4485 4488 3242 0 -1 1077944384 9099 0 0 0 239 2 0 0 20 0 17 0 95766417 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766304000880 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10821732 memory=4641638241666361967 CPUtime=1.94 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) S 4485 4488 3242 0 -1 1077944384 9973 0 0 0 192 2 0 0 20 0 17 0 95766417 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766302948080 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10821732 memory=3047711566422646390 CPUtime=0.52 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) S 4485 4488 3242 0 -1 1077944384 5484 0 0 0 51 1 0 0 20 0 17 0 95766417 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766301895280 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10821732 memory=5794851142574367847 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95766417 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10821732 memory=7444822271814496101 CPUtime=1.37 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1829 0 0 0 69 68 0 0 20 0 17 0 95766417 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4735] ppid=4485 vsize=10821732 memory=7954599881436905572 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4735/stat : 4735 (java) S 4485 4488 3242 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 96016502 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766297682032 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4736] ppid=4485 vsize=10821732 memory=6370178281226069604 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4736/stat : 4736 (java) S 4485 4488 3242 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 17 0 96016502 11081453568 632707 33554432000 4194304 4196468 140721763456752 139766296630160 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 2530828 KiB
[startup+2501.11 s]
/proc/loadavg: 2.06 2.01 2.14 2/218 4737
/proc/meminfo: memFree=22770256/32770624 swapFree=67108860/67108860
[pid=4488] ppid=4485 vsize=10821732 memory=2530924 CPUtime=2520.07 cores=0,2,4,6
/proc/4488/stat : 4488 (java) S 4485 4488 3242 0 -1 1077944320 374337 0 0 0 251790 217 0 0 20 0 17 0 95766411 11081453568 632731 33554432000 4194304 4196468 140721763456752 140721763439296 139766748659447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
/proc/4488/statm: 2705433 632731 3177 1 0 2693827 0
[pid=4488/tid=4490] ppid=4485 vsize=10821732 memory=2530588 CPUtime=2494.65 cores=0,2,4,6
/proc/4488/task/4490/stat : 4490 (java) S 4485 4488 3242 0 -1 1077944384 292809 0 0 0 249435 30 0 0 20 0 17 0 95766412 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766752902320 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4491] ppid=4485 vsize=10821732 memory=280007843948656 CPUtime=4.29 cores=0,2,4,6
/proc/4488/task/4491/stat : 4491 (java) S 4485 4488 3242 0 -1 1077944384 12489 0 0 0 395 34 0 0 20 0 17 0 95766413 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766701280400 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4492] ppid=4485 vsize=10821732 memory=2530588 CPUtime=4.28 cores=0,2,4,6
/proc/4488/task/4492/stat : 4492 (java) S 4485 4488 3242 0 -1 1077944384 9675 0 0 0 396 32 0 0 20 0 17 0 95766413 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766700227600 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4493] ppid=4485 vsize=10821732 memory=8612 CPUtime=4.23 cores=0,2,4,6
/proc/4488/task/4493/stat : 4493 (java) S 4485 4488 3242 0 -1 1077944384 15275 0 0 0 393 30 0 0 20 0 17 0 95766413 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766699174800 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4494] ppid=4485 vsize=10821732 memory=2530588 CPUtime=4.28 cores=0,2,4,6
/proc/4488/task/4494/stat : 4494 (java) S 4485 4488 3242 0 -1 1077944384 12451 0 0 0 397 31 0 0 20 0 17 0 95766413 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766698122000 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4495] ppid=4485 vsize=10821732 memory=2530588 CPUtime=2 cores=0,2,4,6
/proc/4488/task/4495/stat : 4495 (java) S 4485 4488 3242 0 -1 1077944384 3439 0 0 0 198 2 0 0 20 0 17 0 95766414 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766308211056 139766748670594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4496] ppid=4485 vsize=10821732 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4496/stat : 4496 (java) S 4485 4488 3242 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 95766414 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766307157088 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4497] ppid=4485 vsize=10821732 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4497/stat : 4497 (java) S 4485 4488 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 95766415 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766306104192 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4498] ppid=4485 vsize=10821732 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4498/stat : 4498 (java) S 4485 4488 3242 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 17 0 95766417 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766305052496 139766748678043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4499] ppid=4485 vsize=10821732 memory=2530588 CPUtime=2.41 cores=0,2,4,6
/proc/4488/task/4499/stat : 4499 (java) S 4485 4488 3242 0 -1 1077944384 9130 0 0 0 239 2 0 0 20 0 17 0 95766417 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766304000880 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4500] ppid=4485 vsize=10821732 memory=2530588 CPUtime=1.94 cores=0,2,4,6
/proc/4488/task/4500/stat : 4500 (java) S 4485 4488 3242 0 -1 1077944384 9993 0 0 0 192 2 0 0 20 0 17 0 95766417 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766302948080 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4501] ppid=4485 vsize=10821732 memory=2530588 CPUtime=0.52 cores=0,2,4,6
/proc/4488/task/4501/stat : 4501 (java) S 4485 4488 3242 0 -1 1077944384 5485 0 0 0 51 1 0 0 20 0 17 0 95766417 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766301895280 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4502] ppid=4485 vsize=10821732 memory=2530588 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4502/stat : 4502 (java) S 4485 4488 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95766417 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766300842720 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4503] ppid=4485 vsize=10821732 memory=2530588 CPUtime=1.37 cores=0,2,4,6
/proc/4488/task/4503/stat : 4503 (java) S 4485 4488 3242 0 -1 1077944384 1829 0 0 0 69 68 0 0 20 0 17 0 95766417 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766299790000 139766748670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4735] ppid=4485 vsize=10821732 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4735/stat : 4735 (java) S 4485 4488 3242 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 96016502 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766297682032 139766748669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
[pid=4488/tid=4736] ppid=4485 vsize=10821732 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/4488/task/4736/stat : 4736 (java) R 4485 4488 3242 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 96016502 11081453568 632731 33554432000 4194304 4196468 140721763456752 139766296630160 139766374542943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35962880 140721763460230 140721763460383 140721763460383 140721763463119 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 2530924 KiB
Child status: 143
Real time (s): 2501.17
CPU time (s): 2520.14
CPU user time (s): 2517.96
CPU system time (s): 2.18351
CPU usage (%): 100.759
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 2530924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.96
system time used= 2.18351
maximum resident set size= 2531140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57747
involuntary context switches= 1598
# summary of solver processes directly reported to runsolver:
# pid: 4488
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.96
# total CPU system time (s): 2.18351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.4923 second user time and 15.3514 second system time
The end