2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
scop order+MapleCOMSPS (2018-06-13)	SAT	2245.14	2231.03
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 (9862 MiB free)
  memory of node 1: 16384 MiB (11597 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295670-1532579984/watcher-4295670-1532579984 -o /tmp/evaluation-result-4295670-1532579984/solver-4295670-1532579984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295670-1532579984.xml 

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

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

solver pid=5282, runsolver pid=5279

[startup+0.100098 s]*
/proc/loadavg: 2.00 2.04 2.05 4/220 5297
/proc/meminfo: memFree=21913972/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15011656 memory=73660 CPUtime=0.11 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 6599 0 0 0 9 2 0 0 20 0 15 0 75561646 15371935744 18415 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3752914 18415 2782 1 0 3715374 0
[pid=5282/tid=5284] ppid=5279 vsize=15011656 memory=7100839887183514216 CPUtime=0.08 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) R 5279 5282 32649 0 -1 4202560 4687 0 0 0 7 1 0 0 20 0 15 0 75561646 15371935744 18415 33554432000 4194304 4196468 140733219824816 140671291254472 140671299721120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 18415 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 18415 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 18415 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 18415 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561649 15371935744 18415 33554432000 4194304 4196468 140733219824816 140670290303088 140671319456386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5290] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5290/stat : 5290 (java) S 5279 5282 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75561650 15371935744 18415 33554432000 4194304 4196468 140733219824816 140669909721888 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5291] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5291/stat : 5291 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561650 15371935744 18415 33554432000 4194304 4196468 140733219824816 140669641286768 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5292] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5292/stat : 5292 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561652 15371935744 18415 33554432000 4194304 4196468 140733219824816 140669266778192 140671319463835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) S 5279 5282 32649 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 18415 33554432000 4194304 4196468 140733219824816 140670289250928 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 18415 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0.01 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) S 5279 5282 32649 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 75561653 15371935744 18415 33554432000 4194304 4196468 140733219824816 140670287145840 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 18415 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5297] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5297/stat : 5297 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 18415 33554432000 4194304 4196468 140733219824816 140670286092720 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73660 KiB

[startup+0.210382 s]*
/proc/loadavg: 2.00 2.04 2.05 3/220 5297
/proc/meminfo: memFree=21900500/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15011656 memory=86716 CPUtime=0.25 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 10093 0 0 0 22 3 0 0 20 0 15 0 75561646 15371935744 21679 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3752914 21679 2882 1 0 3715374 0
[pid=5282/tid=5284] ppid=5279 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) R 5279 5282 32649 0 -1 4202560 8000 0 0 0 18 2 0 0 20 0 15 0 75561646 15371935744 21679 33554432000 4194304 4196468 140733219824816 140671291270608 140671319457174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 21679 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15011656 memory=140286387586667 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 21679 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 21679 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 21679 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561649 15371935744 21679 33554432000 4194304 4196468 140733219824816 140670290303088 140671319456386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5290] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5290/stat : 5290 (java) S 5279 5282 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75561650 15371935744 21679 33554432000 4194304 4196468 140733219824816 140669909721888 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5291] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5291/stat : 5291 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561650 15371935744 21679 33554432000 4194304 4196468 140733219824816 140669641286768 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5292] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5292/stat : 5292 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561652 15371935744 21679 33554432000 4194304 4196468 140733219824816 140669266778192 140671319463835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) S 5279 5282 32649 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 21679 33554432000 4194304 4196468 140733219824816 140670289250928 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) S 5279 5282 32649 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 21679 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0.03 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) R 5279 5282 32649 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 75561653 15371935744 21679 33554432000 4194304 4196468 140733219824816 140670287145840 140671304578124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 21679 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5297] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5297/stat : 5297 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 21679 33554432000 4194304 4196468 140733219824816 140670286092720 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86716 KiB

[startup+0.310368 s]*
/proc/loadavg: 2.00 2.04 2.05 3/220 5297
/proc/meminfo: memFree=21896868/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15011656 memory=90188 CPUtime=0.43 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 10606 0 0 0 39 4 0 0 20 0 15 0 75561646 15371935744 22547 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3752914 22547 2990 1 0 3715374 0
[pid=5282/tid=5284] ppid=5279 vsize=15011656 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) R 5279 5282 32649 0 -1 4202560 8368 0 0 0 27 2 0 0 20 0 15 0 75561646 15371935744 22547 33554432000 4194304 4196468 140733219824816 140671291249392 140671303488869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 22547 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 22547 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 22547 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15011656 memory=140286248460495 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15371935744 22547 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561649 15371935744 22547 33554432000 4194304 4196468 140733219824816 140670290303088 140671319456386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5290] ppid=5279 vsize=15011656 memory=140286248481231 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5290/stat : 5290 (java) S 5279 5282 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75561650 15371935744 22547 33554432000 4194304 4196468 140733219824816 140669909721888 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5291] ppid=5279 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5291/stat : 5291 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561650 15371935744 22547 33554432000 4194304 4196468 140733219824816 140669641286768 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5292] ppid=5279 vsize=15011656 memory=280572496934784 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5292/stat : 5292 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561652 15371935744 22547 33554432000 4194304 4196468 140733219824816 140669266778192 140671319463835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) R 5279 5282 32649 0 -1 4202560 450 0 0 0 3 0 0 0 20 0 15 0 75561653 15371935744 22547 33554432000 4194304 4196468 140733219824816 140670289250928 140671297079888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15011656 memory=140286248492943 CPUtime=0.01 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) R 5279 5282 32649 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 15 0 75561653 15371935744 22547 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15011656 memory=140286387181184 CPUtime=0.07 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) R 5279 5282 32649 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 75561653 15371935744 22547 33554432000 4194304 4196468 140733219824816 140670287145840 140671319457174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15011656 memory=140286248498079 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 22547 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5297] ppid=5279 vsize=15011656 memory=140286462742830 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5297/stat : 5297 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561653 15371935744 22547 33554432000 4194304 4196468 140733219824816 140670286092720 140671319456386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90188 KiB

[startup+0.70072 s]
/proc/loadavg: 2.00 2.04 2.05 3/220 5297
/proc/meminfo: memFree=21872808/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15017928 memory=129200 CPUtime=1.03 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 17500 0 0 0 97 6 0 0 20 0 15 0 75561646 15378358272 32300 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3754482 32300 3150 1 0 3715886 0
[pid=5282/tid=5284] ppid=5279 vsize=15017928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) R 5279 5282 32649 0 -1 4202560 14754 0 0 0 63 4 0 0 20 0 15 0 75561646 15378358272 32300 33554432000 4194304 4196468 140733219824816 140671291281168 140671319467165 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15378358272 32300 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15017928 memory=79 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15378358272 32300 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15017928 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15378358272 32300 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15378358272 32300 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15017928 memory=163002330392584 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75561649 15378358272 32300 33554432000 4194304 4196468 140733219824816 140670290303088 140671319456386 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5290] ppid=5279 vsize=15017928 memory=445439 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5290/stat : 5290 (java) S 5279 5282 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75561650 15378358272 32300 33554432000 4194304 4196468 140733219824816 140669909721888 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5291] ppid=5279 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5291/stat : 5291 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561650 15378358272 32300 33554432000 4194304 4196468 140733219824816 140669641286768 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5292] ppid=5279 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5292/stat : 5292 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561652 15378358272 32300 33554432000 4194304 4196468 140733219824816 140669266778192 140671319463835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15017928 memory=7809523229951467574 CPUtime=0.09 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) S 5279 5282 32649 0 -1 1077944384 666 0 0 0 9 0 0 0 20 0 15 0 75561653 15378358272 32300 33554432000 4194304 4196468 140733219824816 140670289250928 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15017928 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) R 5279 5282 32649 0 -1 1077944384 259 0 0 0 5 0 0 0 20 0 15 0 75561653 15378358272 32300 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) R 5279 5282 32649 0 -1 4202560 481 0 0 0 18 0 0 0 20 0 15 0 75561653 15378358272 32300 33554432000 4194304 4196468 140733219824816 140670287141568 140671311682366 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75561653 15378358272 32300 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5297] ppid=5279 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5297/stat : 5297 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561653 15378358272 32300 33554432000 4194304 4196468 140733219824816 140670286092720 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129200 KiB

[startup+1.5007 s]
/proc/loadavg: 2.00 2.04 2.05 6/220 5297
/proc/meminfo: memFree=21778984/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15022100 memory=247956 CPUtime=3.3 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 21629 0 0 0 321 9 0 0 20 0 15 0 75561646 15382630400 61989 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3755525 61989 3198 1 0 3716910 0
[pid=5282/tid=5284] ppid=5279 vsize=15022100 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) R 5279 5282 32649 0 -1 4202560 16011 0 0 0 141 6 0 0 20 0 15 0 75561646 15382630400 61989 33554432000 4194304 4196468 140733219824816 140671291278464 140671303488869 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15022100 memory=6224352274197074280 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15382630400 61989 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15022100 memory=7013625606857648468 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15382630400 61989 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15022100 memory=7013625606857648468 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75561648 15382630400 61989 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15022100 memory=7013625606857648468 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75561648 15382630400 61989 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75561649 15382630400 61989 33554432000 4194304 4196468 140733219824816 140670290303088 140671319456386 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0

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

[pid=5282/tid=5292] ppid=5279 vsize=15683912 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5292/stat : 5292 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75561652 16060325888 743869 33554432000 4194304 4196468 140733219824816 140669266778192 140671319463835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15683912 memory=956 CPUtime=5.76 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) S 5279 5282 32649 0 -1 1077944384 3240 0 0 0 575 1 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670289250928 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15683912 memory=2200 CPUtime=5.75 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) S 5279 5282 32649 0 -1 1077944384 3468 0 0 0 574 1 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15683912 memory=7892 CPUtime=1.33 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) S 5279 5282 32649 0 -1 1077944384 4441 0 0 0 131 2 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670287145840 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15683912 memory=840 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5297] ppid=5279 vsize=15683912 memory=1412 CPUtime=1.03 cores=0,2,4,6
/proc/5282/task/5297/stat : 5297 (java) S 5279 5282 32649 0 -1 1077944384 147 0 0 0 54 49 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670286092720 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5299] ppid=5279 vsize=15683912 memory=3520 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5299/stat : 5299 (java) S 5279 5282 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75562406 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670270157760 140671319469849 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5301] ppid=5279 vsize=15683912 memory=107204 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5301/stat : 5301 (java) S 5279 5282 32649 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 75562406 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668231986608 140671319467165 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5302] ppid=5279 vsize=15683912 memory=2975476 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5302/stat : 5302 (java) S 5279 5282 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 75562416 16060325888 743869 33554432000 4194304 4196468 140733219824816 140667963555632 140671319467165 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5303] ppid=5279 vsize=15683912 memory=107204 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5303/stat : 5303 (java) S 5279 5282 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 75562418 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668366216608 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 2242.86 s
Current children cumulated vsize: 15820844 KiB
Current children cumulated memory: 3082680 KiB

[startup+2230.4 s]
/proc/loadavg: 2.00 2.06 2.06 3/225 5480
/proc/meminfo: memFree=18313584/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15683912 memory=2975476 CPUtime=21.84 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 31916 0 0 0 2084 100 0 0 20 0 19 0 75561646 16060325888 743869 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3920978 743869 3230 1 0 3881834 0
[pid=5298] ppid=5282 vsize=136932 memory=107204 CPUtime=2222.62 cores=0,2,4,6
/proc/5298/stat : 5298 (minisat_release) R 5282 5282 32649 0 -1 4202496 153965 0 0 0 222246 16 0 0 20 0 1 0 75562406 140218368 26801 33554432000 4194304 4308513 140731472575872 140731472572872 4275920 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 10375168 140731472577201 140731472577710 140731472577710 140731472580549 0
/proc/5298/statm: 34233 26801 354 28 0 30473 0
[pid=5282/tid=5284] ppid=5279 vsize=15683912 memory=22952 CPUtime=7.6 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) S 5279 5282 32649 0 -1 1077944384 19025 0 0 0 711 49 0 0 20 0 19 0 75561646 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671291284480 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15683912 memory=2975476 CPUtime=0.03 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 43 0 0 0 3 0 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15683912 memory=107204 CPUtime=0.03 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 16 0 0 0 3 0 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15683912 memory=110424 CPUtime=0.08 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 69 0 0 0 7 1 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15683912 memory=-5059952977386882957 CPUtime=0.07 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 58 0 0 0 6 1 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15683912 memory=2436 CPUtime=0.04 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 19 0 75561649 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670290303088 140671319456386 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5290] ppid=5279 vsize=15683912 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5290/stat : 5290 (java) S 5279 5282 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 75561650 16060325888 743869 33554432000 4194304 4196468 140733219824816 140669909721888 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5291] ppid=5279 vsize=15683912 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5291/stat : 5291 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75561650 16060325888 743869 33554432000 4194304 4196468 140733219824816 140669641286768 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5292] ppid=5279 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5292/stat : 5292 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75561652 16060325888 743869 33554432000 4194304 4196468 140733219824816 140669266778192 140671319463835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15683912 memory=107204 CPUtime=5.76 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) S 5279 5282 32649 0 -1 1077944384 3240 0 0 0 575 1 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670289250928 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15683912 memory=2592 CPUtime=5.75 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) S 5279 5282 32649 0 -1 1077944384 3468 0 0 0 574 1 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15683912 memory=15876 CPUtime=1.33 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) S 5279 5282 32649 0 -1 1077944384 4441 0 0 0 131 2 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670287145840 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15683912 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5297] ppid=5279 vsize=15683912 memory=4612 CPUtime=1.03 cores=0,2,4,6
/proc/5282/task/5297/stat : 5297 (java) S 5279 5282 32649 0 -1 1077944384 147 0 0 0 54 49 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670286092720 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5299] ppid=5279 vsize=15683912 memory=9920 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5299/stat : 5299 (java) S 5279 5282 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75562406 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670270157760 140671319469849 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5301] ppid=5279 vsize=15683912 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5301/stat : 5301 (java) S 5279 5282 32649 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 75562406 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668231986608 140671319467165 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5302] ppid=5279 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5302/stat : 5302 (java) S 5279 5282 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 75562416 16060325888 743869 33554432000 4194304 4196468 140733219824816 140667963555632 140671319467165 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5303] ppid=5279 vsize=15683912 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5303/stat : 5303 (java) S 5279 5282 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 75562418 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668366216608 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 2244.46 s
Current children cumulated vsize: 15820844 KiB
Current children cumulated memory: 3082680 KiB

[startup+2230.8 s]
/proc/loadavg: 2.00 2.06 2.06 3/225 5480
/proc/meminfo: memFree=18313584/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15683912 memory=2975476 CPUtime=21.84 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 31916 0 0 0 2084 100 0 0 20 0 19 0 75561646 16060325888 743869 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3920978 743869 3230 1 0 3881834 0
[pid=5298] ppid=5282 vsize=136932 memory=107204 CPUtime=2223.02 cores=0,2,4,6
/proc/5298/stat : 5298 (minisat_release) R 5282 5282 32649 0 -1 4202496 153966 0 0 0 222286 16 0 0 20 0 1 0 75562406 140218368 26801 33554432000 4194304 4308513 140731472575872 140731472572872 4276143 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 10375168 140731472577201 140731472577710 140731472577710 140731472580549 0
/proc/5298/statm: 34233 26801 354 28 0 30473 0
[pid=5282/tid=5284] ppid=5279 vsize=15683912 memory=107204 CPUtime=7.6 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) S 5279 5282 32649 0 -1 1077944384 19025 0 0 0 711 49 0 0 20 0 19 0 75561646 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671291284480 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15683912 memory=107204 CPUtime=0.03 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 43 0 0 0 3 0 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15683912 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 16 0 0 0 3 0 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15683912 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 69 0 0 0 7 1 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15683912 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 58 0 0 0 6 1 0 0 20 0 19 0 75561648 16060325888 743869 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15683912 memory=1200 CPUtime=0.04 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 19 0 75561649 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670290303088 140671319456386 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5290] ppid=5279 vsize=15683912 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5290/stat : 5290 (java) S 5279 5282 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 75561650 16060325888 743869 33554432000 4194304 4196468 140733219824816 140669909721888 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5291] ppid=5279 vsize=15683912 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5291/stat : 5291 (java) S 5279 5282 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75561650 16060325888 743869 33554432000 4194304 4196468 140733219824816 140669641286768 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5292] ppid=5279 vsize=15683912 memory=14180 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5292/stat : 5292 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75561652 16060325888 743869 33554432000 4194304 4196468 140733219824816 140669266778192 140671319463835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15683912 memory=4052 CPUtime=5.76 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) S 5279 5282 32649 0 -1 1077944384 3240 0 0 0 575 1 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670289250928 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15683912 memory=4128 CPUtime=5.75 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) S 5279 5282 32649 0 -1 1077944384 3468 0 0 0 574 1 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15683912 memory=2200 CPUtime=1.33 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) S 5279 5282 32649 0 -1 1077944384 4441 0 0 0 131 2 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670287145840 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15683912 memory=7892 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5297] ppid=5279 vsize=15683912 memory=840 CPUtime=1.03 cores=0,2,4,6
/proc/5282/task/5297/stat : 5297 (java) S 5279 5282 32649 0 -1 1077944384 147 0 0 0 54 49 0 0 20 0 19 0 75561653 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670286092720 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5299] ppid=5279 vsize=15683912 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5299/stat : 5299 (java) S 5279 5282 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75562406 16060325888 743869 33554432000 4194304 4196468 140733219824816 140670270157760 140671319469849 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5301] ppid=5279 vsize=15683912 memory=3536 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5301/stat : 5301 (java) S 5279 5282 32649 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 75562406 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668231986608 140671319467165 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5302] ppid=5279 vsize=15683912 memory=2975476 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5302/stat : 5302 (java) S 5279 5282 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 75562416 16060325888 743869 33554432000 4194304 4196468 140733219824816 140667963555632 140671319467165 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5303] ppid=5279 vsize=15683912 memory=107204 CPUtime=0 cores=0,2,4,6
/proc/5282/task/5303/stat : 5303 (java) S 5279 5282 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 75562418 16060325888 743869 33554432000 4194304 4196468 140733219824816 140668366216608 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 2244.86 s
Current children cumulated vsize: 15820844 KiB
Current children cumulated memory: 3082680 KiB

[startup+2231 s]*
/proc/loadavg: 2.00 2.06 2.06 3/220 5480
/proc/meminfo: memFree=18422844/32770624 swapFree=67108860/67108860
[pid=5282] ppid=5279 vsize=15420732 memory=2971320 CPUtime=2245.1 cores=0,2,4,6
/proc/5282/stat : 5282 (java) S 5279 5282 32649 0 -1 1077944320 32003 153986 0 0 2091 100 222303 16 20 0 15 0 75561646 15790829568 742830 33554432000 4194304 4196468 140733219824816 140733219807360 140671319445239 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
/proc/5282/statm: 3855183 742830 3232 1 0 3816039 0
[pid=5282/tid=5284] ppid=5279 vsize=15420732 memory=6935054825532540783 CPUtime=2230.81 cores=0,2,4,6
/proc/5282/task/5284/stat : 5284 (java) S 5279 5282 32649 0 -1 1077944384 19046 153986 0 0 713 49 222303 16 20 0 15 0 75561646 15790829568 742830 33554432000 4194304 4196468 140733219824816 140671291288720 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5285] ppid=5279 vsize=15420732 memory=956 CPUtime=2223.22 cores=0,2,4,6
/proc/5282/task/5285/stat : 5285 (java) S 5279 5282 32649 0 -1 1077944384 43 153986 0 0 3 0 222303 16 20 0 15 0 75561648 15790829568 742830 33554432000 4194304 4196468 140733219824816 140671323687824 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5286] ppid=5279 vsize=15420732 memory=2424 CPUtime=2223.22 cores=0,2,4,6
/proc/5282/task/5286/stat : 5286 (java) S 5279 5282 32649 0 -1 1077944384 16 153986 0 0 3 0 222303 16 20 0 15 0 75561648 15790829568 742830 33554432000 4194304 4196468 140733219824816 140671122463504 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5287] ppid=5279 vsize=15420732 memory=1576 CPUtime=2223.27 cores=0,2,4,6
/proc/5282/task/5287/stat : 5287 (java) S 5279 5282 32649 0 -1 1077944384 69 153986 0 0 7 1 222303 16 20 0 15 0 75561648 15790829568 742830 33554432000 4194304 4196468 140733219824816 140671121411216 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5288] ppid=5279 vsize=15420732 memory=928 CPUtime=2223.26 cores=0,2,4,6
/proc/5282/task/5288/stat : 5288 (java) S 5279 5282 32649 0 -1 1077944384 58 153986 0 0 6 1 222303 16 20 0 15 0 75561648 15790829568 742830 33554432000 4194304 4196468 140733219824816 140671120358416 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5289] ppid=5279 vsize=15420732 memory=2240 CPUtime=2223.23 cores=0,2,4,6
/proc/5282/task/5289/stat : 5289 (java) S 5279 5282 32649 0 -1 1077944384 24 153986 0 0 2 2 222303 16 20 0 15 0 75561649 15790829568 742830 33554432000 4194304 4196468 140733219824816 140670290303296 140671319456386 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5290] ppid=5279 vsize=15420732 memory=6935054825532540783 CPUtime=2223.19 cores=0,2,4,6
/proc/5282/task/5290/stat : 5290 (java) S 5279 5282 32649 0 -1 1077944384 14 153986 0 0 0 0 222303 16 20 0 15 0 75561650 15790829568 742830 33554432000 4194304 4196468 140733219824816 140669909721888 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5291] ppid=5279 vsize=15420732 memory=107204 CPUtime=2223.19 cores=0,2,4,6
/proc/5282/task/5291/stat : 5291 (java) S 5279 5282 32649 0 -1 1077944384 2 153986 0 0 0 0 222303 16 20 0 15 0 75561650 15790829568 742830 33554432000 4194304 4196468 140733219824816 140669641286768 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5293] ppid=5279 vsize=15420732 memory=2935100 CPUtime=2228.97 cores=0,2,4,6
/proc/5282/task/5293/stat : 5293 (java) S 5279 5282 32649 0 -1 1077944384 3244 153986 0 0 577 1 222303 16 20 0 15 0 75561653 15790829568 742830 33554432000 4194304 4196468 140733219824816 140670289229968 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5294] ppid=5279 vsize=15420732 memory=110424 CPUtime=2228.97 cores=0,2,4,6
/proc/5282/task/5294/stat : 5294 (java) S 5279 5282 32649 0 -1 1077944384 3470 153986 0 0 576 2 222303 16 20 0 15 0 75561653 15790829568 742830 33554432000 4194304 4196468 140733219824816 140670288198128 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5295] ppid=5279 vsize=15420732 memory=4100 CPUtime=2224.54 cores=0,2,4,6
/proc/5282/task/5295/stat : 5295 (java) S 5279 5282 32649 0 -1 1077944384 4454 153986 0 0 133 2 222303 16 20 0 15 0 75561653 15790829568 742830 33554432000 4194304 4196468 140733219824816 140670287145840 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5296] ppid=5279 vsize=15420732 memory=1800 CPUtime=2223.19 cores=0,2,4,6
/proc/5282/task/5296/stat : 5296 (java) S 5279 5282 32649 0 -1 1077944384 3 153986 0 0 0 0 222303 16 20 0 15 0 75561653 15790829568 742830 33554432000 4194304 4196468 140733219824816 140668768873440 140671319455445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5299] ppid=5279 vsize=15420732 memory=920 CPUtime=2223.19 cores=0,2,4,6
/proc/5282/task/5299/stat : 5299 (java) S 5279 5282 32649 0 -1 1077944384 27 153986 0 0 0 0 222303 16 20 0 15 0 75562406 15790829568 742830 33554432000 4194304 4196468 140733219824816 140670270156944 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
[pid=5282/tid=5303] ppid=5279 vsize=15420732 memory=3848 CPUtime=2223.19 cores=0,2,4,6
/proc/5282/task/5303/stat : 5303 (java) S 5279 5282 32649 0 -1 1077944384 24 153986 0 0 0 0 222303 16 20 0 15 0 75562418 15790829568 742830 33554432000 4194304 4196468 140733219824816 140668366218416 140671319456386 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140733219832819 140733219833097 140733219833097 140733219835855 0
Current children cumulated CPU time: 2245.1 s
Current children cumulated vsize: 15420732 KiB
Current children cumulated memory: 2971320 KiB

Child status: 0
Real time (s): 2231.03
CPU time (s): 2245.14
CPU user time (s): 2243.95
CPU system time (s): 1.19139
CPU usage (%): 100.633
Max. virtual memory (cumulated for all children) (KiB): 15820844
Max. memory (cumulated for all children) (KiB): 3082680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2243.95
system time used= 1.19138
maximum resident set size= 2980236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185993
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52823
involuntary context switches= 2863


# summary of solver processes directly reported to runsolver:
#   pid: 5282
#   total CPU time (s): 2245.14
#   total CPU user time (s): 2243.95
#   total CPU system time (s): 1.19139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0692 second user time and 22.6327 second system time

The end
Name	Frb/ frb-50-23-2-mgd_c18.xml
MD5SUM	747f749c43313802f4a8e2c3a16b0378
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	844.678
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	445
Number of domains	1
Minimum domain size	23
Maximum domain size	23
Distribution of domain sizes	[{"size":23,"count":50}]
Minimum variable degree	10
Maximum variable degree	27
Distribution of variable degrees	[{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":10},{"degree":17,"count":5},{"degree":18,"count":8},{"degree":19,"count":5},{"degree":20,"count":3},{"degree":21,"count":3},{"degree":22,"count":4},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":445}]
Number of extensional constraints	445
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":445}]
Optimization problem	NO
Type of objective
Trace number 4295670

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
