2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	66	2400.09	2393.24
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 (10199 MiB free)
  memory of node 1: 16384 MiB (11092 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289876-1532211467/watcher-4289876-1532211467 -o /tmp/evaluation-result-4289876-1532211467/solver-4289876-1532211467 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532209093-27993 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289876-1532211467.xml 

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

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

solver pid=28327, runsolver pid=28324

[startup+0.101195 s]*
/proc/loadavg: 1.92 2.00 1.95 2/215 28342
/proc/meminfo: memFree=21787632/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10659012 memory=30264 CPUtime=0.13 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 6635 0 0 0 11 2 0 0 20 0 15 0 38709850 10914828288 7566 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2664753 7566 2817 1 0 2627263 0
[pid=28327/tid=28329] ppid=28324 vsize=10659012 memory=-8773748148829851521 CPUtime=0.09 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) R 28324 28327 25432 0 -1 4202560 4462 0 0 0 8 1 0 0 20 0 15 0 38709850 10914828288 7566 33554432000 4194304 4196468 140722513368256 140608478902848 140608458761566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 7566 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 7566 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 7566 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 7566 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607778649504 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) S 28324 28327 25432 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607775492080 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607774439536 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0.01 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) R 28324 28327 25432 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 38709856 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607773386992 140608453623475 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 7566 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30264 KiB

[startup+0.212165 s]*
/proc/loadavg: 1.92 2.00 1.95 7/215 28342
/proc/meminfo: memFree=21776480/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10659012 memory=41948 CPUtime=0.32 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 8134 0 0 0 30 2 0 0 20 0 15 0 38709850 10914828288 10487 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2664753 10487 2994 1 0 2627263 0
[pid=28327/tid=28329] ppid=28324 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) R 28324 28327 25432 0 -1 4202560 5028 0 0 0 18 1 0 0 20 0 15 0 38709850 10914828288 10487 33554432000 4194304 4196468 140722513368256 140608478917344 140608458724709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10659012 memory=339 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 10487 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10659012 memory=140480894377506 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 10487 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 10487 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 10487 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607778649504 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) S 28324 28327 25432 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 15 0 38709856 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607775492080 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) S 28324 28327 25432 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 38709856 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607774439536 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0.07 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) R 28324 28327 25432 0 -1 4202560 720 0 0 0 7 0 0 0 20 0 15 0 38709856 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607773386992 140608453800593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 10487 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41948 KiB

[startup+0.31697 s]*
/proc/loadavg: 1.92 2.00 1.95 8/215 28342
/proc/meminfo: memFree=21698768/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10659012 memory=53456 CPUtime=0.6 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 10118 0 0 0 57 3 0 0 20 0 15 0 38709850 10914828288 13364 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2664753 13364 3041 1 0 2627263 0
[pid=28327/tid=28329] ppid=28324 vsize=10659012 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) R 28324 28327 25432 0 -1 4202560 5620 0 0 0 28 2 0 0 20 0 15 0 38709850 10914828288 13364 33554432000 4194304 4196468 140722513368256 140608478918288 140608474693014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10659012 memory=288230596118052887 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 13364 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10659012 memory=140480894376815 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 13364 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 13364 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38709851 10914828288 13364 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607778649504 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38709853 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10659012 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) R 28324 28327 25432 0 -1 4202560 1087 0 0 0 7 0 0 0 20 0 15 0 38709856 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607775473096 140608454108481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10659012 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) R 28324 28327 25432 0 -1 4202560 960 0 0 0 7 0 0 0 20 0 15 0 38709856 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607774420440 140608455382743 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0.13 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) R 28324 28327 25432 0 -1 1077944384 1083 0 0 0 13 0 0 0 20 0 15 0 38709856 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607773386992 140608474692226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10659012 memory=140480894350976 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709856 10914828288 13364 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 53456 KiB

[startup+0.702974 s]
/proc/loadavg: 1.92 2.00 1.95 5/215 28342
/proc/meminfo: memFree=21578748/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10659088 memory=114232 CPUtime=1.8 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 11945 0 0 0 176 4 0 0 20 0 15 0 38709850 10914906112 28558 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2664772 28558 3111 1 0 2627263 0
[pid=28327/tid=28329] ppid=28324 vsize=10659088 memory=1724 CPUtime=0.67 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) R 28324 28327 25432 0 -1 4202560 6028 0 0 0 64 3 0 0 20 0 15 0 38709850 10914906112 28558 33554432000 4194304 4196468 140722513368256 140608478918688 140608113686663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10659088 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914906112 28558 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914906112 28558 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10659088 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709851 10914906112 28558 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10659088 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38709851 10914906112 28558 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10659088 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38709853 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10659088 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38709853 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607778649504 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38709853 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10659088 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10659088 memory=4639098309541129069 CPUtime=0.37 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) R 28324 28327 25432 0 -1 4202560 1471 0 0 0 37 0 0 0 20 0 15 0 38709856 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607775482000 140608460054760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10659088 memory=7380106142448643183 CPUtime=0.39 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) R 28324 28327 25432 0 -1 4202560 1313 0 0 0 39 0 0 0 20 0 15 0 38709856 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607774427968 140608454191256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10659088 memory=7810487918915055718 CPUtime=0.34 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) R 28324 28327 25432 0 -1 1077944384 1762 0 0 0 34 0 0 0 20 0 15 0 38709856 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607773386992 140608474692226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38709856 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38709856 10914906112 28558 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 114232 KiB

[startup+1.5012 s]
/proc/loadavg: 1.92 2.00 1.95 5/215 28342
/proc/meminfo: memFree=20746836/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10725652 memory=268736 CPUtime=4.32 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 20516 0 0 0 420 12 0 0 20 0 16 0 38709850 10983067648 67184 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2681413 67184 3150 1 0 2643904 0
[pid=28327/tid=28329] ppid=28324 vsize=10725652 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) R 28324 28327 25432 0 -1 4202560 6098 0 0 0 136 3 0 0 20 0 16 0 38709850 10983067648 67184 33554432000 4194304 4196468 140722513368256 140608478919536 140608115450715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10725652 memory=-6951259422114956437 CPUtime=0.03 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 16 0 38709851 10983067648 67184 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10725652 memory=-6509546260019855295 CPUtime=0.03 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 132 0 0 0 2 1 0 0 20 0 16 0 38709851 10983067648 67184 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10725652 memory=-7390251449858225344 CPUtime=0.04 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 64 0 0 0 3 1 0 0 20 0 16 0 38709851 10983067648 67184 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10725652 memory=-7096649868621430206 CPUtime=0.05 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 147 0 0 0 4 1 0 0 20 0 16 0 38709851 10983067648 67184 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10725652 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 38709853 10983067648 67184 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0

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

/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1255 0 0 0 14 8 0 0 20 0 16 0 38709851 10985164800 207535 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10727700 memory=830140 CPUtime=0.24 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 702 0 0 0 16 8 0 0 20 0 16 0 38709851 10985164800 207535 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10727700 memory=830140 CPUtime=0.07 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 1771 0 0 0 4 3 0 0 20 0 16 0 38709853 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10727700 memory=280961595580704 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 38709853 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607778649568 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10727700 memory=830140 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38709853 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38709856 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10727700 memory=4140 CPUtime=2.16 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) S 28324 28327 25432 0 -1 1077944384 15561 0 0 0 215 1 0 0 20 0 16 0 38709856 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607775492080 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10727700 memory=830140 CPUtime=2.2 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) S 28324 28327 25432 0 -1 1077944384 13996 0 0 0 218 2 0 0 20 0 16 0 38709856 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607774439536 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10727700 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) S 28324 28327 25432 0 -1 1077944384 4771 0 0 0 52 2 0 0 20 0 16 0 38709856 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607773386992 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10727700 memory=830140 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38709856 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10727700 memory=830140 CPUtime=1.48 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1944 0 0 0 73 75 0 0 20 0 16 0 38709856 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28343] ppid=28324 vsize=10727700 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28343/stat : 28343 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38709991 10985164800 207535 33554432000 4194304 4196468 140722513368256 140607770228016 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 2329.27 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 830140 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/217 28496
/proc/meminfo: memFree=21664548/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10727700 memory=830148 CPUtime=2389.31 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 69356 0 0 0 238822 109 0 0 20 0 16 0 38709850 10985164800 207537 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2681925 207537 3169 1 0 2644416 0
[pid=28327/tid=28329] ppid=28324 vsize=10727700 memory=1200 CPUtime=2381.85 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) R 28324 28327 25432 0 -1 4202560 25782 0 0 0 238175 10 0 0 20 0 16 0 38709850 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608478917960 140608110852000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10727700 memory=830140 CPUtime=0.21 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 1039 0 0 0 14 7 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10727700 memory=830140 CPUtime=0.2 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 1077 0 0 0 13 7 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10727700 memory=830148 CPUtime=0.22 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1255 0 0 0 14 8 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10727700 memory=243430156459364 CPUtime=0.24 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 702 0 0 0 16 8 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10727700 memory=830140 CPUtime=0.07 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 1781 0 0 0 4 3 0 0 20 0 16 0 38709853 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10727700 memory=830148 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 38709853 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607778649568 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10727700 memory=830148 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38709853 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10727700 memory=830148 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10727700 memory=0 CPUtime=2.16 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) S 28324 28327 25432 0 -1 1077944384 15567 0 0 0 215 1 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607775492080 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10727700 memory=830148 CPUtime=2.2 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) S 28324 28327 25432 0 -1 1077944384 13999 0 0 0 218 2 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607774439536 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10727700 memory=830148 CPUtime=0.54 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) S 28324 28327 25432 0 -1 1077944384 4781 0 0 0 52 2 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607773386992 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10727700 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10727700 memory=960 CPUtime=1.51 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1984 0 0 0 75 76 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28343] ppid=28324 vsize=10727700 memory=830148 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28343/stat : 28343 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38709991 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607770228016 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 2389.31 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 830148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2393 s]*
/proc/loadavg: 2.01 2.02 2.05 3/217 28496
/proc/meminfo: memFree=21664084/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10727700 memory=830148 CPUtime=2400.03 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 69490 0 0 0 239893 110 0 0 20 0 16 0 38709850 10985164800 207537 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2681925 207537 3169 1 0 2644416 0
[pid=28327/tid=28329] ppid=28324 vsize=10727700 memory=7378983553979662436 CPUtime=2392.56 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) R 28324 28327 25432 0 -1 4202560 25916 0 0 0 239246 10 0 0 20 0 16 0 38709850 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608478917960 140608110851194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10727700 memory=4049052952914636847 CPUtime=0.21 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 1039 0 0 0 14 7 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10727700 memory=6791534058613427641 CPUtime=0.2 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 1077 0 0 0 13 7 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10727700 memory=4420 CPUtime=0.22 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1255 0 0 0 14 8 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10727700 memory=6628 CPUtime=0.24 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 702 0 0 0 16 8 0 0 20 0 16 0 38709851 10985164800 207537 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10727700 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 1781 0 0 0 4 3 0 0 20 0 16 0 38709853 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10727700 memory=8868 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 38709853 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607778649568 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10727700 memory=301741390621311280 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38709853 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10727700 memory=13850759250838937 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10727700 memory=-9001775752835900722 CPUtime=2.16 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) S 28324 28327 25432 0 -1 1077944384 15567 0 0 0 215 1 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607775492080 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10727700 memory=9126232286719478932 CPUtime=2.2 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) S 28324 28327 25432 0 -1 1077944384 13999 0 0 0 218 2 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607774439536 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10727700 memory=6944652177228980320 CPUtime=0.54 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) S 28324 28327 25432 0 -1 1077944384 4781 0 0 0 52 2 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607773386992 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10727700 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10727700 memory=6944656592455359580 CPUtime=1.53 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1984 0 0 0 76 77 0 0 20 0 16 0 38709856 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28343] ppid=28324 vsize=10727700 memory=4945125699554088323 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28343/stat : 28343 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38709991 10985164800 207537 33554432000 4194304 4196468 140722513368256 140607770228016 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 830148 KiB

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

[startup+2393.24 s]
# the end of solver process 28327 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.98 s, system=1.11115 s

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

[startup+2393.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/217 28496
/proc/meminfo: memFree=21664084/32770624 swapFree=67108860/67108860
[pid=28327] ppid=28324 vsize=10927392 memory=830456 CPUtime=2400.06 cores=0,2,4,6
/proc/28327/stat : 28327 (java) S 28324 28327 25432 0 -1 1077944320 70799 0 0 0 239896 110 0 0 20 0 17 0 38709850 11189649408 207614 33554432000 4194304 4196468 140722513368256 140722513350800 140608474681079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
/proc/28327/statm: 2731848 207614 3172 1 0 2694339 0
[pid=28327/tid=28329] ppid=28324 vsize=10927392 memory=15868 CPUtime=2392.59 cores=0,2,4,6
/proc/28327/task/28329/stat : 28329 (java) S 28324 28327 25432 0 -1 1077944384 26177 0 0 0 239249 10 0 0 20 0 17 0 38709850 11189649408 207614 33554432000 4194304 4196468 140722513368256 140608478923952 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28330] ppid=28324 vsize=10927392 memory=13344 CPUtime=0.21 cores=0,2,4,6
/proc/28327/task/28330/stat : 28330 (java) S 28324 28327 25432 0 -1 1077944384 1039 0 0 0 14 7 0 0 20 0 17 0 38709851 11189649408 207614 33554432000 4194304 4196468 140722513368256 140608439961872 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28331] ppid=28324 vsize=10927392 memory=6791534058613427641 CPUtime=0.2 cores=0,2,4,6
/proc/28327/task/28331/stat : 28331 (java) S 28324 28327 25432 0 -1 1077944384 1077 0 0 0 13 7 0 0 20 0 17 0 38709851 11189649408 207614 33554432000 4194304 4196468 140722513368256 140608080030096 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28332] ppid=28324 vsize=10927392 memory=4040 CPUtime=0.22 cores=0,2,4,6
/proc/28327/task/28332/stat : 28332 (java) S 28324 28327 25432 0 -1 1077944384 1255 0 0 0 14 8 0 0 20 0 17 0 38709851 11189649408 207614 33554432000 4194304 4196468 140722513368256 140608078977552 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28333] ppid=28324 vsize=10927392 memory=644 CPUtime=0.24 cores=0,2,4,6
/proc/28327/task/28333/stat : 28333 (java) S 28324 28327 25432 0 -1 1077944384 702 0 0 0 16 8 0 0 20 0 17 0 38709851 11189649408 207614 33554432000 4194304 4196468 140722513368256 140608077925008 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28334] ppid=28324 vsize=10927392 memory=1792 CPUtime=0.07 cores=0,2,4,6
/proc/28327/task/28334/stat : 28334 (java) S 28324 28327 25432 0 -1 1077944384 1781 0 0 0 4 3 0 0 20 0 17 0 38709853 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607779703280 140608474692226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28335] ppid=28324 vsize=10927392 memory=960 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28335/stat : 28335 (java) S 28324 28327 25432 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 38709853 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607778649568 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28336] ppid=28324 vsize=10927392 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28336/stat : 28336 (java) S 28324 28327 25432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 38709853 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607777596912 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28337] ppid=28324 vsize=10927392 memory=4388 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28337/stat : 28337 (java) S 28324 28327 25432 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 17 0 38709856 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607776545488 140608474699675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28338] ppid=28324 vsize=10927392 memory=2244 CPUtime=2.16 cores=0,2,4,6
/proc/28327/task/28338/stat : 28338 (java) S 28324 28327 25432 0 -1 1077944384 15639 0 0 0 215 1 0 0 20 0 17 0 38709856 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607775492080 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28339] ppid=28324 vsize=10927392 memory=4124 CPUtime=2.2 cores=0,2,4,6
/proc/28327/task/28339/stat : 28339 (java) S 28324 28327 25432 0 -1 1077944384 14084 0 0 0 218 2 0 0 20 0 17 0 38709856 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607774439536 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28340] ppid=28324 vsize=10927392 memory=928 CPUtime=0.55 cores=0,2,4,6
/proc/28327/task/28340/stat : 28340 (java) S 28324 28327 25432 0 -1 1077944384 5042 0 0 0 53 2 0 0 20 0 17 0 38709856 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607773386992 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28341] ppid=28324 vsize=10927392 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/28327/task/28341/stat : 28341 (java) S 28324 28327 25432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38709856 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607772334688 140608474691285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
[pid=28327/tid=28342] ppid=28324 vsize=10927392 memory=2204 CPUtime=1.53 cores=0,2,4,6
/proc/28327/task/28342/stat : 28342 (java) S 28324 28327 25432 0 -1 1077944384 1984 0 0 0 76 77 0 0 20 0 17 0 38709856 11189649408 207614 33554432000 4194304 4196468 140722513368256 140607771282224 140608474692226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140722513372273 140722513372425 140722513372425 140722513375183 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 830456 KiB

Child status: 143
Real time (s): 2393.24
CPU time (s): 2400.09
CPU user time (s): 2398.98
CPU system time (s): 1.11115
CPU usage (%): 100.286
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 830456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.98
system time used= 1.11115
maximum resident set size= 830748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54423
involuntary context switches= 3041


# summary of solver processes directly reported to runsolver:
#   pid: 28327
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2398.98
#   total CPU system time (s): 1.11115

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0737 second user time and 23.7361 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4289876

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
