0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Wed Jul 25 23:46:15 CEST 2018
0.66/0.55 c PID: 2502
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.37/1.18 c (0,0) Parsing End
2.37/1.19 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 430 ctr, max domain size 23
2.37/1.19 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.37/1.19 c (0,0) Constraint Name Generate Begin
2.68/1.20 c (0,0) Ctr:HOME/instance-4295678-1532555175.xml,ExtensionConflict:ExtensionSupport:IntVar
2.68/1.20 c (0,0) Constraint Name Generate End
2.68/1.20 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.68/1.20 c (0,0) CSP to CSPinCNF Begin
5.68/2.16 c (1,1) translated 43 (10%) constraints
6.88/2.51 c (1,1) translated 86 (20%) constraints
7.79/2.83 c (2,2) translated 129 (30%) constraints
8.73/3.13 c (2,2) translated 172 (40%) constraints
9.61/3.40 c (2,2) translated 215 (50%) constraints
10.22/3.69 c (3,3) translated 258 (60%) constraints
11.14/3.98 c (3,3) translated 301 (70%) constraints
11.94/4.21 c (3,3) translated 344 (80%) constraints
12.54/4.42 c (3,3) translated 387 (90%) constraints
13.16/4.64 c (4,4) translated 430 (100%) constraints
14.07/5.01 c (4,4) STATISTICS1:HOME/instance-4295678-1532555175.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,24,1,,23:181737;2:3361,24:11;4:40613;3:7027;2:656,1:185098;0:11,
14.07/5.01 c (4,4) ===========================================
14.07/5.01 c (4,4) Both Encoding selects:
14.07/5.01 c (4,4) Order
14.07/5.01 c (4,4) ===========================================
14.77/5.16 c (4,4) translated 4831 (10%) constraints
15.04/5.28 c (4,4) translated 9662 (20%) constraints
15.34/5.38 c (4,4) translated 14493 (30%) constraints
15.99/5.50 c (4,4) translated 19323 (40%) constraints
16.28/5.60 c (5,5) translated 24154 (50%) constraints
16.28/5.69 c (5,5) translated 28985 (60%) constraints
16.49/5.77 c (5,5) translated 33815 (70%) constraints
16.60/5.85 c (5,5) translated 38646 (80%) constraints
16.70/5.94 c (5,5) translated 43477 (90%) constraints
16.80/6.02 c (5,5) translated 48307 (100%) constraints
16.80/6.02 c (5,5) CSP to CSPinCNF End
16.80/6.02 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
16.80/6.02 c (5,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.80/6.02 c (5,5) CSPinCNF Propagation Begin
17.58/6.38 c (5,5) 0 values, 4701 unsatisfiable literals, and 0 valid clauses are removed
17.58/6.38 c (5,5) CSPinCNF Propagation End
17.58/6.38 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.58/6.38 c (5,5) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.58/6.38 c (5,5) Simplify CSPinCNF Begin
17.91/6.50 c (5,5) Simplify CSPinCNF End
17.91/6.50 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.91/6.50 c (5,5) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.91/6.50 c (5,5) Calculate Precise Domain Begin
17.91/6.51 c (5,5) 0 values are removed by re-calculation
17.91/6.51 c (5,5) Calculate Precise Domain End
17.91/6.51 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.91/6.51 c (5,5) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.91/6.51 c (5,5) CSPinCNF to SatSolver Begin
18.16/6.65 c (6,6) 4831 (10 %) CSP clauses are encoded (1353 SAT variables, 5880 SAT clauses)
18.46/6.71 c (6,6) 9662 (20 %) CSP clauses are encoded (1353 SAT variables, 10711 SAT clauses)
18.46/6.75 c (6,6) 14493 (30 %) CSP clauses are encoded (1353 SAT variables, 15542 SAT clauses)
18.46/6.78 c (6,6) 19323 (40 %) CSP clauses are encoded (1353 SAT variables, 20372 SAT clauses)
18.68/6.81 c (6,6) 24154 (50 %) CSP clauses are encoded (1353 SAT variables, 25203 SAT clauses)
18.68/6.85 c (6,6) 28985 (60 %) CSP clauses are encoded (1353 SAT variables, 30034 SAT clauses)
18.68/6.88 c (6,6) 33815 (70 %) CSP clauses are encoded (1353 SAT variables, 34864 SAT clauses)
18.78/6.91 c (6,6) 38646 (80 %) CSP clauses are encoded (1353 SAT variables, 39695 SAT clauses)
18.78/6.94 c (6,6) 43477 (90 %) CSP clauses are encoded (1353 SAT variables, 44526 SAT clauses)
18.78/6.98 c (6,6) 48307 (100 %) CSP clauses are encoded (1353 SAT variables, 49356 SAT clauses)
18.78/6.98 c (6,6) CSPinCNF to SatSolver End
18.78/6.98 c (6,6) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.50/7.24 c (6,6) STATISTICS2:HOME/instance-4295678-1532555175.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,23,1,,23:177047;2:3361,23:11;4:36284;3:10995;2:1017,1:180408,
19.50/7.24 c (6,6) SatSolver.solve Begin
19.50/7.24 c (6,6) 1353 bool, 49357 clause
19.50/7.24 c (6,6) 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-4295678-1532555175.xml-scop-2502.cnf HOME/instance-4295678-1532555175.xml-scop-2502.cnf.out
2520.09/2505.90 c (2505,6) SatSolver is killed by some reasons.
2520.09/2505.90 c (2505,6) 0,0,5,5,5,5,6,TO,TO,STOP-AFTER(DIMACS)
2520.09/2505.90 s UNKNOWN
2520.09/2505.90 c END-Prog: Thu Jul 26 00:28:01 CEST 2018
2520.09/2505.90 c (2505,0) receiving signal SIGTERM
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 (5296 MiB free)
memory of node 1: 16384 MiB (15585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295678-1532555175/watcher-4295678-1532555175 -o /tmp/evaluation-result-4295678-1532555175/solver-4295678-1532555175 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295678-1532555175.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=2502, runsolver pid=2499
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.94 2.02 2.04 4/220 2517
/proc/meminfo: memFree=21323136/32770624 swapFree=67076592/67108860
[pid=2502] ppid=2499 vsize=15011656 memory=72120 CPUtime=0.11 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 6197 0 0 0 10 1 0 0 20 0 15 0 73080653 15371935744 18030 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3752914 18030 2780 1 0 3715374 0
[pid=2502/tid=2504] ppid=2499 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) R 2499 2502 29212 0 -1 4202560 4570 0 0 0 8 1 0 0 20 0 15 0 73080653 15371935744 18294 33554432000 4194304 4196468 140732033902592 139952422271376 139952430720875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 18294 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 18294 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 18294 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 18294 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080656 15371935744 18360 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2510] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2510/stat : 2510 (java) S 2499 2502 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73080657 15371935744 18360 33554432000 4194304 4196468 140732033902592 139951039571232 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2511] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2511/stat : 2511 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080657 15371935744 18360 33554432000 4194304 4196468 140732033902592 139950771136112 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2512] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2512/stat : 2512 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 18360 33554432000 4194304 4196468 140732033902592 139950396627536 139952450463643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2513] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2513/stat : 2513 (java) S 2499 2502 29212 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 18360 33554432000 4194304 4196468 140732033902592 139951856506992 139952450456194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2514] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2514/stat : 2514 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 18360 33554432000 4194304 4196468 140732033902592 139951855454192 139952450456194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2515] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0.01 cores=1,3,5,7
/proc/2502/task/2515/stat : 2515 (java) S 2499 2502 29212 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 73080659 15371935744 18360 33554432000 4194304 4196468 140732033902592 139951854401904 139952450456194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2516] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2516/stat : 2516 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 18360 33554432000 4194304 4196468 140732033902592 139949898721760 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2517] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2517/stat : 2517 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080660 15371935744 18360 33554432000 4194304 4196468 140732033902592 139951853349808 139952450456194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72120 KiB
[startup+0.210453 s]*
/proc/loadavg: 1.94 2.02 2.04 3/220 2517
/proc/meminfo: memFree=21308624/32770624 swapFree=67076592/67108860
[pid=2502] ppid=2499 vsize=15011656 memory=85464 CPUtime=0.25 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 9854 0 0 0 23 2 0 0 20 0 15 0 73080653 15371935744 21366 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3752914 21366 2912 1 0 3715374 0
[pid=2502/tid=2504] ppid=2499 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) R 2499 2502 29212 0 -1 4202560 7734 0 0 0 18 1 0 0 20 0 15 0 73080653 15371935744 21366 33554432000 4194304 4196468 140732033902592 139952422270800 139952450456982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 21366 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15011656 memory=140517445794006 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 21366 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 21366 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 21366 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080656 15371935744 21366 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2510] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2510/stat : 2510 (java) S 2499 2502 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73080657 15371935744 21366 33554432000 4194304 4196468 140732033902592 139951039571232 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2511] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2511/stat : 2511 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080657 15371935744 21366 33554432000 4194304 4196468 140732033902592 139950771136112 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2512] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2512/stat : 2512 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 21366 33554432000 4194304 4196468 140732033902592 139950396627536 139952450463643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2513] ppid=2499 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2502/task/2513/stat : 2513 (java) R 2499 2502 29212 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 73080659 15371935744 21366 33554432000 4194304 4196468 140732033902592 139951856506992 139952450456194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2514] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2514/stat : 2514 (java) R 2499 2502 29212 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 21366 33554432000 4194304 4196468 140732033902592 139951855454192 139952434364930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2515] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0.03 cores=1,3,5,7
/proc/2502/task/2515/stat : 2515 (java) R 2499 2502 29212 0 -1 4202560 304 0 0 0 3 0 0 0 20 0 15 0 73080659 15371935744 21366 33554432000 4194304 4196468 140732033902592 139951854401904 139952450466394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2516] ppid=2499 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2516/stat : 2516 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 21366 33554432000 4194304 4196468 140732033902592 139949898721760 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2517] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2517/stat : 2517 (java) R 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080660 15371935744 21366 33554432000 4194304 4196468 140732033902592 139951853349808 139952450456194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85464 KiB
[startup+0.31049 s]*
/proc/loadavg: 1.94 2.02 2.04 3/220 2517
/proc/meminfo: memFree=21305212/32770624 swapFree=67076592/67108860
[pid=2502] ppid=2499 vsize=15011656 memory=89600 CPUtime=0.42 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 10466 0 0 0 40 2 0 0 20 0 15 0 73080653 15371935744 22400 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3752914 22400 2972 1 0 3715374 0
[pid=2502/tid=2504] ppid=2499 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) R 2499 2502 29212 0 -1 4202560 8162 0 0 0 28 2 0 0 20 0 15 0 73080653 15371935744 22400 33554432000 4194304 4196468 140732033902592 139952422274288 139952434488677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 22400 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 22400 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 22400 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15011656 memory=140517304279247 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15371935744 22400 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080656 15371935744 22400 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2510] ppid=2499 vsize=15011656 memory=140517304299983 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2510/stat : 2510 (java) S 2499 2502 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73080657 15371935744 22400 33554432000 4194304 4196468 140732033902592 139951039571232 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2511] ppid=2499 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2511/stat : 2511 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080657 15371935744 22400 33554432000 4194304 4196468 140732033902592 139950771136112 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2512] ppid=2499 vsize=15011656 memory=281034608572288 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2512/stat : 2512 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 22400 33554432000 4194304 4196468 140732033902592 139950396627536 139952450463643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2513] ppid=2499 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2502/task/2513/stat : 2513 (java) R 2499 2502 29212 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 73080659 15371935744 22400 33554432000 4194304 4196468 140732033902592 139951856506992 139952450456194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2514] ppid=2499 vsize=15011656 memory=140517304311695 CPUtime=0.02 cores=1,3,5,7
/proc/2502/task/2514/stat : 2514 (java) R 2499 2502 29212 0 -1 4202560 194 0 0 0 2 0 0 0 20 0 15 0 73080659 15371935744 22400 33554432000 4194304 4196468 140732033902592 139951855454192 139952442734496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2515] ppid=2499 vsize=15011656 memory=140517445764736 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2515/stat : 2515 (java) R 2499 2502 29212 0 -1 4202560 349 0 0 0 7 0 0 0 20 0 15 0 73080659 15371935744 22400 33554432000 4194304 4196468 140732033902592 139951854401904 139952429573538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2516] ppid=2499 vsize=15011656 memory=140517304316831 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2516/stat : 2516 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15371935744 22400 33554432000 4194304 4196468 140732033902592 139949898721760 139952450455253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2517] ppid=2499 vsize=15011656 memory=140517518845389 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2517/stat : 2517 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080660 15371935744 22400 33554432000 4194304 4196468 140732033902592 139951853349808 139952450456194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89600 KiB
[startup+0.705141 s]
/proc/loadavg: 1.94 2.02 2.04 3/220 2517
/proc/meminfo: memFree=21280532/32770624 swapFree=67076592/67108860
[pid=2502] ppid=2499 vsize=15019976 memory=129772 CPUtime=1.04 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 17665 0 0 0 100 4 0 0 20 0 15 0 73080653 15380455424 32443 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3754994 32443 3137 1 0 3716398 0
[pid=2502/tid=2504] ppid=2499 vsize=15019976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) R 2499 2502 29212 0 -1 4202560 14757 0 0 0 64 3 0 0 20 0 15 0 73080653 15380455424 32443 33554432000 4194304 4196468 140732033902592 139952422274288 139952434525534 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080655 15380455424 32443 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15380455424 32443 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15019976 memory=54 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15380455424 32443 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15380455424 32443 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73080656 15380455424 32443 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2510] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2510/stat : 2510 (java) S 2499 2502 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73080657 15380455424 32443 33554432000 4194304 4196468 140732033902592 139951039571232 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2511] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2511/stat : 2511 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080657 15380455424 32443 33554432000 4194304 4196468 140732033902592 139950771136112 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2512] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2512/stat : 2512 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15380455424 32443 33554432000 4194304 4196468 140732033902592 139950396627536 139952450463643 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2513] ppid=2499 vsize=15019976 memory=151293377125676 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2513/stat : 2513 (java) S 2499 2502 29212 0 -1 1077944384 586 0 0 0 7 0 0 0 20 0 15 0 73080659 15380455424 32443 33554432000 4194304 4196468 140732033902592 139951856506992 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2514] ppid=2499 vsize=15019976 memory=29238 CPUtime=0.1 cores=1,3,5,7
/proc/2502/task/2514/stat : 2514 (java) R 2499 2502 29212 0 -1 4202560 448 0 0 0 10 0 0 0 20 0 15 0 73080659 15380455424 32443 33554432000 4194304 4196468 140732033902592 139951855435600 139952442734336 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2515] ppid=2499 vsize=15019976 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2502/task/2515/stat : 2515 (java) R 2499 2502 29212 0 -1 4202560 536 0 0 0 18 0 0 0 20 0 15 0 73080659 15380455424 32443 33554432000 4194304 4196468 140732033902592 139951854397664 139952450456982 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2516] ppid=2499 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2516/stat : 2516 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73080659 15380455424 32443 33554432000 4194304 4196468 140732033902592 139949898721760 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2517] ppid=2499 vsize=15019976 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2517/stat : 2517 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080660 15380455424 32443 33554432000 4194304 4196468 140732033902592 139951853349808 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129772 KiB
[startup+1.50073 s]
/proc/loadavg: 1.94 2.02 2.04 5/220 2517
/proc/meminfo: memFree=21188508/32770624 swapFree=67076592/67108860
[pid=2502] ppid=2499 vsize=15022100 memory=246164 CPUtime=3.66 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 24109 0 0 0 358 8 0 0 20 0 15 0 73080653 15382630400 61541 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3755525 61541 3204 1 0 3716910 0
[pid=2502/tid=2504] ppid=2499 vsize=15022100 memory=126 CPUtime=1.46 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) R 2499 2502 29212 0 -1 4202560 15974 0 0 0 140 6 0 0 20 0 15 0 73080653 15382630400 61541 33554432000 4194304 4196468 140732033902592 139952422277136 139952450466394 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73080655 15382630400 61541 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15382630400 61541 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15382630400 61541 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15022100 memory=281034608395552 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73080655 15382630400 61541 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15022100 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73080656 15382630400 61541 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
################
# More data... #
################
/proc/meminfo: memFree=18245652/32770624 swapFree=67076632/67108860
[pid=2502] ppid=2499 vsize=15683912 memory=2929948 CPUtime=21.39 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 38483 0 0 0 2022 117 0 0 20 0 19 0 73080653 16060325888 732487 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3920978 732487 3231 1 0 3881834 0
[pid=2518] ppid=2502 vsize=136372 memory=117132 CPUtime=2495.1 cores=1,3,5,7
/proc/2518/stat : 2518 (minisat_release) R 2502 2502 29212 0 -1 4202496 165195 0 0 0 249491 19 0 0 20 0 1 0 73081379 139644928 29283 33554432000 4194304 4308513 140722706351616 140722706348616 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 15065088 140722706354865 140722706355374 140722706355374 140722706358213 0
/proc/2518/statm: 34093 29283 353 28 0 30333 0
[pid=2502/tid=2504] ppid=2499 vsize=15683912 memory=2929948 CPUtime=7.26 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) S 2499 2502 29212 0 -1 1077944384 18959 0 0 0 679 47 0 0 20 0 19 0 73080653 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952422284288 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0.04 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 59 0 0 0 4 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15683912 memory=117132 CPUtime=0.03 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 14 0 0 0 3 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 55 0 0 0 7 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15683912 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 59 0 0 0 7 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15683912 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 23 0 0 0 3 3 0 0 20 0 19 0 73080656 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2510] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2510/stat : 2510 (java) S 2499 2502 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 73080657 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951039571232 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2511] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2511/stat : 2511 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080657 16060325888 732487 33554432000 4194304 4196468 140732033902592 139950771136112 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2512] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2512/stat : 2512 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139950396627536 139952450463643 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2513] ppid=2499 vsize=15683912 memory=2929948 CPUtime=5.47 cores=1,3,5,7
/proc/2502/task/2513/stat : 2513 (java) S 2499 2502 29212 0 -1 1077944384 8953 0 0 0 545 2 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951856506992 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2514] ppid=2499 vsize=15683912 memory=2929948 CPUtime=5.56 cores=1,3,5,7
/proc/2502/task/2514/stat : 2514 (java) S 2499 2502 29212 0 -1 1077944384 3367 0 0 0 556 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951855454192 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2515] ppid=2499 vsize=15683912 memory=2929948 CPUtime=1.41 cores=1,3,5,7
/proc/2502/task/2515/stat : 2515 (java) S 2499 2502 29212 0 -1 1077944384 5421 0 0 0 140 1 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951854401904 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2516] ppid=2499 vsize=15683912 memory=117132 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2516/stat : 2516 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949898721760 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2517] ppid=2499 vsize=15683912 memory=2929948 CPUtime=1.3 cores=1,3,5,7
/proc/2502/task/2517/stat : 2517 (java) S 2499 2502 29212 0 -1 1077944384 167 0 0 0 60 70 0 0 20 0 19 0 73080660 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951853349808 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2519] ppid=2499 vsize=15683912 memory=117132 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2519/stat : 2519 (java) S 2499 2502 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951845873088 139952450469657 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2521] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2521/stat : 2521 (java) S 2499 2502 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949361835952 139952450466973 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2522] ppid=2499 vsize=15683912 memory=281034609757080 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2522/stat : 2522 (java) S 2499 2502 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949093403952 139952450466973 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2523] ppid=2499 vsize=15683912 memory=281034610114016 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2523/stat : 2523 (java) S 2499 2502 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73081390 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949496064928 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
Current children cumulated CPU time: 2516.49 s
Current children cumulated vsize: 15820284 KiB
Current children cumulated memory: 3047080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.9 s]
/proc/loadavg: 2.02 2.07 2.08 3/225 2807
/proc/meminfo: memFree=18245740/32770624 swapFree=67076632/67108860
[pid=2502] ppid=2499 vsize=15683912 memory=2929948 CPUtime=21.39 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 38483 0 0 0 2022 117 0 0 20 0 19 0 73080653 16060325888 732487 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3920978 732487 3231 1 0 3881834 0
[pid=2518] ppid=2502 vsize=136372 memory=117132 CPUtime=2498.7 cores=1,3,5,7
/proc/2518/stat : 2518 (minisat_release) R 2502 2502 29212 0 -1 4202496 165212 0 0 0 249851 19 0 0 20 0 1 0 73081379 139644928 29283 33554432000 4194304 4308513 140722706351616 140722706348616 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 15065088 140722706354865 140722706355374 140722706355374 140722706358213 0
/proc/2518/statm: 34093 29283 353 28 0 30333 0
[pid=2502/tid=2504] ppid=2499 vsize=15683912 memory=2929948 CPUtime=7.26 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) S 2499 2502 29212 0 -1 1077944384 18959 0 0 0 679 47 0 0 20 0 19 0 73080653 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952422284288 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0.04 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 59 0 0 0 4 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15683912 memory=117132 CPUtime=0.03 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 14 0 0 0 3 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15683912 memory=117132 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 55 0 0 0 7 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15683912 memory=281034609757080 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 59 0 0 0 7 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15683912 memory=281034610114016 CPUtime=0.06 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 23 0 0 0 3 3 0 0 20 0 19 0 73080656 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2510] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2510/stat : 2510 (java) S 2499 2502 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 73080657 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951039571232 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2511] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2511/stat : 2511 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080657 16060325888 732487 33554432000 4194304 4196468 140732033902592 139950771136112 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2512] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2512/stat : 2512 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139950396627536 139952450463643 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2513] ppid=2499 vsize=15683912 memory=2929948 CPUtime=5.47 cores=1,3,5,7
/proc/2502/task/2513/stat : 2513 (java) S 2499 2502 29212 0 -1 1077944384 8953 0 0 0 545 2 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951856506992 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2514] ppid=2499 vsize=15683912 memory=2929948 CPUtime=5.56 cores=1,3,5,7
/proc/2502/task/2514/stat : 2514 (java) S 2499 2502 29212 0 -1 1077944384 3367 0 0 0 556 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951855454192 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2515] ppid=2499 vsize=15683912 memory=2929948 CPUtime=1.41 cores=1,3,5,7
/proc/2502/task/2515/stat : 2515 (java) S 2499 2502 29212 0 -1 1077944384 5421 0 0 0 140 1 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951854401904 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2516] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2516/stat : 2516 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949898721760 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2517] ppid=2499 vsize=15683912 memory=2929948 CPUtime=1.31 cores=1,3,5,7
/proc/2502/task/2517/stat : 2517 (java) S 2499 2502 29212 0 -1 1077944384 167 0 0 0 60 71 0 0 20 0 19 0 73080660 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951853349808 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2519] ppid=2499 vsize=15683912 memory=117132 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2519/stat : 2519 (java) S 2499 2502 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951845873088 139952450469657 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2521] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2521/stat : 2521 (java) S 2499 2502 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949361835952 139952450466973 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2522] ppid=2499 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2522/stat : 2522 (java) S 2499 2502 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949093403952 139952450466973 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2523] ppid=2499 vsize=15683912 memory=19068 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2523/stat : 2523 (java) S 2499 2502 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73081390 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949496064928 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15820284 KiB
Current children cumulated memory: 3047080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.93 s]
# the end of solver process 2502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.74 s, system=1.38954 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.9 s]
/proc/loadavg: 2.02 2.07 2.08 3/225 2807
/proc/meminfo: memFree=18245740/32770624 swapFree=67076632/67108860
[pid=2502] ppid=2499 vsize=15683912 memory=2929948 CPUtime=21.39 cores=1,3,5,7
/proc/2502/stat : 2502 (java) S 2499 2502 29212 0 -1 1077944320 38483 0 0 0 2022 117 0 0 20 0 19 0 73080653 16060325888 732487 33554432000 4194304 4196468 140732033902592 140732033885136 139952450445047 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
/proc/2502/statm: 3920978 732487 3231 1 0 3881834 0
[pid=2518] ppid=2502 vsize=136372 memory=117132 CPUtime=2498.7 cores=1,3,5,7
/proc/2518/stat : 2518 (minisat_release) R 2502 2502 29212 0 -1 4202496 165212 0 0 0 249851 19 0 0 20 0 1 0 73081379 139644928 29283 33554432000 4194304 4308513 140722706351616 140722706348616 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 15065088 140722706354865 140722706355374 140722706355374 140722706358213 0
/proc/2518/statm: 34093 29283 353 28 0 30333 0
[pid=2502/tid=2504] ppid=2499 vsize=15683912 memory=2929948 CPUtime=7.26 cores=1,3,5,7
/proc/2502/task/2504/stat : 2504 (java) S 2499 2502 29212 0 -1 1077944384 18959 0 0 0 679 47 0 0 20 0 19 0 73080653 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952422284288 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2505] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0.04 cores=1,3,5,7
/proc/2502/task/2505/stat : 2505 (java) S 2499 2502 29212 0 -1 1077944384 59 0 0 0 4 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952454687120 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2506] ppid=2499 vsize=15683912 memory=117132 CPUtime=0.03 cores=1,3,5,7
/proc/2502/task/2506/stat : 2506 (java) S 2499 2502 29212 0 -1 1077944384 14 0 0 0 3 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952253462800 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2507] ppid=2499 vsize=15683912 memory=117132 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2507/stat : 2507 (java) S 2499 2502 29212 0 -1 1077944384 55 0 0 0 7 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952252410512 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2508] ppid=2499 vsize=15683912 memory=281034609757080 CPUtime=0.07 cores=1,3,5,7
/proc/2502/task/2508/stat : 2508 (java) S 2499 2502 29212 0 -1 1077944384 59 0 0 0 7 0 0 0 20 0 19 0 73080655 16060325888 732487 33554432000 4194304 4196468 140732033902592 139952251357712 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2509] ppid=2499 vsize=15683912 memory=281034610114016 CPUtime=0.06 cores=1,3,5,7
/proc/2502/task/2509/stat : 2509 (java) S 2499 2502 29212 0 -1 1077944384 23 0 0 0 3 3 0 0 20 0 19 0 73080656 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951857560176 139952450456194 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2510] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2510/stat : 2510 (java) S 2499 2502 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 73080657 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951039571232 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2511] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2511/stat : 2511 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080657 16060325888 732487 33554432000 4194304 4196468 140732033902592 139950771136112 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2512] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2512/stat : 2512 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139950396627536 139952450463643 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2513] ppid=2499 vsize=15683912 memory=2929948 CPUtime=5.47 cores=1,3,5,7
/proc/2502/task/2513/stat : 2513 (java) S 2499 2502 29212 0 -1 1077944384 8953 0 0 0 545 2 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951856506992 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2514] ppid=2499 vsize=15683912 memory=2929948 CPUtime=5.56 cores=1,3,5,7
/proc/2502/task/2514/stat : 2514 (java) S 2499 2502 29212 0 -1 1077944384 3367 0 0 0 556 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951855454192 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2515] ppid=2499 vsize=15683912 memory=2929948 CPUtime=1.41 cores=1,3,5,7
/proc/2502/task/2515/stat : 2515 (java) S 2499 2502 29212 0 -1 1077944384 5421 0 0 0 140 1 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951854401904 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2516] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2516/stat : 2516 (java) S 2499 2502 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73080659 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949898721760 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2517] ppid=2499 vsize=15683912 memory=2929948 CPUtime=1.31 cores=1,3,5,7
/proc/2502/task/2517/stat : 2517 (java) S 2499 2502 29212 0 -1 1077944384 167 0 0 0 60 71 0 0 20 0 19 0 73080660 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951853349808 139952450456194 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2519] ppid=2499 vsize=15683912 memory=117132 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2519/stat : 2519 (java) S 2499 2502 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139951845873088 139952450469657 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2521] ppid=2499 vsize=15683912 memory=2929948 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2521/stat : 2521 (java) S 2499 2502 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949361835952 139952450466973 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2522] ppid=2499 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2522/stat : 2522 (java) S 2499 2502 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 73081379 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949093403952 139952450466973 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
[pid=2502/tid=2523] ppid=2499 vsize=15683912 memory=19068 CPUtime=0 cores=1,3,5,7
/proc/2502/task/2523/stat : 2523 (java) S 2499 2502 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73081390 16060325888 732487 33554432000 4194304 4196468 140732033902592 139949496064928 139952450455253 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140732033909748 140732033910025 140732033910025 140732033912783 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15820284 KiB
Current children cumulated memory: 3047080 KiB
Child status: 1
Real time (s): 2505.93
CPU time (s): 2520.13
CPU user time (s): 2518.74
CPU system time (s): 1.38954
CPU usage (%): 100.567
Max. virtual memory (cumulated for all children) (KiB): 15820284
Max. memory (cumulated for all children) (KiB): 3047080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.74
system time used= 1.38954
maximum resident set size= 2933812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58294
involuntary context switches= 912
# summary of solver processes directly reported to runsolver:
# pid: 2502
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.74
# total CPU system time (s): 1.38954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5068 second user time and 26.3355 second system time
The end