0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:49:33 CEST 2018
0.67/0.54 c PID: 11493
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.45/1.40 c (0,0) Parsing End
3.45/1.41 c (0,0) CSP: 1200 int (0 aux), 0 bool (0 aux), 741 ctr, max domain size 60
3.45/1.41 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.45/1.41 c (0,0) Constraint Name Generate Begin
3.45/1.43 c (0,0) Ctr:HOME/instance-4294550-1532357372.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.45/1.43 c (0,0) Constraint Name Generate End
3.45/1.43 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.45/1.43 c (0,0) CSP to CSPinCNF Begin
6.11/2.36 c (1,1) translated 75 (10%) constraints
12.02/5.32 c (4,4) translated 149 (20%) constraints
12.71/5.57 c (5,5) translated 223 (30%) constraints
13.34/5.75 c (5,5) translated 297 (40%) constraints
13.95/5.93 c (5,5) translated 371 (50%) constraints
14.29/6.08 c (5,5) translated 445 (60%) constraints
14.87/6.23 c (5,5) translated 519 (70%) constraints
15.18/6.38 c (5,5) translated 593 (80%) constraints
15.77/6.52 c (5,5) translated 667 (90%) constraints
15.99/6.64 c (6,6) translated 741 (100%) constraints
17.48/7.18 c (6,6) STATISTICS1:HOME/instance-4294550-1532357372.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4909,68724,60,60,60,2,60:17143;59:350;58:302;57:307;56:625;6:600;5:600,60:116133;59:1227;58:1029;57:1029;56:2036;6:4800;5:4200;2:16527,60:20;7:300;6:300;5:240;4:409;3:40263;2:27109;1:83,2:19927;1:143127;0:600,
17.48/7.18 c (6,6) ===========================================
17.48/7.18 c (6,6) Order
17.48/7.18 c (6,6) ===========================================
18.15/7.47 c (6,6) translated 6873 (10%) constraints
18.72/7.69 c (7,7) translated 13745 (20%) constraints
19.32/7.97 c (7,7) translated 20618 (30%) constraints
20.69/8.60 c (8,7) translated 27490 (40%) constraints
21.22/9.09 c (8,8) translated 34362 (50%) constraints
21.74/9.58 c (9,8) translated 41235 (60%) constraints
22.25/10.04 c (9,9) translated 48107 (70%) constraints
22.74/10.51 c (9,9) translated 54980 (80%) constraints
23.31/10.76 c (10,10) translated 61852 (90%) constraints
23.61/10.87 c (10,10) translated 68724 (100%) constraints
23.61/10.87 c (10,10) CSP to CSPinCNF End
23.61/10.89 c (10,10) CSP: 1200 int (0 aux), 39709 bool (39709 aux), 140724 ctr, max domain size 60
23.61/10.89 c (10,10) Heap : 1030 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.61/10.89 c (10,10) CSPinCNF Propagation Begin
25.17/11.68 c (11,11) 188 values, 2276 unsatisfiable literals, and 1614 valid clauses are removed
25.17/11.68 c (11,11) CSPinCNF Propagation End
25.17/11.69 c (11,11) CSP: 1338 int (138 aux), 39571 bool (39571 aux), 139110 ctr, max domain size 60
25.17/11.69 c (11,11) Heap : 1522 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
25.17/11.69 c (11,11) Simplify CSPinCNF Begin
26.39/12.56 c (12,11) Simplify CSPinCNF End
26.39/12.59 c (12,11) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
26.39/12.59 c (12,11) Heap : 2014 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.39/12.59 c (12,11) Calculate Precise Domain Begin
26.39/12.59 c (12,11) 0 values are removed by re-calculation
26.39/12.59 c (12,11) Calculate Precise Domain End
26.66/12.62 c (12,11) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
26.66/12.62 c (12,11) Heap : 2014 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.66/12.62 c (12,11) CSPinCNF to SatSolver Begin
30.58/14.86 c (14,13) 17745 (10 %) CSP clauses are encoded (115868 SAT variables, 745573 SAT clauses)
32.32/16.55 c (16,15) 35489 (20 %) CSP clauses are encoded (115868 SAT variables, 1455110 SAT clauses)
34.61/18.43 c (17,17) 53234 (30 %) CSP clauses are encoded (115868 SAT variables, 2162909 SAT clauses)
34.72/18.55 c (18,17) 70978 (40 %) CSP clauses are encoded (115868 SAT variables, 2191169 SAT clauses)
34.82/18.62 c (18,17) 88723 (50 %) CSP clauses are encoded (115868 SAT variables, 2208914 SAT clauses)
34.92/18.70 c (18,17) 106467 (60 %) CSP clauses are encoded (115868 SAT variables, 2226658 SAT clauses)
34.92/18.78 c (18,17) 124212 (70 %) CSP clauses are encoded (115868 SAT variables, 2244403 SAT clauses)
35.02/18.85 c (18,17) 141956 (80 %) CSP clauses are encoded (115868 SAT variables, 2262147 SAT clauses)
35.12/18.93 c (18,17) 159701 (90 %) CSP clauses are encoded (115868 SAT variables, 2279892 SAT clauses)
35.36/19.16 c (18,18) 177445 (100 %) CSP clauses are encoded (115868 SAT variables, 2357336 SAT clauses)
35.36/19.16 c (18,18) CSPinCNF to SatSolver End
35.36/19.16 c (18,18) Heap : 2052 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
36.26/19.62 c (19,18) STATISTICS2:HOME/instance-4294550-1532357372.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,79244,177445,60,60,60,2,60:30958;59:670;58:1249;57:1162;56:2388;6:1200;5:1200,60:208691;59:2227;58:4057;57:3649;56:7216;6:6000;5:5400;2:200017,60:5;56:14;54:1;6:300;5:540;4:409;3:38887;2:137206;1:83,2:38827;1:359603,
36.26/19.62 c (19,18) SatSolver.solve Begin
36.26/19.62 c (19,18) 115868 bool, 2357337 clause
36.26/19.62 c (19,18) 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-4294550-1532357372.xml-scop-11493.cnf HOME/instance-4294550-1532357372.xml-scop-11493.cnf.out
37.03/20.30 c (19,0) receiving signal SIGTERM
37.03/20.30 s UNKNOWN
37.03/20.31 c (19,18) SatSolver is killed by some reasons.
37.03/20.31 c (19,18) 0,0,10,11,12,12,18,TO,TO,STOP-AFTER(DIMACS)
37.03/20.31 c END-Prog: Mon Jul 23 16:49:53 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 (1990 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-4294550-1532357372/watcher-4294550-1532357372 -o /tmp/evaluation-result-4294550-1532357372/solver-4294550-1532357372 -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-4294550-1532357372.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=11493, runsolver pid=11490
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 2.88 2.41 2.20 3/220 11508
/proc/meminfo: memFree=13833356/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15011656 memory=73084 CPUtime=0.12 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 6434 0 0 0 10 2 0 0 20 0 15 0 53300409 15371935744 18271 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3752914 18271 2778 1 0 3715374 0
[pid=11493/tid=11495] ppid=11490 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) R 11490 11493 2271 0 -1 4202560 4692 0 0 0 8 1 0 0 20 0 15 0 53300410 15371935744 18403 33554432000 4194304 4196468 140725429297872 140045650390992 140045658872656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 18403 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 18469 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 18469 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 18469 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 18469 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11501] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11501/stat : 11501 (java) S 11490 11493 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 18469 33554432000 4194304 4196468 140725429297872 140044253783712 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11502] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11502/stat : 11502 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 18469 33554432000 4194304 4196468 140725429297872 140043985347824 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11503] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11503/stat : 11503 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 18469 33554432000 4194304 4196468 140725429297872 140043610839504 140045678614427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11504] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11504/stat : 11504 (java) S 11490 11493 2271 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 18469 33554432000 4194304 4196468 140725429297872 140044648016112 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11505] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11505/stat : 11505 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 18469 33554432000 4194304 4196468 140725429297872 140044646963568 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11506] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11506/stat : 11506 (java) S 11490 11493 2271 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 18469 33554432000 4194304 4196468 140725429297872 140044645910512 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 18469 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 18535 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73084 KiB
[startup+0.210454 s]*
/proc/loadavg: 2.88 2.41 2.20 3/220 11508
/proc/meminfo: memFree=13819652/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15011656 memory=85652 CPUtime=0.25 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 9853 0 0 0 23 2 0 0 20 0 15 0 53300409 15371935744 21413 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3752914 21413 2893 1 0 3715374 0
[pid=11493/tid=11495] ppid=11490 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) R 11490 11493 2271 0 -1 4202560 7764 0 0 0 18 2 0 0 20 0 15 0 53300410 15371935744 21413 33554432000 4194304 4196468 140725429297872 140045650421744 140045662676318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 21413 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15011656 memory=288371074253940352 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 21413 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 21413 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 21413 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 21413 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11501] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11501/stat : 11501 (java) S 11490 11493 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 21413 33554432000 4194304 4196468 140725429297872 140044253783712 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11502] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11502/stat : 11502 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 21413 33554432000 4194304 4196468 140725429297872 140043985347824 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11503] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11503/stat : 11503 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 21413 33554432000 4194304 4196468 140725429297872 140043610839504 140045678614427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11504] ppid=11490 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11493/task/11504/stat : 11504 (java) R 11490 11493 2271 0 -1 4202560 425 0 0 0 1 0 0 0 20 0 15 0 53300416 15371935744 21413 33554432000 4194304 4196468 140725429297872 140044648016112 140045657931177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11505] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11505/stat : 11505 (java) S 11490 11493 2271 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 21413 33554432000 4194304 4196468 140725429297872 140044646963568 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11506] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0.03 cores=1,3,5,7
/proc/11493/task/11506/stat : 11506 (java) S 11490 11493 2271 0 -1 1077944384 296 0 0 0 3 0 0 0 20 0 15 0 53300416 15371935744 21413 33554432000 4194304 4196468 140725429297872 140044645910512 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 21413 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 21413 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85652 KiB
[startup+0.31054 s]*
/proc/loadavg: 2.88 2.41 2.20 3/220 11508
/proc/meminfo: memFree=13815372/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15011656 memory=89976 CPUtime=0.43 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 10488 0 0 0 40 3 0 0 20 0 15 0 53300409 15371935744 22494 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3752914 22494 3030 1 0 3715374 0
[pid=11493/tid=11495] ppid=11490 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) R 11490 11493 2271 0 -1 4202560 8192 0 0 0 27 2 0 0 20 0 15 0 53300410 15371935744 22494 33554432000 4194304 4196468 140725429297872 140045650423456 140045678609735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 22494 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 22494 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 22494 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15371935744 22494 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 22494 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11501] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11501/stat : 11501 (java) S 11490 11493 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 22494 33554432000 4194304 4196468 140725429297872 140044253783712 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11502] ppid=11490 vsize=15011656 memory=140698102228608 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11502/stat : 11502 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300413 15371935744 22494 33554432000 4194304 4196468 140725429297872 140043985347824 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11503] ppid=11490 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11503/stat : 11503 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 22494 33554432000 4194304 4196468 140725429297872 140043610839504 140045678614427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11504] ppid=11490 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11493/task/11504/stat : 11504 (java) S 11490 11493 2271 0 -1 1077944384 483 0 0 0 3 0 0 0 20 0 15 0 53300416 15371935744 22494 33554432000 4194304 4196468 140725429297872 140044648016112 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11505] ppid=11490 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11493/task/11505/stat : 11505 (java) R 11490 11493 2271 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 53300416 15371935744 22494 33554432000 4194304 4196468 140725429297872 140044646963568 140045678606978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11506] ppid=11490 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11493/task/11506/stat : 11506 (java) R 11490 11493 2271 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 15 0 53300416 15371935744 22494 33554432000 4194304 4196468 140725429297872 140044645910512 140045670832958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 22494 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300416 15371935744 22494 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89976 KiB
[startup+0.707477 s]
/proc/loadavg: 2.88 2.41 2.20 3/220 11508
/proc/meminfo: memFree=13791064/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15019976 memory=134548 CPUtime=1.05 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 17795 0 0 0 100 5 0 0 20 0 15 0 53300409 15380455424 33637 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3754994 33637 3143 1 0 3716398 0
[pid=11493/tid=11495] ppid=11490 vsize=15019976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) R 11490 11493 2271 0 -1 4202560 14788 0 0 0 64 4 0 0 20 0 15 0 53300410 15380455424 33637 33554432000 4194304 4196468 140725429297872 140045650418448 140045678617757 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15019976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15380455424 33637 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15019976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300411 15380455424 33637 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15019976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15380455424 33637 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15019976 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15380455424 33637 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15019976 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53300413 15380455424 33637 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11501] ppid=11490 vsize=15019976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11501/stat : 11501 (java) S 11490 11493 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53300413 15380455424 33637 33554432000 4194304 4196468 140725429297872 140044253783712 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11502] ppid=11490 vsize=15019976 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11502/stat : 11502 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300413 15380455424 33637 33554432000 4194304 4196468 140725429297872 140043985347824 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11503] ppid=11490 vsize=15019976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11503/stat : 11503 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15380455424 33637 33554432000 4194304 4196468 140725429297872 140043610839504 140045678614427 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11504] ppid=11490 vsize=15019976 memory=8384 CPUtime=0.07 cores=1,3,5,7
/proc/11493/task/11504/stat : 11504 (java) R 11490 11493 2271 0 -1 4202560 763 0 0 0 7 0 0 0 20 0 15 0 53300416 15380455424 33637 33554432000 4194304 4196468 140725429297872 140044648004592 140045659297495 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11505] ppid=11490 vsize=15019976 memory=4616 CPUtime=0.1 cores=1,3,5,7
/proc/11493/task/11505/stat : 11505 (java) S 11490 11493 2271 0 -1 1077944384 363 0 0 0 10 0 0 0 20 0 15 0 53300416 15380455424 33637 33554432000 4194304 4196468 140725429297872 140044646963568 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11506] ppid=11490 vsize=15019976 memory=1424 CPUtime=0.18 cores=1,3,5,7
/proc/11493/task/11506/stat : 11506 (java) S 11490 11493 2271 0 -1 1077944384 542 0 0 0 18 0 0 0 20 0 15 0 53300416 15380455424 33637 33554432000 4194304 4196468 140725429297872 140044645910512 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15019976 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15380455424 33637 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15019976 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300416 15380455424 33637 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 134548 KiB
[startup+1.50076 s]
/proc/loadavg: 2.88 2.41 2.20 5/220 11508
/proc/meminfo: memFree=13718808/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15022100 memory=215292 CPUtime=3.77 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 22463 0 0 0 368 9 0 0 20 0 15 0 53300409 15382630400 53823 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3755525 53823 3200 1 0 3716910 0
[pid=11493/tid=11495] ppid=11490 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) R 11490 11493 2271 0 -1 4202560 15705 0 0 0 141 6 0 0 20 0 15 0 53300410 15382630400 53823 33554432000 4194304 4196468 140725429297872 140045650428176 140045678607766 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15382630400 53823 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53300411 15382630400 53823 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15382630400 53823 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300411 15382630400 53823 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53300413 15382630400 53823 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
################
# More data... #
################
/proc/11493/task/11506/stat : 11506 (java) S 11490 11493 2271 0 -1 1077944384 4214 0 0 0 142 3 0 0 20 0 15 0 53300416 15384727552 545801 33554432000 4194304 4196468 140725429297872 140044645910512 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15024148 memory=1963696 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15384727552 545801 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15024148 memory=16098156739823870 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300416 15384727552 545801 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 15.18 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2183204 KiB
[startup+12.7011 s]
/proc/loadavg: 3.13 2.48 2.23 3/220 11508
/proc/meminfo: memFree=10799240/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15028312 memory=3100444 CPUtime=26.91 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 38984 0 0 0 2627 64 0 0 20 0 15 0 53300409 15388991488 775111 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3757078 775111 3226 1 0 3717934 0
[pid=11493/tid=11495] ppid=11490 vsize=15028312 memory=17188 CPUtime=12.55 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) R 11490 11493 2271 0 -1 4202560 18737 0 0 0 1208 47 0 0 20 0 15 0 53300410 15388991488 775111 33554432000 4194304 4196468 140725429297872 140045650434336 140045152228903 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15028312 memory=281395923579264 CPUtime=0.09 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 51 0 0 0 7 2 0 0 20 0 15 0 53300411 15388991488 775111 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15028312 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 150 0 0 0 7 2 0 0 20 0 15 0 53300411 15388991488 775111 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15028312 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 105 0 0 0 7 2 0 0 20 0 15 0 53300411 15388991488 775111 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15028312 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 39 0 0 0 7 1 0 0 20 0 15 0 53300411 15388991488 775111 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15028312 memory=3093456 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 53300413 15388991488 775111 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11501] ppid=11490 vsize=15028312 memory=852 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11501/stat : 11501 (java) S 11490 11493 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 53300413 15388991488 775111 33554432000 4194304 4196468 140725429297872 140044253783776 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11502] ppid=11490 vsize=15028312 memory=2639 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11502/stat : 11502 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300413 15388991488 775111 33554432000 4194304 4196468 140725429297872 140043985347824 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11503] ppid=11490 vsize=15028312 memory=2111048568588788 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11503/stat : 11503 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15388991488 775111 33554432000 4194304 4196468 140725429297872 140043610839504 140045678614427 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11504] ppid=11490 vsize=15028312 memory=0 CPUtime=6.09 cores=1,3,5,7
/proc/11493/task/11504/stat : 11504 (java) R 11490 11493 2271 0 -1 4202560 6386 0 0 0 607 2 0 0 20 0 15 0 53300416 15388991488 775111 33554432000 4194304 4196468 140725429297872 140044648003872 140045664610422 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11505] ppid=11490 vsize=15028312 memory=3090264 CPUtime=6.04 cores=1,3,5,7
/proc/11493/task/11505/stat : 11505 (java) R 11490 11493 2271 0 -1 4202560 7003 0 0 0 603 1 0 0 20 0 15 0 53300416 15388991488 775111 33554432000 4194304 4196468 140725429297872 140044646952000 140045661982427 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11506] ppid=11490 vsize=15028312 memory=-6438865889672082020 CPUtime=1.79 cores=1,3,5,7
/proc/11493/task/11506/stat : 11506 (java) S 11490 11493 2271 0 -1 1077944384 5156 0 0 0 176 3 0 0 20 0 15 0 53300416 15388991488 775111 33554432000 4194304 4196468 140725429297872 140044645910512 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15028312 memory=56 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53300416 15388991488 775111 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53300416 15388991488 775111 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3100444 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+20.3009 s]
/proc/loadavg: 2.96 2.46 2.23 3/225 11514
/proc/meminfo: memFree=10352708/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15683912 memory=3390760 CPUtime=36.38 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 50067 0 0 0 3534 104 0 0 20 0 19 0 53300409 16060325888 847690 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3920978 847690 3266 1 0 3881834 0
[pid=11509] ppid=11493 vsize=232072 memory=182500 CPUtime=0.65 cores=1,3,5,7
/proc/11509/stat : 11509 (minisat_release) R 11493 11493 2271 0 -1 4202496 36395 0 0 0 58 7 0 0 20 0 1 0 53302373 237641728 45625 33554432000 4194304 4308513 140729686391504 140729685339912 140442446666725 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 12398592 140729686397615 140729686398126 140729686398126 140729686400965 0
/proc/11509/statm: 58018 45625 316 28 0 54258 0
[pid=11493/tid=11495] ppid=11490 vsize=15683912 memory=0 CPUtime=19.12 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) S 11490 11493 2271 0 -1 1077944384 22257 0 0 0 1857 55 0 0 20 0 19 0 53300410 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045650435072 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15683912 memory=660 CPUtime=0.45 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 207 0 0 0 35 10 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15683912 memory=134152 CPUtime=0.45 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 298 0 0 0 36 9 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15683912 memory=3290672 CPUtime=0.45 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 252 0 0 0 35 10 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15683912 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 185 0 0 0 34 9 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15683912 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 967 0 0 0 1 0 0 0 20 0 19 0 53300413 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11501] ppid=11490 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11501/stat : 11501 (java) S 11490 11493 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 53300413 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044253783776 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11502] ppid=11490 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11502/stat : 11502 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53300413 16060325888 847690 33554432000 4194304 4196468 140725429297872 140043985347840 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11503] ppid=11490 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11503/stat : 11503 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140043610839504 140045678614427 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11504] ppid=11490 vsize=15683912 memory=0 CPUtime=6.75 cores=1,3,5,7
/proc/11493/task/11504/stat : 11504 (java) S 11490 11493 2271 0 -1 1077944384 8699 0 0 0 673 2 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044648016112 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11505] ppid=11490 vsize=15683912 memory=3093456 CPUtime=6.71 cores=1,3,5,7
/proc/11493/task/11505/stat : 11505 (java) S 11490 11493 2271 0 -1 1077944384 9826 0 0 0 670 1 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044646963568 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11506] ppid=11490 vsize=15683912 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/11493/task/11506/stat : 11506 (java) S 11490 11493 2271 0 -1 1077944384 5939 0 0 0 186 4 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044645910512 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15683912 memory=281395923160128 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11510] ppid=11490 vsize=15683912 memory=2211 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11510/stat : 11510 (java) S 11490 11493 2271 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53302374 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045462005568 140045678620441 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11512] ppid=11490 vsize=15683912 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11512/stat : 11512 (java) S 11490 11493 2271 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 53302374 16060325888 847690 33554432000 4194304 4196468 140725429297872 140042576047920 140045678617757 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11513] ppid=11490 vsize=15683912 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11513/stat : 11513 (java) S 11490 11493 2271 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 53302374 16060325888 847690 33554432000 4194304 4196468 140725429297872 140042710269360 140045678617757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11514] ppid=11490 vsize=15683912 memory=11076 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11514/stat : 11514 (java) S 11490 11493 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 53302376 16060325888 847690 33554432000 4194304 4196468 140725429297872 140042307624224 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 37.03 s
Current children cumulated vsize: 15915984 KiB
Current children cumulated memory: 3573260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+20.3389 s]
# the end of solver process 11493 was just reported to runsolver
# cumulated CPU time of all completed processes: user=35.9329 s, system=1.14936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+20.3009 s]
/proc/loadavg: 2.96 2.46 2.23 3/225 11514
/proc/meminfo: memFree=10352708/32770624 swapFree=67108860/67108860
[pid=11493] ppid=11490 vsize=15683912 memory=3390760 CPUtime=36.38 cores=1,3,5,7
/proc/11493/stat : 11493 (java) S 11490 11493 2271 0 -1 1077944320 50067 0 0 0 3534 104 0 0 20 0 19 0 53300409 16060325888 847690 33554432000 4194304 4196468 140725429297872 140725429280416 140045678595831 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
/proc/11493/statm: 3920978 847690 3266 1 0 3881834 0
[pid=11509] ppid=11493 vsize=232072 memory=182500 CPUtime=0.65 cores=1,3,5,7
/proc/11509/stat : 11509 (minisat_release) R 11493 11493 2271 0 -1 4202496 36395 0 0 0 58 7 0 0 20 0 1 0 53302373 237641728 45625 33554432000 4194304 4308513 140729686391504 140729685339912 140442446666725 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 12398592 140729686397615 140729686398126 140729686398126 140729686400965 0
/proc/11509/statm: 58018 45625 316 28 0 54258 0
[pid=11493/tid=11495] ppid=11490 vsize=15683912 memory=0 CPUtime=19.12 cores=1,3,5,7
/proc/11493/task/11495/stat : 11495 (java) S 11490 11493 2271 0 -1 1077944384 22257 0 0 0 1857 55 0 0 20 0 19 0 53300410 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045650435072 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11496] ppid=11490 vsize=15683912 memory=660 CPUtime=0.45 cores=1,3,5,7
/proc/11493/task/11496/stat : 11496 (java) S 11490 11493 2271 0 -1 1077944384 207 0 0 0 35 10 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045682838032 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11497] ppid=11490 vsize=15683912 memory=134152 CPUtime=0.45 cores=1,3,5,7
/proc/11493/task/11497/stat : 11497 (java) S 11490 11493 2271 0 -1 1077944384 298 0 0 0 36 9 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045473921680 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11498] ppid=11490 vsize=15683912 memory=3290672 CPUtime=0.45 cores=1,3,5,7
/proc/11493/task/11498/stat : 11498 (java) S 11490 11493 2271 0 -1 1077944384 252 0 0 0 35 10 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045472868624 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11499] ppid=11490 vsize=15683912 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/11493/task/11499/stat : 11499 (java) S 11490 11493 2271 0 -1 1077944384 185 0 0 0 34 9 0 0 20 0 19 0 53300411 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045471816080 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11500] ppid=11490 vsize=15683912 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11493/task/11500/stat : 11500 (java) S 11490 11493 2271 0 -1 1077944384 967 0 0 0 1 0 0 0 20 0 19 0 53300413 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044649069296 140045678606978 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11501] ppid=11490 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11501/stat : 11501 (java) S 11490 11493 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 53300413 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044253783776 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11502] ppid=11490 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11502/stat : 11502 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53300413 16060325888 847690 33554432000 4194304 4196468 140725429297872 140043985347840 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11503] ppid=11490 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11503/stat : 11503 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140043610839504 140045678614427 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11504] ppid=11490 vsize=15683912 memory=0 CPUtime=6.75 cores=1,3,5,7
/proc/11493/task/11504/stat : 11504 (java) S 11490 11493 2271 0 -1 1077944384 8699 0 0 0 673 2 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044648016112 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11505] ppid=11490 vsize=15683912 memory=3093456 CPUtime=6.71 cores=1,3,5,7
/proc/11493/task/11505/stat : 11505 (java) S 11490 11493 2271 0 -1 1077944384 9826 0 0 0 670 1 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044646963568 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11506] ppid=11490 vsize=15683912 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/11493/task/11506/stat : 11506 (java) S 11490 11493 2271 0 -1 1077944384 5939 0 0 0 186 4 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044645910512 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11507] ppid=11490 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11507/stat : 11507 (java) S 11490 11493 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140043112933728 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11508] ppid=11490 vsize=15683912 memory=281395923160128 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11508/stat : 11508 (java) S 11490 11493 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 53300416 16060325888 847690 33554432000 4194304 4196468 140725429297872 140044644858928 140045678606978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11510] ppid=11490 vsize=15683912 memory=2211 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11510/stat : 11510 (java) S 11490 11493 2271 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53302374 16060325888 847690 33554432000 4194304 4196468 140725429297872 140045462005568 140045678620441 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11512] ppid=11490 vsize=15683912 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11512/stat : 11512 (java) S 11490 11493 2271 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 53302374 16060325888 847690 33554432000 4194304 4196468 140725429297872 140042576047920 140045678617757 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11513] ppid=11490 vsize=15683912 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11513/stat : 11513 (java) S 11490 11493 2271 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 53302374 16060325888 847690 33554432000 4194304 4196468 140725429297872 140042710269360 140045678617757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
[pid=11493/tid=11514] ppid=11490 vsize=15683912 memory=11076 CPUtime=0 cores=1,3,5,7
/proc/11493/task/11514/stat : 11514 (java) S 11490 11493 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 53302376 16060325888 847690 33554432000 4194304 4196468 140725429297872 140042307624224 140045678606037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31961088 140725429302259 140725429302537 140725429302537 140725429305295 0
Current children cumulated CPU time: 37.03 s
Current children cumulated vsize: 15915984 KiB
Current children cumulated memory: 3573260 KiB
Child status: 1
Real time (s): 20.339
CPU time (s): 37.0822
CPU user time (s): 35.9329
CPU system time (s): 1.14936
CPU usage (%): 182.321
Max. virtual memory (cumulated for all children) (KiB): 15915984
Max. memory (cumulated for all children) (KiB): 3573260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.9329
system time used= 1.14936
maximum resident set size= 3393212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 97368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6269
involuntary context switches= 86
# summary of solver processes directly reported to runsolver:
# pid: 11493
# total CPU time (s): 37.0822
# total CPU user time (s): 35.9329
# total CPU system time (s): 1.14936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.135058 second user time and 0.253691 second system time
The end