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)	9	2520.09	2490.93
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 (9607 MiB free)
  memory of node 1: 16384 MiB (12805 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298459-1532758949/watcher-4298459-1532758949 -o /tmp/evaluation-result-4298459-1532758949/solver-4298459-1532758949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28017 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298459-1532758949.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30802, runsolver pid=30799
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.39 1.40 1.40 4/216 30817
/proc/meminfo: memFree=22934388/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661052 memory=27884 CPUtime=0.13 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 5345 0 0 0 12 1 0 0 20 0 15 0 93458052 10916917248 6971 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665263 6971 2866 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661052 memory=-8269626465541328251 CPUtime=0.09 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 3186 0 0 0 9 0 0 0 20 0 15 0 93458052 10916917248 6971 33554432000 4194304 4196468 140736693001184 140010211436512 140010191258981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 6971 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661052 memory=140219793933952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661052 memory=140219793933952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93458054 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93458055 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009765802784 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93458055 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) R 30799 30802 27985 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 93458057 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009762646736 140010207225557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) R 30799 30802 27985 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 15 0 93458057 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009761585344 140010185048208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661052 memory=140219793933952 CPUtime=0.02 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) R 30799 30802 27985 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 93458057 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009692719984 140010207236698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661052 memory=140219793933952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458058 10916917248 6971 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27884 KiB

[startup+0.215358 s]*
/proc/loadavg: 1.39 1.40 1.40 4/216 30817
/proc/meminfo: memFree=22921860/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661052 memory=40608 CPUtime=0.36 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 8194 0 0 0 35 1 0 0 20 0 15 0 93458052 10916917248 10152 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665263 10152 3009 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661052 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 5115 0 0 0 20 1 0 0 20 0 15 0 93458052 10916917248 10152 33554432000 4194304 4196468 140736693001184 140010211450416 140009845547109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661052 memory=345 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 10152 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661052 memory=3616865213464577696 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93458053 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661052 memory=140219793933952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93458054 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93458055 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009765802784 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93458055 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) R 30799 30802 27985 0 -1 1077944384 561 0 0 0 2 0 0 0 20 0 15 0 93458057 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009762646736 140010207225557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661052 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) R 30799 30802 27985 0 -1 4202560 335 0 0 0 3 0 0 0 20 0 15 0 93458057 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009761583632 140010190714338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661052 memory=140219793933952 CPUtime=0.09 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) R 30799 30802 27985 0 -1 4202560 815 0 0 0 9 0 0 0 20 0 15 0 93458057 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009692718336 140010186018575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661052 memory=140219793933952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458058 10916917248 10152 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40608 KiB

[startup+0.314322 s]*
/proc/loadavg: 1.39 1.40 1.40 6/216 30817
/proc/meminfo: memFree=22908276/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661128 memory=54216 CPUtime=0.7 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 10110 0 0 0 68 2 0 0 20 0 15 0 93458052 10916995072 13554 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665282 13554 3075 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 5395 0 0 0 29 1 0 0 20 0 15 0 93458052 10916995072 13554 33554432000 4194304 4196468 140736693001184 140010211452448 140010207227286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661128 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 13554 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661128 memory=3835018211725018784 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661128 memory=140219793933952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93458054 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009765802784 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661128 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) R 30799 30802 27985 0 -1 4202560 1331 0 0 0 11 0 0 0 20 0 15 0 93458057 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009762632520 140010186928112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661128 memory=-1 CPUtime=0.13 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) R 30799 30802 27985 0 -1 4202560 833 0 0 0 13 0 0 0 20 0 15 0 93458057 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009761585168 140010187394494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661128 memory=140219793933952 CPUtime=0.14 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) S 30799 30802 27985 0 -1 1077944384 1182 0 0 0 14 0 0 0 20 0 15 0 93458057 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009692719984 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661128 memory=140219793933952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 13554 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 54216 KiB

[startup+0.700768 s]
/proc/loadavg: 1.39 1.40 1.40 5/216 30817
/proc/meminfo: memFree=22881376/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661128 memory=130884 CPUtime=1.87 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 11355 0 0 0 184 3 0 0 20 0 15 0 93458052 10916995072 32721 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665282 32721 3109 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661128 memory=1836 CPUtime=0.67 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 5578 0 0 0 65 2 0 0 20 0 15 0 93458052 10916995072 32721 33554432000 4194304 4196468 140736693001184 140010211452240 140009847347519 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661128 memory=13044 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 32721 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661128 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661128 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661128 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93458053 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661128 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93458054 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009765802784 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661128 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661128 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661128 memory=7881696724453321575 CPUtime=0.45 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) R 30799 30802 27985 0 -1 4202560 1441 0 0 0 45 0 0 0 20 0 15 0 93458057 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009762646640 140010192341232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661128 memory=5787213827063244903 CPUtime=0.45 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) R 30799 30802 27985 0 -1 1077944384 1479 0 0 0 45 0 0 0 20 0 15 0 93458057 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009761593840 140010207226498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661128 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) R 30799 30802 27985 0 -1 4202560 1486 0 0 0 28 0 0 0 20 0 15 0 93458057 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009692719984 140010207227286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661128 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 32721 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 130884 KiB

[startup+1.50136 s]
/proc/loadavg: 1.39 1.40 1.40 3/216 30817
/proc/meminfo: memFree=22738580/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661128 memory=363772 CPUtime=4.25 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 16775 0 0 0 403 22 0 0 20 0 15 0 93458052 10916995072 90943 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665282 90943 3159 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661128 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 5758 0 0 0 136 3 0 0 20 0 15 0 93458052 10916995072 90943 33554432000 4194304 4196468 140736693001184 140010211452408 140009848549344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661128 memory=-6951259422114956437 CPUtime=0.07 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 190 0 0 0 3 4 0 0 20 0 15 0 93458053 10916995072 90943 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661128 memory=-6509546260019855295 CPUtime=0.08 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 144 0 0 0 4 4 0 0 20 0 15 0 93458053 10916995072 90943 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661128 memory=-7390251449858225344 CPUtime=0.06 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 68 0 0 0 3 3 0 0 20 0 15 0 93458053 10916995072 90943 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661128 memory=4134692831991786133 CPUtime=0.08 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 162 0 0 0 4 4 0 0 20 0 15 0 93458053 10916995072 90943 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93458054 10916995072 90943 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0

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

/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 56601 0 0 0 236739 48 0 0 20 0 15 0 93458052 10916995072 546430 33554432000 4194304 4196468 140736693001184 140010211454816 140009850177669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661128 memory=2185720 CPUtime=8.21 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 24548 0 0 0 789 32 0 0 20 0 15 0 93458053 10916995072 546430 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661128 memory=2185720 CPUtime=8.2 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 23605 0 0 0 790 30 0 0 20 0 15 0 93458053 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661128 memory=18448 CPUtime=8.22 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 24705 0 0 0 787 35 0 0 20 0 15 0 93458053 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661128 memory=0 CPUtime=8.22 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 23812 0 0 0 790 32 0 0 20 0 15 0 93458053 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661128 memory=2185720 CPUtime=3.5 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 20043 0 0 0 322 28 0 0 20 0 15 0 93458054 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661128 memory=2185720 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009765802848 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661128 memory=2185720 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661128 memory=2185720 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661128 memory=2185720 CPUtime=2.19 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) S 30799 30802 27985 0 -1 1077944384 8048 0 0 0 218 1 0 0 20 0 15 0 93458057 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009762646640 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661128 memory=4140 CPUtime=2.15 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) S 30799 30802 27985 0 -1 1077944384 6379 0 0 0 214 1 0 0 20 0 15 0 93458057 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009761593840 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661128 memory=27236 CPUtime=0.48 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) S 30799 30802 27985 0 -1 1077944384 2416 0 0 0 48 0 0 0 20 0 15 0 93458057 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009692719984 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661128 memory=2185720 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661128 memory=2185720 CPUtime=0.96 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 2183 0 0 0 50 46 0 0 20 0 15 0 93458058 10916995072 546430 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 2410.09 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2185720 KiB

[startup+2442.3 s]
/proc/loadavg: 1.52 1.42 1.42 3/215 30990
/proc/meminfo: memFree=19177632/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2470.84 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 196272 0 0 0 246848 236 0 0 20 0 15 0 93458052 10916995072 546942 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665282 546942 3180 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2427.44 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 57192 0 0 0 242696 48 0 0 20 0 15 0 93458052 10916995072 546942 33554432000 4194304 4196468 140736693001184 140010211454656 140009850080048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.47 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 24896 0 0 0 814 33 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.47 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 24377 0 0 0 815 32 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.48 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 25062 0 0 0 812 36 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.47 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 24092 0 0 0 815 32 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661128 memory=2187768 CPUtime=3.6 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 20189 0 0 0 331 29 0 0 20 0 15 0 93458054 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661128 memory=640 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009765802848 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661128 memory=2185720 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2.19 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) S 30799 30802 27985 0 -1 1077944384 8052 0 0 0 218 1 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009762646640 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2.15 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) S 30799 30802 27985 0 -1 1077944384 6383 0 0 0 214 1 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009761593840 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0.48 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) S 30799 30802 27985 0 -1 1077944384 2420 0 0 0 48 0 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009692719984 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661128 memory=4108 CPUtime=0.99 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 2213 0 0 0 51 48 0 0 20 0 15 0 93458058 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 2470.84 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2187768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2490.9 s]
/proc/loadavg: 1.16 1.34 1.39 3/215 30991
/proc/meminfo: memFree=19177992/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2520.05 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 198784 0 0 0 251766 239 0 0 20 0 15 0 93458052 10916995072 546942 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665282 546942 3180 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2475.67 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 57745 0 0 0 247519 48 0 0 20 0 15 0 93458052 10916995072 546942 33554432000 4194304 4196468 140736693001184 140010211454928 140009850079811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.68 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 25239 0 0 0 835 33 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.68 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 24666 0 0 0 836 32 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.7 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 25658 0 0 0 833 37 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661128 memory=15876 CPUtime=8.69 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 24634 0 0 0 836 33 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661128 memory=2187768 CPUtime=3.69 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 20335 0 0 0 340 29 0 0 20 0 15 0 93458054 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009765802848 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661128 memory=7288 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2.19 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) S 30799 30802 27985 0 -1 1077944384 8057 0 0 0 218 1 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009762646640 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2.15 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) S 30799 30802 27985 0 -1 1077944384 6387 0 0 0 214 1 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009761593840 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0.48 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) S 30799 30802 27985 0 -1 1077944384 2424 0 0 0 48 0 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009692719984 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661128 memory=792 CPUtime=1.01 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 2243 0 0 0 52 49 0 0 20 0 15 0 93458058 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2187768 KiB

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

[startup+2490.93 s]
# the end of solver process 30802 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.69 s, system=2.4031 s

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

[startup+2490.9 s]
/proc/loadavg: 1.16 1.34 1.39 3/215 30991
/proc/meminfo: memFree=19177992/32770624 swapFree=67108860/67108860
[pid=30802] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2520.05 cores=1,3,5,7
/proc/30802/stat : 30802 (java) S 30799 30802 27985 0 -1 1077944320 198784 0 0 0 251766 239 0 0 20 0 15 0 93458052 10916995072 546942 33554432000 4194304 4196468 140736693001184 140736692983728 140010207215351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
/proc/30802/statm: 2665282 546942 3180 1 0 2627263 0
[pid=30802/tid=30804] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2475.67 cores=1,3,5,7
/proc/30802/task/30804/stat : 30804 (java) R 30799 30802 27985 0 -1 4202560 57745 0 0 0 247519 48 0 0 20 0 15 0 93458052 10916995072 546942 33554432000 4194304 4196468 140736693001184 140010211454928 140009850079811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30805] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.68 cores=1,3,5,7
/proc/30802/task/30805/stat : 30805 (java) S 30799 30802 27985 0 -1 1077944384 25239 0 0 0 835 33 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140010163768208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30806] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.68 cores=1,3,5,7
/proc/30802/task/30806/stat : 30806 (java) S 30799 30802 27985 0 -1 1077944384 24666 0 0 0 836 32 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009813236496 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30807] ppid=30799 vsize=10661128 memory=2187768 CPUtime=8.7 cores=1,3,5,7
/proc/30802/task/30807/stat : 30807 (java) S 30799 30802 27985 0 -1 1077944384 25658 0 0 0 833 37 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009812184208 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30808] ppid=30799 vsize=10661128 memory=15876 CPUtime=8.69 cores=1,3,5,7
/proc/30802/task/30808/stat : 30808 (java) S 30799 30802 27985 0 -1 1077944384 24634 0 0 0 836 33 0 0 20 0 15 0 93458053 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009811131408 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30809] ppid=30799 vsize=10661128 memory=2187768 CPUtime=3.69 cores=1,3,5,7
/proc/30802/task/30809/stat : 30809 (java) S 30799 30802 27985 0 -1 1077944384 20335 0 0 0 340 29 0 0 20 0 15 0 93458054 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009766856816 140010207226498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30810] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30810/stat : 30810 (java) S 30799 30802 27985 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009765802848 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30811] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30811/stat : 30811 (java) S 30799 30802 27985 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93458055 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009764750448 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30812] ppid=30799 vsize=10661128 memory=7288 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30812/stat : 30812 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009763698768 140010207233947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30813] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2.19 cores=1,3,5,7
/proc/30802/task/30813/stat : 30813 (java) S 30799 30802 27985 0 -1 1077944384 8057 0 0 0 218 1 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009762646640 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30814] ppid=30799 vsize=10661128 memory=2187768 CPUtime=2.15 cores=1,3,5,7
/proc/30802/task/30814/stat : 30814 (java) S 30799 30802 27985 0 -1 1077944384 6387 0 0 0 214 1 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009761593840 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30815] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0.48 cores=1,3,5,7
/proc/30802/task/30815/stat : 30815 (java) S 30799 30802 27985 0 -1 1077944384 2424 0 0 0 48 0 0 0 20 0 15 0 93458057 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009692719984 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30816] ppid=30799 vsize=10661128 memory=2187768 CPUtime=0 cores=1,3,5,7
/proc/30802/task/30816/stat : 30816 (java) S 30799 30802 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93458058 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009691667424 140010207225557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
[pid=30802/tid=30817] ppid=30799 vsize=10661128 memory=792 CPUtime=1.01 cores=1,3,5,7
/proc/30802/task/30817/stat : 30817 (java) S 30799 30802 27985 0 -1 1077944384 2243 0 0 0 52 49 0 0 20 0 15 0 93458058 10916995072 546942 33554432000 4194304 4196468 140736693001184 140009690614192 140010207226498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11526144 140736693007533 140736693007625 140736693007625 140736693010383 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 2187768 KiB

Child status: 143
Real time (s): 2490.93
CPU time (s): 2520.09
CPU user time (s): 2517.69
CPU system time (s): 2.4031
CPU usage (%): 101.171
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 2728512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.69
system time used= 2.4031
maximum resident set size= 2732032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150940
involuntary context switches= 5802


# summary of solver processes directly reported to runsolver:
#   pid: 30802
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2517.69
#   total CPU system time (s): 2.4031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0409 second user time and 21.6247 second system time

The end
Name	GraphColoring/ GraphColoring-5-fullins-4_c18.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	206.048
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298459

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
