2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28	SAT (TO)	7	2520.11	2476.52
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 (9927 MiB free)
  memory of node 1: 16384 MiB (10146 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298466-1532759115/watcher-4298466-1532759115 -o /tmp/evaluation-result-4298466-1532759115/solver-4298466-1532759115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28016 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298466-1532759115.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
Current StackSize limit: 8192 KiB

solver pid=30882, runsolver pid=30879

[startup+0.100164 s]*
/proc/loadavg: 1.55 1.48 1.43 3/215 30897
/proc/meminfo: memFree=20539160/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661052 memory=28380 CPUtime=0.13 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 4988 0 0 0 12 1 0 0 20 0 15 0 93474658 10916917248 7095 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665263 7095 2839 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661052 memory=-8197568871503662464 CPUtime=0.08 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 2858 0 0 0 8 0 0 0 20 0 15 0 93474658 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298749732960 140298745515414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661052 memory=140595916228224 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661052 memory=140595916228224 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93474660 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93474661 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298235601696 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93474661 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) S 30879 30882 27985 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 93474663 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298232445552 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298231392752 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661052 memory=140595916228224 CPUtime=0.01 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) R 30879 30882 27985 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 93474663 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298230340464 140298724637959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661052 memory=140595916228224 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474664 10916917248 7095 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28380 KiB

[startup+0.221055 s]*
/proc/loadavg: 1.55 1.48 1.43 5/215 30897
/proc/meminfo: memFree=20527420/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661052 memory=40524 CPUtime=0.38 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 7707 0 0 0 36 2 0 0 20 0 15 0 93474658 10916917248 10131 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665263 10131 3019 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661052 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 4630 0 0 0 20 1 0 0 20 0 15 0 93474658 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298749739984 140298344835184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661052 memory=345 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661052 memory=3616865589586871968 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93474659 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661052 memory=140595916228224 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93474660 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93474661 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298235601696 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93474661 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661052 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) R 30879 30882 27985 0 -1 4202560 624 0 0 0 4 0 0 0 20 0 15 0 93474663 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298232432336 140298725339743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) R 30879 30882 27985 0 -1 4202560 264 0 0 0 2 0 0 0 20 0 15 0 93474663 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298231392752 140298737792928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661052 memory=140595916228224 CPUtime=0.09 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) R 30879 30882 27985 0 -1 1077944384 853 0 0 0 9 0 0 0 20 0 15 0 93474663 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298230336192 140298745513685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661052 memory=140595916228224 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474664 10916917248 10131 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40524 KiB

[startup+0.310391 s]*
/proc/loadavg: 1.55 1.48 1.43 5/215 30897
/proc/meminfo: memFree=20514704/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661128 memory=54952 CPUtime=0.68 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 9771 0 0 0 65 3 0 0 20 0 15 0 93474658 10916995072 13738 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665282 13738 3066 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 4886 0 0 0 28 2 0 0 20 0 15 0 93474658 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298749714144 140298344758528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661128 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661128 memory=3835018587847313056 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661128 memory=140595916228224 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93474660 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298235601696 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661128 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) R 30879 30882 27985 0 -1 4202560 1118 0 0 0 13 0 0 0 20 0 15 0 93474663 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298232436880 140298727048778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661128 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) R 30879 30882 27985 0 -1 4202560 1129 0 0 0 11 0 0 0 20 0 15 0 93474663 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298231378776 140298730409114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661128 memory=140595916228224 CPUtime=0.12 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) R 30879 30882 27985 0 -1 1077944384 1267 0 0 0 12 0 0 0 20 0 15 0 93474663 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298230340464 140298745514626 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661128 memory=140595916228224 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 13738 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 54952 KiB

[startup+0.700706 s]
/proc/loadavg: 1.59 1.49 1.43 6/215 30897
/proc/meminfo: memFree=20488144/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661128 memory=126604 CPUtime=1.89 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 10806 0 0 0 184 5 0 0 20 0 15 0 93474658 10916995072 31651 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665282 31651 3102 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661128 memory=1836 CPUtime=0.67 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 5050 0 0 0 64 3 0 0 20 0 15 0 93474658 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298749738032 140298348271317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661128 memory=13044 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661128 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93474659 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661128 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93474660 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661128 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298235601696 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661128 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661128 memory=7668879548562892096 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661128 memory=7881696724453321575 CPUtime=0.47 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) R 30879 30882 27985 0 -1 4202560 1591 0 0 0 47 0 0 0 20 0 15 0 93474663 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298232436144 140298725157008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661128 memory=5787213827096799335 CPUtime=0.44 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) R 30879 30882 27985 0 -1 4202560 1227 0 0 0 44 0 0 0 20 0 15 0 93474663 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298231373264 140298729003792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661128 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) S 30879 30882 27985 0 -1 1077944384 1567 0 0 0 27 0 0 0 20 0 15 0 93474663 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298230340464 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661128 memory=33 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 31651 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 126604 KiB

[startup+1.50073 s]
/proc/loadavg: 1.59 1.49 1.43 5/215 30897
/proc/meminfo: memFree=20347416/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661128 memory=326032 CPUtime=4.5 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 15469 0 0 0 429 21 0 0 20 0 15 0 93474658 10916995072 81508 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665282 81508 3150 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661128 memory=6791534058613427641 CPUtime=1.4 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 5253 0 0 0 136 4 0 0 20 0 15 0 93474658 10916995072 81508 33554432000 4194304 4196468 140736607391136 140298749739632 140298345016800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661128 memory=-6951259422114956437 CPUtime=0.03 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 126 0 0 0 1 2 0 0 20 0 15 0 93474659 10916995072 81508 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661128 memory=-6509546260019855295 CPUtime=0.03 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 56 0 0 0 1 2 0 0 20 0 15 0 93474659 10916995072 81508 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661128 memory=-7390251449858225344 CPUtime=0.05 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 157 0 0 0 1 4 0 0 20 0 15 0 93474659 10916995072 81508 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661128 memory=4134692831991786133 CPUtime=0.05 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 199 0 0 0 1 4 0 0 20 0 15 0 93474659 10916995072 81508 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93474660 10916995072 81508 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0

################
# More data... #
################

/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 57341 0 0 0 236083 49 0 0 20 0 15 0 93474658 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298749743136 140298350778582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661128 memory=1924392 CPUtime=13.3 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 27614 0 0 0 1292 38 0 0 20 0 15 0 93474659 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661128 memory=1924392 CPUtime=13.32 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 24661 0 0 0 1291 41 0 0 20 0 15 0 93474659 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661128 memory=1924392 CPUtime=13.33 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 24226 0 0 0 1292 41 0 0 20 0 15 0 93474659 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661128 memory=1924392 CPUtime=13.31 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 26211 0 0 0 1288 43 0 0 20 0 15 0 93474659 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661128 memory=1924392 CPUtime=4.22 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 22935 0 0 0 392 30 0 0 20 0 15 0 93474660 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661128 memory=1924392 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298235601760 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661128 memory=6008986349218325867 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661128 memory=1924392 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661128 memory=1924392 CPUtime=1.69 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) S 30879 30882 27985 0 -1 1077944384 4408 0 0 0 168 1 0 0 20 0 15 0 93474663 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298232445552 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661128 memory=1924392 CPUtime=1.81 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) S 30879 30882 27985 0 -1 1077944384 5175 0 0 0 180 1 0 0 20 0 15 0 93474663 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298231392752 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661128 memory=1924392 CPUtime=0.49 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) S 30879 30882 27985 0 -1 1077944384 3052 0 0 0 48 1 0 0 20 0 15 0 93474663 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298230340464 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661128 memory=27236 CPUtime=1.28 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 2016 0 0 0 67 61 0 0 20 0 15 0 93474664 10916995072 481098 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 2424.15 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1924392 KiB

[startup+2442.3 s]
/proc/loadavg: 1.66 1.52 1.45 3/215 31069
/proc/meminfo: memFree=20981124/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661128 memory=1919888 CPUtime=2485.27 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 205599 0 0 0 248243 284 0 0 20 0 15 0 93474658 10916995072 479972 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665282 479972 3172 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661128 memory=1919888 CPUtime=2420.69 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 58175 0 0 0 242020 49 0 0 20 0 15 0 93474658 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298749742640 140298350318363 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661128 memory=1919888 CPUtime=13.69 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 28159 0 0 0 1330 39 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661128 memory=1919888 CPUtime=13.72 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 25421 0 0 0 1330 42 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661128 memory=1919888 CPUtime=13.72 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 25350 0 0 0 1331 41 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661128 memory=1924392 CPUtime=13.7 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 26678 0 0 0 1327 43 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661128 memory=1924392 CPUtime=4.36 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 25720 0 0 0 404 32 0 0 20 0 15 0 93474660 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298235601760 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.69 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) S 30879 30882 27985 0 -1 1077944384 4414 0 0 0 168 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298232445552 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.81 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) S 30879 30882 27985 0 -1 1077944384 5179 0 0 0 180 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298231392752 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0.49 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) S 30879 30882 27985 0 -1 1077944384 3056 0 0 0 48 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298230340464 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661128 memory=1200 CPUtime=1.31 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 2058 0 0 0 69 62 0 0 20 0 15 0 93474664 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 2485.27 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1919888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2476.5 s]
/proc/loadavg: 1.62 1.52 1.46 3/215 31070
/proc/meminfo: memFree=20985584/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661128 memory=1919888 CPUtime=2520.06 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 207903 0 0 0 251718 288 0 0 20 0 15 0 93474658 10916995072 479972 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665282 479972 3172 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661128 memory=1919888 CPUtime=2454.54 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 58712 0 0 0 245405 49 0 0 20 0 15 0 93474658 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298749742864 140298350295634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661128 memory=1919888 CPUtime=13.9 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 28449 0 0 0 1351 39 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661128 memory=13044 CPUtime=13.93 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 25699 0 0 0 1351 42 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661128 memory=132 CPUtime=13.93 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 25663 0 0 0 1351 42 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661128 memory=1919888 CPUtime=13.92 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 27292 0 0 0 1348 44 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661128 memory=1919888 CPUtime=4.43 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 25964 0 0 0 411 32 0 0 20 0 15 0 93474660 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298235601760 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661128 memory=132 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.69 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) S 30879 30882 27985 0 -1 1077944384 4416 0 0 0 168 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298232445552 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.81 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) S 30879 30882 27985 0 -1 1077944384 5182 0 0 0 180 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298231392752 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0.49 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) S 30879 30882 27985 0 -1 1077944384 3058 0 0 0 48 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298230340464 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.33 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 2079 0 0 0 70 63 0 0 20 0 15 0 93474664 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1919888 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2476.52 s]
# the end of solver process 30882 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.21 s, system=2.89898 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2476.5 s]
/proc/loadavg: 1.62 1.52 1.46 3/215 31070
/proc/meminfo: memFree=20985584/32770624 swapFree=67108860/67108860
[pid=30882] ppid=30879 vsize=10661128 memory=1919888 CPUtime=2520.06 cores=0,2,4,6
/proc/30882/stat : 30882 (java) S 30879 30882 27985 0 -1 1077944320 207903 0 0 0 251718 288 0 0 20 0 15 0 93474658 10916995072 479972 33554432000 4194304 4196468 140736607391136 140736607373680 140298745503479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
/proc/30882/statm: 2665282 479972 3172 1 0 2627263 0
[pid=30882/tid=30884] ppid=30879 vsize=10661128 memory=1919888 CPUtime=2454.54 cores=0,2,4,6
/proc/30882/task/30884/stat : 30884 (java) R 30879 30882 27985 0 -1 4202560 58712 0 0 0 245405 49 0 0 20 0 15 0 93474658 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298749742864 140298350295634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30885] ppid=30879 vsize=10661128 memory=1919888 CPUtime=13.9 cores=0,2,4,6
/proc/30882/task/30885/stat : 30885 (java) S 30879 30882 27985 0 -1 1077944384 28449 0 0 0 1351 39 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298671578000 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30886] ppid=30879 vsize=10661128 memory=13044 CPUtime=13.93 cores=0,2,4,6
/proc/30882/task/30886/stat : 30886 (java) S 30879 30882 27985 0 -1 1077944384 25699 0 0 0 1351 42 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298670525200 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30887] ppid=30879 vsize=10661128 memory=132 CPUtime=13.93 cores=0,2,4,6
/proc/30882/task/30887/stat : 30887 (java) S 30879 30882 27985 0 -1 1077944384 25663 0 0 0 1351 42 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298669472912 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30888] ppid=30879 vsize=10661128 memory=1919888 CPUtime=13.92 cores=0,2,4,6
/proc/30882/task/30888/stat : 30888 (java) S 30879 30882 27985 0 -1 1077944384 27292 0 0 0 1348 44 0 0 20 0 15 0 93474659 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298668420112 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30889] ppid=30879 vsize=10661128 memory=1919888 CPUtime=4.43 cores=0,2,4,6
/proc/30882/task/30889/stat : 30889 (java) S 30879 30882 27985 0 -1 1077944384 25964 0 0 0 411 32 0 0 20 0 15 0 93474660 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298236655728 140298745514626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30890] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30890/stat : 30890 (java) S 30879 30882 27985 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298235601760 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30891] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30891/stat : 30891 (java) S 30879 30882 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93474661 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298234549360 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30892] ppid=30879 vsize=10661128 memory=132 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30892/stat : 30892 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298233497680 140298745522075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30893] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.69 cores=0,2,4,6
/proc/30882/task/30893/stat : 30893 (java) S 30879 30882 27985 0 -1 1077944384 4416 0 0 0 168 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298232445552 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30894] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.81 cores=0,2,4,6
/proc/30882/task/30894/stat : 30894 (java) S 30879 30882 27985 0 -1 1077944384 5182 0 0 0 180 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298231392752 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30895] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0.49 cores=0,2,4,6
/proc/30882/task/30895/stat : 30895 (java) S 30879 30882 27985 0 -1 1077944384 3058 0 0 0 48 1 0 0 20 0 15 0 93474663 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298230340464 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30896] ppid=30879 vsize=10661128 memory=1919888 CPUtime=0 cores=0,2,4,6
/proc/30882/task/30896/stat : 30896 (java) S 30879 30882 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93474664 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298229287904 140298745513685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
[pid=30882/tid=30897] ppid=30879 vsize=10661128 memory=1919888 CPUtime=1.33 cores=0,2,4,6
/proc/30882/task/30897/stat : 30897 (java) S 30879 30882 27985 0 -1 1077944384 2079 0 0 0 70 63 0 0 20 0 15 0 93474664 10916995072 479972 33554432000 4194304 4196468 140736607391136 140298228234672 140298745514626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140736607392941 140736607393033 140736607393033 140736607395791 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1919888 KiB

Child status: 143
Real time (s): 2476.52
CPU time (s): 2520.11
CPU user time (s): 2517.21
CPU system time (s): 2.89898
CPU usage (%): 101.76
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 2666536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.21
system time used= 2.89898
maximum resident set size= 2667788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 173291
involuntary context switches= 8366


# summary of solver processes directly reported to runsolver:
#   pid: 30882
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2517.21
#   total CPU system time (s): 2.89898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4144 second user time and 21.1916 second system time

The end
Name	GraphColoring/ GraphColoring-2-fullins-5_c18.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	354.284
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298466

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
