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 (412 MiB free)
memory of node 1: 16384 MiB (12331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289941-1532271923/watcher-4289941-1532271923 -o /tmp/evaluation-result-4289941-1532271923/solver-4289941-1532271923 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532259870-1810 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289941-1532271923.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3880, runsolver pid=3877
[startup+0.100117 s]*
/proc/loadavg: 5.04 4.68 3.68 5/216 3895
/proc/meminfo: memFree=13031216/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10659012 memory=31008 CPUtime=0.12 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 6803 0 0 0 10 2 0 0 20 0 15 0 44755429 10914828288 7752 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2664753 7752 2816 1 0 2627263 0
[pid=3880/tid=3882] ppid=3877 vsize=10659012 memory=-8393973551289169088 CPUtime=0.09 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) R 3877 3880 1778 0 -1 4202560 4663 0 0 0 8 1 0 0 20 0 15 0 44755430 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643847666368 140643827524958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643450723472 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643449670672 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643448617872 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) S 3877 3880 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643447565072 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44755432 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643148487024 140643843455618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3888] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3888/stat : 3888 (java) S 3877 3880 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44755432 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643147432992 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3889] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44755433 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643146380144 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) S 3877 3880 1778 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643144276848 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643143224048 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0.02 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) S 3877 3880 1778 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 44755435 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643142171248 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755436 10914828288 7752 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31008 KiB
[startup+0.210704 s]*
/proc/loadavg: 4.88 4.65 3.67 3/216 3895
/proc/meminfo: memFree=13022548/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10659012 memory=41708 CPUtime=0.33 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 8060 0 0 0 30 3 0 0 20 0 15 0 44755429 10914828288 10427 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2664753 10427 3004 1 0 2627263 0
[pid=3880/tid=3882] ppid=3877 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) R 3877 3880 1778 0 -1 4202560 5045 0 0 0 18 2 0 0 20 0 15 0 44755430 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643847680752 140643827488101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10659012 memory=345 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643450723472 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10659012 memory=140453865791642 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643449670672 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643448617872 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) S 3877 3880 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643447565072 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44755432 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643148487024 140643843455618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3888] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3888/stat : 3888 (java) S 3877 3880 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44755432 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643147432992 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3889] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44755433 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643146380144 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) S 3877 3880 1778 0 -1 1077944384 765 0 0 0 2 0 0 0 20 0 15 0 44755435 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643144276848 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) S 3877 3880 1778 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 44755435 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643143224048 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0.07 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) R 3877 3880 1778 0 -1 4202560 647 0 0 0 7 0 0 0 20 0 15 0 44755435 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643142167616 140643828176848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755436 10914828288 10427 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41708 KiB
[startup+0.313724 s]*
/proc/loadavg: 4.88 4.65 3.67 4/216 3895
/proc/meminfo: memFree=13007296/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10659012 memory=54840 CPUtime=0.6 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 9765 0 0 0 57 3 0 0 20 0 15 0 44755429 10914828288 13710 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2664753 13710 3041 1 0 2627263 0
[pid=3880/tid=3882] ppid=3877 vsize=10659012 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) R 3877 3880 1778 0 -1 4202560 5394 0 0 0 28 2 0 0 20 0 15 0 44755430 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643847680136 140643843466397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10659012 memory=290763883793350679 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643450723472 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10659012 memory=140453865791551 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643449670672 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643448617872 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) S 3877 3880 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44755431 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643447565072 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44755432 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643148487024 140643843455618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3888] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3888/stat : 3888 (java) S 3877 3880 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44755432 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643147432992 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3889] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44755433 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643146380144 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) R 3877 3880 1778 0 -1 4202560 1143 0 0 0 7 0 0 0 20 0 15 0 44755435 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643144257864 140643827838059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) R 3877 3880 1778 0 -1 4202560 835 0 0 0 7 0 0 0 20 0 15 0 44755435 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643143205064 140643822633969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0.13 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) R 3877 3880 1778 0 -1 1077944384 1033 0 0 0 13 0 0 0 20 0 15 0 44755435 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643142171248 140643843455618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10659012 memory=140453865612928 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755436 10914828288 13710 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54840 KiB
[startup+0.700764 s]
/proc/loadavg: 4.88 4.65 3.67 5/216 3895
/proc/meminfo: memFree=12955356/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10659088 memory=156692 CPUtime=1.88 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 11855 0 0 0 183 5 0 0 20 0 15 0 44755429 10914906112 39173 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2664772 39173 3107 1 0 2627263 0
[pid=3880/tid=3882] ppid=3877 vsize=10659088 memory=16436 CPUtime=0.68 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) R 3877 3880 1778 0 -1 4202560 5860 0 0 0 64 4 0 0 20 0 15 0 44755430 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643847677808 140643483985859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10659088 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643450723472 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10659088 memory=640 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643449670672 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10659088 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755431 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643448617872 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10659088 memory=960 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) S 3877 3880 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44755431 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643447565072 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10659088 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44755432 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643148487024 140643843455618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3888] ppid=3877 vsize=10659088 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3888/stat : 3888 (java) S 3877 3880 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44755432 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643147432992 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3889] ppid=3877 vsize=10659088 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44755433 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643146380144 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10659088 memory=7157735280297596770 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10659088 memory=7668621184521169506 CPUtime=0.45 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) R 3877 3880 1778 0 -1 4202560 1839 0 0 0 45 0 0 0 20 0 15 0 44755435 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643144266704 140643826855264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10659088 memory=7738986707423028325 CPUtime=0.44 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) R 3877 3880 1778 0 -1 4202560 1448 0 0 0 44 0 0 0 20 0 15 0 44755435 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643143208992 140643826831252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10659088 memory=7666348541231060838 CPUtime=0.28 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) S 3877 3880 1778 0 -1 1077944384 1337 0 0 0 28 0 0 0 20 0 15 0 44755435 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643142171248 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44755435 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10659088 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44755436 10914906112 39173 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 156692 KiB
[startup+1.50173 s]
/proc/loadavg: 4.88 4.65 3.67 5/216 3895
/proc/meminfo: memFree=12863156/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10659088 memory=620708 CPUtime=4.46 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 15261 0 0 0 425 21 0 0 20 0 15 0 44755429 10914906112 155177 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2664772 155177 3151 1 0 2627263 0
[pid=3880/tid=3882] ppid=3877 vsize=10659088 memory=352328 CPUtime=1.35 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) S 3877 3880 1778 0 -1 1077944384 6175 0 0 0 126 9 0 0 20 0 15 0 44755430 10914906112 155177 33554432000 4194304 4196468 140735736145440 140643847681504 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10659088 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) R 3877 3880 1778 0 -1 4202560 144 0 0 0 6 2 0 0 20 0 15 0 44755431 10914906112 155177 33554432000 4194304 4196468 140735736145440 140643450723472 140643828466592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) R 3877 3880 1778 0 -1 4202560 180 0 0 0 6 1 0 0 20 0 15 0 44755431 10914906112 155177 33554432000 4194304 4196468 140735736145440 140643449670872 140643825070764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) R 3877 3880 1778 0 -1 4202560 123 0 0 0 5 2 0 0 20 0 15 0 44755431 10914906112 155177 33554432000 4194304 4196468 140735736145440 140643448617872 140643828472670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10659088 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) R 3877 3880 1778 0 -1 4202560 131 0 0 0 7 3 0 0 20 0 15 0 44755431 10914906112 155177 33554432000 4194304 4196468 140735736145440 140643447565272 140643828471334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 44755432 10914906112 155177 33554432000 4194304 4196468 140735736145440 140643148485536 140643843454677 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
################
# More data... #
################
[pid=3880/tid=3889] ppid=3877 vsize=10727700 memory=8402244 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 44755433 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643146380160 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10727700 memory=8112282956445269571 CPUtime=4 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) S 3877 3880 1778 0 -1 1077944384 11528 0 0 0 398 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643144276848 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10727700 memory=3228 CPUtime=3.73 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) S 3877 3880 1778 0 -1 1077944384 14000 0 0 0 371 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643143224048 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10727700 memory=8402244 CPUtime=0.84 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) S 3877 3880 1778 0 -1 1077944384 7287 0 0 0 82 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643142171248 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10727700 memory=8402244 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10727700 memory=8402244 CPUtime=1.66 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 4286 0 0 0 67 99 0 0 20 0 16 0 44755436 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3897] ppid=3877 vsize=10727700 memory=301741382048153914 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3897/stat : 3897 (java) S 3877 3880 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44761859 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643136914352 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 2329.65 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 8402244 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.22 3/217 4041
/proc/meminfo: memFree=12731060/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10727700 memory=8402244 CPUtime=2389.69 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 2317096 0 0 0 238340 629 0 0 20 0 16 0 44755429 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2681925 2100561 3203 1 0 2644416 0
[pid=3880/tid=3882] ppid=3877 vsize=10727700 memory=157178623172207 CPUtime=2132.79 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) R 3877 3880 1778 0 -1 4202560 83526 0 0 0 213200 79 0 0 20 0 16 0 44755430 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643847683456 140643481546820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10727700 memory=8402244 CPUtime=58.99 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) S 3877 3880 1778 0 -1 1077944384 460185 0 0 0 5800 99 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643450723472 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10727700 memory=8402244 CPUtime=59.43 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) S 3877 3880 1778 0 -1 1077944384 626551 0 0 0 5830 113 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643449670672 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10727700 memory=8402244 CPUtime=59.32 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) S 3877 3880 1778 0 -1 1077944384 568435 0 0 0 5818 114 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643448617872 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10727700 memory=8402244 CPUtime=59.26 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) S 3877 3880 1778 0 -1 1077944384 485104 0 0 0 5822 104 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643447565072 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10727700 memory=8402244 CPUtime=9.55 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 54577 0 0 0 945 10 0 0 20 0 16 0 44755432 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643148487024 140643843455618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3888] ppid=3877 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3888/stat : 3888 (java) S 3877 3880 1778 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 44755432 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643147433056 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3889] ppid=3877 vsize=10727700 memory=8402244 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 44755433 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643146380160 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10727700 memory=8402244 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10727700 memory=167 CPUtime=4 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) S 3877 3880 1778 0 -1 1077944384 11556 0 0 0 398 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643144276848 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10727700 memory=0 CPUtime=3.73 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) S 3877 3880 1778 0 -1 1077944384 14021 0 0 0 371 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643143224048 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10727700 memory=11964 CPUtime=0.84 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) S 3877 3880 1778 0 -1 1077944384 7296 0 0 0 82 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643142171248 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10727700 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10727700 memory=8402244 CPUtime=1.7 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 4398 0 0 0 69 101 0 0 20 0 16 0 44755436 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3897] ppid=3877 vsize=10727700 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3897/stat : 3897 (java) S 3877 3880 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44761859 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643136914352 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 2389.69 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 8402244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2212.6 s]
/proc/loadavg: 2.00 2.02 2.21 3/217 4041
/proc/meminfo: memFree=12702452/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10727700 memory=8402244 CPUtime=2400.01 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 2317319 0 0 0 239371 630 0 0 20 0 16 0 44755429 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2681925 2100561 3203 1 0 2644416 0
[pid=3880/tid=3882] ppid=3877 vsize=10727700 memory=15140 CPUtime=2143.08 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) R 3877 3880 1778 0 -1 4202560 83682 0 0 0 214229 79 0 0 20 0 16 0 44755430 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643847683456 140643484567708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10727700 memory=1296 CPUtime=58.99 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) S 3877 3880 1778 0 -1 1077944384 460185 0 0 0 5800 99 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643450723472 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10727700 memory=2412 CPUtime=59.43 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) S 3877 3880 1778 0 -1 1077944384 626551 0 0 0 5830 113 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643449670672 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10727700 memory=1836 CPUtime=59.32 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) S 3877 3880 1778 0 -1 1077944384 568435 0 0 0 5818 114 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643448617872 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10727700 memory=792 CPUtime=59.26 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) S 3877 3880 1778 0 -1 1077944384 485104 0 0 0 5822 104 0 0 20 0 16 0 44755431 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643447565072 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10727700 memory=1960 CPUtime=9.55 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 54586 0 0 0 945 10 0 0 20 0 16 0 44755432 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643148487024 140643843455618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3888] ppid=3877 vsize=10727700 memory=5380 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3888/stat : 3888 (java) S 3877 3880 1778 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 44755432 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643147433056 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3889] ppid=3877 vsize=10727700 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 44755433 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643146380160 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10727700 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10727700 memory=11964 CPUtime=4 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) S 3877 3880 1778 0 -1 1077944384 11567 0 0 0 398 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643144276848 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10727700 memory=1708 CPUtime=3.73 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) S 3877 3880 1778 0 -1 1077944384 14027 0 0 0 371 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643143224048 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10727700 memory=8384 CPUtime=0.84 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) S 3877 3880 1778 0 -1 1077944384 7299 0 0 0 82 2 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643142171248 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10727700 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44755435 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10727700 memory=1444 CPUtime=1.71 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 4436 0 0 0 69 102 0 0 20 0 16 0 44755436 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3897] ppid=3877 vsize=10727700 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3897/stat : 3897 (java) S 3877 3880 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44761859 10985164800 2100561 33554432000 4194304 4196468 140735736145440 140643136914352 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 8402244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2212.92 s]
# the end of solver process 3880 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2393.75 s, system=6.39536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2212.8 s]
/proc/loadavg: 2.00 2.02 2.21 3/217 4041
/proc/meminfo: memFree=12702452/32770624 swapFree=67108860/67108860
[pid=3880] ppid=3877 vsize=10927392 memory=8402584 CPUtime=2400.02 cores=1,3,5,7
/proc/3880/stat : 3880 (java) S 3877 3880 1778 0 -1 1077944320 2318510 0 0 0 239372 630 0 0 20 0 17 0 44755429 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140735736127984 140643843444471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
/proc/3880/statm: 2731848 2100646 3205 1 0 2694339 0
[pid=3880/tid=3882] ppid=3877 vsize=10927392 memory=1580 CPUtime=2143.09 cores=1,3,5,7
/proc/3880/task/3882/stat : 3882 (java) S 3877 3880 1778 0 -1 1077944384 83872 0 0 0 214230 79 0 0 20 0 17 0 44755430 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643847687344 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3883] ppid=3877 vsize=10927392 memory=8402244 CPUtime=58.99 cores=1,3,5,7
/proc/3880/task/3883/stat : 3883 (java) S 3877 3880 1778 0 -1 1077944384 460185 0 0 0 5800 99 0 0 20 0 17 0 44755431 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643450723472 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3884] ppid=3877 vsize=10927392 memory=4048 CPUtime=59.43 cores=1,3,5,7
/proc/3880/task/3884/stat : 3884 (java) S 3877 3880 1778 0 -1 1077944384 626551 0 0 0 5830 113 0 0 20 0 17 0 44755431 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643449670672 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3885] ppid=3877 vsize=10927392 memory=15872 CPUtime=59.32 cores=1,3,5,7
/proc/3880/task/3885/stat : 3885 (java) S 3877 3880 1778 0 -1 1077944384 568435 0 0 0 5818 114 0 0 20 0 17 0 44755431 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643448617872 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3886] ppid=3877 vsize=10927392 memory=9988 CPUtime=59.26 cores=1,3,5,7
/proc/3880/task/3886/stat : 3886 (java) S 3877 3880 1778 0 -1 1077944384 485104 0 0 0 5822 104 0 0 20 0 17 0 44755431 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643447565072 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3887] ppid=3877 vsize=10927392 memory=16436 CPUtime=9.55 cores=1,3,5,7
/proc/3880/task/3887/stat : 3887 (java) S 3877 3880 1778 0 -1 1077944384 54627 0 0 0 945 10 0 0 20 0 17 0 44755432 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643148487024 140643843455618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3888] ppid=3877 vsize=10927392 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3888/stat : 3888 (java) S 3877 3880 1778 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 44755432 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643147433056 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3889] ppid=3877 vsize=10927392 memory=15140 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3889/stat : 3889 (java) S 3877 3880 1778 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 44755433 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643146380160 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3890] ppid=3877 vsize=10927392 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3890/stat : 3890 (java) S 3877 3880 1778 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 17 0 44755435 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643145328464 140643843463067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3891] ppid=3877 vsize=10927392 memory=2412 CPUtime=4 cores=1,3,5,7
/proc/3880/task/3891/stat : 3891 (java) S 3877 3880 1778 0 -1 1077944384 11567 0 0 0 398 2 0 0 20 0 17 0 44755435 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643144276848 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3892] ppid=3877 vsize=10927392 memory=1836 CPUtime=3.73 cores=1,3,5,7
/proc/3880/task/3892/stat : 3892 (java) S 3877 3880 1778 0 -1 1077944384 14027 0 0 0 371 2 0 0 20 0 17 0 44755435 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643143224048 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3893] ppid=3877 vsize=10927392 memory=8402244 CPUtime=0.84 cores=1,3,5,7
/proc/3880/task/3893/stat : 3893 (java) S 3877 3880 1778 0 -1 1077944384 7581 0 0 0 82 2 0 0 20 0 17 0 44755435 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643142171248 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3894] ppid=3877 vsize=10927392 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3880/task/3894/stat : 3894 (java) S 3877 3880 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44755435 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643141118688 140643843454677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
[pid=3880/tid=3895] ppid=3877 vsize=10927392 memory=7524215823823825000 CPUtime=1.71 cores=1,3,5,7
/proc/3880/task/3895/stat : 3895 (java) S 3877 3880 1778 0 -1 1077944384 4436 0 0 0 69 102 0 0 20 0 17 0 44755436 11189649408 2100646 33554432000 4194304 4196468 140735736145440 140643140065968 140643843455618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735736153201 140735736153353 140735736153353 140735736156111 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 8402584 KiB
[startup+2212.9 s]*
/proc/loadavg: 2.00 2.02 2.21 3/203 4044
/proc/meminfo: memFree=17369804/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2212.92
CPU time (s): 2400.14
CPU user time (s): 2393.75
CPU system time (s): 6.39536
CPU usage (%): 108.46
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 8402584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.75
system time used= 6.39536
maximum resident set size= 8402832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2319088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57910
involuntary context switches= 2908
# summary of solver processes directly reported to runsolver:
# pid: 3880
# total CPU time (s): 2400.14
# total CPU user time (s): 2393.75
# total CPU system time (s): 6.39536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0315 second user time and 23.9112 second system time
The end