0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 19:19:07 CEST 2018
0.67/0.55 c PID: 31849
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.56/0.96 c (0,0) Parsing End
1.56/0.97 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 233 ctr, max domain size 128
1.56/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.56/0.97 c (0,0) Constraint Name Generate Begin
1.56/0.98 c (0,0) Ctr:HOME/instance-4295256-1532539146.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.56/0.98 c (0,0) Constraint Name Generate End
1.56/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.56/0.98 c (0,0) CSP to CSPinCNF Begin
10.53/4.87 c (4,4) translated 24 (10%) constraints
13.61/7.73 c (7,7) translated 47 (20%) constraints
17.03/10.53 c (10,9) translated 70 (30%) constraints
19.77/13.25 c (12,12) translated 94 (40%) constraints
23.47/16.12 c (15,15) translated 117 (50%) constraints
26.09/18.72 c (18,17) translated 140 (60%) constraints
30.04/21.74 c (21,20) translated 164 (70%) constraints
30.74/22.44 c (21,21) translated 187 (80%) constraints
30.74/22.46 c (21,21) translated 210 (90%) constraints
30.74/22.49 c (21,21) translated 233 (100%) constraints
34.44/24.06 c (23,22) STATISTICS1:HOME/instance-4295256-1532539146.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,21400,523738,127,127,128,2,127:2016,127:1004248;2:542136,128:168;64:2;3:477792;2:45772;1:4,2:2016;1:1542352;0:172,
34.44/24.06 c (23,22) ===========================================
34.44/24.06 c (23,22) Both Encoding selects:
34.44/24.06 c (23,22) Order
34.44/24.06 c (23,22) ===========================================
36.33/24.92 c (24,23) translated 52374 (10%) constraints
36.93/25.56 c (25,23) translated 104748 (20%) constraints
37.69/26.20 c (25,24) translated 157122 (30%) constraints
38.31/26.84 c (26,25) translated 209496 (40%) constraints
38.91/27.48 c (26,25) translated 261869 (50%) constraints
39.63/28.12 c (27,26) translated 314243 (60%) constraints
40.22/28.75 c (28,27) translated 366617 (70%) constraints
40.82/29.39 c (28,27) translated 418991 (80%) constraints
41.53/30.03 c (29,28) translated 471365 (90%) constraints
42.12/30.67 c (30,29) translated 523738 (100%) constraints
42.12/30.67 c (30,29) CSP to CSPinCNF End
42.12/30.69 c (30,29) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523738 ctr, max domain size 127
42.12/30.69 c (30,29) Heap : 3158 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
42.12/30.69 c (30,29) CSPinCNF Propagation Begin
113.12/94.87 c (94,91) 0 values, 168 unsatisfiable literals, and 4 valid clauses are removed
113.12/94.87 c (94,91) CSPinCNF Propagation End
113.12/94.87 c (94,91) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523734 ctr, max domain size 127
113.12/94.87 c (94,91) Heap : 2036 MiB used (max 10953 MiB), NonHeap : 27 MiB used (max 0 MiB)
113.12/94.87 c (94,91) Simplify CSPinCNF Begin
114.20/95.62 c (95,91) Simplify CSPinCNF End
114.20/95.62 c (95,91) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
114.20/95.62 c (95,91) Heap : 2414 MiB used (max 10953 MiB), NonHeap : 28 MiB used (max 0 MiB)
114.20/95.62 c (95,91) Calculate Precise Domain Begin
114.20/95.62 c (95,91) 0 values are removed by re-calculation
114.20/95.62 c (95,91) Calculate Precise Domain End
114.20/95.63 c (95,91) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
114.20/95.63 c (95,91) Heap : 2414 MiB used (max 10953 MiB), NonHeap : 28 MiB used (max 0 MiB)
114.20/95.63 c (95,91) CSPinCNF to SatSolver Begin
117.01/97.33 c (96,93) 52777 (10 %) CSP clauses are encoded (33432 SAT variables, 568808 SAT clauses)
117.25/97.60 c (97,93) 105554 (20 %) CSP clauses are encoded (33432 SAT variables, 621585 SAT clauses)
117.56/97.86 c (97,94) 158330 (30 %) CSP clauses are encoded (33432 SAT variables, 674361 SAT clauses)
117.88/98.13 c (97,94) 211107 (40 %) CSP clauses are encoded (33432 SAT variables, 727138 SAT clauses)
118.06/98.39 c (97,94) 263883 (50 %) CSP clauses are encoded (33432 SAT variables, 779914 SAT clauses)
118.36/98.66 c (98,94) 316660 (60 %) CSP clauses are encoded (33432 SAT variables, 832691 SAT clauses)
118.67/98.92 c (98,95) 369437 (70 %) CSP clauses are encoded (33432 SAT variables, 885468 SAT clauses)
118.88/99.18 c (98,95) 422213 (80 %) CSP clauses are encoded (33432 SAT variables, 938244 SAT clauses)
119.17/99.45 c (98,95) 474990 (90 %) CSP clauses are encoded (33432 SAT variables, 991021 SAT clauses)
119.47/99.71 c (99,95) 527766 (100 %) CSP clauses are encoded (33432 SAT variables, 1043797 SAT clauses)
119.47/99.71 c (99,95) CSPinCNF to SatSolver End
119.47/99.71 c (99,95) Heap : 2828 MiB used (max 11009 MiB), NonHeap : 29 MiB used (max 0 MiB)
121.13/100.95 c (100,97) STATISTICS2:HOME/instance-4295256-1532539146.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,25432,527766,127,127,127,2,127:4032,127:1008280;2:550200,127:168;64:2;3:477792;2:49804,2:4032;1:1550416,
121.13/100.95 c (100,97) SatSolver.solve Begin
121.13/100.95 c (100,97) 33432 bool, 1043798 clause
121.13/100.95 c (100,97) 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-4295256-1532539146.xml-scop-31849.cnf HOME/instance-4295256-1532539146.xml-scop-31849.cnf.out
760.71/740.01 c (739,0) receiving signal SIGTERM
760.71/740.01 s UNKNOWN
760.71/740.01 c (739,97) SatSolver is killed by some reasons.
760.71/740.01 c (739,97) 0,0,30,94,95,95,99,TO,TO,STOP-AFTER(DIMACS)
760.71/740.01 c END-Prog: Wed Jul 25 19:31:27 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 (4599 MiB free)
memory of node 1: 16384 MiB (15592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295256-1532539146/watcher-4295256-1532539146 -o /tmp/evaluation-result-4295256-1532539146/solver-4295256-1532539146 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295256-1532539146.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31849, runsolver pid=31846
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 3.11 4.39 4.57 3/220 31864
/proc/meminfo: memFree=20616740/32770624 swapFree=67076460/67108860
[pid=31849] ppid=31846 vsize=15011656 memory=73116 CPUtime=0.12 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 6961 0 0 0 10 2 0 0 20 0 15 0 71477814 15371935744 18279 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3752914 18279 2780 1 0 3715374 0
[pid=31849/tid=31851] ppid=31846 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 29212 0 -1 4202560 5097 0 0 0 8 1 0 0 20 0 15 0 71477814 15371935744 18345 33554432000 4194304 4196468 140724545050512 139915299389832 139915307852688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 18345 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 18345 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 18345 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 18345 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477817 15371935744 18345 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31857] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71477818 15371935744 18345 33554432000 4194304 4196468 140724545050512 139913861260448 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31858] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477818 15371935744 18345 33554432000 4194304 4196468 140724545050512 139913592824560 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31859] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477820 15371935744 18345 33554432000 4194304 4196468 140724545050512 139913218316240 139915327596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31860] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 29212 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 71477820 15371935744 18345 33554432000 4194304 4196468 140724545050512 139914364869360 139915327588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31861] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477820 15371935744 18411 33554432000 4194304 4196468 140724545050512 139914363816816 139915327588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31862] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0.01 cores=1,3,5,7
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 29212 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 71477820 15371935744 18411 33554432000 4194304 4196468 140724545050512 139914362763760 139915327588994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31863] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477821 15371935744 18411 33554432000 4194304 4196468 140724545050512 139912720411488 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31864] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477821 15371935744 18411 33554432000 4194304 4196468 140724545050512 139914361711152 139915327588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73116 KiB
[startup+0.210497 s]*
/proc/loadavg: 3.11 4.39 4.57 3/220 31864
/proc/meminfo: memFree=20603160/32770624 swapFree=67076460/67108860
[pid=31849] ppid=31846 vsize=15011656 memory=85704 CPUtime=0.26 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 10359 0 0 0 23 3 0 0 20 0 15 0 71477814 15371935744 21426 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3752914 21426 2905 1 0 3715374 0
[pid=31849/tid=31851] ppid=31846 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 29212 0 -1 4202560 8283 0 0 0 17 2 0 0 20 0 15 0 71477814 15371935744 21426 33554432000 4194304 4196468 140724545050512 139915299404240 139915327589782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 21426 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15011656 memory=4049775460958746272 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 21426 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 21426 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 21426 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477817 15371935744 21426 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31857] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71477818 15371935744 21426 33554432000 4194304 4196468 140724545050512 139913861260448 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31858] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477818 15371935744 21426 33554432000 4194304 4196468 140724545050512 139913592824560 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31859] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477820 15371935744 21426 33554432000 4194304 4196468 140724545050512 139913218316240 139915327596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31860] ppid=31846 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31849/task/31860/stat : 31860 (java) R 31846 31849 29212 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 15 0 71477820 15371935744 21426 33554432000 4194304 4196468 140724545050512 139914364869360 139915327588994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31861] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31861/stat : 31861 (java) R 31846 31849 29212 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 71477820 15371935744 21426 33554432000 4194304 4196468 140724545050512 139914363816816 139915320562889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31862] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0.03 cores=1,3,5,7
/proc/31849/task/31862/stat : 31862 (java) R 31846 31849 29212 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 71477820 15371935744 21426 33554432000 4194304 4196468 140724545050512 139914362763760 139915327599194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31863] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477821 15371935744 21426 33554432000 4194304 4196468 140724545050512 139912720411488 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31864] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477821 15371935744 21426 33554432000 4194304 4196468 140724545050512 139914361711152 139915327588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85704 KiB
[startup+0.310557 s]*
/proc/loadavg: 3.11 4.39 4.57 3/220 31864
/proc/meminfo: memFree=20599484/32770624 swapFree=67076460/67108860
[pid=31849] ppid=31846 vsize=15011656 memory=89768 CPUtime=0.43 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 10960 0 0 0 40 3 0 0 20 0 15 0 71477814 15371935744 22442 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3752914 22442 3005 1 0 3715374 0
[pid=31849/tid=31851] ppid=31846 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 29212 0 -1 4202560 8712 0 0 0 27 2 0 0 20 0 15 0 71477814 15371935744 22442 33554432000 4194304 4196468 140724545050512 139915299405472 139915327599194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 22442 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15011656 memory=3616866946777757344 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 22442 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 22442 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15371935744 22442 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477817 15371935744 22442 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31857] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71477818 15371935744 22442 33554432000 4194304 4196468 140724545050512 139913861260448 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31858] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477818 15371935744 22442 33554432000 4194304 4196468 140724545050512 139913592824560 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31859] ppid=31846 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477820 15371935744 22442 33554432000 4194304 4196468 140724545050512 139913218316240 139915327596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31860] ppid=31846 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31849/task/31860/stat : 31860 (java) R 31846 31849 29212 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 71477820 15371935744 22442 33554432000 4194304 4196468 140724545050512 139914364869360 139915327588994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31861] ppid=31846 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31849/task/31861/stat : 31861 (java) R 31846 31849 29212 0 -1 4202560 151 0 0 0 3 0 0 0 20 0 15 0 71477820 15371935744 22442 33554432000 4194304 4196468 140724545050512 139914363816816 139915310962640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31862] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0.07 cores=1,3,5,7
/proc/31849/task/31862/stat : 31862 (java) R 31846 31849 29212 0 -1 4202560 335 0 0 0 7 0 0 0 20 0 15 0 71477820 15371935744 22442 33554432000 4194304 4196468 140724545050512 139914362763760 139915327589782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31863] ppid=31846 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477821 15371935744 22442 33554432000 4194304 4196468 140724545050512 139912720411488 139915327588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31864] ppid=31846 vsize=15011656 memory=139749788890752 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477821 15371935744 22442 33554432000 4194304 4196468 140724545050512 139914361711152 139915327588994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89768 KiB
[startup+0.700894 s]
/proc/loadavg: 3.11 4.39 4.57 3/220 31864
/proc/meminfo: memFree=20574804/32770624 swapFree=67076460/67108860
[pid=31849] ppid=31846 vsize=15020052 memory=129860 CPUtime=1.01 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 18207 0 0 0 95 6 0 0 20 0 15 0 71477814 15380533248 32465 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3755013 32465 3163 1 0 3716398 0
[pid=31849/tid=31851] ppid=31846 vsize=15020052 memory=276570124095439 CPUtime=0.67 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 29212 0 -1 4202560 15470 0 0 0 62 5 0 0 20 0 15 0 71477814 15380533248 32465 33554432000 4194304 4196468 140724545050512 139915299412032 139915311658334 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15020052 memory=397245 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15380533248 32465 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15380533248 32465 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15380533248 32465 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15380533248 32465 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71477817 15380533248 32465 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31857] ppid=31846 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71477818 15380533248 32465 33554432000 4194304 4196468 140724545050512 139913861260448 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31858] ppid=31846 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477818 15380533248 32465 33554432000 4194304 4196468 140724545050512 139913592824560 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31859] ppid=31846 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477820 15380533248 32465 33554432000 4194304 4196468 140724545050512 139913218316240 139915327596443 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31860] ppid=31846 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31849/task/31860/stat : 31860 (java) R 31846 31849 29212 0 -1 4202560 686 0 0 0 9 0 0 0 20 0 15 0 71477820 15380533248 32465 33554432000 4194304 4196468 140724545050512 139914364867760 139915327599194 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31861] ppid=31846 vsize=15020052 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 29212 0 -1 1077944384 218 0 0 0 6 0 0 0 20 0 15 0 71477820 15380533248 32465 33554432000 4194304 4196468 140724545050512 139914363816816 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31862] ppid=31846 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/31849/task/31862/stat : 31862 (java) R 31846 31849 29212 0 -1 1077944384 493 0 0 0 16 0 0 0 20 0 15 0 71477820 15380533248 32465 33554432000 4194304 4196468 140724545050512 139914362763760 139915327588994 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31863] ppid=31846 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71477821 15380533248 32465 33554432000 4194304 4196468 140724545050512 139912720411488 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31864] ppid=31846 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477821 15380533248 32465 33554432000 4194304 4196468 140724545050512 139914361711152 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129860 KiB
[startup+1.50145 s]
/proc/loadavg: 3.11 4.39 4.57 3/220 31864
/proc/meminfo: memFree=20543832/32770624 swapFree=67076460/67108860
[pid=31849] ppid=31846 vsize=15024148 memory=181736 CPUtime=3.13 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 22467 0 0 0 304 9 0 0 20 0 15 0 71477814 15384727552 45434 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3756037 45434 3202 1 0 3717422 0
[pid=31849/tid=31851] ppid=31846 vsize=15024148 memory=7234278993258637652 CPUtime=1.46 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 29212 0 -1 4202560 16688 0 0 0 140 6 0 0 20 0 15 0 71477814 15384727552 45434 33554432000 4194304 4196468 140724545050512 139915299411536 139914823984888 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15024148 memory=7089319380252649812 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15384727552 45434 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15024148 memory=6008734719937242982 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71477816 15384727552 45434 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15024148 memory=7451887742073787489 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15384727552 45434 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15024148 memory=6935652554312077392 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71477816 15384727552 45434 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15024148 memory=7593754402966885484 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71477817 15384727552 45434 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
################
# More data... #
################
/proc/meminfo: memFree=15909876/32770624 swapFree=67076464/67108860
[pid=31849] ppid=31846 vsize=15683912 memory=4517512 CPUtime=121.6 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 69184 0 0 0 11909 251 0 0 20 0 19 0 71477814 16060325888 1129378 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3920978 1129378 3264 1 0 3881834 0
[pid=31874] ppid=31849 vsize=187748 memory=157808 CPUtime=541.34 cores=1,3,5,7
/proc/31874/stat : 31874 (minisat_release) R 31849 31849 29212 0 -1 4202496 237319 0 0 0 54088 46 0 0 20 0 1 0 71487911 192253952 39452 33554432000 4194304 4308513 140729491891152 140729491888056 140547537319014 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12402688 140729491894959 140729491895470 140729491895470 140729491898309 0
/proc/31874/statm: 46937 39452 353 28 0 43177 0
[pid=31849/tid=31851] ppid=31846 vsize=15683912 memory=4517512 CPUtime=97.73 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) S 31846 31849 29212 0 -1 1077944384 28295 0 0 0 9718 55 0 0 20 0 19 0 71477814 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915299417088 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15683912 memory=4517512 CPUtime=3.1 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 1455 0 0 0 269 41 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15683912 memory=155760 CPUtime=3.12 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 1650 0 0 0 270 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15683912 memory=4517512 CPUtime=3.14 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 2593 0 0 0 272 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15683912 memory=4517512 CPUtime=3.15 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 2398 0 0 0 273 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15683912 memory=157808 CPUtime=0.06 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 549 0 0 0 5 1 0 0 20 0 19 0 71477817 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31857] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71477818 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913861260512 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31858] ppid=31846 vsize=15683912 memory=121616 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71477818 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913592824576 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31859] ppid=31846 vsize=15683912 memory=279499292987744 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913218316240 139915327596443 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31860] ppid=31846 vsize=15683912 memory=7670301315261816931 CPUtime=4.52 cores=1,3,5,7
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 29212 0 -1 1077944384 9142 0 0 0 450 2 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914364869360 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31861] ppid=31846 vsize=15683912 memory=4517512 CPUtime=4.85 cores=1,3,5,7
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 29212 0 -1 1077944384 8632 0 0 0 483 2 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914363816816 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31862] ppid=31846 vsize=15683912 memory=157736 CPUtime=1.47 cores=1,3,5,7
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 29212 0 -1 1077944384 12920 0 0 0 144 3 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914362763760 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31863] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71477821 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912720411488 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31864] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0.37 cores=1,3,5,7
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 29212 0 -1 1077944384 141 0 0 0 16 21 0 0 20 0 19 0 71477821 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914361711152 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31875] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31875/stat : 31875 (java) S 31846 31849 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914343347520 139915327602457 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31877] ppid=31846 vsize=15683912 memory=155760 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31877/stat : 31877 (java) S 31846 31849 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912317746480 139915327599773 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31878] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31878/stat : 31878 (java) S 31846 31849 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912183525296 139915327599773 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31879] ppid=31846 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31879/stat : 31879 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71487913 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139911915101984 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
Current children cumulated CPU time: 662.94 s
Current children cumulated vsize: 15871660 KiB
Current children cumulated memory: 4675320 KiB
[startup+702.301 s]
/proc/loadavg: 2.01 2.23 3.20 3/226 31899
/proc/meminfo: memFree=15908620/32770624 swapFree=67076476/67108860
[pid=31849] ppid=31846 vsize=15683912 memory=4517512 CPUtime=121.64 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 69186 0 0 0 11911 253 0 0 20 0 19 0 71477814 16060325888 1129378 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3920978 1129378 3264 1 0 3881834 0
[pid=31874] ppid=31849 vsize=187748 memory=157748 CPUtime=601.35 cores=1,3,5,7
/proc/31874/stat : 31874 (minisat_release) R 31849 31849 29212 0 -1 4202496 242503 0 0 0 60085 50 0 0 20 0 1 0 71487911 192253952 39437 33554432000 4194304 4308513 140729491891152 140729491888056 4276089 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12402688 140729491894959 140729491895470 140729491895470 140729491898309 0
/proc/31874/statm: 46937 39437 353 28 0 43177 0
[pid=31849/tid=31851] ppid=31846 vsize=15683912 memory=4517512 CPUtime=97.73 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) S 31846 31849 29212 0 -1 1077944384 28295 0 0 0 9718 55 0 0 20 0 19 0 71477814 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915299417088 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15683912 memory=4517512 CPUtime=3.1 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 1455 0 0 0 269 41 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15683912 memory=4517512 CPUtime=3.12 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 1650 0 0 0 270 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15683912 memory=4517512 CPUtime=3.14 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 2593 0 0 0 272 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15683912 memory=4517512 CPUtime=3.15 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 2398 0 0 0 273 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0.06 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 549 0 0 0 5 1 0 0 20 0 19 0 71477817 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31857] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71477818 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913861260512 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31858] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71477818 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913592824576 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31859] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913218316240 139915327596443 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31860] ppid=31846 vsize=15683912 memory=155700 CPUtime=4.52 cores=1,3,5,7
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 29212 0 -1 1077944384 9142 0 0 0 450 2 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914364869360 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31861] ppid=31846 vsize=15683912 memory=4517512 CPUtime=4.85 cores=1,3,5,7
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 29212 0 -1 1077944384 8632 0 0 0 483 2 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914363816816 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31862] ppid=31846 vsize=15683912 memory=4517512 CPUtime=1.47 cores=1,3,5,7
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 29212 0 -1 1077944384 12920 0 0 0 144 3 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914362763760 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31863] ppid=31846 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71477821 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912720411488 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31864] ppid=31846 vsize=15683912 memory=288230621803970871 CPUtime=0.4 cores=1,3,5,7
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 29212 0 -1 1077944384 143 0 0 0 18 22 0 0 20 0 19 0 71477821 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914361711152 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31875] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31875/stat : 31875 (java) S 31846 31849 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914343347520 139915327602457 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31877] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31877/stat : 31877 (java) S 31846 31849 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912317746480 139915327599773 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31878] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31878/stat : 31878 (java) S 31846 31849 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912183525296 139915327599773 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31879] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31879/stat : 31879 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71487913 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139911915101984 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
Current children cumulated CPU time: 722.99 s
Current children cumulated vsize: 15871660 KiB
Current children cumulated memory: 4675260 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+740.001 s]*
/proc/loadavg: 2.01 2.20 3.14 3/226 31900
/proc/meminfo: memFree=15874380/32770624 swapFree=67076476/67108860
[pid=31849] ppid=31846 vsize=15683912 memory=4517512 CPUtime=121.66 cores=1,3,5,7
/proc/31849/stat : 31849 (java) S 31846 31849 29212 0 -1 1077944320 69190 0 0 0 11912 254 0 0 20 0 19 0 71477814 16060325888 1129378 33554432000 4194304 4196468 140724545050512 140724545033056 139915327577847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
/proc/31849/statm: 3920978 1129378 3264 1 0 3881834 0
[pid=31874] ppid=31849 vsize=237068 memory=194024 CPUtime=639.05 cores=1,3,5,7
/proc/31874/stat : 31874 (minisat_release) R 31849 31849 29212 0 -1 4202496 244103 0 0 0 63853 52 0 0 20 0 1 0 71487911 242757632 48506 33554432000 4194304 4308513 140729491891152 140729491888056 4280595 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12402688 140729491894959 140729491895470 140729491895470 140729491898309 0
/proc/31874/statm: 59267 48506 353 28 0 55507 0
[pid=31849/tid=31851] ppid=31846 vsize=15683912 memory=-7824251494390454627 CPUtime=97.73 cores=1,3,5,7
/proc/31849/task/31851/stat : 31851 (java) S 31846 31849 29212 0 -1 1077944384 28295 0 0 0 9718 55 0 0 20 0 19 0 71477814 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915299417088 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31852] ppid=31846 vsize=15683912 memory=4126316290023845779 CPUtime=3.1 cores=1,3,5,7
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 29212 0 -1 1077944384 1455 0 0 0 269 41 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915331820560 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31853] ppid=31846 vsize=15683912 memory=1760 CPUtime=3.12 cores=1,3,5,7
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 29212 0 -1 1077944384 1650 0 0 0 270 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915145976976 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31854] ppid=31846 vsize=15683912 memory=960 CPUtime=3.14 cores=1,3,5,7
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 29212 0 -1 1077944384 2593 0 0 0 272 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915144923920 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31855] ppid=31846 vsize=15683912 memory=1220 CPUtime=3.15 cores=1,3,5,7
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 29212 0 -1 1077944384 2398 0 0 0 273 42 0 0 20 0 19 0 71477816 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139915143871376 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31856] ppid=31846 vsize=15683912 memory=1548 CPUtime=0.06 cores=1,3,5,7
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 29212 0 -1 1077944384 549 0 0 0 5 1 0 0 20 0 19 0 71477817 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914365921520 139915327588994 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31857] ppid=31846 vsize=15683912 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71477818 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913861260512 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31858] ppid=31846 vsize=15683912 memory=3700 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71477818 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913592824576 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31859] ppid=31846 vsize=15683912 memory=844 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139913218316240 139915327596443 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31860] ppid=31846 vsize=15683912 memory=1460 CPUtime=4.52 cores=1,3,5,7
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 29212 0 -1 1077944384 9142 0 0 0 450 2 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914364869360 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31861] ppid=31846 vsize=15683912 memory=2160 CPUtime=4.85 cores=1,3,5,7
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 29212 0 -1 1077944384 8632 0 0 0 483 2 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914363816816 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31862] ppid=31846 vsize=15683912 memory=6768 CPUtime=1.47 cores=1,3,5,7
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 29212 0 -1 1077944384 12920 0 0 0 144 3 0 0 20 0 19 0 71477820 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914362763760 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31863] ppid=31846 vsize=15683912 memory=824 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71477821 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912720411488 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31864] ppid=31846 vsize=15683912 memory=-7824251494390454627 CPUtime=0.42 cores=1,3,5,7
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 29212 0 -1 1077944384 147 0 0 0 19 23 0 0 20 0 19 0 71477821 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914361711152 139915327588994 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31875] ppid=31846 vsize=15683912 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31875/stat : 31875 (java) S 31846 31849 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139914343347520 139915327602457 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31877] ppid=31846 vsize=15683912 memory=9988 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31877/stat : 31877 (java) S 31846 31849 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912317746480 139915327599773 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31878] ppid=31846 vsize=15683912 memory=15104 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31878/stat : 31878 (java) S 31846 31849 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71487911 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139912183525296 139915327599773 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
[pid=31849/tid=31879] ppid=31846 vsize=15683912 memory=4517512 CPUtime=0 cores=1,3,5,7
/proc/31849/task/31879/stat : 31879 (java) S 31846 31849 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71487913 16060325888 1129378 33554432000 4194304 4196468 140724545050512 139911915101984 139915327588053 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140724545057780 140724545058057 140724545058057 140724545060815 0
Current children cumulated CPU time: 760.71 s
Current children cumulated vsize: 15920980 KiB
Current children cumulated memory: 4711536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+740.044 s]
# the end of solver process 31849 was just reported to runsolver
# cumulated CPU time of all completed processes: user=757.673 s, system=3.1035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 740.044
CPU time (s): 760.776
CPU user time (s): 757.673
CPU system time (s): 3.1035
CPU usage (%): 102.802
Max. virtual memory (cumulated for all children) (KiB): 15920980
Max. memory (cumulated for all children) (KiB): 4711536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 757.673
system time used= 3.1035
maximum resident set size= 4518104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22140
involuntary context switches= 454
# summary of solver processes directly reported to runsolver:
# pid: 31849
# total CPU time (s): 760.776
# total CPU user time (s): 757.673
# total CPU system time (s): 3.1035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14919 second user time and 7.61494 second system time
The end