0.66/0.52
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Jul 26 01:02:45 CEST 2018
0.66/0.55 c PID: 3129
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.95/1.16 c (0,0) Parsing End
1.95/1.18 c (0,0) CSP: 715 int (0 aux), 0 bool (0 aux), 319 ctr, max domain size 231
1.95/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.95/1.18 c (0,0) Constraint Name Generate Begin
2.19/1.27 c (0,0) Ctr:HOME/instance-4295723-1532559764.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
2.19/1.27 c (0,0) Constraint Name Generate End
2.19/1.27 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.19/1.27 c (0,0) CSP to CSPinCNF Begin
9.06/4.10 c (3,3) translated 32 (10%) constraints
11.03/5.91 c (5,5) translated 64 (20%) constraints
12.74/7.69 c (7,7) translated 96 (30%) constraints
15.37/9.63 c (9,8) translated 128 (40%) constraints
16.99/11.27 c (10,10) translated 160 (50%) constraints
18.74/12.91 c (12,12) translated 192 (60%) constraints
20.36/14.55 c (14,13) translated 224 (70%) constraints
25.71/16.65 c (16,15) translated 256 (80%) constraints
28.95/17.82 c (17,16) translated 288 (90%) constraints
30.08/18.22 c (17,17) translated 319 (100%) constraints
33.30/19.69 c (19,18) STATISTICS1:HOME/instance-4295723-1532559764.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,69806,335347,8796093022208,231,231,44,8796093022208:484;2199023255552:484;1024:42;231:24090;21:5093;1:2475,231:253880;21:249590;2:503646;1:12705,231:2;22:737;21:231;20:231;19:231;18:231;17:231;16:231;15:231;14:231;13:231;12:231;11:231;10:231;9:231;8:231;7:231;6:231;5:231;4:96789;3:78562;2:154561;1:769,44:484;42:484;11:42;2:31658;1:936188;0:231,
33.30/19.69 c (19,18) ===========================================
33.30/19.69 c (19,18) Both Encoding selects:
33.30/19.69 c (19,18) Order
33.61/19.70 c (19,18) ===========================================
35.40/20.34 c (19,19) translated 33535 (10%) constraints
36.79/21.08 c (20,19) translated 67070 (20%) constraints
37.51/21.52 c (20,20) translated 100605 (30%) constraints
37.91/21.96 c (21,20) translated 134139 (40%) constraints
38.41/22.41 c (21,21) translated 167674 (50%) constraints
38.81/22.85 c (22,21) translated 201209 (60%) constraints
39.21/23.29 c (22,21) translated 234743 (70%) constraints
39.71/23.73 c (23,22) translated 268278 (80%) constraints
41.09/24.52 c (23,23) translated 301813 (90%) constraints
46.06/26.84 c (26,25) translated 335347 (100%) constraints
46.06/26.84 c (26,25) CSP to CSPinCNF End
46.06/26.88 c (26,25) CSP: 6039 int (5324 aux), 79970 bool (79970 aux), 366091 ctr, max domain size 229
46.06/26.88 c (26,25) Heap : 2589 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
46.06/26.88 c (26,25) CSPinCNF Propagation Begin
52.02/29.81 c (29,28) 9247 values, 31531 unsatisfiable literals, and 22644 valid clauses are removed
52.02/29.81 c (29,28) CSPinCNF Propagation End
52.02/29.84 c (29,28) CSP: 11671 int (10956 aux), 74338 bool (74338 aux), 343447 ctr, max domain size 229
52.02/29.84 c (29,28) Heap : 1818 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
52.02/29.84 c (29,28) Simplify CSPinCNF Begin
53.91/31.29 c (30,29) Simplify CSPinCNF End
54.01/31.34 c (30,29) CSP: 11671 int (10956 aux), 136180 bool (136180 aux), 405289 ctr, max domain size 229
54.01/31.34 c (30,29) Heap : 2653 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
54.01/31.34 c (30,29) Calculate Precise Domain Begin
54.20/31.41 c (30,29) 983 values are removed by re-calculation
54.20/31.41 c (30,29) Calculate Precise Domain End
54.20/31.45 c (30,29) CSP: 11671 int (10956 aux), 136180 bool (136180 aux), 405289 ctr, max domain size 229
54.20/31.45 c (30,29) Heap : 2653 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
54.20/31.45 c (30,29) CSPinCNF to SatSolver Begin
55.26/31.91 c (31,30) 40529 (10 %) CSP clauses are encoded (210298 SAT variables, 108794 SAT clauses)
56.71/32.47 c (31,30) 81058 (20 %) CSP clauses are encoded (210298 SAT variables, 149323 SAT clauses)
57.07/32.65 c (32,30) 121587 (30 %) CSP clauses are encoded (210298 SAT variables, 189852 SAT clauses)
57.27/32.84 c (32,30) 162116 (40 %) CSP clauses are encoded (210298 SAT variables, 230381 SAT clauses)
57.48/33.02 c (32,30) 202645 (50 %) CSP clauses are encoded (210298 SAT variables, 270910 SAT clauses)
57.67/33.21 c (32,31) 243174 (60 %) CSP clauses are encoded (210298 SAT variables, 311439 SAT clauses)
65.87/39.39 c (38,36) 283703 (70 %) CSP clauses are encoded (210298 SAT variables, 3008624 SAT clauses)
79.22/52.38 c (51,48) 324232 (80 %) CSP clauses are encoded (210298 SAT variables, 8708797 SAT clauses)
85.84/58.76 c (58,54) 364761 (90 %) CSP clauses are encoded (210298 SAT variables, 11625626 SAT clauses)
86.78/59.62 c (59,54) 405289 (100 %) CSP clauses are encoded (210298 SAT variables, 11861523 SAT clauses)
86.78/59.62 c (59,54) CSPinCNF to SatSolver End
86.78/59.62 c (59,54) Heap : 941 MiB used (max 10701 MiB), NonHeap : 33 MiB used (max 0 MiB)
88.87/60.87 c (60,56) STATISTICS2:HOME/instance-4295723-1532559764.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,147851,405289,1024,229,21,11,1024:40;256:418;229:48180;128:3344;64:1254;27:190;24:190;21:2863;20:7040;18:30;16:390;15:10;14:19;12:50;10:4;9:2860;8:445;4:286;1:3960,229:301818;21:226908;20:34540;10:380;9:418;8:456;7:438;6:102;5:32;4:110;3:14080;2:630311;1:8580,21:440;20:440;19:220;18:220;17:220;16:220;15:220;14:220;13:220;12:220;11:262;10:220;9:220;8:220;7:220;6:220;5:220;4:92180;3:71687;2:227469;1:9731,11:40;9:968;8:4840;3:3872;2:61853;1:1034979,
88.87/60.87 c (60,56) SatSolver.solve Begin
88.87/60.87 c (60,56) 210298 bool, 11861543 clause
88.87/60.87 c (60,56) 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-4295723-1532559764.xml-scop-3129.cnf HOME/instance-4295723-1532559764.xml-scop-3129.cnf.out
89.63/61.50 c (60,0) receiving signal SIGTERM
89.63/61.50 s UNKNOWN
89.63/61.51 c (60,56) SatSolver is killed by some reasons.
89.63/61.51 c (60,56) 0,0,26,29,30,30,59,TO,TO,STOP-AFTER(DIMACS)
89.63/61.51 c END-Prog: Thu Jul 26 01:03:46 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 (8213 MiB free)
memory of node 1: 16384 MiB (12445 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295723-1532559764/watcher-4295723-1532559764 -o /tmp/evaluation-result-4295723-1532559764/solver-4295723-1532559764 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295723-1532559764.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=3129, runsolver pid=3126
[startup+0.100124 s]*
/proc/loadavg: 2.00 2.01 2.05 4/222 3144
/proc/meminfo: memFree=21097392/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15011656 memory=70228 CPUtime=0.11 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 6245 0 0 0 9 2 0 0 20 0 15 0 73539630 15371935744 17557 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3752914 17557 2780 1 0 3715374 0
[pid=3129/tid=3131] ppid=3126 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) R 3126 3129 29212 0 -1 4202560 4597 0 0 0 8 1 0 0 20 0 15 0 73539630 15371935744 17821 33554432000 4194304 4196468 140736662833488 140534671751568 140534680201067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 17821 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 17821 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 17821 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 17821 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539633 15371935744 17821 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3137] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3137/stat : 3137 (java) S 3126 3129 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73539634 15371935744 17887 33554432000 4194304 4196468 140736662833488 140533276075168 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3138] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3138/stat : 3138 (java) S 3126 3129 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73539634 15371935744 17887 33554432000 4194304 4196468 140736662833488 140533141852912 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3139] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3139/stat : 3139 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539636 15371935744 17887 33554432000 4194304 4196468 140736662833488 140532767348688 140534699943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3140] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3140/stat : 3140 (java) S 3126 3129 29212 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 73539636 15371935744 17887 33554432000 4194304 4196468 140736662833488 140533535038192 140534699936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3141] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3141/stat : 3141 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539636 15371935744 17887 33554432000 4194304 4196468 140736662833488 140533533985648 140534699936386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3142] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0.01 cores=0,2,4,6
/proc/3129/task/3142/stat : 3142 (java) S 3126 3129 29212 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 73539636 15371935744 17887 33554432000 4194304 4196468 140736662833488 140533532932592 140534699936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539637 15371935744 17887 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539637 15371935744 17887 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70228 KiB
[startup+0.210519 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 3144
/proc/meminfo: memFree=21083440/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15011656 memory=83576 CPUtime=0.25 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 9873 0 0 0 23 2 0 0 20 0 15 0 73539630 15371935744 20894 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3752914 20894 2882 1 0 3715374 0
[pid=3129/tid=3131] ppid=3126 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) R 3126 3129 29212 0 -1 4202560 7752 0 0 0 18 2 0 0 20 0 15 0 73539630 15371935744 20894 33554432000 4194304 4196468 140736662833488 140534671745152 140534699937174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 20894 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15011656 memory=288370995470022272 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 20894 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 20894 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 20894 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539633 15371935744 20894 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3137] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3137/stat : 3137 (java) S 3126 3129 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73539634 15371935744 20894 33554432000 4194304 4196468 140736662833488 140533276075168 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3138] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3138/stat : 3138 (java) S 3126 3129 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73539634 15371935744 20894 33554432000 4194304 4196468 140736662833488 140533141852912 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3139] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3139/stat : 3139 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539636 15371935744 20894 33554432000 4194304 4196468 140736662833488 140532767348688 140534699943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3140] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3140/stat : 3140 (java) R 3126 3129 29212 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 73539636 15371935744 20894 33554432000 4194304 4196468 140736662833488 140533535038192 140534699936386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3141] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3141/stat : 3141 (java) R 3126 3129 29212 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 73539636 15371935744 20894 33554432000 4194304 4196468 140736662833488 140533533985648 140534692910281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3142] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0.03 cores=0,2,4,6
/proc/3129/task/3142/stat : 3142 (java) R 3126 3129 29212 0 -1 4202560 293 0 0 0 3 0 0 0 20 0 15 0 73539636 15371935744 20894 33554432000 4194304 4196468 140736662833488 140533532932592 140534680238866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539637 15371935744 20894 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539637 15371935744 20894 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83576 KiB
[startup+0.310455 s]*
/proc/loadavg: 2.00 2.01 2.05 5/222 3144
/proc/meminfo: memFree=21079116/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15011656 memory=87904 CPUtime=0.43 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 10483 0 0 0 40 3 0 0 20 0 15 0 73539630 15371935744 21976 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3752914 21976 3024 1 0 3715374 0
[pid=3129/tid=3131] ppid=3126 vsize=15011656 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) R 3126 3129 29212 0 -1 4202560 8180 0 0 0 28 2 0 0 20 0 15 0 73539630 15371935744 21976 33554432000 4194304 4196468 140736662833488 140534671729392 140534166913163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 21976 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 21976 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 21976 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15011656 memory=140619175534799 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539632 15371935744 21976 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539633 15371935744 21976 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3137] ppid=3126 vsize=15011656 memory=140619175555535 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3137/stat : 3137 (java) S 3126 3129 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73539634 15371935744 21976 33554432000 4194304 4196468 140736662833488 140533276075168 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3138] ppid=3126 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3138/stat : 3138 (java) S 3126 3129 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73539634 15371935744 21976 33554432000 4194304 4196468 140736662833488 140533141852912 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3139] ppid=3126 vsize=15011656 memory=281238351083392 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3139/stat : 3139 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539636 15371935744 21976 33554432000 4194304 4196468 140736662833488 140532767348688 140534699943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3140] ppid=3126 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3129/task/3140/stat : 3140 (java) R 3126 3129 29212 0 -1 4202560 485 0 0 0 2 0 0 0 20 0 15 0 73539636 15371935744 21976 33554432000 4194304 4196468 140736662833488 140533535038192 140534692214688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3141] ppid=3126 vsize=15011656 memory=140619175567247 CPUtime=0.02 cores=0,2,4,6
/proc/3129/task/3141/stat : 3141 (java) R 3126 3129 29212 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 73539636 15371935744 21976 33554432000 4194304 4196468 140736662833488 140533533985648 140534699936386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3142] ppid=3126 vsize=15011656 memory=140619318310528 CPUtime=0.07 cores=0,2,4,6
/proc/3129/task/3142/stat : 3142 (java) S 3126 3129 29212 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 15 0 73539636 15371935744 21976 33554432000 4194304 4196468 140736662833488 140533532932592 140534699936386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15011656 memory=140619175572383 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539637 15371935744 21976 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15011656 memory=140619391850158 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539637 15371935744 21976 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87904 KiB
[startup+0.70074 s]
/proc/loadavg: 2.00 2.01 2.05 3/222 3144
/proc/meminfo: memFree=21055300/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15020052 memory=127624 CPUtime=0.99 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 17658 0 0 0 94 5 0 0 20 0 15 0 73539630 15380533248 31906 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3755013 31906 3157 1 0 3716398 0
[pid=3129/tid=3131] ppid=3126 vsize=15020052 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) R 3126 3129 29212 0 -1 4202560 14859 0 0 0 63 4 0 0 20 0 15 0 73539630 15380533248 31906 33554432000 4194304 4196468 140736662833488 140534671757152 140534683968869 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15380533248 31906 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15380533248 31906 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15380533248 31906 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539632 15380533248 31906 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15020052 memory=154088192876447 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73539633 15380533248 31906 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3137] ppid=3126 vsize=15020052 memory=433139 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3137/stat : 3137 (java) S 3126 3129 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73539634 15380533248 31906 33554432000 4194304 4196468 140736662833488 140533276075168 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3138] ppid=3126 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3138/stat : 3138 (java) S 3126 3129 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73539634 15380533248 31906 33554432000 4194304 4196468 140736662833488 140533141852912 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3139] ppid=3126 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3139/stat : 3139 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539636 15380533248 31906 33554432000 4194304 4196468 140736662833488 140532767348688 140534699943835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3140] ppid=3126 vsize=15020052 memory=7809523229951467576 CPUtime=0.07 cores=0,2,4,6
/proc/3129/task/3140/stat : 3140 (java) R 3126 3129 29212 0 -1 4202560 592 0 0 0 7 0 0 0 20 0 15 0 73539636 15380533248 31906 33554432000 4194304 4196468 140736662833488 140533535038192 140534692910281 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3141] ppid=3126 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3129/task/3141/stat : 3141 (java) S 3126 3129 29212 0 -1 1077944384 359 0 0 0 7 0 0 0 20 0 15 0 73539636 15380533248 31906 33554432000 4194304 4196468 140736662833488 140533533985648 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3142] ppid=3126 vsize=15020052 memory=-3472574513799858009 CPUtime=0.16 cores=0,2,4,6
/proc/3129/task/3142/stat : 3142 (java) S 3126 3129 29212 0 -1 1077944384 489 0 0 0 16 0 0 0 20 0 15 0 73539636 15380533248 31906 33554432000 4194304 4196468 140736662833488 140533532932592 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539637 15380533248 31906 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539637 15380533248 31906 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127624 KiB
[startup+1.5054 s]
/proc/loadavg: 2.16 2.05 2.06 6/222 3144
/proc/meminfo: memFree=21025824/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15022100 memory=161056 CPUtime=2.77 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 20353 0 0 0 269 8 0 0 20 0 15 0 73539630 15382630400 40264 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3755525 40264 3201 1 0 3716910 0
[pid=3129/tid=3131] ppid=3126 vsize=15022100 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) R 3126 3129 29212 0 -1 4202560 16092 0 0 0 141 6 0 0 20 0 15 0 73539630 15382630400 40264 33554432000 4194304 4196468 140736662833488 140534671755104 140534699947165 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15022100 memory=7524223486766765934 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15382630400 40264 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15022100 memory=7663271042947507813 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15382630400 40264 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15022100 memory=7663268822398690662 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73539632 15382630400 40264 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15022100 memory=7663273237608753509 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73539632 15382630400 40264 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73539633 15382630400 40264 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
################
# More data... #
################
/proc/3129/task/3142/stat : 3142 (java) S 3126 3129 29212 0 -1 1077944384 11185 0 0 0 150 4 0 0 20 0 15 0 73539636 15384727552 911270 33554432000 4194304 4196468 140736662833488 140533532932592 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15024148 memory=164 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539637 15384727552 911270 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15024148 memory=281238350856432 CPUtime=0.01 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 73539637 15384727552 911270 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 43.52 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3645080 KiB
[startup+51.1103 s]
/proc/loadavg: 2.16 2.07 2.06 3/222 3144
/proc/meminfo: memFree=16646372/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15028312 memory=4335648 CPUtime=78.03 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 72324 0 0 0 7557 246 0 0 20 0 15 0 73539630 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3757078 1083912 3258 1 0 3717934 0
[pid=3129/tid=3131] ppid=3126 vsize=15028312 memory=4335648 CPUtime=47.25 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) R 3126 3129 29212 0 -1 4202560 23834 0 0 0 4647 78 0 0 20 0 15 0 73539630 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140534671764928 140534172764404 0 4 0 25189583 0 0 0 -1 0 0 0 118 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15028312 memory=4165620 CPUtime=2.58 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 891 0 0 0 220 38 0 0 20 0 15 0 73539632 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15028312 memory=3409 CPUtime=2.58 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 1093 0 0 0 219 39 0 0 20 0 15 0 73539632 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15028312 memory=164 CPUtime=2.55 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 928 0 0 0 217 38 0 0 20 0 15 0 73539632 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15028312 memory=-5874771483550381248 CPUtime=2.55 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1028 0 0 0 217 38 0 0 20 0 15 0 73539632 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15028312 memory=19128 CPUtime=0.03 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 15 0 73539633 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3137] ppid=3126 vsize=15028312 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3137/stat : 3137 (java) S 3126 3129 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 73539634 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140533276075232 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3138] ppid=3126 vsize=15028312 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3138/stat : 3138 (java) S 3126 3129 29212 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 73539634 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140533141852928 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3139] ppid=3126 vsize=15028312 memory=1664 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3139/stat : 3139 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539636 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140532767348688 140534699943835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3140] ppid=3126 vsize=15028312 memory=3122388 CPUtime=9.25 cores=0,2,4,6
/proc/3129/task/3140/stat : 3140 (java) S 3126 3129 29212 0 -1 1077944384 14132 0 0 0 923 2 0 0 20 0 15 0 73539636 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140533535038192 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3141] ppid=3126 vsize=15028312 memory=800 CPUtime=9.35 cores=0,2,4,6
/proc/3129/task/3141/stat : 3141 (java) S 3126 3129 29212 0 -1 1077944384 16754 0 0 0 932 3 0 0 20 0 15 0 73539636 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140533533985648 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3142] ppid=3126 vsize=15028312 memory=5196 CPUtime=1.77 cores=0,2,4,6
/proc/3129/task/3142/stat : 3142 (java) S 3126 3129 29212 0 -1 1077944384 11652 0 0 0 172 5 0 0 20 0 15 0 73539636 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140533532932592 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15028312 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73539637 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15028312 memory=4165620 CPUtime=0.02 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 433 0 0 0 1 1 0 0 20 0 15 0 73539637 15388991488 1083912 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 78.03 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 4335648 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+61.5009 s]
/proc/loadavg: 2.30 2.10 2.07 3/227 3151
/proc/meminfo: memFree=16507976/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15683912 memory=4338860 CPUtime=89.03 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 87930 0 0 0 8641 262 0 0 20 0 19 0 73539630 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3920978 1084715 3264 1 0 3881834 0
[pid=3146] ppid=3129 vsize=197456 memory=167568 CPUtime=0.6 cores=0,2,4,6
/proc/3146/stat : 3146 (minisat_release) R 3129 3129 29212 0 -1 4202496 35764 0 0 0 55 5 0 0 20 0 1 0 73545718 202194944 41892 33554432000 4194304 4308513 140728871379488 140728870327896 139917751602149 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 28110848 140728871387825 140728871388334 140728871388334 140728871391173 0
/proc/3146/statm: 49364 41892 316 28 0 45604 0
[pid=3129/tid=3131] ppid=3126 vsize=15683912 memory=4335696 CPUtime=56.8 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) S 3126 3129 29212 0 -1 1077944384 25902 0 0 0 5588 92 0 0 20 0 19 0 73539630 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534671764480 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 143 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15683912 memory=4335668 CPUtime=2.59 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 1113 0 0 0 221 38 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15683912 memory=4335668 CPUtime=2.58 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 1402 0 0 0 219 39 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15683912 memory=4335696 CPUtime=2.55 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 2084 0 0 0 217 38 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15683912 memory=4338860 CPUtime=2.56 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1187 0 0 0 218 38 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15683912 memory=15316 CPUtime=0.04 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 489 0 0 0 4 0 0 0 20 0 19 0 73539633 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3137] ppid=3126 vsize=15683912 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3137/stat : 3137 (java) S 3126 3129 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73539634 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533276075232 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3138] ppid=3126 vsize=15683912 memory=4335652 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3138/stat : 3138 (java) S 3126 3129 29212 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 73539634 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533141852928 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3139] ppid=3126 vsize=15683912 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3139/stat : 3139 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140532767348688 140534699943835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3140] ppid=3126 vsize=15683912 memory=960 CPUtime=9.87 cores=0,2,4,6
/proc/3129/task/3140/stat : 3140 (java) S 3126 3129 29212 0 -1 1077944384 18004 0 0 0 983 4 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533535038192 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3141] ppid=3126 vsize=15683912 memory=1220 CPUtime=10.09 cores=0,2,4,6
/proc/3129/task/3141/stat : 3141 (java) S 3126 3129 29212 0 -1 1077944384 21097 0 0 0 1006 3 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533533985648 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3142] ppid=3126 vsize=15683912 memory=4338860 CPUtime=1.81 cores=0,2,4,6
/proc/3129/task/3142/stat : 3142 (java) S 3126 3129 29212 0 -1 1077944384 14753 0 0 0 176 5 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533532932592 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73539637 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15683912 memory=345 CPUtime=0.03 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 468 0 0 0 2 1 0 0 20 0 19 0 73539637 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3147] ppid=3126 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3147/stat : 3147 (java) S 3126 3129 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73545719 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534484387136 140534699949849 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3149] ppid=3126 vsize=15683912 memory=126 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3149/stat : 3149 (java) S 3126 3129 29212 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 73545719 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140531732557104 140534699947165 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3150] ppid=3126 vsize=15683912 memory=4335696 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3150/stat : 3150 (java) S 3126 3129 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 73545719 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140531464126384 140534699947165 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3151] ppid=3126 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3151/stat : 3151 (java) S 3126 3129 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73545721 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140531866787616 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 89.63 s
Current children cumulated vsize: 15881368 KiB
Current children cumulated memory: 4506428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+61.5763 s]
# the end of solver process 3129 was just reported to runsolver
# cumulated CPU time of all completed processes: user=86.9787 s, system=2.7612 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+61.5009 s]
/proc/loadavg: 2.30 2.10 2.07 3/227 3151
/proc/meminfo: memFree=16507976/32770624 swapFree=67076644/67108860
[pid=3129] ppid=3126 vsize=15683912 memory=4338860 CPUtime=89.03 cores=0,2,4,6
/proc/3129/stat : 3129 (java) S 3126 3129 29212 0 -1 1077944320 87930 0 0 0 8641 262 0 0 20 0 19 0 73539630 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140736662816032 140534699925239 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
/proc/3129/statm: 3920978 1084715 3264 1 0 3881834 0
[pid=3146] ppid=3129 vsize=197456 memory=167568 CPUtime=0.6 cores=0,2,4,6
/proc/3146/stat : 3146 (minisat_release) R 3129 3129 29212 0 -1 4202496 35764 0 0 0 55 5 0 0 20 0 1 0 73545718 202194944 41892 33554432000 4194304 4308513 140728871379488 140728870327896 139917751602149 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 28110848 140728871387825 140728871388334 140728871388334 140728871391173 0
/proc/3146/statm: 49364 41892 316 28 0 45604 0
[pid=3129/tid=3131] ppid=3126 vsize=15683912 memory=4335696 CPUtime=56.8 cores=0,2,4,6
/proc/3129/task/3131/stat : 3131 (java) S 3126 3129 29212 0 -1 1077944384 25902 0 0 0 5588 92 0 0 20 0 19 0 73539630 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534671764480 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 143 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3132] ppid=3126 vsize=15683912 memory=4335668 CPUtime=2.59 cores=0,2,4,6
/proc/3129/task/3132/stat : 3132 (java) S 3126 3129 29212 0 -1 1077944384 1113 0 0 0 221 38 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534704167952 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3133] ppid=3126 vsize=15683912 memory=4335668 CPUtime=2.58 cores=0,2,4,6
/proc/3129/task/3133/stat : 3133 (java) S 3126 3129 29212 0 -1 1077944384 1402 0 0 0 219 39 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534495251600 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3134] ppid=3126 vsize=15683912 memory=4335696 CPUtime=2.55 cores=0,2,4,6
/proc/3129/task/3134/stat : 3134 (java) S 3126 3129 29212 0 -1 1077944384 2084 0 0 0 217 38 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534494198544 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3135] ppid=3126 vsize=15683912 memory=4338860 CPUtime=2.56 cores=0,2,4,6
/proc/3129/task/3135/stat : 3135 (java) S 3126 3129 29212 0 -1 1077944384 1187 0 0 0 218 38 0 0 20 0 19 0 73539632 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534493146000 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3136] ppid=3126 vsize=15683912 memory=15316 CPUtime=0.04 cores=0,2,4,6
/proc/3129/task/3136/stat : 3136 (java) S 3126 3129 29212 0 -1 1077944384 489 0 0 0 4 0 0 0 20 0 19 0 73539633 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533536090352 140534699936386 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3137] ppid=3126 vsize=15683912 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3137/stat : 3137 (java) S 3126 3129 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73539634 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533276075232 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3138] ppid=3126 vsize=15683912 memory=4335652 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3138/stat : 3138 (java) S 3126 3129 29212 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 73539634 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533141852928 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3139] ppid=3126 vsize=15683912 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3139/stat : 3139 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140532767348688 140534699943835 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3140] ppid=3126 vsize=15683912 memory=960 CPUtime=9.87 cores=0,2,4,6
/proc/3129/task/3140/stat : 3140 (java) S 3126 3129 29212 0 -1 1077944384 18004 0 0 0 983 4 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533535038192 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3141] ppid=3126 vsize=15683912 memory=1220 CPUtime=10.09 cores=0,2,4,6
/proc/3129/task/3141/stat : 3141 (java) S 3126 3129 29212 0 -1 1077944384 21097 0 0 0 1006 3 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533533985648 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3142] ppid=3126 vsize=15683912 memory=4338860 CPUtime=1.81 cores=0,2,4,6
/proc/3129/task/3142/stat : 3142 (java) S 3126 3129 29212 0 -1 1077944384 14753 0 0 0 176 5 0 0 20 0 19 0 73539636 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533532932592 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3143] ppid=3126 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3143/stat : 3143 (java) S 3126 3129 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73539637 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140532269443936 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3144] ppid=3126 vsize=15683912 memory=345 CPUtime=0.03 cores=0,2,4,6
/proc/3129/task/3144/stat : 3144 (java) S 3126 3129 29212 0 -1 1077944384 468 0 0 0 2 1 0 0 20 0 19 0 73539637 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140533531879984 140534699936386 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3147] ppid=3126 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3147/stat : 3147 (java) S 3126 3129 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73545719 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140534484387136 140534699949849 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3149] ppid=3126 vsize=15683912 memory=126 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3149/stat : 3149 (java) S 3126 3129 29212 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 73545719 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140531732557104 140534699947165 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3150] ppid=3126 vsize=15683912 memory=4335696 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3150/stat : 3150 (java) S 3126 3129 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 73545719 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140531464126384 140534699947165 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
[pid=3129/tid=3151] ppid=3126 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3129/task/3151/stat : 3151 (java) S 3126 3129 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73545721 16060325888 1084715 33554432000 4194304 4196468 140736662833488 140531866787616 140534699935445 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736662840308 140736662840585 140736662840585 140736662843343 0
Current children cumulated CPU time: 89.63 s
Current children cumulated vsize: 15881368 KiB
Current children cumulated memory: 4506428 KiB
Child status: 1
Real time (s): 61.5764
CPU time (s): 89.7399
CPU user time (s): 86.9787
CPU system time (s): 2.7612
CPU usage (%): 145.738
Max. virtual memory (cumulated for all children) (KiB): 15881368
Max. memory (cumulated for all children) (KiB): 4506428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.9787
system time used= 2.7612
maximum resident set size= 4340968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 529064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8723
involuntary context switches= 279
# summary of solver processes directly reported to runsolver:
# pid: 3129
# total CPU time (s): 89.7399
# total CPU user time (s): 86.9787
# total CPU system time (s): 2.7612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.350973 second user time and 0.675496 second system time
The end