0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 16:49:05 CEST 2018
0.67/0.55 c PID: 11327
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.56 c (0,0) Parsing Begin
3.15/1.37 c (0,0) Parsing End
3.15/1.38 c (0,0) CSP: 1176 int (0 aux), 0 bool (0 aux), 701 ctr, max domain size 42
3.15/1.38 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.15/1.39 c (0,0) Constraint Name Generate Begin
3.15/1.39 c (0,0) Ctr:HOME/instance-4294532-1532357344.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.15/1.39 c (0,0) Constraint Name Generate End
3.15/1.39 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.15/1.40 c (0,0) CSP to CSPinCNF Begin
5.76/2.23 c (1,1) translated 71 (10%) constraints
11.32/4.51 c (3,3) translated 141 (20%) constraints
11.95/4.75 c (4,4) translated 211 (30%) constraints
12.57/4.94 c (4,4) translated 281 (40%) constraints
13.20/5.13 c (4,4) translated 351 (50%) constraints
13.52/5.29 c (4,4) translated 421 (60%) constraints
14.12/5.46 c (4,4) translated 491 (70%) constraints
14.74/5.61 c (5,5) translated 561 (80%) constraints
15.04/5.76 c (5,5) translated 631 (90%) constraints
15.65/5.91 c (5,5) translated 701 (100%) constraints
17.20/6.42 c (5,5) STATISTICS1:HOME/instance-4294532-1532357344.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6031,56774,42,42,42,2,42:11561;41:324;40:298;39:305;38:625;8:882;7:882,42:86359;41:1271;40:1121;39:1121;38:2210;8:6468;7:5880;2:22209,42:28;9:294;8:294;7:168;4:445;3:31211;2:24259;1:75,2:14877;1:121581;0:588,
17.20/6.42 c (5,5) ===========================================
17.20/6.42 c (5,5) Order
17.20/6.42 c (5,5) ===========================================
17.77/6.67 c (6,6) translated 5678 (10%) constraints
18.26/6.86 c (6,6) translated 11355 (20%) constraints
19.29/7.22 c (6,6) translated 17033 (30%) constraints
19.88/7.67 c (7,7) translated 22710 (40%) constraints
20.30/8.07 c (7,7) translated 28387 (50%) constraints
20.79/8.51 c (7,7) translated 34065 (60%) constraints
21.11/8.89 c (8,8) translated 39742 (70%) constraints
21.66/9.04 c (8,8) translated 45420 (80%) constraints
21.95/9.15 c (8,8) translated 51097 (90%) constraints
22.05/9.24 c (8,8) translated 56774 (100%) constraints
22.05/9.24 c (8,8) CSP to CSPinCNF End
22.05/9.25 c (8,8) CSP: 1176 int (0 aux), 29551 bool (29551 aux), 106166 ctr, max domain size 42
22.05/9.25 c (8,8) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
22.05/9.26 c (8,8) CSPinCNF Propagation Begin
23.97/10.01 c (9,9) 262 values, 2426 unsatisfiable literals, and 1752 valid clauses are removed
23.97/10.01 c (9,9) CSPinCNF Propagation End
23.97/10.02 c (9,9) CSP: 1368 int (192 aux), 29359 bool (29359 aux), 104414 ctr, max domain size 42
23.97/10.02 c (9,9) Heap : 407 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
23.97/10.02 c (9,9) Simplify CSPinCNF Begin
24.89/10.63 c (10,9) Simplify CSPinCNF End
24.89/10.65 c (10,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
24.89/10.65 c (10,9) Heap : 794 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.89/10.65 c (10,9) Calculate Precise Domain Begin
24.89/10.65 c (10,9) 0 values are removed by re-calculation
24.89/10.65 c (10,9) Calculate Precise Domain End
24.89/10.67 c (10,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
24.89/10.67 c (10,9) Heap : 794 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.89/10.67 c (10,9) CSPinCNF to SatSolver Begin
26.99/11.83 c (11,11) 13259 (10 %) CSP clauses are encoded (85272 SAT variables, 394862 SAT clauses)
27.94/12.76 c (12,12) 26518 (20 %) CSP clauses are encoded (85272 SAT variables, 764389 SAT clauses)
29.29/13.66 c (13,12) 39777 (30 %) CSP clauses are encoded (85272 SAT variables, 1053907 SAT clauses)
29.39/13.75 c (13,12) 53036 (40 %) CSP clauses are encoded (85272 SAT variables, 1075643 SAT clauses)
29.49/13.81 c (13,12) 66295 (50 %) CSP clauses are encoded (85272 SAT variables, 1088902 SAT clauses)
29.49/13.87 c (13,13) 79554 (60 %) CSP clauses are encoded (85272 SAT variables, 1102161 SAT clauses)
29.59/13.93 c (13,13) 92813 (70 %) CSP clauses are encoded (85272 SAT variables, 1115420 SAT clauses)
29.64/14.24 c (13,13) 106072 (80 %) CSP clauses are encoded (85272 SAT variables, 1128679 SAT clauses)
29.88/14.40 c (13,13) 119331 (90 %) CSP clauses are encoded (85272 SAT variables, 1184304 SAT clauses)
29.88/14.47 c (13,13) 132589 (100 %) CSP clauses are encoded (85272 SAT variables, 1197562 SAT clauses)
29.88/14.47 c (13,13) CSPinCNF to SatSolver End
29.88/14.47 c (13,13) Heap : 956 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.69/14.85 c (14,13) STATISTICS2:HOME/instance-4294532-1532357344.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,58902,132589,42,42,42,2,42:19934;41:606;40:1165;39:1124;38:2338;8:1764;7:1764,42:145153;41:2169;40:4035;39:3711;38:7308;8:8232;7:7644;2:151335,42:7;38:20;36:1;8:294;7:462;4:445;3:29791;2:101494;1:75,2:28695;1:272197,
30.69/14.85 c (14,13) SatSolver.solve Begin
30.69/14.85 c (14,13) 85272 bool, 1197563 clause
30.69/14.85 c (14,13) 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-4294532-1532357344.xml-scop-11327.cnf HOME/instance-4294532-1532357344.xml-scop-11327.cnf.out
32.48/16.50 c (15,0) receiving signal SIGTERM
32.48/16.50 s UNKNOWN
32.48/16.51 c (15,13) SatSolver is killed by some reasons.
32.48/16.51 c (15,13) 0,0,8,9,10,10,13,TO,TO,STOP-AFTER(DIMACS)
32.48/16.51 c END-Prog: Mon Jul 23 16:49:21 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 (1993 MiB free)
memory of node 1: 16384 MiB (11577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294532-1532357344/watcher-4294532-1532357344 -o /tmp/evaluation-result-4294532-1532357344/solver-4294532-1532357344 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294532-1532357344.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=11327, runsolver pid=11324
[startup+0.100142 s]*
/proc/loadavg: 2.70 2.32 2.17 3/220 11342
/proc/meminfo: memFree=13838304/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15011656 memory=71672 CPUtime=0.12 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 7128 0 0 0 10 2 0 0 20 0 15 0 53297588 15371935744 17918 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3752914 17918 2770 1 0 3715374 0
[pid=11327/tid=11329] ppid=11324 vsize=15011656 memory=-6943317439038143312 CPUtime=0.09 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) R 11324 11327 2271 0 -1 4202560 5353 0 0 0 8 1 0 0 20 0 15 0 53297588 15371935744 18050 33554432000 4194304 4196468 140731443902032 140335913507120 140335922005788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297589 15371935744 18050 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 18050 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 18116 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 18116 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297591 15371935744 18116 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11335] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11335/stat : 11335 (java) S 11324 11327 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53297591 15371935744 18116 33554432000 4194304 4196468 140731443902032 140334499620256 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11336] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11336/stat : 11336 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297592 15371935744 18116 33554432000 4194304 4196468 140731443902032 140334231184880 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11337] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11337/stat : 11337 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 18116 33554432000 4194304 4196468 140731443902032 140333856676560 140335941748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11338] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11338/stat : 11338 (java) S 11324 11327 2271 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 18116 33554432000 4194304 4196468 140731443902032 140334979135472 140335941741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11339] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11339/stat : 11339 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 18116 33554432000 4194304 4196468 140731443902032 140334978082928 140335941741186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11340] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0.01 cores=1,3,5,7
/proc/11327/task/11340/stat : 11340 (java) S 11324 11327 2271 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 15 0 53297594 15371935744 18116 33554432000 4194304 4196468 140731443902032 140334977030384 140335941741186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 18116 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297595 15371935744 18116 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71672 KiB
[startup+0.210532 s]*
/proc/loadavg: 2.70 2.32 2.17 3/220 11342
/proc/meminfo: memFree=13823732/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15011656 memory=84220 CPUtime=0.26 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 10502 0 0 0 24 2 0 0 20 0 15 0 53297588 15371935744 21055 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3752914 21055 2883 1 0 3715374 0
[pid=11327/tid=11329] ppid=11324 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) S 11324 11327 2271 0 -1 1077944384 8328 0 0 0 18 2 0 0 20 0 15 0 53297588 15371935744 21055 33554432000 4194304 4196468 140731443902032 140335913558304 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297589 15371935744 21055 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15011656 memory=288370367576626816 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 21055 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 21055 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 21055 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297591 15371935744 21055 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11335] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11335/stat : 11335 (java) S 11324 11327 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53297591 15371935744 21121 33554432000 4194304 4196468 140731443902032 140334499620256 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11336] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11336/stat : 11336 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297592 15371935744 21121 33554432000 4194304 4196468 140731443902032 140334231184880 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11337] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11337/stat : 11337 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 21121 33554432000 4194304 4196468 140731443902032 140333856676560 140335941748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11338] ppid=11324 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11327/task/11338/stat : 11338 (java) R 11324 11327 2271 0 -1 4202560 463 0 0 0 1 0 0 0 20 0 15 0 53297594 15371935744 21121 33554432000 4194304 4196468 140731443902032 140334979135472 140335919597856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11339] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11339/stat : 11339 (java) R 11324 11327 2271 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 21121 33554432000 4194304 4196468 140731443902032 140334978082928 140335941741186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11340] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0.03 cores=1,3,5,7
/proc/11327/task/11340/stat : 11340 (java) S 11324 11327 2271 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 53297594 15371935744 21121 33554432000 4194304 4196468 140731443902032 140334977030384 140335941741186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 21121 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297595 15371935744 21121 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84220 KiB
[startup+0.310528 s]*
/proc/loadavg: 2.70 2.32 2.17 3/220 11342
/proc/meminfo: memFree=13820196/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15011656 memory=88456 CPUtime=0.43 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 11197 0 0 0 40 3 0 0 20 0 15 0 53297588 15371935744 22114 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3752914 22114 2989 1 0 3715374 0
[pid=11327/tid=11329] ppid=11324 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) R 11324 11327 2271 0 -1 4202560 8762 0 0 0 27 2 0 0 20 0 15 0 53297588 15371935744 22114 33554432000 4194304 4196468 140731443902032 140335913534192 140335925773669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297589 15371935744 22114 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 22114 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 22114 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15371935744 22114 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297591 15371935744 22114 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11335] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11335/stat : 11335 (java) S 11324 11327 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53297591 15371935744 22114 33554432000 4194304 4196468 140731443902032 140334499620256 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11336] ppid=11324 vsize=15011656 memory=139991424915072 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11336/stat : 11336 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297592 15371935744 22114 33554432000 4194304 4196468 140731443902032 140334231184880 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11337] ppid=11324 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11337/stat : 11337 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 22114 33554432000 4194304 4196468 140731443902032 140333856676560 140335941748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11338] ppid=11324 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11327/task/11338/stat : 11338 (java) R 11324 11327 2271 0 -1 1077944384 590 0 0 0 3 0 0 0 20 0 15 0 53297594 15371935744 22114 33554432000 4194304 4196468 140731443902032 140334979135568 140335941740245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11339] ppid=11324 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11327/task/11339/stat : 11339 (java) R 11324 11327 2271 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 15 0 53297594 15371935744 22114 33554432000 4194304 4196468 140731443902032 140334978082928 140335923274704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11340] ppid=11324 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11327/task/11340/stat : 11340 (java) R 11324 11327 2271 0 -1 4202560 471 0 0 0 7 0 0 0 20 0 15 0 53297594 15371935744 22114 33554432000 4194304 4196468 140731443902032 140334977027920 140335920675600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15371935744 22114 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) R 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297595 15371935744 22114 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88456 KiB
[startup+0.706023 s]
/proc/loadavg: 2.70 2.32 2.17 3/220 11342
/proc/meminfo: memFree=13795144/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15017928 memory=130960 CPUtime=1.05 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 18482 0 0 0 100 5 0 0 20 0 15 0 53297588 15378358272 32740 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3754482 32740 3148 1 0 3715886 0
[pid=11327/tid=11329] ppid=11324 vsize=15017928 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) R 11324 11327 2271 0 -1 4202560 15336 0 0 0 64 4 0 0 20 0 15 0 53297588 15378358272 32740 33554432000 4194304 4196468 140731443902032 140335913551328 140335941751965 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15017928 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297589 15378358272 32740 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15017928 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297590 15378358272 32740 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15017928 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15378358272 32740 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15017928 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15378358272 32740 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15017928 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53297591 15378358272 32740 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11335] ppid=11324 vsize=15017928 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11335/stat : 11335 (java) S 11324 11327 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53297591 15378358272 32740 33554432000 4194304 4196468 140731443902032 140334499620256 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11336] ppid=11324 vsize=15017928 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11336/stat : 11336 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297592 15378358272 32740 33554432000 4194304 4196468 140731443902032 140334231184880 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11337] ppid=11324 vsize=15017928 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11337/stat : 11337 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15378358272 32740 33554432000 4194304 4196468 140731443902032 140333856676560 140335941748635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11338] ppid=11324 vsize=15017928 memory=8384 CPUtime=0.1 cores=1,3,5,7
/proc/11327/task/11338/stat : 11338 (java) R 11324 11327 2271 0 -1 4202560 817 0 0 0 10 0 0 0 20 0 15 0 53297594 15378358272 32740 33554432000 4194304 4196468 140731443902032 140334979127424 140335921161677 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11339] ppid=11324 vsize=15017928 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/11327/task/11339/stat : 11339 (java) R 11324 11327 2271 0 -1 4202560 235 0 0 0 7 0 0 0 20 0 15 0 53297594 15378358272 32740 33554432000 4194304 4196468 140731443902032 140334978063944 140335926123875 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11340] ppid=11324 vsize=15017928 memory=1424 CPUtime=0.18 cores=1,3,5,7
/proc/11327/task/11340/stat : 11340 (java) R 11324 11327 2271 0 -1 1077944384 753 0 0 0 18 0 0 0 20 0 15 0 53297594 15378358272 32740 33554432000 4194304 4196468 140731443902032 140334977025456 140335941740245 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15017928 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15378358272 32740 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15017928 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297595 15378358272 32740 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 130960 KiB
[startup+1.50066 s]
/proc/loadavg: 2.88 2.36 2.18 5/220 11342
/proc/meminfo: memFree=13735592/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15022100 memory=201580 CPUtime=3.69 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 23385 0 0 0 362 7 0 0 20 0 15 0 53297588 15382630400 50395 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3755525 50395 3202 1 0 3716910 0
[pid=11327/tid=11329] ppid=11324 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) R 11324 11327 2271 0 -1 4202560 16413 0 0 0 141 6 0 0 20 0 15 0 53297588 15382630400 50395 33554432000 4194304 4196468 140731443902032 140335913564352 140335941741974 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297589 15382630400 50395 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297590 15382630400 50395 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15382630400 50395 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53297590 15382630400 50395 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53297591 15382630400 50395 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
################
# More data... #
################
/proc/11327/task/11340/stat : 11340 (java) S 11324 11327 2271 0 -1 1077944384 4423 0 0 0 159 2 0 0 20 0 15 0 53297594 15384727552 451901 33554432000 4194304 4196468 140731443902032 140334977030384 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15024148 memory=1454676 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15384727552 451901 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15024148 memory=16098156739823870 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297595 15384727552 451901 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 16.9 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 1807604 KiB
[startup+12.7008 s]
/proc/loadavg: 3.14 2.43 2.21 3/220 11342
/proc/meminfo: memFree=10764496/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15028312 memory=3126212 CPUtime=27.94 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 39526 0 0 0 2724 70 0 0 20 0 15 0 53297588 15388991488 781553 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3757078 781553 3238 1 0 3717934 0
[pid=11327/tid=11329] ppid=11324 vsize=15028312 memory=17188 CPUtime=12.5 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) R 11324 11327 2271 0 -1 4202560 20287 0 0 0 1200 50 0 0 20 0 15 0 53297588 15388991488 781553 33554432000 4194304 4196468 140731443902032 140335913569664 140335452186329 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15028312 memory=279982610903424 CPUtime=0.13 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 96 0 0 0 10 3 0 0 20 0 15 0 53297589 15388991488 781553 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15028312 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 55 0 0 0 10 3 0 0 20 0 15 0 53297590 15388991488 781553 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15028312 memory=6944652177228980320 CPUtime=0.13 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 55 0 0 0 11 2 0 0 20 0 15 0 53297590 15388991488 781553 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15028312 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 77 0 0 0 11 2 0 0 20 0 15 0 53297590 15388991488 781553 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15028312 memory=3128776 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 53297591 15388991488 781553 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11335] ppid=11324 vsize=15028312 memory=861 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11335/stat : 11335 (java) S 11324 11327 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 53297591 15388991488 781553 33554432000 4194304 4196468 140731443902032 140334499620320 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11336] ppid=11324 vsize=15028312 memory=2774 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11336/stat : 11336 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53297592 15388991488 781553 33554432000 4194304 4196468 140731443902032 140334231184880 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11337] ppid=11324 vsize=15028312 memory=2110341912250868 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11337/stat : 11337 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15388991488 781553 33554432000 4194304 4196468 140731443902032 140333856676560 140335941748635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11338] ppid=11324 vsize=15028312 memory=0 CPUtime=6.36 cores=1,3,5,7
/proc/11327/task/11338/stat : 11338 (java) S 11324 11327 2271 0 -1 1077944384 5724 0 0 0 635 1 0 0 20 0 15 0 53297594 15388991488 781553 33554432000 4194304 4196468 140731443902032 140334979135472 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11339] ppid=11324 vsize=15028312 memory=3125628 CPUtime=6.54 cores=1,3,5,7
/proc/11327/task/11339/stat : 11339 (java) S 11324 11327 2271 0 -1 1077944384 6941 0 0 0 653 1 0 0 20 0 15 0 53297594 15388991488 781553 33554432000 4194304 4196468 140731443902032 140334978082928 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11340] ppid=11324 vsize=15028312 memory=-6438865889672082020 CPUtime=1.92 cores=1,3,5,7
/proc/11327/task/11340/stat : 11340 (java) S 11324 11327 2271 0 -1 1077944384 4935 0 0 0 190 2 0 0 20 0 15 0 53297594 15388991488 781553 33554432000 4194304 4196468 140731443902032 140334977030384 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15028312 memory=56 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297594 15388991488 781553 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53297595 15388991488 781553 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 27.94 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3126212 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+16.5009 s]
/proc/loadavg: 3.05 2.43 2.21 3/225 11348
/proc/meminfo: memFree=10450776/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15683912 memory=3283668 CPUtime=30.86 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 40194 0 0 0 2999 87 0 0 20 0 19 0 53297588 16060325888 820917 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3920978 820917 3246 1 0 3881834 0
[pid=11343] ppid=11327 vsize=199704 memory=147304 CPUtime=1.62 cores=1,3,5,7
/proc/11343/stat : 11343 (minisat_release) R 11327 11327 2271 0 -1 4202496 28613 0 0 0 157 5 0 0 20 0 1 0 53299075 204496896 36826 33554432000 4194304 4308513 140727312032896 140727312029528 4239019 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22114304 140727312040623 140727312041134 140727312041134 140727312043973 0
/proc/11343/statm: 49926 36826 332 28 0 46166 0
[pid=11327/tid=11329] ppid=11324 vsize=15683912 memory=3284092 CPUtime=14.31 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) S 11324 11327 2271 0 -1 1077944384 20584 0 0 0 1379 52 0 0 20 0 19 0 53297588 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335913569280 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15683912 memory=2774 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 172 0 0 0 21 7 0 0 20 0 19 0 53297589 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15683912 memory=2762 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 144 0 0 0 21 7 0 0 20 0 19 0 53297590 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15683912 memory=1220 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 119 0 0 0 22 6 0 0 20 0 19 0 53297590 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15683912 memory=3286904 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 139 0 0 0 22 6 0 0 20 0 19 0 53297590 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15683912 memory=17188 CPUtime=0.01 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 53297591 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11335] ppid=11324 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11335/stat : 11335 (java) S 11324 11327 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 53297591 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334499620320 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11336] ppid=11324 vsize=15683912 memory=17188 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11336/stat : 11336 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53297592 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334231184896 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11337] ppid=11324 vsize=15683912 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11337/stat : 11337 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140333856676560 140335941748635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11338] ppid=11324 vsize=15683912 memory=5788 CPUtime=6.59 cores=1,3,5,7
/proc/11327/task/11338/stat : 11338 (java) S 11324 11327 2271 0 -1 1077944384 5724 0 0 0 658 1 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334979135472 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11339] ppid=11324 vsize=15683912 memory=1936 CPUtime=6.77 cores=1,3,5,7
/proc/11327/task/11339/stat : 11339 (java) S 11324 11327 2271 0 -1 1077944384 6941 0 0 0 675 2 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334978082928 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11340] ppid=11324 vsize=15683912 memory=1196 CPUtime=1.97 cores=1,3,5,7
/proc/11327/task/11340/stat : 11340 (java) S 11324 11327 2271 0 -1 1077944384 4946 0 0 0 195 2 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334977030384 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15683912 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53297595 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11344] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11344/stat : 11344 (java) S 11324 11327 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53299075 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334970267200 140335941754649 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11346] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11346/stat : 11346 (java) S 11324 11327 2271 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53299075 16060325888 820917 33554432000 4194304 4196468 140731443902032 140332821884976 140335941751965 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11347] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11347/stat : 11347 (java) S 11324 11327 2271 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 53299075 16060325888 820917 33554432000 4194304 4196468 140731443902032 140332956105904 140335941751965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11348] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11348/stat : 11348 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53299077 16060325888 820917 33554432000 4194304 4196468 140731443902032 140332553460768 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 32.48 s
Current children cumulated vsize: 15883616 KiB
Current children cumulated memory: 3430972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+16.5316 s]
# the end of solver process 11327 was just reported to runsolver
# cumulated CPU time of all completed processes: user=31.5748 s, system=0.959602 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+16.5009 s]
/proc/loadavg: 3.05 2.43 2.21 3/225 11348
/proc/meminfo: memFree=10450776/32770624 swapFree=67108860/67108860
[pid=11327] ppid=11324 vsize=15683912 memory=3283668 CPUtime=30.86 cores=1,3,5,7
/proc/11327/stat : 11327 (java) S 11324 11327 2271 0 -1 1077944320 40194 0 0 0 2999 87 0 0 20 0 19 0 53297588 16060325888 820917 33554432000 4194304 4196468 140731443902032 140731443884576 140335941730039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
/proc/11327/statm: 3920978 820917 3246 1 0 3881834 0
[pid=11343] ppid=11327 vsize=199704 memory=147304 CPUtime=1.62 cores=1,3,5,7
/proc/11343/stat : 11343 (minisat_release) R 11327 11327 2271 0 -1 4202496 28613 0 0 0 157 5 0 0 20 0 1 0 53299075 204496896 36826 33554432000 4194304 4308513 140727312032896 140727312029528 4239019 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22114304 140727312040623 140727312041134 140727312041134 140727312043973 0
/proc/11343/statm: 49926 36826 332 28 0 46166 0
[pid=11327/tid=11329] ppid=11324 vsize=15683912 memory=3284092 CPUtime=14.31 cores=1,3,5,7
/proc/11327/task/11329/stat : 11329 (java) S 11324 11327 2271 0 -1 1077944384 20584 0 0 0 1379 52 0 0 20 0 19 0 53297588 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335913569280 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11330] ppid=11324 vsize=15683912 memory=2774 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11330/stat : 11330 (java) S 11324 11327 2271 0 -1 1077944384 172 0 0 0 21 7 0 0 20 0 19 0 53297589 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335945971984 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11331] ppid=11324 vsize=15683912 memory=2762 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11331/stat : 11331 (java) S 11324 11327 2271 0 -1 1077944384 144 0 0 0 21 7 0 0 20 0 19 0 53297590 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335402531216 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11332] ppid=11324 vsize=15683912 memory=1220 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11332/stat : 11332 (java) S 11324 11327 2271 0 -1 1077944384 119 0 0 0 22 6 0 0 20 0 19 0 53297590 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335401478672 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11333] ppid=11324 vsize=15683912 memory=3286904 CPUtime=0.28 cores=1,3,5,7
/proc/11327/task/11333/stat : 11333 (java) S 11324 11327 2271 0 -1 1077944384 139 0 0 0 22 6 0 0 20 0 19 0 53297590 16060325888 820917 33554432000 4194304 4196468 140731443902032 140335400426128 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11334] ppid=11324 vsize=15683912 memory=17188 CPUtime=0.01 cores=1,3,5,7
/proc/11327/task/11334/stat : 11334 (java) S 11324 11327 2271 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 53297591 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334980188656 140335941741186 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11335] ppid=11324 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11335/stat : 11335 (java) S 11324 11327 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 53297591 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334499620320 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11336] ppid=11324 vsize=15683912 memory=17188 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11336/stat : 11336 (java) S 11324 11327 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53297592 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334231184896 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11337] ppid=11324 vsize=15683912 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11337/stat : 11337 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140333856676560 140335941748635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11338] ppid=11324 vsize=15683912 memory=5788 CPUtime=6.59 cores=1,3,5,7
/proc/11327/task/11338/stat : 11338 (java) S 11324 11327 2271 0 -1 1077944384 5724 0 0 0 658 1 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334979135472 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11339] ppid=11324 vsize=15683912 memory=1936 CPUtime=6.77 cores=1,3,5,7
/proc/11327/task/11339/stat : 11339 (java) S 11324 11327 2271 0 -1 1077944384 6941 0 0 0 675 2 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334978082928 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11340] ppid=11324 vsize=15683912 memory=1196 CPUtime=1.97 cores=1,3,5,7
/proc/11327/task/11340/stat : 11340 (java) S 11324 11327 2271 0 -1 1077944384 4946 0 0 0 195 2 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334977030384 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11341] ppid=11324 vsize=15683912 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11341/stat : 11341 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53297594 16060325888 820917 33554432000 4194304 4196468 140731443902032 140333358770784 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11342] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11342/stat : 11342 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53297595 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334975978288 140335941741186 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11344] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11344/stat : 11344 (java) S 11324 11327 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53299075 16060325888 820917 33554432000 4194304 4196468 140731443902032 140334970267200 140335941754649 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11346] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11346/stat : 11346 (java) S 11324 11327 2271 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53299075 16060325888 820917 33554432000 4194304 4196468 140731443902032 140332821884976 140335941751965 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11347] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11347/stat : 11347 (java) S 11324 11327 2271 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 53299075 16060325888 820917 33554432000 4194304 4196468 140731443902032 140332956105904 140335941751965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
[pid=11327/tid=11348] ppid=11324 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11327/task/11348/stat : 11348 (java) S 11324 11327 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53299077 16060325888 820917 33554432000 4194304 4196468 140731443902032 140332553460768 140335941740245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140731443909619 140731443909897 140731443909897 140731443912655 0
Current children cumulated CPU time: 32.48 s
Current children cumulated vsize: 15883616 KiB
Current children cumulated memory: 3430972 KiB
Child status: 1
Real time (s): 16.5317
CPU time (s): 32.5344
CPU user time (s): 31.5748
CPU system time (s): 0.959602
CPU usage (%): 196.801
Max. virtual memory (cumulated for all children) (KiB): 15883616
Max. memory (cumulated for all children) (KiB): 3430972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.5748
system time used= 0.959602
maximum resident set size= 3287216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5827
involuntary context switches= 90
# summary of solver processes directly reported to runsolver:
# pid: 11327
# total CPU time (s): 32.5344
# total CPU user time (s): 31.5748
# total CPU system time (s): 0.959602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.127948 second user time and 0.203819 second system time
The end