0.54/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 07:26:31 CEST 2018
0.67/0.54 c PID: 5811
0.67/0.54 c IP: 172.20.3.150
0.67/0.54 c HOST: node150.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.62/1.25 c (0,0) Parsing End
2.62/1.25 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.62/1.25 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.62/1.25 c (0,0) Constraint Name Generate Begin
2.62/1.27 c (0,0) Ctr:HOME/instance-4295715-1532582791.xml,ExtensionConflict:ExtensionSupport:IntVar
2.62/1.27 c (0,0) Constraint Name Generate End
2.62/1.27 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.62/1.27 c (0,0) CSP to CSPinCNF Begin
5.80/2.35 c (1,1) translated 52 (10%) constraints
7.34/2.88 c (2,2) translated 103 (20%) constraints
8.86/3.30 c (2,2) translated 154 (30%) constraints
10.07/3.74 c (3,3) translated 205 (40%) constraints
11.31/4.14 c (3,3) translated 256 (50%) constraints
12.45/4.61 c (4,3) translated 307 (60%) constraints
13.36/4.92 c (4,4) translated 358 (70%) constraints
13.74/5.16 c (4,4) translated 409 (80%) constraints
13.94/5.39 c (4,4) translated 460 (90%) constraints
14.25/5.62 c (5,4) translated 511 (100%) constraints
15.38/6.01 c (5,5) STATISTICS1:HOME/instance-4295715-1532582791.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,26,1,,25:252529;2:5132,26:14;4:56537;3:9811;2:865,1:257661;0:14,
15.38/6.01 c (5,5) ===========================================
15.38/6.01 c (5,5) Order
15.38/6.01 c (5,5) ===========================================
15.99/6.23 c (5,5) translated 6723 (10%) constraints
16.27/6.35 c (5,5) translated 13446 (20%) constraints
16.46/6.46 c (5,5) translated 20169 (30%) constraints
16.58/6.57 c (6,5) translated 26891 (40%) constraints
16.68/6.68 c (6,6) translated 33614 (50%) constraints
16.88/6.80 c (6,6) translated 40337 (60%) constraints
16.98/6.92 c (6,6) translated 47059 (70%) constraints
17.09/7.03 c (6,6) translated 53782 (80%) constraints
17.19/7.15 c (6,6) translated 60505 (90%) constraints
17.28/7.27 c (6,6) translated 67227 (100%) constraints
17.28/7.27 c (6,6) CSP to CSPinCNF End
17.28/7.27 c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
17.28/7.27 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.28/7.27 c (6,6) CSPinCNF Propagation Begin
18.72/7.80 c (7,7) 0 values, 5957 unsatisfiable literals, and 0 valid clauses are removed
18.72/7.80 c (7,7) CSPinCNF Propagation End
18.72/7.80 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
18.72/7.80 c (7,7) Heap : 282 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.72/7.80 c (7,7) Simplify CSPinCNF Begin
18.95/7.94 c (7,7) Simplify CSPinCNF End
18.95/7.94 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
18.95/7.94 c (7,7) Heap : 337 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.95/7.94 c (7,7) Calculate Precise Domain Begin
18.95/7.94 c (7,7) 0 values are removed by re-calculation
18.95/7.94 c (7,7) Calculate Precise Domain End
18.95/7.94 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
18.95/7.94 c (7,7) Heap : 337 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.95/7.94 c (7,7) CSPinCNF to SatSolver Begin
19.20/8.10 c (7,7) 6723 (10 %) CSP clauses are encoded (1694 SAT variables, 8010 SAT clauses)
19.48/8.15 c (7,7) 13446 (20 %) CSP clauses are encoded (1694 SAT variables, 14733 SAT clauses)
19.48/8.19 c (7,7) 20169 (30 %) CSP clauses are encoded (1694 SAT variables, 21456 SAT clauses)
19.72/8.23 c (7,7) 26891 (40 %) CSP clauses are encoded (1694 SAT variables, 28178 SAT clauses)
19.72/8.27 c (7,7) 33614 (50 %) CSP clauses are encoded (1694 SAT variables, 34901 SAT clauses)
19.82/8.31 c (7,7) 40337 (60 %) CSP clauses are encoded (1694 SAT variables, 41624 SAT clauses)
19.82/8.34 c (7,7) 47059 (70 %) CSP clauses are encoded (1694 SAT variables, 48346 SAT clauses)
19.82/8.38 c (7,7) 53782 (80 %) CSP clauses are encoded (1694 SAT variables, 55069 SAT clauses)
19.92/8.42 c (7,7) 60505 (90 %) CSP clauses are encoded (1694 SAT variables, 61792 SAT clauses)
19.92/8.46 c (7,7) 67227 (100 %) CSP clauses are encoded (1694 SAT variables, 68514 SAT clauses)
19.92/8.46 c (7,7) CSPinCNF to SatSolver End
19.92/8.46 c (7,7) Heap : 724 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.34/8.69 c (8,7) STATISTICS2:HOME/instance-4295715-1532582791.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,25,1,,25:246586;2:5132,25:14;4:51003;3:14936;2:1274,1:251718,
20.34/8.69 c (8,7) SatSolver.solve Begin
20.34/8.69 c (8,7) 1694 bool, 68515 clause
20.34/8.69 c (8,7) 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-4295715-1532582791.xml-scop-5811.cnf HOME/instance-4295715-1532582791.xml-scop-5811.cnf.out
2520.02/2506.90 c (2506,7) SatSolver is killed by some reasons.
2520.02/2506.90 c (2506,7) 0,0,6,7,7,7,7,TO,TO,STOP-AFTER(DIMACS)
2520.02/2506.90 s UNKNOWN
2520.02/2506.90 c END-Prog: Thu Jul 26 08:08:18 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 (6840 MiB free)
memory of node 1: 16384 MiB (13997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295715-1532582791/watcher-4295715-1532582791 -o /tmp/evaluation-result-4295715-1532582791/solver-4295715-1532582791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295715-1532582791.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
Current StackSize limit: 8192 KiB
solver pid=5811, runsolver pid=5808
[startup+0.100125 s]*
/proc/loadavg: 2.10 2.06 2.05 3/220 5826
/proc/meminfo: memFree=21278436/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15011656 memory=72116 CPUtime=0.11 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 7288 0 0 0 9 2 0 0 20 0 15 0 75842357 15371935744 18029 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3752914 18029 2780 1 0 3715374 0
[pid=5811/tid=5813] ppid=5808 vsize=15011656 memory=7100839887183514216 CPUtime=0.09 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) R 5808 5811 32649 0 -1 4202560 5482 0 0 0 8 1 0 0 20 0 15 0 75842358 15371935744 18161 33554432000 4194304 4196468 140723551999536 139670181634440 139670195502580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 18161 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842361 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5819] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5808 5811 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75842361 15371935744 18161 33554432000 4194304 4196468 140723551999536 139668779688864 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5820] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5808 5811 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75842362 15371935744 18161 33554432000 4194304 4196468 140723551999536 139668645467120 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5821] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 18161 33554432000 4194304 4196468 140723551999536 139668270962896 139670209841051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5822] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5808 5811 32649 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669271239152 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5823] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669270186608 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5824] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0.01 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) R 5808 5811 32649 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 75842364 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669269134064 139670209843802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5825] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 18161 33554432000 4194304 4196468 140723551999536 139667773058144 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5826] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5826/stat : 5826 (java) S 5808 5811 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 18161 33554432000 4194304 4196468 140723551999536 139669268080944 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72116 KiB
[startup+0.210601 s]*
/proc/loadavg: 2.10 2.06 2.05 3/220 5826
/proc/meminfo: memFree=21262588/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15011656 memory=86340 CPUtime=0.25 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 10997 0 0 0 22 3 0 0 20 0 15 0 75842357 15371935744 21585 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3752914 21585 2925 1 0 3715374 0
[pid=5811/tid=5813] ppid=5808 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) R 5808 5811 32649 0 -1 4202560 8853 0 0 0 18 2 0 0 20 0 15 0 75842358 15371935744 21585 33554432000 4194304 4196468 140723551999536 139670181641920 139670193866085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 21585 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15011656 memory=3761271492714972832 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842361 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5819] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5808 5811 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75842361 15371935744 21585 33554432000 4194304 4196468 140723551999536 139668779688864 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5820] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5808 5811 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75842362 15371935744 21585 33554432000 4194304 4196468 140723551999536 139668645467120 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5821] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 21585 33554432000 4194304 4196468 140723551999536 139668270962896 139670209841051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5822] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) R 5808 5811 32649 0 -1 4202560 342 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669271239152 139670209843802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5823] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) R 5808 5811 32649 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669270186608 139670209833602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5824] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0.03 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5808 5811 32649 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 75842364 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669269134064 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5825] ppid=5808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 21585 33554432000 4194304 4196468 140723551999536 139667773058144 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5826] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5826/stat : 5826 (java) S 5808 5811 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 21585 33554432000 4194304 4196468 140723551999536 139669268080944 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86340 KiB
[startup+0.31066 s]*
/proc/loadavg: 2.10 2.06 2.05 3/220 5826
/proc/meminfo: memFree=21259548/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15011656 memory=89700 CPUtime=0.43 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 11544 0 0 0 39 4 0 0 20 0 15 0 75842357 15371935744 22425 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3752914 22425 2965 1 0 3715374 0
[pid=5811/tid=5813] ppid=5808 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) R 5808 5811 32649 0 -1 4202560 9213 0 0 0 27 3 0 0 20 0 15 0 75842358 15371935744 22425 33554432000 4194304 4196468 140723551999536 139670181626608 139670193902942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 22425 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15011656 memory=139961709994191 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842361 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5819] ppid=5808 vsize=15011656 memory=139961710014927 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5808 5811 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75842361 15371935744 22425 33554432000 4194304 4196468 140723551999536 139668779688864 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5820] ppid=5808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5808 5811 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75842362 15371935744 22425 33554432000 4194304 4196468 140723551999536 139668645467120 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5821] ppid=5808 vsize=15011656 memory=279923420002176 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 22425 33554432000 4194304 4196468 140723551999536 139668270962896 139670209841051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5822] ppid=5808 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5808 5811 32649 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 75842364 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669271239152 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5823] ppid=5808 vsize=15011656 memory=139961710026639 CPUtime=0.02 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5808 5811 32649 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 15 0 75842364 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669270186608 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5824] ppid=5808 vsize=15011656 memory=139961861949056 CPUtime=0.07 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5808 5811 32649 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 15 0 75842364 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669269134064 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5825] ppid=5808 vsize=15011656 memory=139961710031775 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 22425 33554432000 4194304 4196468 140723551999536 139667773058144 139670209832661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5826] ppid=5808 vsize=15011656 memory=139961937791413 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5826/stat : 5826 (java) S 5808 5811 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75842364 15371935744 22425 33554432000 4194304 4196468 140723551999536 139669268080944 139670209833602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89700 KiB
[startup+0.700916 s]
/proc/loadavg: 2.10 2.06 2.05 3/220 5826
/proc/meminfo: memFree=21237100/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15017928 memory=127696 CPUtime=1.04 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 18148 0 0 0 98 6 0 0 20 0 15 0 75842357 15378358272 31924 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3754482 31924 3139 1 0 3715886 0
[pid=5811/tid=5813] ppid=5808 vsize=15017928 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) R 5808 5811 32649 0 -1 4202560 15204 0 0 0 63 5 0 0 20 0 15 0 75842358 15378358272 31924 33554432000 4194304 4196468 140723551999536 139670181661280 139670195190224 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15378358272 31924 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15017928 memory=79 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842359 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15017928 memory=1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15017928 memory=164949829626393 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75842361 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5819] ppid=5808 vsize=15017928 memory=445774 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5808 5811 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75842361 15378358272 31924 33554432000 4194304 4196468 140723551999536 139668779688864 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5820] ppid=5808 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5808 5811 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75842362 15378358272 31924 33554432000 4194304 4196468 140723551999536 139668645467120 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5821] ppid=5808 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15378358272 31924 33554432000 4194304 4196468 140723551999536 139668270962896 139670209841051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5822] ppid=5808 vsize=15017928 memory=7809523229951467574 CPUtime=0.09 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5808 5811 32649 0 -1 1077944384 639 0 0 0 9 0 0 0 20 0 15 0 75842364 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669271239152 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5823] ppid=5808 vsize=15017928 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5808 5811 32649 0 -1 1077944384 400 0 0 0 7 0 0 0 20 0 15 0 75842364 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669270186608 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5824] ppid=5808 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) R 5808 5811 32649 0 -1 4202560 541 0 0 0 18 0 0 0 20 0 15 0 75842364 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669269130800 139670202059582 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5825] ppid=5808 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842364 15378358272 31924 33554432000 4194304 4196468 140723551999536 139667773058144 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5826] ppid=5808 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5826/stat : 5826 (java) S 5808 5811 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75842364 15378358272 31924 33554432000 4194304 4196468 140723551999536 139669268080944 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 127696 KiB
[startup+1.50075 s]
/proc/loadavg: 2.10 2.06 2.05 6/220 5826
/proc/meminfo: memFree=21134464/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15022100 memory=276628 CPUtime=3.34 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 22153 0 0 0 323 11 0 0 20 0 15 0 75842357 15382630400 69157 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3755525 69157 3199 1 0 3716910 0
[pid=5811/tid=5813] ppid=5808 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) R 5808 5811 32649 0 -1 4202560 16474 0 0 0 140 7 0 0 20 0 15 0 75842358 15382630400 69157 33554432000 4194304 4196468 140723551999536 139670181652208 139670192998074 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15022100 memory=5863781738091731302 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15382630400 69157 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15022100 memory=7013621217434429272 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75842359 15382630400 69157 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15022100 memory=7013621217434429272 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15382630400 69157 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15022100 memory=7013621217434429272 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75842359 15382630400 69157 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75842361 15382630400 69157 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
################
# More data... #
################
/proc/meminfo: memFree=16640316/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15683912 memory=3113552 CPUtime=21.92 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 38129 0 0 0 2064 128 0 0 20 0 19 0 75842357 16060325888 778388 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3920978 778388 3237 1 0 3881834 0
[pid=5827] ppid=5811 vsize=125060 memory=105096 CPUtime=2493.49 cores=1,3,5,7
/proc/5827/stat : 5827 (minisat_release) R 5811 5811 32649 0 -1 4202496 183587 0 0 0 249332 17 0 0 20 0 1 0 75843229 128061440 26274 33554432000 4194304 4308513 140724652431344 140724652428344 4276151 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31576064 140724652438193 140724652438702 140724652438702 140724652441541 0
/proc/5827/statm: 31265 26274 354 28 0 27505 0
[pid=5811/tid=5813] ppid=5808 vsize=15683912 memory=3113552 CPUtime=8.47 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5808 5811 32649 0 -1 1077944384 19680 0 0 0 798 49 0 0 20 0 19 0 75842358 16060325888 778388 33554432000 4194304 4196468 140723551999536 139670181661696 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 45 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 50 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 120 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 62 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.06 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 24 0 0 0 2 4 0 0 20 0 19 0 75842361 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5819] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5808 5811 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 75842361 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668779688928 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5820] ppid=5808 vsize=15683912 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5808 5811 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75842362 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668645467120 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5821] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668270962896 139670209841051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5822] ppid=5808 vsize=15683912 memory=3113552 CPUtime=5.18 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5808 5811 32649 0 -1 1077944384 6167 0 0 0 516 2 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669271239152 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5823] ppid=5808 vsize=15683912 memory=105096 CPUtime=5.11 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5808 5811 32649 0 -1 1077944384 5601 0 0 0 508 3 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669270186608 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5824] ppid=5808 vsize=15683912 memory=3113552 CPUtime=1.3 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5808 5811 32649 0 -1 1077944384 4789 0 0 0 128 2 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669269134064 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5825] ppid=5808 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667773058144 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5826] ppid=5808 vsize=15683912 memory=3113552 CPUtime=1.3 cores=1,3,5,7
/proc/5811/task/5826/stat : 5826 (java) S 5808 5811 32649 0 -1 1077944384 167 0 0 0 58 72 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669268080944 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5828] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5828/stat : 5828 (java) S 5808 5811 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669251814464 139670209847065 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5830] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5830/stat : 5830 (java) S 5808 5811 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667236171312 139670209844381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5831] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5831/stat : 5831 (java) S 5808 5811 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667370393264 139670209844381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5832] ppid=5808 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5832/stat : 5832 (java) S 5808 5811 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 75843231 16060325888 778388 33554432000 4194304 4196468 140723551999536 139666967748128 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
Current children cumulated CPU time: 2515.41 s
Current children cumulated vsize: 15808972 KiB
Current children cumulated memory: 3218648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.9 s]
/proc/loadavg: 2.08 2.08 2.06 3/220 6169
/proc/meminfo: memFree=16361584/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15683912 memory=3113552 CPUtime=21.93 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 38129 0 0 0 2065 128 0 0 20 0 19 0 75842357 16060325888 778388 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3920978 778388 3237 1 0 3881834 0
[pid=5827] ppid=5811 vsize=125060 memory=105096 CPUtime=2498.09 cores=1,3,5,7
/proc/5827/stat : 5827 (minisat_release) R 5811 5811 32649 0 -1 4202496 183594 0 0 0 249792 17 0 0 20 0 1 0 75843229 128061440 26274 33554432000 4194304 4308513 140724652431344 140724652428344 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31576064 140724652438193 140724652438702 140724652438702 140724652441541 0
/proc/5827/statm: 31265 26274 354 28 0 27505 0
[pid=5811/tid=5813] ppid=5808 vsize=15683912 memory=3113552 CPUtime=8.47 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5808 5811 32649 0 -1 1077944384 19680 0 0 0 798 49 0 0 20 0 19 0 75842358 16060325888 778388 33554432000 4194304 4196468 140723551999536 139670181661696 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 45 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 50 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15683912 memory=644 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 120 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 62 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.06 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 24 0 0 0 2 4 0 0 20 0 19 0 75842361 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5819] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5808 5811 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 75842361 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668779688928 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5820] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5808 5811 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75842362 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668645467120 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5821] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668270962896 139670209841051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5822] ppid=5808 vsize=15683912 memory=3113552 CPUtime=5.18 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5808 5811 32649 0 -1 1077944384 6167 0 0 0 516 2 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669271239152 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5823] ppid=5808 vsize=15683912 memory=3113552 CPUtime=5.11 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5808 5811 32649 0 -1 1077944384 5601 0 0 0 508 3 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669270186608 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5824] ppid=5808 vsize=15683912 memory=3113552 CPUtime=1.3 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5808 5811 32649 0 -1 1077944384 4789 0 0 0 128 2 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669269134064 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5825] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667773058144 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5826] ppid=5808 vsize=15683912 memory=3113552 CPUtime=1.3 cores=1,3,5,7
/proc/5811/task/5826/stat : 5826 (java) S 5808 5811 32649 0 -1 1077944384 167 0 0 0 58 72 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669268080944 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5828] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5828/stat : 5828 (java) S 5808 5811 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669251814464 139670209847065 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5830] ppid=5808 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5830/stat : 5830 (java) S 5808 5811 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667236171312 139670209844381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5831] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5831/stat : 5831 (java) S 5808 5811 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667370393264 139670209844381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5832] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5832/stat : 5832 (java) S 5808 5811 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 75843231 16060325888 778388 33554432000 4194304 4196468 140723551999536 139666967748128 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15808972 KiB
Current children cumulated memory: 3218648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.94 s]
# the end of solver process 5811 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.58 s, system=1.48169 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.9 s]
/proc/loadavg: 2.08 2.08 2.06 3/220 6169
/proc/meminfo: memFree=16361584/32770624 swapFree=67108860/67108860
[pid=5811] ppid=5808 vsize=15683912 memory=3113552 CPUtime=21.93 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5808 5811 32649 0 -1 1077944320 38129 0 0 0 2065 128 0 0 20 0 19 0 75842357 16060325888 778388 33554432000 4194304 4196468 140723551999536 140723551982080 139670209822455 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
/proc/5811/statm: 3920978 778388 3237 1 0 3881834 0
[pid=5827] ppid=5811 vsize=125060 memory=105096 CPUtime=2498.09 cores=1,3,5,7
/proc/5827/stat : 5827 (minisat_release) R 5811 5811 32649 0 -1 4202496 183594 0 0 0 249792 17 0 0 20 0 1 0 75843229 128061440 26274 33554432000 4194304 4308513 140724652431344 140724652428344 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31576064 140724652438193 140724652438702 140724652438702 140724652441541 0
/proc/5827/statm: 31265 26274 354 28 0 27505 0
[pid=5811/tid=5813] ppid=5808 vsize=15683912 memory=3113552 CPUtime=8.47 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5808 5811 32649 0 -1 1077944384 19680 0 0 0 798 49 0 0 20 0 19 0 75842358 16060325888 778388 33554432000 4194304 4196468 140723551999536 139670181661696 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5814] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5808 5811 32649 0 -1 1077944384 45 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139670214064912 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5815] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5808 5811 32649 0 -1 1077944384 50 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669989768080 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5816] ppid=5808 vsize=15683912 memory=644 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5808 5811 32649 0 -1 1077944384 120 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669988715536 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5817] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.1 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5808 5811 32649 0 -1 1077944384 62 0 0 0 8 2 0 0 20 0 19 0 75842359 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669668883600 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5818] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0.06 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5808 5811 32649 0 -1 1077944384 24 0 0 0 2 4 0 0 20 0 19 0 75842361 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669272291312 139670209833602 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5819] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5808 5811 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 75842361 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668779688928 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5820] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5808 5811 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75842362 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668645467120 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5821] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139668270962896 139670209841051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5822] ppid=5808 vsize=15683912 memory=3113552 CPUtime=5.18 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5808 5811 32649 0 -1 1077944384 6167 0 0 0 516 2 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669271239152 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5823] ppid=5808 vsize=15683912 memory=3113552 CPUtime=5.11 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5808 5811 32649 0 -1 1077944384 5601 0 0 0 508 3 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669270186608 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5824] ppid=5808 vsize=15683912 memory=3113552 CPUtime=1.3 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5808 5811 32649 0 -1 1077944384 4789 0 0 0 128 2 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669269134064 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5825] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5808 5811 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667773058144 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5826] ppid=5808 vsize=15683912 memory=3113552 CPUtime=1.3 cores=1,3,5,7
/proc/5811/task/5826/stat : 5826 (java) S 5808 5811 32649 0 -1 1077944384 167 0 0 0 58 72 0 0 20 0 19 0 75842364 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669268080944 139670209833602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5828] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5828/stat : 5828 (java) S 5808 5811 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139669251814464 139670209847065 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5830] ppid=5808 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5830/stat : 5830 (java) S 5808 5811 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667236171312 139670209844381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5831] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5831/stat : 5831 (java) S 5808 5811 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 75843229 16060325888 778388 33554432000 4194304 4196468 140723551999536 139667370393264 139670209844381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
[pid=5811/tid=5832] ppid=5808 vsize=15683912 memory=3113552 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5832/stat : 5832 (java) S 5808 5811 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 75843231 16060325888 778388 33554432000 4194304 4196468 140723551999536 139666967748128 139670209832661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140723552003059 140723552003337 140723552003337 140723552006095 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15808972 KiB
Current children cumulated memory: 3218648 KiB
Child status: 1
Real time (s): 2506.94
CPU time (s): 2520.06
CPU user time (s): 2518.58
CPU system time (s): 1.48169
CPU usage (%): 100.524
Max. virtual memory (cumulated for all children) (KiB): 15808972
Max. memory (cumulated for all children) (KiB): 3218648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.58
system time used= 1.48169
maximum resident set size= 3117604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59033
involuntary context switches= 901
# summary of solver processes directly reported to runsolver:
# pid: 5811
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.58
# total CPU system time (s): 1.48169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7443 second user time and 25.4671 second system time
The end