0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 15:58:22 CEST 2018
0.67/0.55 c PID: 15824
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.20/0.87 c (0,0) Parsing End
1.20/0.88 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 42 ctr, max domain size 28
1.20/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.88 c (0,0) Constraint Name Generate Begin
1.20/0.89 c (0,0) Ctr:HOME/instance-4294194-1532354302.xml,Add:Element:Eq:IntVar:Num
1.20/0.89 c (0,0) Constraint Name Generate End
1.20/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.89 c (0,0) CSP to CSPinCNF Begin
1.57/1.08 c (0,0) translated 5 (10%) constraints
1.84/1.13 c (0,0) translated 9 (20%) constraints
1.84/1.18 c (0,0) translated 13 (30%) constraints
2.09/1.21 c (0,0) translated 17 (40%) constraints
2.09/1.23 c (0,0) translated 21 (50%) constraints
2.09/1.25 c (0,0) translated 26 (60%) constraints
2.09/1.27 c (0,0) translated 30 (70%) constraints
2.09/1.27 c (0,0) translated 34 (80%) constraints
2.09/1.27 c (0,0) translated 38 (90%) constraints
2.09/1.27 c (0,0) translated 42 (100%) constraints
2.37/1.32 c (0,0) STATISTICS1:HOME/instance-4294194-1532354302.xml,Add:Element:Eq:IntVar:Num,56,798,26,26,3,2,26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2,26:58;25:58;24:58;23:58;22:58;21:58;20:58;19:58;18:58;17:58;16:58;15:58;14:842;13:58,3:784;1:14,2:28;1:2352,
2.37/1.32 c (0,0) ===========================================
2.37/1.32 c (0,0) Both Encoding selects:
2.37/1.32 c (0,0) Order
2.37/1.32 c (0,0) ===========================================
2.37/1.37 c (0,0) translated 80 (10%) constraints
2.63/1.40 c (0,0) translated 160 (20%) constraints
2.63/1.42 c (0,0) translated 240 (30%) constraints
2.63/1.44 c (0,0) translated 320 (40%) constraints
2.63/1.47 c (0,0) translated 399 (50%) constraints
2.63/1.48 c (0,0) translated 479 (60%) constraints
2.63/1.49 c (0,0) translated 559 (70%) constraints
2.91/1.50 c (0,0) translated 639 (80%) constraints
2.91/1.51 c (0,0) translated 719 (90%) constraints
2.91/1.53 c (0,0) translated 798 (100%) constraints
2.91/1.53 c (1,0) CSP to CSPinCNF End
2.91/1.53 c (1,0) CSP: 56 int (0 aux), 392 bool (392 aux), 2380 ctr, max domain size 26
2.91/1.53 c (1,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.91/1.53 c (1,0) CSPinCNF Propagation Begin
2.91/1.59 c (1,1) 0 values, 294 unsatisfiable literals, and 350 valid clauses are removed
2.91/1.59 c (1,1) CSPinCNF Propagation End
2.91/1.59 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
2.91/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.91/1.59 c (1,1) Simplify CSPinCNF Begin
3.24/1.60 c (1,1) Simplify CSPinCNF End
3.24/1.60 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
3.24/1.60 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.24/1.60 c (1,1) Calculate Precise Domain Begin
3.24/1.60 c (1,1) 0 values are removed by re-calculation
3.24/1.60 c (1,1) Calculate Precise Domain End
3.24/1.60 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
3.24/1.60 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.24/1.60 c (1,1) CSPinCNF to SatSolver Begin
3.24/1.66 c (1,1) 203 (10 %) CSP clauses are encoded (1274 SAT variables, 1028 SAT clauses)
3.24/1.67 c (1,1) 406 (20 %) CSP clauses are encoded (1274 SAT variables, 1231 SAT clauses)
3.24/1.68 c (1,1) 609 (30 %) CSP clauses are encoded (1274 SAT variables, 1434 SAT clauses)
3.24/1.68 c (1,1) 812 (40 %) CSP clauses are encoded (1274 SAT variables, 1637 SAT clauses)
3.24/1.69 c (1,1) 1015 (50 %) CSP clauses are encoded (1274 SAT variables, 1840 SAT clauses)
3.24/1.69 c (1,1) 1218 (60 %) CSP clauses are encoded (1274 SAT variables, 2043 SAT clauses)
3.24/1.69 c (1,1) 1421 (70 %) CSP clauses are encoded (1274 SAT variables, 2246 SAT clauses)
3.53/1.70 c (1,1) 1624 (80 %) CSP clauses are encoded (1274 SAT variables, 2449 SAT clauses)
3.53/1.70 c (1,1) 1827 (90 %) CSP clauses are encoded (1274 SAT variables, 2652 SAT clauses)
3.53/1.72 c (1,1) 2030 (100 %) CSP clauses are encoded (1274 SAT variables, 3334 SAT clauses)
3.53/1.72 c (1,1) CSPinCNF to SatSolver End
3.53/1.72 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.53/1.74 c (1,1) STATISTICS2:HOME/instance-4294194-1532354302.xml,Add:Element:Eq:IntVar:Num,448,2030,26,26,3,2,26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2,26:104;25:100;24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:1512;13:52;2:2002,3:490;2:1512;1:28,2:28;1:4494,
3.53/1.74 c (1,1) SatSolver.solve Begin
3.53/1.74 c (1,1) 1274 bool, 3346 clause
3.53/1.74 c (1,1) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294194-1532354302.xml-scop-15824.cnf HOME/instance-4294194-1532354302.xml-scop-15824.cnf.out
2520.04/2517.11 c (2516,1) SatSolver is killed by some reasons.
2520.04/2517.11 c (2516,1) 0,0,1,1,1,1,1,TO,TO,STOP-AFTER(DIMACS)
2520.04/2517.11 s UNKNOWN
2520.04/2517.11 c END-Prog: Mon Jul 23 16:40:19 CEST 2018
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 (5807 MiB free)
memory of node 1: 16384 MiB (7306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294194-1532354302/watcher-4294194-1532354302 -o /tmp/evaluation-result-4294194-1532354302/solver-4294194-1532354302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294194-1532354302.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=15824, runsolver pid=15821
[startup+0.10009 s]*
/proc/loadavg: 2.51 2.15 2.09 3/220 15839
/proc/meminfo: memFree=13368648/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15011656 memory=72516 CPUtime=0.12 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 6785 0 0 0 10 2 0 0 20 0 15 0 52993341 15371935744 18063 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3752914 18129 2782 1 0 3715374 0
[pid=15824/tid=15826] ppid=15821 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) R 15821 15824 8919 0 -1 4202560 5042 0 0 0 8 1 0 0 20 0 15 0 52993341 15371935744 18261 33554432000 4194304 4196468 140725849930752 140063003756944 140063012206375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 18261 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 18261 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 18261 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 18261 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993344 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15832] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15832/stat : 15832 (java) S 15821 15824 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52993345 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061702087712 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15833] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15833/stat : 15833 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993345 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061433652080 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15834] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15834/stat : 15834 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061059143504 140063031949211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15835] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15835/stat : 15835 (java) S 15821 15824 8919 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061800647536 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15836] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15836/stat : 15836 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061799594736 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15837] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0.01 cores=0,2,4,6
/proc/15824/task/15837/stat : 15837 (java) S 15821 15824 8919 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 52993347 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061798541936 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15838] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15838/stat : 15838 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 18327 33554432000 4194304 4196468 140725849930752 140060561238752 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15839] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15839/stat : 15839 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993348 15371935744 18327 33554432000 4194304 4196468 140725849930752 140061797489328 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72516 KiB
[startup+0.210381 s]*
/proc/loadavg: 2.51 2.15 2.09 3/220 15839
/proc/meminfo: memFree=13355316/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15011656 memory=85612 CPUtime=0.26 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 10362 0 0 0 23 3 0 0 20 0 15 0 52993341 15371935744 21403 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3752914 21403 2881 1 0 3715374 0
[pid=15824/tid=15826] ppid=15821 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) R 15821 15824 8919 0 -1 4202560 8259 0 0 0 18 2 0 0 20 0 15 0 52993341 15371935744 21403 33554432000 4194304 4196468 140725849930752 140063003755488 140063031942550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 21403 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15011656 memory=139863896570901 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 21403 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 21403 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 21403 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993344 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15832] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15832/stat : 15832 (java) S 15821 15824 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52993345 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061702087712 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15833] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15833/stat : 15833 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993345 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061433652080 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15834] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15834/stat : 15834 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061059143504 140063031949211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15835] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15835/stat : 15835 (java) S 15821 15824 8919 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061800647536 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15836] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15836/stat : 15836 (java) S 15821 15824 8919 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061799594736 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15837] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0.03 cores=0,2,4,6
/proc/15824/task/15837/stat : 15837 (java) S 15821 15824 8919 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 52993347 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061798541936 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15838] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15838/stat : 15838 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 21403 33554432000 4194304 4196468 140725849930752 140060561238752 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15839] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15839/stat : 15839 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993348 15371935744 21403 33554432000 4194304 4196468 140725849930752 140061797489328 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85612 KiB
[startup+0.310371 s]*
/proc/loadavg: 2.51 2.15 2.09 3/220 15839
/proc/meminfo: memFree=13350864/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15011656 memory=89932 CPUtime=0.43 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 10975 0 0 0 40 3 0 0 20 0 15 0 52993341 15371935744 22483 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3752914 22483 3021 1 0 3715374 0
[pid=15824/tid=15826] ppid=15821 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) R 15821 15824 8919 0 -1 4202560 8682 0 0 0 28 2 0 0 20 0 15 0 52993341 15371935744 22483 33554432000 4194304 4196468 140725849930752 140063003722064 140063016011102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 22483 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15011656 memory=139863896562999 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 22483 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 22483 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993343 15371935744 22483 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993344 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15832] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15832/stat : 15832 (java) S 15821 15824 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52993345 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061702087712 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15833] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15833/stat : 15833 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993345 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061433652080 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15834] ppid=15821 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15834/stat : 15834 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061059143504 140063031949211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15835] ppid=15821 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15824/task/15835/stat : 15835 (java) R 15821 15824 8919 0 -1 4202560 550 0 0 0 2 0 0 0 20 0 15 0 52993347 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061800647536 140063009565264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15836] ppid=15821 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15824/task/15836/stat : 15836 (java) S 15821 15824 8919 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 52993347 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061799594736 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15837] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0.07 cores=0,2,4,6
/proc/15824/task/15837/stat : 15837 (java) S 15821 15824 8919 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 15 0 52993347 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061798541936 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15838] ppid=15821 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15838/stat : 15838 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15371935744 22483 33554432000 4194304 4196468 140725849930752 140060561238752 140063031940821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15839] ppid=15821 vsize=15011656 memory=139863896258176 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15839/stat : 15839 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993348 15371935744 22483 33554432000 4194304 4196468 140725849930752 140061797489328 140063031941762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89932 KiB
[startup+0.700704 s]
/proc/loadavg: 2.51 2.15 2.09 4/220 15839
/proc/meminfo: memFree=13326680/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15020052 memory=129236 CPUtime=1 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 18121 0 0 0 95 5 0 0 20 0 15 0 52993341 15380533248 32309 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3755013 32309 3143 1 0 3716398 0
[pid=15824/tid=15826] ppid=15821 vsize=15020052 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) R 15821 15824 8919 0 -1 4202560 15441 0 0 0 64 4 0 0 20 0 15 0 52993341 15380533248 32309 33554432000 4194304 4196468 140725849930752 140063003755072 140063017298752 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15380533248 32309 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15380533248 32309 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15380533248 32309 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15020052 memory=207857425338678 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993343 15380533248 32309 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15020052 memory=286033 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52993344 15380533248 32309 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15832] ppid=15821 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15832/stat : 15832 (java) S 15821 15824 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52993345 15380533248 32375 33554432000 4194304 4196468 140725849930752 140061702087712 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15833] ppid=15821 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15833/stat : 15833 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993345 15380533248 32375 33554432000 4194304 4196468 140725849930752 140061433652080 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15834] ppid=15821 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15834/stat : 15834 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15380533248 32375 33554432000 4194304 4196468 140725849930752 140061059143504 140063031949211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15835] ppid=15821 vsize=15020052 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/15824/task/15835/stat : 15835 (java) R 15821 15824 8919 0 -1 4202560 770 0 0 0 10 0 0 0 20 0 15 0 52993347 15380533248 32375 33554432000 4194304 4196468 140725849930752 140061800647536 140063013453081 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15836] ppid=15821 vsize=15020052 memory=-3472574513799858009 CPUtime=0.05 cores=0,2,4,6
/proc/15824/task/15836/stat : 15836 (java) R 15821 15824 8919 0 -1 4202560 145 0 0 0 5 0 0 0 20 0 15 0 52993347 15380533248 32375 33554432000 4194304 4196468 140725849930752 140061799585568 140063012630912 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15837] ppid=15821 vsize=15020052 memory=6944656592387989600 CPUtime=0.15 cores=0,2,4,6
/proc/15824/task/15837/stat : 15837 (java) S 15821 15824 8919 0 -1 1077944384 452 0 0 0 15 0 0 0 20 0 15 0 52993347 15380533248 32375 33554432000 4194304 4196468 140725849930752 140061798541936 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15838] ppid=15821 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15838/stat : 15838 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52993347 15380533248 32375 33554432000 4194304 4196468 140725849930752 140060561238752 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15839] ppid=15821 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15839/stat : 15839 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993348 15380533248 32375 33554432000 4194304 4196468 140725849930752 140061797489328 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129236 KiB
[startup+1.50154 s]
/proc/loadavg: 2.51 2.15 2.09 4/220 15839
/proc/meminfo: memFree=13298516/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15022100 memory=184048 CPUtime=2.91 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 22013 0 0 0 283 8 0 0 20 0 15 0 52993341 15382630400 46012 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3755525 46012 3199 1 0 3716910 0
[pid=15824/tid=15826] ppid=15821 vsize=15022100 memory=127 CPUtime=1.47 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) R 15821 15824 8919 0 -1 4202560 16529 0 0 0 142 5 0 0 20 0 15 0 52993341 15382630400 46012 33554432000 4194304 4196468 140725849930752 140063003763456 140062528870471 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15382630400 46012 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15382630400 46012 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52993343 15382630400 46012 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52993343 15382630400 46012 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52993344 15382630400 46012 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
################
# More data... #
################
/proc/meminfo: memFree=16138732/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15681864 memory=227384 CPUtime=4.85 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 23354 0 0 0 428 57 0 0 20 0 19 0 52993341 16058228736 56846 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3920466 56846 3216 1 0 3881322 0
[pid=15840] ppid=15824 vsize=91044 memory=69324 CPUtime=2500.38 cores=0,2,4,6
/proc/15840/stat : 15840 (minisat_release) R 15824 15824 8919 0 -1 4202496 153372 0 0 0 250021 17 0 0 20 0 1 0 52993517 93229056 17331 33554432000 4194304 4308513 140729723633008 140729723629248 4276436 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41758720 140729723634351 140729723634862 140729723634862 140729723637701 0
/proc/15840/statm: 22761 17331 352 28 0 19001 0
[pid=15824/tid=15826] ppid=15821 vsize=15681864 memory=227384 CPUtime=1.77 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) S 15821 15824 8919 0 -1 1077944384 17209 0 0 0 171 6 0 0 20 0 19 0 52993341 16058228736 56846 33554432000 4194304 4196468 140725849930752 140063003769856 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15681864 memory=69324 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15681864 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15681864 memory=17056 CPUtime=0.04 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 52993344 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15832] ppid=15821 vsize=15681864 memory=69324 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15832/stat : 15832 (java) S 15821 15824 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52993345 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061702087712 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15833] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15833/stat : 15833 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993345 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061433652080 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15834] ppid=15821 vsize=15681864 memory=796 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15834/stat : 15834 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061059143504 140063031949211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15835] ppid=15821 vsize=15681864 memory=1224 CPUtime=0.65 cores=0,2,4,6
/proc/15824/task/15835/stat : 15835 (java) S 15821 15824 8919 0 -1 1077944384 1070 0 0 0 65 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061800647536 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15836] ppid=15821 vsize=15681864 memory=227384 CPUtime=0.59 cores=0,2,4,6
/proc/15824/task/15836/stat : 15836 (java) S 15821 15824 8919 0 -1 1077944384 779 0 0 0 59 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061799594736 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15837] ppid=15821 vsize=15681864 memory=33 CPUtime=0.79 cores=0,2,4,6
/proc/15824/task/15837/stat : 15837 (java) S 15821 15824 8919 0 -1 1077944384 2711 0 0 0 78 1 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061798541936 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15838] ppid=15821 vsize=15681864 memory=69324 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15838/stat : 15838 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140060561238752 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15839] ppid=15821 vsize=15681864 memory=227384 CPUtime=0.95 cores=0,2,4,6
/proc/15824/task/15839/stat : 15839 (java) S 15821 15824 8919 0 -1 1077944384 169 0 0 0 45 50 0 0 20 0 19 0 52993348 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061797489328 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15841] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15841/stat : 15841 (java) S 15821 15824 8919 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52993517 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062440576192 140063031955225 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15843] ppid=15821 vsize=15681864 memory=69324 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15843/stat : 15843 (java) S 15821 15824 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52993518 16058228736 56846 33554432000 4194304 4196468 140725849930752 140059890138288 140063031952541 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15844] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15844/stat : 15844 (java) S 15821 15824 8919 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 52993518 16058228736 56846 33554432000 4194304 4196468 140725849930752 140060292792368 140063031952541 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15845] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15845/stat : 15845 (java) S 15821 15824 8919 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 52993520 16058228736 56846 33554432000 4194304 4196468 140725849930752 140059755925152 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
Current children cumulated CPU time: 2505.23 s
Current children cumulated vsize: 15772908 KiB
Current children cumulated memory: 296708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2517.11 s]
/proc/loadavg: 2.08 2.10 2.08 3/225 16515
/proc/meminfo: memFree=16138732/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15681864 memory=227384 CPUtime=4.85 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 23354 0 0 0 428 57 0 0 20 0 19 0 52993341 16058228736 56846 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3920466 56846 3216 1 0 3881322 0
[pid=15840] ppid=15824 vsize=91044 memory=69324 CPUtime=2515.19 cores=0,2,4,6
/proc/15840/stat : 15840 (minisat_release) R 15824 15824 8919 0 -1 4202496 153401 0 0 0 251502 17 0 0 20 0 1 0 52993517 93229056 17331 33554432000 4194304 4308513 140729723633008 140729723629248 4276392 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41758720 140729723634351 140729723634862 140729723634862 140729723637701 0
/proc/15840/statm: 22761 17331 352 28 0 19001 0
[pid=15824/tid=15826] ppid=15821 vsize=15681864 memory=227384 CPUtime=1.77 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) S 15821 15824 8919 0 -1 1077944384 17209 0 0 0 171 6 0 0 20 0 19 0 52993341 16058228736 56846 33554432000 4194304 4196468 140725849930752 140063003769856 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15681864 memory=56 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15681864 memory=33 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15681864 memory=69324 CPUtime=0.04 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 52993344 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15832] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15832/stat : 15832 (java) S 15821 15824 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52993345 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061702087712 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15833] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15833/stat : 15833 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993345 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061433652080 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15834] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15834/stat : 15834 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061059143504 140063031949211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15835] ppid=15821 vsize=15681864 memory=4140 CPUtime=0.65 cores=0,2,4,6
/proc/15824/task/15835/stat : 15835 (java) S 15821 15824 8919 0 -1 1077944384 1070 0 0 0 65 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061800647536 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15836] ppid=15821 vsize=15681864 memory=227384 CPUtime=0.59 cores=0,2,4,6
/proc/15824/task/15836/stat : 15836 (java) S 15821 15824 8919 0 -1 1077944384 779 0 0 0 59 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061799594736 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15837] ppid=15821 vsize=15681864 memory=69324 CPUtime=0.79 cores=0,2,4,6
/proc/15824/task/15837/stat : 15837 (java) S 15821 15824 8919 0 -1 1077944384 2711 0 0 0 78 1 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061798541936 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15838] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15838/stat : 15838 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140060561238752 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15839] ppid=15821 vsize=15681864 memory=227384 CPUtime=0.96 cores=0,2,4,6
/proc/15824/task/15839/stat : 15839 (java) S 15821 15824 8919 0 -1 1077944384 169 0 0 0 45 51 0 0 20 0 19 0 52993348 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061797489328 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15841] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15841/stat : 15841 (java) S 15821 15824 8919 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52993517 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062440576192 140063031955225 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15843] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15843/stat : 15843 (java) S 15821 15824 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52993518 16058228736 56846 33554432000 4194304 4196468 140725849930752 140059890138288 140063031952541 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15844] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15844/stat : 15844 (java) S 15821 15824 8919 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 52993518 16058228736 56846 33554432000 4194304 4196468 140725849930752 140060292792368 140063031952541 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15845] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15845/stat : 15845 (java) S 15821 15824 8919 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 52993520 16058228736 56846 33554432000 4194304 4196468 140725849930752 140059755925152 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15772908 KiB
Current children cumulated memory: 296708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2517.12 s]
# the end of solver process 15824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.32 s, system=0.75829 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2517.11 s]
/proc/loadavg: 2.08 2.10 2.08 3/225 16515
/proc/meminfo: memFree=16138732/32770624 swapFree=67108860/67108860
[pid=15824] ppid=15821 vsize=15681864 memory=227384 CPUtime=4.85 cores=0,2,4,6
/proc/15824/stat : 15824 (java) S 15821 15824 8919 0 -1 1077944320 23354 0 0 0 428 57 0 0 20 0 19 0 52993341 16058228736 56846 33554432000 4194304 4196468 140725849930752 140725849913296 140063031930615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
/proc/15824/statm: 3920466 56846 3216 1 0 3881322 0
[pid=15840] ppid=15824 vsize=91044 memory=69324 CPUtime=2515.19 cores=0,2,4,6
/proc/15840/stat : 15840 (minisat_release) R 15824 15824 8919 0 -1 4202496 153401 0 0 0 251502 17 0 0 20 0 1 0 52993517 93229056 17331 33554432000 4194304 4308513 140729723633008 140729723629248 4276392 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41758720 140729723634351 140729723634862 140729723634862 140729723637701 0
/proc/15840/statm: 22761 17331 352 28 0 19001 0
[pid=15824/tid=15826] ppid=15821 vsize=15681864 memory=227384 CPUtime=1.77 cores=0,2,4,6
/proc/15824/task/15826/stat : 15826 (java) S 15821 15824 8919 0 -1 1077944384 17209 0 0 0 171 6 0 0 20 0 19 0 52993341 16058228736 56846 33554432000 4194304 4196468 140725849930752 140063003769856 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15827] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15827/stat : 15827 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140063036173456 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15828] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15828/stat : 15828 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062850329616 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15829] ppid=15821 vsize=15681864 memory=56 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15829/stat : 15829 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062849276816 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15830] ppid=15821 vsize=15681864 memory=33 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15830/stat : 15830 (java) S 15821 15824 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52993343 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062848224016 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15831] ppid=15821 vsize=15681864 memory=69324 CPUtime=0.04 cores=0,2,4,6
/proc/15824/task/15831/stat : 15831 (java) S 15821 15824 8919 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 52993344 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061801699696 140063031941762 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15832] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15832/stat : 15832 (java) S 15821 15824 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52993345 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061702087712 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15833] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15833/stat : 15833 (java) S 15821 15824 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52993345 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061433652080 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15834] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15834/stat : 15834 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061059143504 140063031949211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15835] ppid=15821 vsize=15681864 memory=4140 CPUtime=0.65 cores=0,2,4,6
/proc/15824/task/15835/stat : 15835 (java) S 15821 15824 8919 0 -1 1077944384 1070 0 0 0 65 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061800647536 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15836] ppid=15821 vsize=15681864 memory=227384 CPUtime=0.59 cores=0,2,4,6
/proc/15824/task/15836/stat : 15836 (java) S 15821 15824 8919 0 -1 1077944384 779 0 0 0 59 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061799594736 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15837] ppid=15821 vsize=15681864 memory=69324 CPUtime=0.79 cores=0,2,4,6
/proc/15824/task/15837/stat : 15837 (java) S 15821 15824 8919 0 -1 1077944384 2711 0 0 0 78 1 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061798541936 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15838] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15838/stat : 15838 (java) S 15821 15824 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52993347 16058228736 56846 33554432000 4194304 4196468 140725849930752 140060561238752 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15839] ppid=15821 vsize=15681864 memory=227384 CPUtime=0.96 cores=0,2,4,6
/proc/15824/task/15839/stat : 15839 (java) S 15821 15824 8919 0 -1 1077944384 169 0 0 0 45 51 0 0 20 0 19 0 52993348 16058228736 56846 33554432000 4194304 4196468 140725849930752 140061797489328 140063031941762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15841] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15841/stat : 15841 (java) S 15821 15824 8919 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52993517 16058228736 56846 33554432000 4194304 4196468 140725849930752 140062440576192 140063031955225 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15843] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15843/stat : 15843 (java) S 15821 15824 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52993518 16058228736 56846 33554432000 4194304 4196468 140725849930752 140059890138288 140063031952541 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15844] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15844/stat : 15844 (java) S 15821 15824 8919 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 52993518 16058228736 56846 33554432000 4194304 4196468 140725849930752 140060292792368 140063031952541 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
[pid=15824/tid=15845] ppid=15821 vsize=15681864 memory=227384 CPUtime=0 cores=0,2,4,6
/proc/15824/task/15845/stat : 15845 (java) S 15821 15824 8919 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 52993520 16058228736 56846 33554432000 4194304 4196468 140725849930752 140059755925152 140063031940821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140725849932788 140725849933065 140725849933065 140725849935823 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15772908 KiB
Current children cumulated memory: 296708 KiB
Child status: 1
Real time (s): 2517.12
CPU time (s): 2520.08
CPU user time (s): 2519.32
CPU system time (s): 0.75829
CPU usage (%): 100.117
Max. virtual memory (cumulated for all children) (KiB): 15772908
Max. memory (cumulated for all children) (KiB): 296708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.32
system time used= 0.75829
maximum resident set size= 228104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58296
involuntary context switches= 3555
# summary of solver processes directly reported to runsolver:
# pid: 15824
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.32
# total CPU system time (s): 0.75829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4993 second user time and 24.7447 second system time
The end