2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT	9.9489202	4.2693601
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 (13382 MiB free)
  memory of node 1: 16384 MiB (10308 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263285-1502635799/watcher-4263285-1502635799 -o /tmp/evaluation-result-4263285-1502635799/solver-4263285-1502635799 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3501 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263285-1502635799.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100058 s]*
/proc/loadavg: 4.13 4.37 3.42 4/216 5990
/proc/meminfo: memFree=24240352/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10555400 memory=31028 CPUtime=0.13 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 6380 0 0 0 11 2 0 0 20 0 15 0 96660837 10808729600 7757 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2638850 7757 2790 1 0 2627263 0
[pid=5975/tid=5977] ppid=5972 vsize=10555400 memory=-8393410601335747776 CPUtime=0.09 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) R 5972 5975 3242 0 -1 4202560 4215 0 0 0 8 1 0 0 20 0 15 0 96660837 10808729600 7757 33554432000 4194304 4196468 140723739794832 140459005091632 140459000880534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10555400 memory=139698065385088 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10555400 memory=139698065385088 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) S 5972 5975 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660839 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458492623344 140459000879746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660840 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458491569568 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660840 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660842 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) S 5972 5975 3242 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 96660842 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458488412144 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) S 5972 5975 3242 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 96660842 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458487359600 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10555400 memory=139698065385088 CPUtime=0.02 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) R 5972 5975 3242 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 96660842 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458486307056 140458993105726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660843 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10555400 memory=139698065385088 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) R 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660843 10808729600 7757 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31028 KiB

[startup+0.210567 s]*
/proc/loadavg: 4.13 4.37 3.42 3/216 5990
/proc/meminfo: memFree=24233672/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10555400 memory=37776 CPUtime=0.28 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 7219 0 0 0 26 2 0 0 20 0 15 0 96660837 10808729600 9444 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2638850 9444 2916 1 0 2627263 0
[pid=5975/tid=5977] ppid=5972 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) R 5972 5975 3242 0 -1 4202560 4858 0 0 0 18 2 0 0 20 0 15 0 96660837 10808729600 9444 33554432000 4194304 4196468 140723739794832 140459005098368 140458984949086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10555400 memory=342 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10555400 memory=139698065390961 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660838 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10555400 memory=139698065385088 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) S 5972 5975 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660839 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458492623344 140459000879746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660840 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458491569568 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660840 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660842 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) S 5972 5975 3242 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 15 0 96660842 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458488412144 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) S 5972 5975 3242 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 96660842 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458487359600 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10555400 memory=139698065385088 CPUtime=0.05 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) R 5972 5975 3242 0 -1 4202560 387 0 0 0 5 0 0 0 20 0 15 0 96660842 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458486307056 140459000889946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660843 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10555400 memory=139698065385088 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660843 10808729600 9444 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 37776 KiB

[startup+0.310685 s]*
/proc/loadavg: 4.13 4.37 3.42 6/216 5990
/proc/meminfo: memFree=24221876/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10555476 memory=64252 CPUtime=0.5 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 8170 0 0 0 47 3 0 0 20 0 15 0 96660837 10808807424 16063 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2638869 16063 3038 1 0 2627263 0
[pid=5975/tid=5977] ppid=5972 vsize=10555476 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) R 5972 5975 3242 0 -1 4202560 5206 0 0 0 27 2 0 0 20 0 15 0 96660837 10808807424 16575 33554432000 4194304 4196468 140723739794832 140459005105824 140458602756048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10555476 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10555476 memory=15955293252101784 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660838 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660838 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10555476 memory=139698065385088 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) S 5972 5975 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96660839 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458492623344 140459000879746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458491569568 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660842 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) S 5972 5975 3242 0 -1 1077944384 469 0 0 0 4 0 0 0 20 0 15 0 96660842 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458488412144 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10555476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) S 5972 5975 3242 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 15 0 96660842 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458487359600 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10555476 memory=139698065385088 CPUtime=0.11 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) S 5972 5975 3242 0 -1 1077944384 679 0 0 0 11 0 0 0 20 0 15 0 96660842 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458486307056 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10555476 memory=139698065385088 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 16575 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 64252 KiB

[startup+0.70164 s]
/proc/loadavg: 4.13 4.37 3.42 5/216 5990
/proc/meminfo: memFree=24043000/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10555476 memory=350604 CPUtime=1.63 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 9916 0 0 0 149 14 0 0 20 0 15 0 96660837 10808807424 87651 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2638869 87651 3098 1 0 2627263 0
[pid=5975/tid=5977] ppid=5972 vsize=10555476 memory=1732 CPUtime=0.6 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) S 5972 5975 3242 0 -1 1077944384 5365 0 0 0 55 5 0 0 20 0 15 0 96660837 10808807424 87651 33554432000 4194304 4196468 140723739794832 140459005106032 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10555476 memory=1224 CPUtime=0.04 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) R 5972 5975 3242 0 -1 4202560 40 0 0 0 3 1 0 0 20 0 15 0 96660838 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458926942480 140458985896473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10555476 memory=12032 CPUtime=0.04 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) R 5972 5975 3242 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 15 0 96660838 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458925890136 140458993968299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10555476 memory=5792 CPUtime=0.04 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) R 5972 5975 3242 0 -1 4202560 36 0 0 0 3 1 0 0 20 0 15 0 96660838 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458924837392 140458993968299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10555476 memory=796 CPUtime=0.04 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) R 5972 5975 3242 0 -1 4202560 50 0 0 0 3 1 0 0 20 0 15 0 96660838 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458923784848 140458985896473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10555476 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) S 5972 5975 3242 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96660839 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458492621856 140459000878805 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10555476 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458491569568 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10555476 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10555476 memory=6296683629868568929 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660842 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10555476 memory=7519159149027546218 CPUtime=0.31 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) S 5972 5975 3242 0 -1 1077944384 1093 0 0 0 31 0 0 0 20 0 15 0 96660842 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458488397136 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10555476 memory=7523071198212214892 CPUtime=0.32 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) S 5972 5975 3242 0 -1 1077944384 960 0 0 0 32 0 0 0 20 0 15 0 96660842 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458487359600 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10555476 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) S 5972 5975 3242 0 -1 1077944384 894 0 0 0 16 0 0 0 20 0 15 0 96660842 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458486307056 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10555476 memory=33 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) S 5972 5975 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 87651 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 350604 KiB

[startup+1.50076 s]
/proc/loadavg: 4.13 4.37 3.42 6/216 5990
/proc/meminfo: memFree=23878604/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10555476 memory=576208 CPUtime=3.21 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 10864 0 0 0 284 37 0 0 20 0 15 0 96660837 10808807424 144052 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2638869 144052 3109 1 0 2627263 0
[pid=5975/tid=5977] ppid=5972 vsize=10555476 memory=8112282956445269571 CPUtime=1.18 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) R 5972 5975 3242 0 -1 4202560 5397 0 0 0 112 6 0 0 20 0 15 0 96660837 10808807424 144052 33554432000 4194304 4196468 140723739794832 140459005103352 140458603134736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10555476 memory=-8754540793456063680 CPUtime=0.26 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 234 0 0 0 19 7 0 0 20 0 15 0 96660838 10808807424 144052 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10555476 memory=-2843869621055772062 CPUtime=0.25 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 130 0 0 0 19 6 0 0 20 0 15 0 96660838 10808807424 144052 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10555476 memory=5450919713671312938 CPUtime=0.26 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 208 0 0 0 19 7 0 0 20 0 15 0 96660838 10808807424 144052 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10555476 memory=7005738693937936738 CPUtime=0.27 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 244 0 0 0 20 7 0 0 20 0 15 0 96660838 10808807424 144052 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) S 5972 5975 3242 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96660839 10808807424 144052 33554432000 4194304 4196468 140723739794832 140458492623344 140459000879746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0

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

/proc/meminfo: memFree=23174752/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10555476 memory=1095692 CPUtime=8.35 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 39149 0 0 0 767 68 0 0 20 0 15 0 96660837 10808807424 273923 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2638869 273923 3122 1 0 2627263 0
[pid=5975/tid=5977] ppid=5972 vsize=10555476 memory=6656426216303648864 CPUtime=1.39 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) S 5972 5975 3242 0 -1 1077944384 5491 0 0 0 131 8 0 0 20 0 15 0 96660837 10808807424 273923 33554432000 4194304 4196468 140723739794832 140459005105600 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10555476 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 6334 0 0 0 130 14 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10555476 memory=5937503940875927649 CPUtime=1.43 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 6426 0 0 0 129 14 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10555476 memory=7661589889568041317 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 9372 0 0 0 129 15 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10555476 memory=7014751519616881252 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 6091 0 0 0 131 13 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10555476 memory=25726854109029 CPUtime=0.21 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) R 5972 5975 3242 0 -1 4202560 988 0 0 0 21 0 0 0 20 0 15 0 96660839 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458492621776 140458985569324 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458491569632 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10555476 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) S 5972 5975 3242 0 -1 1077944384 1106 0 0 0 36 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458488412144 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10555476 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) S 5972 5975 3242 0 -1 1077944384 972 0 0 0 35 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458487359600 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10555476 memory=1095616 CPUtime=0.21 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) S 5972 5975 3242 0 -1 1077944384 1003 0 0 0 21 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458486307056 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10555476 memory=50990676985744 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10555476 memory=279395810030224 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) S 5972 5975 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 1095692 KiB

[startup+4.2693 s]
# the end of solver process 5975 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.23986 s, system=0.70906 s

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

[startup+3.2008 s]
/proc/loadavg: 4.13 4.37 3.42 3/216 5990
/proc/meminfo: memFree=23174752/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10555476 memory=1095692 CPUtime=8.44 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 39151 0 0 0 776 68 0 0 20 0 15 0 96660837 10808807424 273923 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2638869 273923 3122 1 0 2627263 0
[pid=5975/tid=5977] ppid=5972 vsize=10555476 memory=279395810030704 CPUtime=1.39 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) S 5972 5975 3242 0 -1 1077944384 5491 0 0 0 131 8 0 0 20 0 15 0 96660837 10808807424 273923 33554432000 4194304 4196468 140723739794832 140459005105600 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10555476 memory=279395810031152 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 6334 0 0 0 130 14 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10555476 memory=279395810031088 CPUtime=1.43 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 6426 0 0 0 129 14 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10555476 memory=279395810426352 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 9372 0 0 0 129 15 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10555476 memory=4144 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 6091 0 0 0 131 13 0 0 20 0 15 0 96660838 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10555476 memory=28284 CPUtime=0.3 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) R 5972 5975 3242 0 -1 4202560 990 0 0 0 30 0 0 0 20 0 15 0 96660839 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458492621776 140458985569184 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10555476 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458491569632 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10555476 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96660840 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10555476 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10555476 memory=1224 CPUtime=0.36 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) S 5972 5975 3242 0 -1 1077944384 1106 0 0 0 36 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458488412144 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10555476 memory=12032 CPUtime=0.35 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) S 5972 5975 3242 0 -1 1077944384 972 0 0 0 35 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458487359600 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10555476 memory=5792 CPUtime=0.21 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) S 5972 5975 3242 0 -1 1077944384 1003 0 0 0 21 0 0 0 20 0 15 0 96660842 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458486307056 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10555476 memory=796 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10555476 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) S 5972 5975 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96660843 10808807424 273923 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 1095692 KiB

[startup+4.00066 s]*
/proc/loadavg: 4.13 4.37 3.42 4/217 5991
/proc/meminfo: memFree=23168524/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10622040 memory=1101864 CPUtime=9.8 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 44794 0 0 0 911 69 0 0 20 0 16 0 96660837 10876968960 275466 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2655510 275466 3135 1 0 2643904 0
[pid=5975/tid=5977] ppid=5972 vsize=10622040 memory=-8253362762721355408 CPUtime=1.91 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) R 5972 5975 3242 0 -1 4202560 7089 0 0 0 182 9 0 0 20 0 16 0 96660837 10876968960 275466 33554432000 4194304 4196468 140723739794832 140459005105296 140459000880534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10622040 memory=4122819170707441977 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 6334 0 0 0 130 14 0 0 20 0 16 0 96660838 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10622040 memory=2320961599805873846 CPUtime=1.43 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 6426 0 0 0 129 14 0 0 20 0 16 0 96660838 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10622040 memory=7380957121517085529 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 9372 0 0 0 129 15 0 0 20 0 16 0 96660838 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10622040 memory=3472338213374276656 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 6091 0 0 0 131 13 0 0 20 0 16 0 96660838 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10622040 memory=3540027516477527736 CPUtime=0.59 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) S 5972 5975 3242 0 -1 1077944384 1599 0 0 0 59 0 0 0 20 0 16 0 96660839 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458492623344 140459000879746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10622040 memory=3472328334966534195 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 96660840 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458491569632 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10622040 memory=21 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96660840 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96660842 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10622040 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) R 5972 5975 3242 0 -1 1077944384 2234 0 0 0 60 0 0 0 20 0 16 0 96660842 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458488412144 140459000879746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10622040 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) R 5972 5975 3242 0 -1 4202560 2493 0 0 0 61 0 0 0 20 0 16 0 96660842 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458487358784 140458980115352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10622040 memory=438 CPUtime=0.27 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) R 5972 5975 3242 0 -1 4202560 1765 0 0 0 26 1 0 0 20 0 16 0 96660842 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458486307056 140458980240689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10622040 memory=933 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96660843 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10622040 memory=226 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) S 5972 5975 3242 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 96660843 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5991] ppid=5972 vsize=10622040 memory=35 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5991/stat : 5991 (java) S 5972 5975 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96661216 10876968960 275466 33554432000 4194304 4196468 140723739794832 140458483148080 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 9.8 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 1101864 KiB

[startup+4.20075 s]
/proc/loadavg: 4.13 4.37 3.42 4/217 5991
/proc/meminfo: memFree=23168524/32770624 swapFree=67108860/67108860
[pid=5975] ppid=5972 vsize=10755168 memory=1102644 CPUtime=9.91 cores=0,2,4,6
/proc/5975/stat : 5975 (java) S 5972 5975 3242 0 -1 1077944320 45085 0 0 0 922 69 0 0 20 0 16 0 96660837 11013292032 275661 33554432000 4194304 4196468 140723739794832 140723739777376 140459000868599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
/proc/5975/statm: 2688792 275661 3140 1 0 2677186 0
[pid=5975/tid=5977] ppid=5972 vsize=10755168 memory=14699582244260269 CPUtime=1.94 cores=0,2,4,6
/proc/5975/task/5977/stat : 5977 (java) S 5972 5975 3242 0 -1 1077944384 7121 0 0 0 185 9 0 0 20 0 16 0 96660837 11013292032 275661 33554432000 4194304 4196468 140723739794832 140459005109280 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5978] ppid=5972 vsize=10755168 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5978/stat : 5978 (java) S 5972 5975 3242 0 -1 1077944384 6334 0 0 0 130 14 0 0 20 0 16 0 96660838 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458926942480 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5979] ppid=5972 vsize=10755168 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/5975/task/5979/stat : 5979 (java) S 5972 5975 3242 0 -1 1077944384 6426 0 0 0 129 14 0 0 20 0 16 0 96660838 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458925889936 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5980] ppid=5972 vsize=10755168 memory=55 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5980/stat : 5980 (java) S 5972 5975 3242 0 -1 1077944384 9372 0 0 0 129 15 0 0 20 0 16 0 96660838 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458924837392 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5981] ppid=5972 vsize=10755168 memory=6944656592387989600 CPUtime=1.44 cores=0,2,4,6
/proc/5975/task/5981/stat : 5981 (java) S 5972 5975 3242 0 -1 1077944384 6091 0 0 0 131 13 0 0 20 0 16 0 96660838 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458923784848 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5982] ppid=5972 vsize=10755168 memory=8315171486948655189 CPUtime=0.59 cores=0,2,4,6
/proc/5975/task/5982/stat : 5982 (java) S 5972 5975 3242 0 -1 1077944384 1656 0 0 0 59 0 0 0 20 0 16 0 96660839 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458492623344 140459000879746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5983] ppid=5972 vsize=10755168 memory=288283364069491959 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5983/stat : 5983 (java) S 5972 5975 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 96660840 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458491569632 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5984] ppid=5972 vsize=10755168 memory=668210 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5984/stat : 5984 (java) S 5972 5975 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96660840 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458490516976 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5985] ppid=5972 vsize=10755168 memory=-3395018512065318687 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5985/stat : 5985 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96660842 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458489465552 140459000887195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5986] ppid=5972 vsize=10755168 memory=-3535470213243961690 CPUtime=0.61 cores=0,2,4,6
/proc/5975/task/5986/stat : 5986 (java) S 5972 5975 3242 0 -1 1077944384 2239 0 0 0 61 0 0 0 20 0 16 0 96660842 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458488412144 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5987] ppid=5972 vsize=10755168 memory=6944656592455359580 CPUtime=0.67 cores=0,2,4,6
/proc/5975/task/5987/stat : 5987 (java) S 5972 5975 3242 0 -1 1077944384 2602 0 0 0 67 0 0 0 20 0 16 0 96660842 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458487359600 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5988] ppid=5972 vsize=10755168 memory=6656426216303648864 CPUtime=0.28 cores=0,2,4,6
/proc/5975/task/5988/stat : 5988 (java) S 5972 5975 3242 0 -1 1077944384 1797 0 0 0 27 1 0 0 20 0 16 0 96660842 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458486307056 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5989] ppid=5972 vsize=10755168 memory=69 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5989/stat : 5989 (java) S 5972 5975 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96660843 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458485254752 140459000878805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
[pid=5975/tid=5990] ppid=5972 vsize=10755168 memory=3 CPUtime=0 cores=0,2,4,6
/proc/5975/task/5990/stat : 5990 (java) S 5972 5975 3242 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 96660843 11013292032 275661 33554432000 4194304 4196468 140723739794832 140458484202288 140459000879746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140723739796614 140723739796767 140723739796767 140723739799503 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 1102644 KiB

Child status: 0
Real time (s): 4.26936
CPU time (s): 9.94892
CPU user time (s): 9.23986
CPU system time (s): 0.70906
CPU usage (%): 233.031
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 1102644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.23986
system time used= 0.70906
maximum resident set size= 1103336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2043
involuntary context switches= 70


# summary of solver processes directly reported to runsolver:
#   pid: 5975
#   total CPU time (s): 9.94892
#   total CPU user time (s): 9.23986
#   total CPU system time (s): 0.70906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05332 second user time and 0.082908 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4263285

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
