0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Wed Jul 25 20:21:27 CEST 2018
0.67/0.54 c PID: 32560
0.67/0.54 c IP: 172.20.3.102
0.67/0.54 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.58/0.91 c (0,0) Parsing End
1.58/0.91 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 113 ctr, max domain size 120
1.58/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.58/0.91 c (0,0) Constraint Name Generate Begin
1.58/0.92 c (0,0) Ctr:HOME/instance-4295319-1532542886.xml,AllDifferent:ExtensionSupport:IntVar
1.58/0.92 c (0,0) Constraint Name Generate End
1.58/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.58/0.92 c (0,0) CSP to CSPinCNF Begin
7.75/3.06 c (2,2) translated 12 (10%) constraints
10.07/4.18 c (3,3) translated 23 (20%) constraints
11.23/5.25 c (4,4) translated 34 (30%) constraints
12.47/6.41 c (5,5) translated 46 (40%) constraints
13.59/7.48 c (6,6) translated 57 (50%) constraints
15.37/8.63 c (8,7) translated 68 (60%) constraints
16.39/9.68 c (9,8) translated 80 (70%) constraints
17.42/10.65 c (10,9) translated 91 (80%) constraints
18.43/11.61 c (11,10) translated 102 (90%) constraints
19.34/12.58 c (12,11) translated 113 (100%) constraints
21.85/13.68 c (13,12) STATISTICS1:HOME/instance-4295319-1532542886.xml,AllDifferent:ExtensionSupport:IntVar,13504,289746,120,120,121,2,120:2016,120:552288;2:301056,121:112;64:2;3:260512;2:29120,2:2016;1:849312;0:112,
21.85/13.68 c (13,12) ===========================================
21.85/13.68 c (13,12) Both Encoding selects:
21.85/13.68 c (13,12) Order
21.85/13.68 c (13,12) ===========================================
23.57/14.28 c (13,13) translated 28975 (10%) constraints
23.92/14.59 c (14,13) translated 57950 (20%) constraints
24.36/14.91 c (14,13) translated 86924 (30%) constraints
24.66/15.23 c (14,14) translated 115899 (40%) constraints
24.96/15.55 c (15,14) translated 144873 (50%) constraints
25.28/15.86 c (15,14) translated 173848 (60%) constraints
25.59/16.18 c (15,15) translated 202823 (70%) constraints
26.00/16.50 c (15,15) translated 231797 (80%) constraints
26.30/16.81 c (16,15) translated 260772 (90%) constraints
26.61/17.13 c (16,16) translated 289746 (100%) constraints
26.61/17.13 c (16,16) CSP to CSPinCNF End
26.61/17.14 c (16,16) CSP: 64 int (0 aux), 13440 bool (13440 aux), 289746 ctr, max domain size 120
26.61/17.14 c (16,16) Heap : 2398 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.61/17.14 c (16,16) CSPinCNF Propagation Begin
29.36/18.61 c (18,17) 0 values, 112 unsatisfiable literals, and 0 valid clauses are removed
29.36/18.61 c (18,17) CSPinCNF Propagation End
29.36/18.62 c (18,17) CSP: 64 int (0 aux), 13440 bool (13440 aux), 289746 ctr, max domain size 120
29.36/18.62 c (18,17) Heap : 911 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.36/18.62 c (18,17) Simplify CSPinCNF Begin
29.91/19.00 c (18,17) Simplify CSPinCNF End
29.91/19.00 c (18,17) CSP: 64 int (0 aux), 17472 bool (17472 aux), 293778 ctr, max domain size 120
29.91/19.00 c (18,17) Heap : 1151 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.91/19.00 c (18,17) Calculate Precise Domain Begin
29.91/19.00 c (18,17) 0 values are removed by re-calculation
29.91/19.00 c (18,17) Calculate Precise Domain End
30.02/19.01 c (18,17) CSP: 64 int (0 aux), 17472 bool (17472 aux), 293778 ctr, max domain size 120
30.02/19.01 c (18,17) Heap : 1151 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
30.02/19.01 c (18,17) CSPinCNF to SatSolver Begin
32.09/20.34 c (19,19) 29378 (10 %) CSP clauses are encoded (25088 SAT variables, 516737 SAT clauses)
32.22/20.46 c (19,19) 58756 (20 %) CSP clauses are encoded (25088 SAT variables, 546115 SAT clauses)
32.33/20.59 c (20,19) 88134 (30 %) CSP clauses are encoded (25088 SAT variables, 575493 SAT clauses)
32.53/20.72 c (20,19) 117512 (40 %) CSP clauses are encoded (25088 SAT variables, 604871 SAT clauses)
32.64/20.84 c (20,19) 146889 (50 %) CSP clauses are encoded (25088 SAT variables, 634248 SAT clauses)
32.75/20.97 c (20,19) 176267 (60 %) CSP clauses are encoded (25088 SAT variables, 663626 SAT clauses)
33.56/21.29 c (20,19) 205645 (70 %) CSP clauses are encoded (25088 SAT variables, 693004 SAT clauses)
33.82/21.43 c (20,19) 235023 (80 %) CSP clauses are encoded (25088 SAT variables, 722382 SAT clauses)
33.91/21.53 c (21,20) 264401 (90 %) CSP clauses are encoded (25088 SAT variables, 751760 SAT clauses)
34.01/21.66 c (21,20) 293778 (100 %) CSP clauses are encoded (25088 SAT variables, 781137 SAT clauses)
34.01/21.66 c (21,20) CSPinCNF to SatSolver End
34.01/21.66 c (21,20) Heap : 739 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
34.84/22.27 c (21,20) STATISTICS2:HOME/instance-4295319-1532542886.xml,AllDifferent:ExtensionSupport:IntVar,17536,293778,120,120,120,2,120:4032,120:556320;2:309120,120:112;64:2;3:260512;2:33152,2:4032;1:857376,
34.84/22.27 c (21,20) SatSolver.solve Begin
34.84/22.27 c (21,20) 25088 bool, 781138 clause
34.84/22.27 c (21,20) 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-4295319-1532542886.xml-scop-32560.cnf HOME/instance-4295319-1532542886.xml-scop-32560.cnf.out
388.62/375.70 c (375,0) receiving signal SIGTERM
388.62/375.70 s UNKNOWN
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 (5082 MiB free)
memory of node 1: 16384 MiB (15591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295319-1532542886/watcher-4295319-1532542886 -o /tmp/evaluation-result-4295319-1532542886/solver-4295319-1532542886 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295319-1532542886.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32560, runsolver pid=32557
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.20 2.14 2.11 3/220 32575
/proc/meminfo: memFree=21108944/32770624 swapFree=67076516/67108860
[pid=32560] ppid=32557 vsize=15011656 memory=74368 CPUtime=0.11 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 6741 0 0 0 10 1 0 0 20 0 15 0 71851768 15371935744 18592 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3752914 18592 2782 1 0 3715374 0
[pid=32560/tid=32562] ppid=32557 vsize=15011656 memory=-6727144656924359504 CPUtime=0.09 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) R 32557 32560 29212 0 -1 4202560 4855 0 0 0 8 1 0 0 20 0 15 0 71851768 15371935744 18592 33554432000 4194304 4196468 140731112712688 140545410988432 140545419437824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 18592 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 18592 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 18592 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 18592 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851771 15371935744 18592 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32568] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32568/stat : 32568 (java) S 32557 32560 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71851772 15371935744 18658 33554432000 4194304 4196468 140731112712688 140544013493280 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32569] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32569/stat : 32569 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851772 15371935744 18658 33554432000 4194304 4196468 140731112712688 140543745057648 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32570] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32570/stat : 32570 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851774 15371935744 18658 33554432000 4194304 4196468 140731112712688 140543370549072 140545439180699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32571] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32571/stat : 32571 (java) S 32557 32560 29212 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 71851774 15371935744 18658 33554432000 4194304 4196468 140731112712688 140544408779632 140545439173250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32572] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32572/stat : 32572 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851774 15371935744 18658 33554432000 4194304 4196468 140731112712688 140544407726832 140545439173250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32573] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0.01 cores=1,3,5,7
/proc/32560/task/32573/stat : 32573 (java) S 32557 32560 29212 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 71851774 15371935744 18658 33554432000 4194304 4196468 140731112712688 140544406674032 140545439173250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32574] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32574/stat : 32574 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851775 15371935744 18658 33554432000 4194304 4196468 140731112712688 140542872644320 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32575] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32575/stat : 32575 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851775 15371935744 18658 33554432000 4194304 4196468 140731112712688 140544405621424 140545439173250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74368 KiB
[startup+0.210432 s]*
/proc/loadavg: 2.20 2.14 2.11 3/220 32575
/proc/meminfo: memFree=21092744/32770624 swapFree=67076516/67108860
[pid=32560] ppid=32557 vsize=15011656 memory=88372 CPUtime=0.25 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 10553 0 0 0 23 2 0 0 20 0 15 0 71851768 15371935744 22093 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3752914 22093 2887 1 0 3715374 0
[pid=32560/tid=32562] ppid=32557 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) R 32557 32560 29212 0 -1 4202560 8454 0 0 0 18 2 0 0 20 0 15 0 71851768 15371935744 22093 33554432000 4194304 4196468 140731112712688 140545410988112 140545439174038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22093 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15011656 memory=4121833082376226464 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22093 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22093 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22093 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851771 15371935744 22093 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32568] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32568/stat : 32568 (java) S 32557 32560 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71851772 15371935744 22093 33554432000 4194304 4196468 140731112712688 140544013493280 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32569] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32569/stat : 32569 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851772 15371935744 22093 33554432000 4194304 4196468 140731112712688 140543745057648 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32570] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32570/stat : 32570 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851774 15371935744 22093 33554432000 4194304 4196468 140731112712688 140543370549072 140545439180699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32571] ppid=32557 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32560/task/32571/stat : 32571 (java) R 32557 32560 29212 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 71851774 15371935744 22093 33554432000 4194304 4196468 140731112712688 140544408779632 140545439173250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32572] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32572/stat : 32572 (java) R 32557 32560 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 71851774 15371935744 22093 33554432000 4194304 4196468 140731112712688 140544407726832 140545419006561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32573] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0.03 cores=1,3,5,7
/proc/32560/task/32573/stat : 32573 (java) R 32557 32560 29212 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 71851774 15371935744 22093 33554432000 4194304 4196468 140731112712688 140544406674032 140545417326626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32574] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32574/stat : 32574 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851775 15371935744 22093 33554432000 4194304 4196468 140731112712688 140542872644320 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32575] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32575/stat : 32575 (java) R 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851775 15371935744 22093 33554432000 4194304 4196468 140731112712688 140544405621424 140545439173250 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88372 KiB
[startup+0.31041 s]*
/proc/loadavg: 2.20 2.14 2.11 3/220 32575
/proc/meminfo: memFree=21089464/32770624 swapFree=67076516/67108860
[pid=32560] ppid=32557 vsize=15011656 memory=91736 CPUtime=0.44 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 11033 0 0 0 41 3 0 0 20 0 15 0 71851768 15371935744 22934 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3752914 22934 2998 1 0 3715374 0
[pid=32560/tid=32562] ppid=32557 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) R 32557 32560 29212 0 -1 4202560 8759 0 0 0 28 2 0 0 20 0 15 0 71851768 15371935744 22934 33554432000 4194304 4196468 140731112712688 140545410989728 140545423242590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22934 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15011656 memory=4049775488338298528 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22934 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22934 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15371935744 22934 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851771 15371935744 22934 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32568] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32568/stat : 32568 (java) S 32557 32560 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71851772 15371935744 22934 33554432000 4194304 4196468 140731112712688 140544013493280 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32569] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32569/stat : 32569 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851772 15371935744 22934 33554432000 4194304 4196468 140731112712688 140543745057648 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32570] ppid=32557 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32570/stat : 32570 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851774 15371935744 22934 33554432000 4194304 4196468 140731112712688 140543370549072 140545439180699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32571] ppid=32557 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32560/task/32571/stat : 32571 (java) S 32557 32560 29212 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 15 0 71851774 15371935744 22934 33554432000 4194304 4196468 140731112712688 140544408779632 140545439173250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32572] ppid=32557 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32560/task/32572/stat : 32572 (java) S 32557 32560 29212 0 -1 1077944384 126 0 0 0 3 0 0 0 20 0 15 0 71851774 15371935744 22934 33554432000 4194304 4196468 140731112712688 140544407726832 140545439173250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32573] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0.07 cores=1,3,5,7
/proc/32560/task/32573/stat : 32573 (java) R 32557 32560 29212 0 -1 4202560 318 0 0 0 7 0 0 0 20 0 15 0 71851774 15371935744 22934 33554432000 4194304 4196468 140731112712688 140544406671824 140545418514924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32574] ppid=32557 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32574/stat : 32574 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851775 15371935744 22934 33554432000 4194304 4196468 140731112712688 140542872644320 140545439172309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32575] ppid=32557 vsize=15011656 memory=139777168443008 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32575/stat : 32575 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851775 15371935744 22934 33554432000 4194304 4196468 140731112712688 140544405621424 140545439173250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91736 KiB
[startup+0.703335 s]
/proc/loadavg: 2.20 2.14 2.11 4/220 32575
/proc/meminfo: memFree=21067264/32770624 swapFree=67076516/67108860
[pid=32560] ppid=32557 vsize=15020052 memory=130024 CPUtime=1.02 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 17739 0 0 0 97 5 0 0 20 0 15 0 71851768 15380533248 32506 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3755013 32506 3158 1 0 3716398 0
[pid=32560/tid=32562] ppid=32557 vsize=15020052 memory=279651226260118 CPUtime=0.67 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) R 32557 32560 29212 0 -1 4202560 14998 0 0 0 63 4 0 0 20 0 15 0 71851768 15380533248 32506 33554432000 4194304 4196468 140731112712688 140545410996672 140545439184029 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15020052 memory=397245 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15380533248 32506 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15380533248 32506 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851770 15380533248 32506 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15380533248 32506 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71851771 15380533248 32506 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32568] ppid=32557 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32568/stat : 32568 (java) S 32557 32560 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71851772 15380533248 32506 33554432000 4194304 4196468 140731112712688 140544013493280 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32569] ppid=32557 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32569/stat : 32569 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851772 15380533248 32506 33554432000 4194304 4196468 140731112712688 140543745057648 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32570] ppid=32557 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32570/stat : 32570 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851774 15380533248 32506 33554432000 4194304 4196468 140731112712688 140543370549072 140545439180699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32571] ppid=32557 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32560/task/32571/stat : 32571 (java) S 32557 32560 29212 0 -1 1077944384 723 0 0 0 9 0 0 0 20 0 15 0 71851774 15380533248 32506 33554432000 4194304 4196468 140731112712688 140544408779632 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32572] ppid=32557 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32560/task/32572/stat : 32572 (java) S 32557 32560 29212 0 -1 1077944384 207 0 0 0 8 0 0 0 20 0 15 0 71851774 15380533248 32506 33554432000 4194304 4196468 140731112712688 140544407726832 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32573] ppid=32557 vsize=15020052 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/32560/task/32573/stat : 32573 (java) R 32557 32560 29212 0 -1 4202560 470 0 0 0 17 0 0 0 20 0 15 0 71851774 15380533248 32506 33554432000 4194304 4196468 140731112712688 140544406674032 140545431399230 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32574] ppid=32557 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32574/stat : 32574 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71851775 15380533248 32506 33554432000 4194304 4196468 140731112712688 140542872644320 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32575] ppid=32557 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32575/stat : 32575 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851775 15380533248 32506 33554432000 4194304 4196468 140731112712688 140544405621424 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130024 KiB
[startup+1.50118 s]
/proc/loadavg: 2.18 2.13 2.11 6/220 32575
/proc/meminfo: memFree=21036372/32770624 swapFree=67076516/67108860
[pid=32560] ppid=32557 vsize=15024148 memory=184604 CPUtime=3.19 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 22156 0 0 0 312 7 0 0 20 0 15 0 71851768 15384727552 46151 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3756037 46151 3202 1 0 3717422 0
[pid=32560/tid=32562] ppid=32557 vsize=15024148 memory=7234278993258635350 CPUtime=1.46 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) R 32557 32560 29212 0 -1 4202560 16129 0 0 0 141 5 0 0 20 0 15 0 71851768 15384727552 46151 33554432000 4194304 4196468 140731112712688 140545410992200 140544909152875 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15024148 memory=7089319380252647510 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15384727552 46151 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15024148 memory=6008734749951813478 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15384727552 46151 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15024148 memory=7523661627684836200 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71851770 15384727552 46151 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15024148 memory=6935656952358588496 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71851770 15384727552 46151 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15024148 memory=7163380246025294182 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71851771 15384727552 46151 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
################
# More data... #
################
/proc/meminfo: memFree=17478860/32770624 swapFree=67076520/67108860
[pid=32560] ppid=32557 vsize=15683912 memory=3549088 CPUtime=35.2 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 50239 0 0 0 3395 125 0 0 20 0 19 0 71851768 16060325888 887272 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3920978 887272 3263 1 0 3881834 0
[pid=32576] ppid=32560 vsize=149852 memory=117028 CPUtime=320.01 cores=1,3,5,7
/proc/32576/stat : 32576 (minisat_release) R 32560 32560 29212 0 -1 4202496 169024 0 0 0 31987 14 0 0 20 0 1 0 71853996 153448448 29257 33554432000 4194304 4308513 140728338040992 140728338037896 4251469 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 16117760 140728338047663 140728338048174 140728338048174 140728338051013 0
/proc/32576/statm: 37463 29257 355 28 0 33703 0
[pid=32560/tid=32562] ppid=32557 vsize=15683912 memory=3549088 CPUtime=21.39 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) S 32557 32560 29212 0 -1 1077944384 21987 0 0 0 2089 50 0 0 20 0 19 0 71851768 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545411001344 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.86 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 906 0 0 0 72 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15683912 memory=117028 CPUtime=0.86 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 338 0 0 0 72 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.87 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 360 0 0 0 73 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15683912 memory=117028 CPUtime=0.87 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 423 0 0 0 73 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.02 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 968 0 0 0 1 1 0 0 20 0 19 0 71851771 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32568] ppid=32557 vsize=15683912 memory=279554054527920 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32568/stat : 32568 (java) S 32557 32560 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71851772 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544013493344 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32569] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32569/stat : 32569 (java) S 32557 32560 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71851772 16060325888 887272 33554432000 4194304 4196468 140731112712688 140543745057664 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32570] ppid=32557 vsize=15683912 memory=131776 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32570/stat : 32570 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140543370549072 140545439180699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32571] ppid=32557 vsize=15683912 memory=3549088 CPUtime=4.75 cores=1,3,5,7
/proc/32560/task/32571/stat : 32571 (java) S 32557 32560 29212 0 -1 1077944384 8955 0 0 0 473 2 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544408779632 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32572] ppid=32557 vsize=15683912 memory=131772 CPUtime=3.97 cores=1,3,5,7
/proc/32560/task/32572/stat : 32572 (java) S 32557 32560 29212 0 -1 1077944384 8095 0 0 0 396 1 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544407726832 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32573] ppid=32557 vsize=15683912 memory=3549088 CPUtime=1.33 cores=1,3,5,7
/proc/32560/task/32573/stat : 32573 (java) S 32557 32560 29212 0 -1 1077944384 6756 0 0 0 131 2 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544406674032 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32574] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32574/stat : 32574 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71851775 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542872644320 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32575] ppid=32557 vsize=15683912 memory=5192 CPUtime=0.19 cores=1,3,5,7
/proc/32560/task/32575/stat : 32575 (java) S 32557 32560 29212 0 -1 1077944384 43 0 0 0 9 10 0 0 20 0 19 0 71851775 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544405621424 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32577] ppid=32557 vsize=15683912 memory=12816 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32577/stat : 32577 (java) S 32557 32560 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545221715136 140545439186713 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32579] ppid=32557 vsize=15683912 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32579/stat : 32579 (java) S 32557 32560 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542469979312 140545439184029 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32580] ppid=32557 vsize=15683912 memory=1508 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32580/stat : 32580 (java) S 32557 32560 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542335758384 140545439184029 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32581] ppid=32557 vsize=15683912 memory=3328 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32581/stat : 32581 (java) S 32557 32560 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71853999 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542067334816 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
Current children cumulated CPU time: 355.21 s
Current children cumulated vsize: 15833764 KiB
Current children cumulated memory: 3666116 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+375.701 s]
/proc/loadavg: 2.03 2.16 2.14 3/225 32588
/proc/meminfo: memFree=17477044/32770624 swapFree=67076520/67108860
[pid=32560] ppid=32557 vsize=15683912 memory=3549088 CPUtime=35.21 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 50241 0 0 0 3396 125 0 0 20 0 19 0 71851768 16060325888 887272 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3920978 887272 3263 1 0 3881834 0
[pid=32576] ppid=32560 vsize=199172 memory=147504 CPUtime=353.41 cores=1,3,5,7
/proc/32576/stat : 32576 (minisat_release) R 32560 32560 29212 0 -1 4202496 184845 0 0 0 35324 17 0 0 20 0 1 0 71853996 203952128 36876 33554432000 4194304 4308513 140728338040992 140728338037896 4281248 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 16117760 140728338047663 140728338048174 140728338048174 140728338051013 0
/proc/32576/statm: 49793 36876 355 28 0 46033 0
[pid=32560/tid=32562] ppid=32557 vsize=15683912 memory=3549088 CPUtime=21.39 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) S 32557 32560 29212 0 -1 1077944384 21987 0 0 0 2089 50 0 0 20 0 19 0 71851768 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545411001344 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.86 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 906 0 0 0 72 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.86 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 338 0 0 0 72 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.87 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 360 0 0 0 73 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.87 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 423 0 0 0 73 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.02 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 968 0 0 0 1 1 0 0 20 0 19 0 71851771 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32568] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32568/stat : 32568 (java) S 32557 32560 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71851772 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544013493344 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32569] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32569/stat : 32569 (java) S 32557 32560 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71851772 16060325888 887272 33554432000 4194304 4196468 140731112712688 140543745057664 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32570] ppid=32557 vsize=15683912 memory=119076 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32570/stat : 32570 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140543370549072 140545439180699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32571] ppid=32557 vsize=15683912 memory=112932 CPUtime=4.75 cores=1,3,5,7
/proc/32560/task/32571/stat : 32571 (java) S 32557 32560 29212 0 -1 1077944384 8955 0 0 0 473 2 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544408779632 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32572] ppid=32557 vsize=15683912 memory=3549088 CPUtime=3.97 cores=1,3,5,7
/proc/32560/task/32572/stat : 32572 (java) S 32557 32560 29212 0 -1 1077944384 8095 0 0 0 396 1 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544407726832 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32573] ppid=32557 vsize=15683912 memory=117028 CPUtime=1.33 cores=1,3,5,7
/proc/32560/task/32573/stat : 32573 (java) S 32557 32560 29212 0 -1 1077944384 6756 0 0 0 131 2 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544406674032 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32574] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32574/stat : 32574 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71851775 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542872644320 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32575] ppid=32557 vsize=15683912 memory=3544 CPUtime=0.21 cores=1,3,5,7
/proc/32560/task/32575/stat : 32575 (java) S 32557 32560 29212 0 -1 1077944384 45 0 0 0 10 11 0 0 20 0 19 0 71851775 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544405621424 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32577] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32577/stat : 32577 (java) S 32557 32560 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545221715136 140545439186713 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32579] ppid=32557 vsize=15683912 memory=114924 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32579/stat : 32579 (java) S 32557 32560 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542469979312 140545439184029 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32580] ppid=32557 vsize=15683912 memory=18620 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32580/stat : 32580 (java) S 32557 32560 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542335758384 140545439184029 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32581] ppid=32557 vsize=15683912 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32581/stat : 32581 (java) S 32557 32560 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71853999 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542067334816 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
Current children cumulated CPU time: 388.62 s
Current children cumulated vsize: 15883084 KiB
Current children cumulated memory: 3696592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+375.732 s]
# the end of solver process 32560 was just reported to runsolver
# cumulated CPU time of all completed processes: user=387.212 s, system=1.4673 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+375.701 s]
/proc/loadavg: 2.03 2.16 2.14 3/225 32588
/proc/meminfo: memFree=17477044/32770624 swapFree=67076520/67108860
[pid=32560] ppid=32557 vsize=15683912 memory=3549088 CPUtime=35.21 cores=1,3,5,7
/proc/32560/stat : 32560 (java) S 32557 32560 29212 0 -1 1077944320 50241 0 0 0 3396 125 0 0 20 0 19 0 71851768 16060325888 887272 33554432000 4194304 4196468 140731112712688 140731112695232 140545439162103 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
/proc/32560/statm: 3920978 887272 3263 1 0 3881834 0
[pid=32576] ppid=32560 vsize=199172 memory=147504 CPUtime=353.41 cores=1,3,5,7
/proc/32576/stat : 32576 (minisat_release) R 32560 32560 29212 0 -1 4202496 184845 0 0 0 35324 17 0 0 20 0 1 0 71853996 203952128 36876 33554432000 4194304 4308513 140728338040992 140728338037896 4281248 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 16117760 140728338047663 140728338048174 140728338048174 140728338051013 0
/proc/32576/statm: 49793 36876 355 28 0 46033 0
[pid=32560/tid=32562] ppid=32557 vsize=15683912 memory=3549088 CPUtime=21.39 cores=1,3,5,7
/proc/32560/task/32562/stat : 32562 (java) S 32557 32560 29212 0 -1 1077944384 21987 0 0 0 2089 50 0 0 20 0 19 0 71851768 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545411001344 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32563] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.86 cores=1,3,5,7
/proc/32560/task/32563/stat : 32563 (java) S 32557 32560 29212 0 -1 1077944384 906 0 0 0 72 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545443404944 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32564] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.86 cores=1,3,5,7
/proc/32560/task/32564/stat : 32564 (java) S 32557 32560 29212 0 -1 1077944384 338 0 0 0 72 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545234488336 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32565] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.87 cores=1,3,5,7
/proc/32560/task/32565/stat : 32565 (java) S 32557 32560 29212 0 -1 1077944384 360 0 0 0 73 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545233435536 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32566] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.87 cores=1,3,5,7
/proc/32560/task/32566/stat : 32566 (java) S 32557 32560 29212 0 -1 1077944384 423 0 0 0 73 14 0 0 20 0 19 0 71851770 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545232382736 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32567] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0.02 cores=1,3,5,7
/proc/32560/task/32567/stat : 32567 (java) S 32557 32560 29212 0 -1 1077944384 968 0 0 0 1 1 0 0 20 0 19 0 71851771 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544409831792 140545439173250 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32568] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32568/stat : 32568 (java) S 32557 32560 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71851772 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544013493344 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32569] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32569/stat : 32569 (java) S 32557 32560 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71851772 16060325888 887272 33554432000 4194304 4196468 140731112712688 140543745057664 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32570] ppid=32557 vsize=15683912 memory=119076 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32570/stat : 32570 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140543370549072 140545439180699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32571] ppid=32557 vsize=15683912 memory=112932 CPUtime=4.75 cores=1,3,5,7
/proc/32560/task/32571/stat : 32571 (java) S 32557 32560 29212 0 -1 1077944384 8955 0 0 0 473 2 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544408779632 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32572] ppid=32557 vsize=15683912 memory=3549088 CPUtime=3.97 cores=1,3,5,7
/proc/32560/task/32572/stat : 32572 (java) S 32557 32560 29212 0 -1 1077944384 8095 0 0 0 396 1 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544407726832 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32573] ppid=32557 vsize=15683912 memory=117028 CPUtime=1.33 cores=1,3,5,7
/proc/32560/task/32573/stat : 32573 (java) S 32557 32560 29212 0 -1 1077944384 6756 0 0 0 131 2 0 0 20 0 19 0 71851774 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544406674032 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32574] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32574/stat : 32574 (java) S 32557 32560 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71851775 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542872644320 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32575] ppid=32557 vsize=15683912 memory=3544 CPUtime=0.21 cores=1,3,5,7
/proc/32560/task/32575/stat : 32575 (java) S 32557 32560 29212 0 -1 1077944384 45 0 0 0 10 11 0 0 20 0 19 0 71851775 16060325888 887272 33554432000 4194304 4196468 140731112712688 140544405621424 140545439173250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32577] ppid=32557 vsize=15683912 memory=3549088 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32577/stat : 32577 (java) S 32557 32560 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140545221715136 140545439186713 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32579] ppid=32557 vsize=15683912 memory=114924 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32579/stat : 32579 (java) S 32557 32560 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542469979312 140545439184029 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32580] ppid=32557 vsize=15683912 memory=18620 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32580/stat : 32580 (java) S 32557 32560 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71853997 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542335758384 140545439184029 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
[pid=32560/tid=32581] ppid=32557 vsize=15683912 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32560/task/32581/stat : 32581 (java) S 32557 32560 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71853999 16060325888 887272 33554432000 4194304 4196468 140731112712688 140542067334816 140545439172309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140731112719348 140731112719625 140731112719625 140731112722383 0
Current children cumulated CPU time: 388.62 s
Current children cumulated vsize: 15883084 KiB
Current children cumulated memory: 3696592 KiB
Child status: 1
Real time (s): 375.732
CPU time (s): 388.679
CPU user time (s): 387.212
CPU system time (s): 1.4673
CPU usage (%): 103.446
Max. virtual memory (cumulated for all children) (KiB): 15883084
Max. memory (cumulated for all children) (KiB): 3696592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 387.212
system time used= 1.46731
maximum resident set size= 3549492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13410
involuntary context switches= 247
# summary of solver processes directly reported to runsolver:
# pid: 32560
# total CPU time (s): 388.679
# total CPU user time (s): 387.212
# total CPU system time (s): 1.4673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.78038 second user time and 3.69677 second system time
The end