0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Jul 26 03:10:49 CEST 2018
0.67/0.55 c PID: 2893
0.67/0.55 c IP: 172.20.3.150
0.67/0.55 c HOST: node150.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.49/0.91 c (0,0) Parsing End
1.49/0.92 c (0,0) CSP: 41 int (0 aux), 0 bool (0 aux), 121 ctr, max domain size 86
1.49/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.49/0.92 c (0,0) Constraint Name Generate Begin
1.49/0.92 c (0,0) Ctr:HOME/instance-4295311-1532567448.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.49/0.92 c (0,0) Constraint Name Generate End
1.49/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.49/0.92 c (0,0) CSP to CSPinCNF Begin
5.90/2.47 c (1,1) translated 13 (10%) constraints
7.90/3.19 c (2,2) translated 25 (20%) constraints
8.59/3.79 c (3,3) translated 37 (30%) constraints
9.25/4.40 c (3,3) translated 49 (40%) constraints
9.88/4.99 c (4,4) translated 61 (50%) constraints
10.58/5.59 c (5,5) translated 73 (60%) constraints
11.15/6.05 c (5,5) translated 85 (70%) constraints
11.15/6.06 c (5,5) translated 97 (80%) constraints
11.15/6.08 c (5,5) translated 109 (90%) constraints
11.15/6.10 c (5,5) translated 121 (100%) constraints
12.59/6.54 c (6,5) STATISTICS1:HOME/instance-4295311-1532567448.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,6201,107746,86,86,78,2,86:820,86:202930;2:112400,78:80;41:2;3:93760;2:13904,2:820;1:313690;0:80,
12.59/6.54 c (6,5) ===========================================
12.59/6.54 c (6,5) Order
12.59/6.54 c (6,5) ===========================================
13.46/6.84 c (6,6) translated 10775 (10%) constraints
13.76/7.00 c (6,6) translated 21550 (20%) constraints
14.06/7.14 c (6,6) translated 32324 (30%) constraints
14.15/7.28 c (6,6) translated 43099 (40%) constraints
14.41/7.42 c (6,6) translated 53873 (50%) constraints
14.51/7.57 c (7,7) translated 64648 (60%) constraints
14.70/7.71 c (7,7) translated 75423 (70%) constraints
15.33/8.00 c (7,7) translated 86197 (80%) constraints
15.61/8.13 c (7,7) translated 96972 (90%) constraints
15.69/8.27 c (7,7) translated 107746 (100%) constraints
15.69/8.27 c (7,7) CSP to CSPinCNF End
15.69/8.28 c (7,7) CSP: 41 int (0 aux), 6160 bool (6160 aux), 107746 ctr, max domain size 86
15.69/8.28 c (7,7) Heap : 302 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.69/8.29 c (7,7) CSPinCNF Propagation Begin
16.70/8.70 c (8,7) 0 values, 80 unsatisfiable literals, and 0 valid clauses are removed
16.70/8.70 c (8,7) CSPinCNF Propagation End
16.70/8.70 c (8,7) CSP: 41 int (0 aux), 6160 bool (6160 aux), 107746 ctr, max domain size 86
16.70/8.70 c (8,7) Heap : 744 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.70/8.70 c (8,7) Simplify CSPinCNF Begin
16.97/8.89 c (8,8) Simplify CSPinCNF End
16.97/8.89 c (8,8) CSP: 41 int (0 aux), 7800 bool (7800 aux), 109386 ctr, max domain size 86
16.97/8.89 c (8,8) Heap : 854 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.97/8.89 c (8,8) Calculate Precise Domain Begin
16.97/8.89 c (8,8) 0 values are removed by re-calculation
16.97/8.89 c (8,8) Calculate Precise Domain End
16.97/8.89 c (8,8) CSP: 41 int (0 aux), 7800 bool (7800 aux), 109386 ctr, max domain size 86
16.97/8.89 c (8,8) Heap : 854 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.97/8.89 c (8,8) CSPinCNF to SatSolver Begin
18.40/9.45 c (8,8) 10939 (10 %) CSP clauses are encoded (11285 SAT variables, 153782 SAT clauses)
18.64/9.52 c (8,8) 21878 (20 %) CSP clauses are encoded (11285 SAT variables, 164721 SAT clauses)
18.64/9.57 c (9,8) 32816 (30 %) CSP clauses are encoded (11285 SAT variables, 175659 SAT clauses)
18.76/9.61 c (9,8) 43755 (40 %) CSP clauses are encoded (11285 SAT variables, 186598 SAT clauses)
18.76/9.66 c (9,8) 54693 (50 %) CSP clauses are encoded (11285 SAT variables, 197536 SAT clauses)
18.87/9.71 c (9,8) 65632 (60 %) CSP clauses are encoded (11285 SAT variables, 208475 SAT clauses)
18.87/9.76 c (9,9) 76571 (70 %) CSP clauses are encoded (11285 SAT variables, 219414 SAT clauses)
18.97/9.81 c (9,9) 87509 (80 %) CSP clauses are encoded (11285 SAT variables, 230352 SAT clauses)
18.97/9.86 c (9,9) 98448 (90 %) CSP clauses are encoded (11285 SAT variables, 241291 SAT clauses)
19.09/9.91 c (9,9) 109386 (100 %) CSP clauses are encoded (11285 SAT variables, 252229 SAT clauses)
19.09/9.91 c (9,9) CSPinCNF to SatSolver End
19.09/9.91 c (9,9) Heap : 1627 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.57/10.18 c (9,9) STATISTICS2:HOME/instance-4295311-1532567448.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,7841,109386,86,86,77,2,86:1640,86:204570;2:115680,77:80;41:2;3:93760;2:15544,2:1640;1:316970,
19.57/10.18 c (9,9) SatSolver.solve Begin
19.57/10.18 c (9,9) 11285 bool, 252230 clause
19.57/10.19 c (9,9) 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-4295311-1532567448.xml-scop-2893.cnf HOME/instance-4295311-1532567448.xml-scop-2893.cnf.out
2520.03/2509.30 c (2508,0) receiving signal SIGTERM
2520.03/2509.30 s UNKNOWN
2520.03/2509.30 c (2508,9) SatSolver is killed by some reasons.
2520.03/2509.30 c (2508,9) 0,0,7,8,8,8,9,TO,TO,STOP-AFTER(DIMACS)
2520.03/2509.30 c END-Prog: Thu Jul 26 03:52:38 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 (9872 MiB free)
memory of node 1: 16384 MiB (7930 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295311-1532567448/watcher-4295311-1532567448 -o /tmp/evaluation-result-4295311-1532567448/solver-4295311-1532567448 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295311-1532567448.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=2893, runsolver pid=2890
[startup+0.100127 s]*
/proc/loadavg: 1.91 1.97 2.08 3/216 2908
/proc/meminfo: memFree=18169288/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15011656 memory=74184 CPUtime=0.11 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 6789 0 0 0 9 2 0 0 20 0 15 0 74308085 15371935744 18546 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3752914 18546 2754 1 0 3715374 0
[pid=2893/tid=2895] ppid=2890 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) R 2890 2893 32649 0 -1 4202560 5246 0 0 0 7 2 0 0 20 0 15 0 74308086 15371935744 18942 33554432000 4194304 4196468 140731742932960 139784671930768 139784678529665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 18942 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 18942 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 18942 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 18942 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 18942 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2901] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2901/stat : 2901 (java) S 2890 2893 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 18942 33554432000 4194304 4196468 140731742932960 139783334520480 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2902] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2902/stat : 2902 (java) S 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 18942 33554432000 4194304 4196468 140731742932960 139783066084592 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2903] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2903/stat : 2903 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 18942 33554432000 4194304 4196468 140731742932960 139782691576272 139784700123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2904] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2904/stat : 2904 (java) S 2890 2893 32649 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 18942 33554432000 4194304 4196468 140731742932960 139783904905456 139784700115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2905] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2905/stat : 2905 (java) R 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 18942 33554432000 4194304 4196468 140731742932960 139783903852912 139784700115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2906] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0.01 cores=0,2,4,6
/proc/2893/task/2906/stat : 2906 (java) S 2890 2893 32649 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 74308092 15371935744 18942 33554432000 4194304 4196468 140731742932960 139783902799856 139784700115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2907] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2907/stat : 2907 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 18942 33554432000 4194304 4196468 140731742932960 139782193670496 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2908] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2908/stat : 2908 (java) S 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 18942 33554432000 4194304 4196468 140731742932960 139783901748272 139784700115586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74184 KiB
[startup+0.210366 s]*
/proc/loadavg: 1.91 1.97 2.08 3/216 2908
/proc/meminfo: memFree=18155584/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15011656 memory=86768 CPUtime=0.26 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 10099 0 0 0 23 3 0 0 20 0 15 0 74308085 15371935744 21692 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3752914 21692 2890 1 0 3715374 0
[pid=2893/tid=2895] ppid=2890 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) R 2890 2893 32649 0 -1 4202560 8014 0 0 0 17 3 0 0 20 0 15 0 74308086 15371935744 21692 33554432000 4194304 4196468 140731742932960 139784671930352 139784700116374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15011656 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 21692 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15011656 memory=139994043433677 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 21692 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 21692 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 21692 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 21692 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2901] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2901/stat : 2901 (java) S 2890 2893 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 21692 33554432000 4194304 4196468 140731742932960 139783334520480 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2902] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2902/stat : 2902 (java) S 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 21692 33554432000 4194304 4196468 140731742932960 139783066084592 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2903] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2903/stat : 2903 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 21692 33554432000 4194304 4196468 140731742932960 139782691576272 139784700123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2904] ppid=2890 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2893/task/2904/stat : 2904 (java) R 2890 2893 32649 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 74308092 15371935744 21692 33554432000 4194304 4196468 140731742932960 139783904905456 139784700115586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2905] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2905/stat : 2905 (java) R 2890 2893 32649 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 21692 33554432000 4194304 4196468 140731742932960 139783903852912 139784684000451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2906] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0.03 cores=0,2,4,6
/proc/2893/task/2906/stat : 2906 (java) R 2890 2893 32649 0 -1 4202560 282 0 0 0 3 0 0 0 20 0 15 0 74308092 15371935744 21692 33554432000 4194304 4196468 140731742932960 139783902799856 139784700125786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2907] ppid=2890 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2907/stat : 2907 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 21692 33554432000 4194304 4196468 140731742932960 139782193670496 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2908] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2908/stat : 2908 (java) S 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 21692 33554432000 4194304 4196468 140731742932960 139783901748272 139784700115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86768 KiB
[startup+0.310389 s]*
/proc/loadavg: 1.91 1.97 2.08 3/216 2908
/proc/meminfo: memFree=18152404/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15011656 memory=90240 CPUtime=0.43 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 10628 0 0 0 39 4 0 0 20 0 15 0 74308085 15371935744 22560 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3752914 22560 2994 1 0 3715374 0
[pid=2893/tid=2895] ppid=2890 vsize=15011656 memory=2241 CPUtime=0.3 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) R 2890 2893 32649 0 -1 4202560 8387 0 0 0 27 3 0 0 20 0 15 0 74308086 15371935744 22625 33554432000 4194304 4196468 140731742932960 139784671908592 139784684184926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15011656 memory=4294967363 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 22625 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15011656 memory=279987965639248 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 22625 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 22625 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15371935744 22625 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15011656 memory=139994043401856 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 22625 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2901] ppid=2890 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2901/stat : 2901 (java) S 2890 2893 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 22625 33554432000 4194304 4196468 140731742932960 139783334520480 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2902] ppid=2890 vsize=15011656 memory=67300 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2902/stat : 2902 (java) S 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308089 15371935744 22625 33554432000 4194304 4196468 140731742932960 139783066084592 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2903] ppid=2890 vsize=15011656 memory=69604 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2903/stat : 2903 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 22625 33554432000 4194304 4196468 140731742932960 139782691576272 139784700123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2904] ppid=2890 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2893/task/2904/stat : 2904 (java) R 2890 2893 32649 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 74308092 15371935744 22625 33554432000 4194304 4196468 140731742932960 139783904905456 139784700115586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2905] ppid=2890 vsize=15011656 memory=139993922281391 CPUtime=0.01 cores=0,2,4,6
/proc/2893/task/2905/stat : 2905 (java) R 2890 2893 32649 0 -1 4202560 68 0 0 0 1 0 0 0 20 0 15 0 74308092 15371935744 22625 33554432000 4194304 4196468 140731742932960 139783903852912 139784677683600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2906] ppid=2890 vsize=15011656 memory=279987965669216 CPUtime=0.07 cores=0,2,4,6
/proc/2893/task/2906/stat : 2906 (java) R 2890 2893 32649 0 -1 4202560 302 0 0 0 7 0 0 0 20 0 15 0 74308092 15371935744 22625 33554432000 4194304 4196468 140731742932960 139783902799856 139784685270107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2907] ppid=2890 vsize=15011656 memory=139993922262799 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2907/stat : 2907 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 22625 33554432000 4194304 4196468 140731742932960 139782193670496 139784700114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2908] ppid=2890 vsize=15011656 memory=139994043401865 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2908/stat : 2908 (java) R 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308092 15371935744 22625 33554432000 4194304 4196468 140731742932960 139783901748272 139784700115586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90240 KiB
[startup+0.704864 s]
/proc/loadavg: 1.91 1.97 2.08 3/216 2908
/proc/meminfo: memFree=18128004/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15020052 memory=129900 CPUtime=1 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 17745 0 0 0 94 6 0 0 20 0 15 0 74308085 15380533248 32475 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3755013 32475 3157 1 0 3716398 0
[pid=2893/tid=2895] ppid=2890 vsize=15020052 memory=152449327308467 CPUtime=0.68 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) R 2890 2893 32649 0 -1 4202560 15012 0 0 0 63 5 0 0 20 0 15 0 74308086 15380533248 32475 33554432000 4194304 4196468 140731742932960 139784671940352 139784700125786 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15020052 memory=433320 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15380533248 32475 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15380533248 32475 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15380533248 32475 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15020052 memory=279987844284656 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15380533248 32475 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74308089 15380533248 32475 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2901] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2901/stat : 2901 (java) S 2890 2893 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74308089 15380533248 32475 33554432000 4194304 4196468 140731742932960 139783334520480 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2902] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2902/stat : 2902 (java) S 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308089 15380533248 32475 33554432000 4194304 4196468 140731742932960 139783066084592 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2903] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2903/stat : 2903 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15380533248 32475 33554432000 4194304 4196468 140731742932960 139782691576272 139784700123035 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2904] ppid=2890 vsize=15020052 memory=-1088251628401078322 CPUtime=0.08 cores=0,2,4,6
/proc/2893/task/2904/stat : 2904 (java) S 2890 2893 32649 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 74308092 15380533248 32475 33554432000 4194304 4196468 140731742932960 139783904905456 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2905] ppid=2890 vsize=15020052 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2893/task/2905/stat : 2905 (java) S 2890 2893 32649 0 -1 1077944384 174 0 0 0 5 0 0 0 20 0 15 0 74308092 15380533248 32475 33554432000 4194304 4196468 140731742932960 139783903852912 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2906] ppid=2890 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/2893/task/2906/stat : 2906 (java) R 2890 2893 32649 0 -1 4202560 441 0 0 0 17 0 0 0 20 0 15 0 74308092 15380533248 32475 33554432000 4194304 4196468 140731742932960 139783902799856 139784700116374 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2907] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2907/stat : 2907 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74308092 15380533248 32475 33554432000 4194304 4196468 140731742932960 139782193670496 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2908] ppid=2890 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2908/stat : 2908 (java) S 2890 2893 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74308092 15380533248 32475 33554432000 4194304 4196468 140731742932960 139783901748272 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129900 KiB
[startup+1.50154 s]
/proc/loadavg: 1.91 1.97 2.08 5/216 2908
/proc/meminfo: memFree=18098576/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15024148 memory=181660 CPUtime=3.07 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 21912 0 0 0 299 8 0 0 20 0 15 0 74308085 15384727552 45415 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3756037 45415 3203 1 0 3717422 0
[pid=2893/tid=2895] ppid=2890 vsize=15024148 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) R 2890 2893 32649 0 -1 4202560 16266 0 0 0 140 6 0 0 20 0 15 0 74308086 15384727552 45415 33554432000 4194304 4196468 140731742932960 139784671932240 139784681667040 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15384727552 45415 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15024148 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15384727552 45415 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15024148 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15384727552 45415 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15024148 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74308087 15384727552 45415 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74308089 15384727552 45415 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
################
# More data... #
################
/proc/meminfo: memFree=17976152/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15683912 memory=3135052 CPUtime=21.14 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 36868 0 0 0 2004 110 0 0 20 0 19 0 74308085 16060325888 783763 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3920978 783763 3231 1 0 3881834 0
[pid=2909] ppid=2893 vsize=156820 memory=140472 CPUtime=2491.89 cores=0,2,4,6
/proc/2909/stat : 2909 (minisat_release) R 2893 2893 32649 0 -1 4202496 287681 0 0 0 249160 29 0 0 20 0 1 0 74309106 160583680 35118 33554432000 4194304 4308513 140721318105184 140721318102184 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 11988992 140721318109873 140721318110382 140721318110382 140721318113221 0
/proc/2909/statm: 39205 35118 353 28 0 35445 0
[pid=2893/tid=2895] ppid=2890 vsize=15683912 memory=140472 CPUtime=10.03 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) S 2890 2893 32649 0 -1 1077944384 18906 0 0 0 959 44 0 0 20 0 19 0 74308086 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784671943680 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 79 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 55 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15683912 memory=140472 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 69 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.14 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 64 0 0 0 13 1 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.05 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2901] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2901/stat : 2901 (java) S 2890 2893 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783334520544 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2902] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2902/stat : 2902 (java) S 2890 2893 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783066084592 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2903] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2903/stat : 2903 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139782691576272 139784700123035 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2904] ppid=2890 vsize=15683912 memory=3135052 CPUtime=3.79 cores=0,2,4,6
/proc/2893/task/2904/stat : 2904 (java) S 2890 2893 32649 0 -1 1077944384 5552 0 0 0 378 1 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783904905456 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2905] ppid=2890 vsize=15683912 memory=3135052 CPUtime=3.95 cores=0,2,4,6
/proc/2893/task/2905/stat : 2905 (java) S 2890 2893 32649 0 -1 1077944384 5516 0 0 0 393 2 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783903852912 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2906] ppid=2890 vsize=15683912 memory=3135052 CPUtime=1.32 cores=0,2,4,6
/proc/2893/task/2906/stat : 2906 (java) S 2890 2893 32649 0 -1 1077944384 5018 0 0 0 131 1 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783902799856 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2907] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2907/stat : 2907 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139782193670496 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2908] ppid=2890 vsize=15683912 memory=140472 CPUtime=1.3 cores=0,2,4,6
/proc/2893/task/2908/stat : 2908 (java) S 2890 2893 32649 0 -1 1077944384 167 0 0 0 71 59 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783901748272 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2910] ppid=2890 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2910/stat : 2910 (java) S 2890 2893 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784475666240 139784700129049 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2912] ppid=2890 vsize=15683912 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2912/stat : 2912 (java) S 2890 2893 32649 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781791006512 139784700126365 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2913] ppid=2890 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2913/stat : 2913 (java) S 2890 2893 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781656784304 139784700126365 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2914] ppid=2890 vsize=15683912 memory=22648 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2914/stat : 2914 (java) S 2890 2893 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74309108 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781388360992 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
Current children cumulated CPU time: 2513.03 s
Current children cumulated vsize: 15840732 KiB
Current children cumulated memory: 3275524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.3 s]
/proc/loadavg: 2.08 2.03 2.07 3/226 4118
/proc/meminfo: memFree=17976152/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15683912 memory=3135052 CPUtime=21.15 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 36868 0 0 0 2005 110 0 0 20 0 19 0 74308085 16060325888 783763 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3920978 783763 3231 1 0 3881834 0
[pid=2909] ppid=2893 vsize=156820 memory=140472 CPUtime=2498.88 cores=0,2,4,6
/proc/2909/stat : 2909 (minisat_release) R 2893 2893 32649 0 -1 4202496 287686 0 0 0 249859 29 0 0 20 0 1 0 74309106 160583680 35118 33554432000 4194304 4308513 140721318105184 140721318102184 4275601 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 11988992 140721318109873 140721318110382 140721318110382 140721318113221 0
/proc/2909/statm: 39205 35118 353 28 0 35445 0
[pid=2893/tid=2895] ppid=2890 vsize=15683912 memory=3135052 CPUtime=10.03 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) S 2890 2893 32649 0 -1 1077944384 18906 0 0 0 959 44 0 0 20 0 19 0 74308086 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784671943680 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 79 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 55 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15683912 memory=140472 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 69 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.14 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 64 0 0 0 13 1 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.05 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2901] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2901/stat : 2901 (java) S 2890 2893 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783334520544 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2902] ppid=2890 vsize=15683912 memory=140472 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2902/stat : 2902 (java) S 2890 2893 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783066084592 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2903] ppid=2890 vsize=15683912 memory=928 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2903/stat : 2903 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139782691576272 139784700123035 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2904] ppid=2890 vsize=15683912 memory=2240 CPUtime=3.79 cores=0,2,4,6
/proc/2893/task/2904/stat : 2904 (java) S 2890 2893 32649 0 -1 1077944384 5552 0 0 0 378 1 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783904905456 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2905] ppid=2890 vsize=15683912 memory=2200 CPUtime=3.95 cores=0,2,4,6
/proc/2893/task/2905/stat : 2905 (java) S 2890 2893 32649 0 -1 1077944384 5516 0 0 0 393 2 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783903852912 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2906] ppid=2890 vsize=15683912 memory=7892 CPUtime=1.32 cores=0,2,4,6
/proc/2893/task/2906/stat : 2906 (java) S 2890 2893 32649 0 -1 1077944384 5018 0 0 0 131 1 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783902799856 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2907] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2907/stat : 2907 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139782193670496 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2908] ppid=2890 vsize=15683912 memory=3135052 CPUtime=1.3 cores=0,2,4,6
/proc/2893/task/2908/stat : 2908 (java) S 2890 2893 32649 0 -1 1077944384 167 0 0 0 71 59 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783901748272 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2910] ppid=2890 vsize=15683912 memory=279984086716998 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2910/stat : 2910 (java) S 2890 2893 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784475666240 139784700129049 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2912] ppid=2890 vsize=15683912 memory=279987846182736 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2912/stat : 2912 (java) S 2890 2893 32649 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781791006512 139784700126365 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2913] ppid=2890 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2913/stat : 2913 (java) S 2890 2893 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781656784304 139784700126365 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2914] ppid=2890 vsize=15683912 memory=590024520756326946 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2914/stat : 2914 (java) S 2890 2893 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74309108 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781388360992 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15840732 KiB
Current children cumulated memory: 3275524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.33 s]
# the end of solver process 2893 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.66 s, system=1.42067 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.3 s]
/proc/loadavg: 2.08 2.03 2.07 3/226 4118
/proc/meminfo: memFree=17976152/32770624 swapFree=67108860/67108860
[pid=2893] ppid=2890 vsize=15683912 memory=3135052 CPUtime=21.15 cores=0,2,4,6
/proc/2893/stat : 2893 (java) S 2890 2893 32649 0 -1 1077944320 36868 0 0 0 2005 110 0 0 20 0 19 0 74308085 16060325888 783763 33554432000 4194304 4196468 140731742932960 140731742915504 139784700104439 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
/proc/2893/statm: 3920978 783763 3231 1 0 3881834 0
[pid=2909] ppid=2893 vsize=156820 memory=140472 CPUtime=2498.88 cores=0,2,4,6
/proc/2909/stat : 2909 (minisat_release) R 2893 2893 32649 0 -1 4202496 287686 0 0 0 249859 29 0 0 20 0 1 0 74309106 160583680 35118 33554432000 4194304 4308513 140721318105184 140721318102184 4275601 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 11988992 140721318109873 140721318110382 140721318110382 140721318113221 0
/proc/2909/statm: 39205 35118 353 28 0 35445 0
[pid=2893/tid=2895] ppid=2890 vsize=15683912 memory=3135052 CPUtime=10.03 cores=0,2,4,6
/proc/2893/task/2895/stat : 2895 (java) S 2890 2893 32649 0 -1 1077944384 18906 0 0 0 959 44 0 0 20 0 19 0 74308086 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784671943680 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2896] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2896/stat : 2896 (java) S 2890 2893 32649 0 -1 1077944384 79 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784704346640 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2897] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2897/stat : 2897 (java) S 2890 2893 32649 0 -1 1077944384 55 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784480049808 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2898] ppid=2890 vsize=15683912 memory=140472 CPUtime=0.15 cores=0,2,4,6
/proc/2893/task/2898/stat : 2898 (java) S 2890 2893 32649 0 -1 1077944384 69 0 0 0 13 2 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784478996752 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2899] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.14 cores=0,2,4,6
/proc/2893/task/2899/stat : 2899 (java) S 2890 2893 32649 0 -1 1077944384 64 0 0 0 13 1 0 0 20 0 19 0 74308087 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784477944208 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2900] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0.05 cores=0,2,4,6
/proc/2893/task/2900/stat : 2900 (java) S 2890 2893 32649 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783905958640 139784700115586 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2901] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2901/stat : 2901 (java) S 2890 2893 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783334520544 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2902] ppid=2890 vsize=15683912 memory=140472 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2902/stat : 2902 (java) S 2890 2893 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74308089 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783066084592 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2903] ppid=2890 vsize=15683912 memory=928 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2903/stat : 2903 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139782691576272 139784700123035 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2904] ppid=2890 vsize=15683912 memory=2240 CPUtime=3.79 cores=0,2,4,6
/proc/2893/task/2904/stat : 2904 (java) S 2890 2893 32649 0 -1 1077944384 5552 0 0 0 378 1 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783904905456 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2905] ppid=2890 vsize=15683912 memory=2200 CPUtime=3.95 cores=0,2,4,6
/proc/2893/task/2905/stat : 2905 (java) S 2890 2893 32649 0 -1 1077944384 5516 0 0 0 393 2 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783903852912 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2906] ppid=2890 vsize=15683912 memory=7892 CPUtime=1.32 cores=0,2,4,6
/proc/2893/task/2906/stat : 2906 (java) S 2890 2893 32649 0 -1 1077944384 5018 0 0 0 131 1 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783902799856 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2907] ppid=2890 vsize=15683912 memory=3135052 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2907/stat : 2907 (java) S 2890 2893 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139782193670496 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2908] ppid=2890 vsize=15683912 memory=3135052 CPUtime=1.3 cores=0,2,4,6
/proc/2893/task/2908/stat : 2908 (java) S 2890 2893 32649 0 -1 1077944384 167 0 0 0 71 59 0 0 20 0 19 0 74308092 16060325888 783763 33554432000 4194304 4196468 140731742932960 139783901748272 139784700115586 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2910] ppid=2890 vsize=15683912 memory=279984086716998 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2910/stat : 2910 (java) S 2890 2893 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139784475666240 139784700129049 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2912] ppid=2890 vsize=15683912 memory=279987846182736 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2912/stat : 2912 (java) S 2890 2893 32649 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781791006512 139784700126365 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2913] ppid=2890 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2913/stat : 2913 (java) S 2890 2893 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74309106 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781656784304 139784700126365 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
[pid=2893/tid=2914] ppid=2890 vsize=15683912 memory=590024520756326946 CPUtime=0 cores=0,2,4,6
/proc/2893/task/2914/stat : 2914 (java) S 2890 2893 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74309108 16060325888 783763 33554432000 4194304 4196468 140731742932960 139781388360992 139784700114645 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18513920 140731742938099 140731742938377 140731742938377 140731742941135 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15840732 KiB
Current children cumulated memory: 3275524 KiB
Child status: 1
Real time (s): 2509.33
CPU time (s): 2520.08
CPU user time (s): 2518.66
CPU system time (s): 1.42067
CPU usage (%): 100.428
Max. virtual memory (cumulated for all children) (KiB): 15840736
Max. memory (cumulated for all children) (KiB): 3275524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.66
system time used= 1.42067
maximum resident set size= 3135952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59754
involuntary context switches= 3202
# summary of solver processes directly reported to runsolver:
# pid: 2893
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.66
# total CPU system time (s): 1.42067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1096 second user time and 25.6446 second system time
The end