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: Mon Jul 23 12:39:50 CEST 2018
0.66/0.55 c PID: 11738
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.20/0.87 c (0,0) Parsing End
1.20/0.88 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 38 ctr, max domain size 37
1.20/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.88 c (0,0) Constraint Name Generate Begin
1.20/0.88 c (0,0) Ctr:HOME/instance-4293393-1532342389.xml,AllDifferent:Dist:Eq:IntVar
1.20/0.88 c (0,0) Constraint Name Generate End
1.20/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.88 c (0,0) CSP to CSPinCNF Begin
1.40/0.99 c (0,0) translated 4 (10%) constraints
1.40/1.00 c (0,0) translated 8 (20%) constraints
1.58/1.02 c (0,0) translated 12 (30%) constraints
1.58/1.03 c (0,0) translated 16 (40%) constraints
1.58/1.04 c (0,0) translated 19 (50%) constraints
1.58/1.05 c (0,0) translated 23 (60%) constraints
1.58/1.06 c (0,0) translated 27 (70%) constraints
1.58/1.07 c (0,0) translated 31 (80%) constraints
1.58/1.07 c (0,0) translated 35 (90%) constraints
1.81/1.11 c (0,0) translated 38 (100%) constraints
2.34/1.32 c (0,0) STATISTICS1:HOME/instance-4293393-1532342389.xml,AllDifferent:Dist:Eq:IntVar,48,808,1332,37,36,3,1332:144;37:66;36:630,37:444;36:1476,36:2;12:2;2:732;1:72,3:144;2:696;1:96,
2.34/1.32 c (0,0) ===========================================
2.34/1.32 c (0,0) Both Encoding selects:
2.34/1.32 c (0,0) Order
2.34/1.32 c (0,0) ===========================================
2.34/1.34 c (0,0) translated 81 (10%) constraints
2.34/1.35 c (0,0) translated 162 (20%) constraints
2.34/1.37 c (0,0) translated 243 (30%) constraints
2.34/1.38 c (0,0) translated 324 (40%) constraints
2.34/1.39 c (0,0) translated 404 (50%) constraints
2.34/1.39 c (0,0) translated 485 (60%) constraints
2.62/1.40 c (0,0) translated 566 (70%) constraints
2.62/1.41 c (0,0) translated 647 (80%) constraints
2.62/1.42 c (0,0) translated 728 (90%) constraints
2.62/1.42 c (0,0) translated 808 (100%) constraints
2.62/1.43 c (0,0) CSP to CSPinCNF End
2.62/1.43 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 808 ctr, max domain size 37
2.62/1.43 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.62/1.43 c (0,0) CSPinCNF Propagation Begin
2.62/1.45 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.62/1.45 c (0,0) CSPinCNF Propagation End
2.62/1.45 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 808 ctr, max domain size 37
2.62/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.62/1.46 c (0,0) Simplify CSPinCNF Begin
2.96/1.58 c (1,1) Simplify CSPinCNF End
2.96/1.58 c (1,1) CSP: 48 int (0 aux), 1464 bool (1464 aux), 2272 ctr, max domain size 37
2.96/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.96/1.58 c (1,1) Calculate Precise Domain Begin
2.96/1.58 c (1,1) 0 values are removed by re-calculation
2.96/1.58 c (1,1) Calculate Precise Domain End
2.96/1.58 c (1,1) CSP: 48 int (0 aux), 1464 bool (1464 aux), 2272 ctr, max domain size 37
2.96/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.96/1.58 c (1,1) CSPinCNF to SatSolver Begin
4.54/2.08 c (1,1) 228 (10 %) CSP clauses are encoded (3156 SAT variables, 98747 SAT clauses)
4.85/2.13 c (1,1) 455 (20 %) CSP clauses are encoded (3156 SAT variables, 104325 SAT clauses)
4.85/2.17 c (1,1) 682 (30 %) CSP clauses are encoded (3156 SAT variables, 109837 SAT clauses)
5.12/2.21 c (1,1) 909 (40 %) CSP clauses are encoded (3156 SAT variables, 115384 SAT clauses)
5.12/2.24 c (1,1) 1136 (50 %) CSP clauses are encoded (3156 SAT variables, 120896 SAT clauses)
5.12/2.27 c (1,1) 1364 (60 %) CSP clauses are encoded (3156 SAT variables, 126444 SAT clauses)
5.41/2.30 c (1,1) 1591 (70 %) CSP clauses are encoded (3156 SAT variables, 131956 SAT clauses)
5.41/2.33 c (1,1) 1818 (80 %) CSP clauses are encoded (3156 SAT variables, 137503 SAT clauses)
5.41/2.35 c (1,1) 2045 (90 %) CSP clauses are encoded (3156 SAT variables, 143015 SAT clauses)
5.41/2.36 c (1,1) 2272 (100 %) CSP clauses are encoded (3156 SAT variables, 148527 SAT clauses)
5.41/2.36 c (1,1) CSPinCNF to SatSolver End
5.41/2.36 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.41/2.39 c (1,1) STATISTICS2:HOME/instance-4293393-1532342389.xml,AllDifferent:Dist:Eq:IntVar,1512,2272,1332,37,36,3,1332:144;37:132;36:1260,37:576;36:2736;2:2928,36:2;12:2;2:2196;1:72,3:144;2:1392;1:3024,
5.41/2.39 c (1,1) SatSolver.solve Begin
5.41/2.39 c (1,1) 3156 bool, 148528 clause
5.41/2.39 c (1,1) 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-4293393-1532342389.xml-scop-11738.cnf HOME/instance-4293393-1532342389.xml-scop-11738.cnf.out
2520.03/2515.30 c (2514,1) SatSolver is killed by some reasons.
2520.03/2515.30 c (2514,1) 0,0,0,0,1,1,1,TO,TO,STOP-AFTER(DIMACS)
2520.03/2515.30 s UNKNOWN
2520.03/2515.30 c END-Prog: Mon Jul 23 13:21:45 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 (5104 MiB free)
memory of node 1: 16384 MiB (10509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293393-1532342389/watcher-4293393-1532342389 -o /tmp/evaluation-result-4293393-1532342389/solver-4293393-1532342389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293393-1532342389.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=11738, runsolver pid=11735
[startup+0.100115 s]*
/proc/loadavg: 2.00 2.02 2.05 4/220 11753
/proc/meminfo: memFree=15925936/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15011656 memory=74372 CPUtime=0.11 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 6771 0 0 0 9 2 0 0 20 0 15 0 51802119 15371935744 18593 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3752914 18593 2780 1 0 3715374 0
[pid=11738/tid=11740] ppid=11735 vsize=15011656 memory=-6727144656924359504 CPUtime=0.08 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) R 11735 11738 8919 0 -1 4202560 5049 0 0 0 7 1 0 0 20 0 15 0 51802119 15371935744 18791 33554432000 4194304 4196468 140720372604736 139745828991368 139745837455132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802120 15371935744 18791 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802120 15371935744 18791 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802121 15371935744 18791 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802121 15371935744 18791 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802122 15371935744 18791 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11746] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11746/stat : 11746 (java) S 11735 11738 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51802122 15371935744 18791 33554432000 4194304 4196468 140720372604736 139744444932896 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11747] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11747/stat : 11747 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802123 15371935744 18857 33554432000 4194304 4196468 140720372604736 139744210052208 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11748] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11748/stat : 11748 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 18857 33554432000 4194304 4196468 140720372604736 139743835543632 139745857197979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11749] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11749/stat : 11749 (java) S 11735 11738 8919 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 18857 33554432000 4194304 4196468 140720372604736 139745195666032 139745857190530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11750] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11750/stat : 11750 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 18857 33554432000 4194304 4196468 140720372604736 139745194613232 139745857190530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11751] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0.01 cores=1,3,5,7
/proc/11738/task/11751/stat : 11751 (java) S 11735 11738 8919 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 51802125 15371935744 18857 33554432000 4194304 4196468 140720372604736 139745193560944 139745857190530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11752] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11752/stat : 11752 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 18857 33554432000 4194304 4196468 140720372604736 139743337638880 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11753] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11753/stat : 11753 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802126 15371935744 18857 33554432000 4194304 4196468 140720372604736 139745192507824 139745857190530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74372 KiB
[startup+0.210698 s]*
/proc/loadavg: 2.00 2.02 2.05 3/220 11753
/proc/meminfo: memFree=15912108/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15011656 memory=86928 CPUtime=0.25 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 10141 0 0 0 23 2 0 0 20 0 15 0 51802119 15371935744 21732 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3752914 21732 2887 1 0 3715374 0
[pid=11738/tid=11740] ppid=11735 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) S 11735 11738 8919 0 -1 1077944384 8053 0 0 0 18 2 0 0 20 0 15 0 51802119 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745829005296 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802120 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15011656 memory=140677306336600 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802120 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802121 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802121 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802122 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11746] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11746/stat : 11746 (java) S 11735 11738 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51802122 15371935744 21732 33554432000 4194304 4196468 140720372604736 139744444932896 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11747] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11747/stat : 11747 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802123 15371935744 21732 33554432000 4194304 4196468 140720372604736 139744210052208 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11748] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11748/stat : 11748 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 21732 33554432000 4194304 4196468 140720372604736 139743835543632 139745857197979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11749] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11749/stat : 11749 (java) R 11735 11738 8919 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745195666032 139745857190530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11750] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11750/stat : 11750 (java) R 11735 11738 8919 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745194613232 139745834433488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11751] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0.03 cores=1,3,5,7
/proc/11738/task/11751/stat : 11751 (java) S 11735 11738 8919 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 51802125 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745193560944 139745857190530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11752] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11752/stat : 11752 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 21732 33554432000 4194304 4196468 140720372604736 139743337638880 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11753] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11753/stat : 11753 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802126 15371935744 21732 33554432000 4194304 4196468 140720372604736 139745192507824 139745857190530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86928 KiB
[startup+0.310579 s]*
/proc/loadavg: 2.00 2.02 2.05 4/220 11753
/proc/meminfo: memFree=15908820/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15011656 memory=90660 CPUtime=0.43 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 10670 0 0 0 40 3 0 0 20 0 15 0 51802119 15371935744 22665 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3752914 22665 3034 1 0 3715374 0
[pid=11738/tid=11740] ppid=11735 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) S 11735 11738 8919 0 -1 1077944384 8422 0 0 0 27 2 0 0 20 0 15 0 51802119 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745829007216 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802120 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15011656 memory=140677306336599 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802120 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802121 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802121 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802122 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11746] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11746/stat : 11746 (java) S 11735 11738 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51802122 15371935744 22665 33554432000 4194304 4196468 140720372604736 139744444932896 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11747] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11747/stat : 11747 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802123 15371935744 22665 33554432000 4194304 4196468 140720372604736 139744210052208 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11748] ppid=11735 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11748/stat : 11748 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 22665 33554432000 4194304 4196468 140720372604736 139743835543632 139745857197979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11749] ppid=11735 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11738/task/11749/stat : 11749 (java) R 11735 11738 8919 0 -1 4202560 483 0 0 0 1 0 0 0 20 0 15 0 51802125 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745195666032 139745838700568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11750] ppid=11735 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11738/task/11750/stat : 11750 (java) R 11735 11738 8919 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 15 0 51802125 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745194613232 139745857190530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11751] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0.07 cores=1,3,5,7
/proc/11738/task/11751/stat : 11751 (java) R 11735 11738 8919 0 -1 4202560 303 0 0 0 7 0 0 0 20 0 15 0 51802125 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745193560944 139745836136385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11752] ppid=11735 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11752/stat : 11752 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15371935744 22665 33554432000 4194304 4196468 140720372604736 139743337638880 139745857189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11753] ppid=11735 vsize=15011656 memory=140677306324608 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11753/stat : 11753 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802126 15371935744 22665 33554432000 4194304 4196468 140720372604736 139745192507824 139745857190530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90660 KiB
[startup+0.704377 s]
/proc/loadavg: 2.00 2.02 2.05 3/220 11753
/proc/meminfo: memFree=15884884/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15020052 memory=129648 CPUtime=1.01 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 17678 0 0 0 96 5 0 0 20 0 15 0 51802119 15380533248 32412 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3755013 32412 3148 1 0 3716398 0
[pid=11738/tid=11740] ppid=11735 vsize=15020052 memory=191121548394816 CPUtime=0.67 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) R 11735 11738 8919 0 -1 4202560 15073 0 0 0 63 4 0 0 20 0 15 0 51802119 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745829012656 139745841223013 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15020052 memory=268934 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802120 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802120 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802121 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802121 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51802122 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11746] ppid=11735 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11746/stat : 11746 (java) S 11735 11738 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51802122 15380533248 32412 33554432000 4194304 4196468 140720372604736 139744444932896 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11747] ppid=11735 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11747/stat : 11747 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802123 15380533248 32412 33554432000 4194304 4196468 140720372604736 139744210052208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11748] ppid=11735 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11748/stat : 11748 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15380533248 32412 33554432000 4194304 4196468 140720372604736 139743835543632 139745857197979 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11749] ppid=11735 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11738/task/11749/stat : 11749 (java) S 11735 11738 8919 0 -1 1077944384 716 0 0 0 8 0 0 0 20 0 15 0 51802125 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745195666032 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11750] ppid=11735 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11738/task/11750/stat : 11750 (java) S 11735 11738 8919 0 -1 1077944384 190 0 0 0 8 0 0 0 20 0 15 0 51802125 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745194613232 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11751] ppid=11735 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/11738/task/11751/stat : 11751 (java) R 11735 11738 8919 0 -1 4202560 360 0 0 0 16 0 0 0 20 0 15 0 51802125 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745193560944 139745835728128 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11752] ppid=11735 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11752/stat : 11752 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51802125 15380533248 32412 33554432000 4194304 4196468 140720372604736 139743337638880 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11753] ppid=11735 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11753/stat : 11753 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802126 15380533248 32412 33554432000 4194304 4196468 140720372604736 139745192507824 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129648 KiB
[startup+1.50819 s]
/proc/loadavg: 2.00 2.02 2.05 4/220 11753
/proc/meminfo: memFree=15858212/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15024148 memory=185228 CPUtime=2.96 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 21745 0 0 0 288 8 0 0 20 0 15 0 51802119 15384727552 46307 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3756037 46307 3202 1 0 3717422 0
[pid=11738/tid=11740] ppid=11735 vsize=15024148 memory=5794836780235446371 CPUtime=1.47 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) R 11735 11738 8919 0 -1 4202560 16211 0 0 0 141 6 0 0 20 0 15 0 51802119 15384727552 46307 33554432000 4194304 4196468 140720372604736 139745829015560 139745365345280 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15024148 memory=6298673690012637283 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802120 15384727552 46307 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15024148 memory=7589518994116274278 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802120 15384727552 46307 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15024148 memory=8098992133692221265 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51802121 15384727552 46307 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15024148 memory=4638778428397538640 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51802121 15384727552 46307 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15024148 memory=7665518461693092695 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51802122 15384727552 46307 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
################
# More data... #
################
/proc/meminfo: memFree=14552856/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15681864 memory=525500 CPUtime=7.07 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 25285 0 0 0 633 74 0 0 20 0 19 0 51802119 16058228736 131375 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3920466 131375 3228 1 0 3881322 0
[pid=11754] ppid=11738 vsize=128188 memory=107264 CPUtime=2499.95 cores=1,3,5,7
/proc/11754/stat : 11754 (minisat_release) R 11738 11738 8919 0 -1 4202496 212218 0 0 0 249977 18 0 0 20 0 1 0 51802360 131264512 26816 33554432000 4194304 4308513 140723620414048 140723620411048 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22904832 140723620418223 140723620418734 140723620418734 140723620421573 0
/proc/11754/statm: 32047 26816 353 28 0 28287 0
[pid=11738/tid=11740] ppid=11735 vsize=15681864 memory=525500 CPUtime=2.42 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) S 11735 11738 8919 0 -1 1077944384 16973 0 0 0 230 12 0 0 20 0 19 0 51802119 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745829018624 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51802120 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802120 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51802121 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802121 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15681864 memory=525500 CPUtime=0.04 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 51802122 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11746] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11746/stat : 11746 (java) S 11735 11738 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51802122 16058228736 131375 33554432000 4194304 4196468 140720372604736 139744444932896 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11747] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11747/stat : 11747 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802123 16058228736 131375 33554432000 4194304 4196468 140720372604736 139744210052208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11748] ppid=11735 vsize=15681864 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11748/stat : 11748 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139743835543632 139745857197979 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11749] ppid=11735 vsize=15681864 memory=525500 CPUtime=1.25 cores=1,3,5,7
/proc/11738/task/11749/stat : 11749 (java) S 11735 11738 8919 0 -1 1077944384 2240 0 0 0 124 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745195666032 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11750] ppid=11735 vsize=15681864 memory=525500 CPUtime=1.22 cores=1,3,5,7
/proc/11738/task/11750/stat : 11750 (java) S 11735 11738 8919 0 -1 1077944384 1603 0 0 0 121 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745194613232 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11751] ppid=11735 vsize=15681864 memory=525500 CPUtime=0.88 cores=1,3,5,7
/proc/11738/task/11751/stat : 11751 (java) S 11735 11738 8919 0 -1 1077944384 2891 0 0 0 87 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745193560944 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11752] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11752/stat : 11752 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139743337638880 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11753] ppid=11735 vsize=15681864 memory=107264 CPUtime=1.2 cores=1,3,5,7
/proc/11738/task/11753/stat : 11753 (java) S 11735 11738 8919 0 -1 1077944384 167 0 0 0 56 64 0 0 20 0 19 0 51802126 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745192507824 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11755] ppid=11735 vsize=15681864 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11755/stat : 11755 (java) S 11735 11738 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51802360 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745284342720 139745857203993 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11757] ppid=11735 vsize=15681864 memory=16776 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11757/stat : 11757 (java) S 11735 11738 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 51802360 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742800752048 139745857201309 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11758] ppid=11735 vsize=15681864 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11758/stat : 11758 (java) S 11735 11738 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 51802361 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742934974256 139745857201309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11759] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11759/stat : 11759 (java) S 11735 11738 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 51802362 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742532328864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
Current children cumulated CPU time: 2507.02 s
Current children cumulated vsize: 15810052 KiB
Current children cumulated memory: 632764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/226 11946
/proc/meminfo: memFree=14553220/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15681864 memory=525500 CPUtime=7.08 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 25287 0 0 0 633 75 0 0 20 0 19 0 51802119 16058228736 131375 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3920466 131375 3228 1 0 3881322 0
[pid=11754] ppid=11738 vsize=128188 memory=107264 CPUtime=2512.95 cores=1,3,5,7
/proc/11754/stat : 11754 (minisat_release) R 11738 11738 8919 0 -1 4202496 212227 0 0 0 251277 18 0 0 20 0 1 0 51802360 131264512 26816 33554432000 4194304 4308513 140723620414048 140723620410304 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22904832 140723620418223 140723620418734 140723620418734 140723620421573 0
/proc/11754/statm: 32047 26816 353 28 0 28287 0
[pid=11738/tid=11740] ppid=11735 vsize=15681864 memory=107264 CPUtime=2.42 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) S 11735 11738 8919 0 -1 1077944384 16973 0 0 0 230 12 0 0 20 0 19 0 51802119 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745829018624 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51802120 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802120 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51802121 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802121 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15681864 memory=525500 CPUtime=0.04 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 51802122 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11746] ppid=11735 vsize=15681864 memory=281354317083056 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11746/stat : 11746 (java) S 11735 11738 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51802122 16058228736 131375 33554432000 4194304 4196468 140720372604736 139744444932896 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11747] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11747/stat : 11747 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802123 16058228736 131375 33554432000 4194304 4196468 140720372604736 139744210052208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11748] ppid=11735 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11748/stat : 11748 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139743835543632 139745857197979 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11749] ppid=11735 vsize=15681864 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/11738/task/11749/stat : 11749 (java) S 11735 11738 8919 0 -1 1077944384 2240 0 0 0 124 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745195666032 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11750] ppid=11735 vsize=15681864 memory=4140 CPUtime=1.22 cores=1,3,5,7
/proc/11738/task/11750/stat : 11750 (java) S 11735 11738 8919 0 -1 1077944384 1603 0 0 0 121 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745194613232 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11751] ppid=11735 vsize=15681864 memory=16776 CPUtime=0.88 cores=1,3,5,7
/proc/11738/task/11751/stat : 11751 (java) S 11735 11738 8919 0 -1 1077944384 2891 0 0 0 87 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745193560944 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11752] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11752/stat : 11752 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139743337638880 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11753] ppid=11735 vsize=15681864 memory=4140 CPUtime=1.22 cores=1,3,5,7
/proc/11738/task/11753/stat : 11753 (java) S 11735 11738 8919 0 -1 1077944384 169 0 0 0 57 65 0 0 20 0 19 0 51802126 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745192507824 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11755] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11755/stat : 11755 (java) S 11735 11738 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51802360 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745284342720 139745857203993 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11757] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11757/stat : 11757 (java) S 11735 11738 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 51802360 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742800752048 139745857201309 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11758] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11758/stat : 11758 (java) S 11735 11738 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 51802361 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742934974256 139745857201309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11759] ppid=11735 vsize=15681864 memory=107264 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11759/stat : 11759 (java) S 11735 11738 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 51802362 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742532328864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15810052 KiB
Current children cumulated memory: 632764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.31 s]
# the end of solver process 11738 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.12 s, system=0.949545 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/226 11946
/proc/meminfo: memFree=14553220/32770624 swapFree=67108860/67108860
[pid=11738] ppid=11735 vsize=15681864 memory=525500 CPUtime=7.08 cores=1,3,5,7
/proc/11738/stat : 11738 (java) S 11735 11738 8919 0 -1 1077944320 25287 0 0 0 633 75 0 0 20 0 19 0 51802119 16058228736 131375 33554432000 4194304 4196468 140720372604736 140720372587280 139745857179383 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
/proc/11738/statm: 3920466 131375 3228 1 0 3881322 0
[pid=11754] ppid=11738 vsize=128188 memory=107264 CPUtime=2512.95 cores=1,3,5,7
/proc/11754/stat : 11754 (minisat_release) R 11738 11738 8919 0 -1 4202496 212227 0 0 0 251277 18 0 0 20 0 1 0 51802360 131264512 26816 33554432000 4194304 4308513 140723620414048 140723620410304 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22904832 140723620418223 140723620418734 140723620418734 140723620421573 0
/proc/11754/statm: 32047 26816 353 28 0 28287 0
[pid=11738/tid=11740] ppid=11735 vsize=15681864 memory=107264 CPUtime=2.42 cores=1,3,5,7
/proc/11738/task/11740/stat : 11740 (java) S 11735 11738 8919 0 -1 1077944384 16973 0 0 0 230 12 0 0 20 0 19 0 51802119 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745829018624 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11741] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11741/stat : 11741 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51802120 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745861421968 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11742] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11742/stat : 11742 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802120 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745688238864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11743] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11743/stat : 11743 (java) S 11735 11738 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51802121 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745316568208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11744] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11744/stat : 11744 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802121 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745315515408 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11745] ppid=11735 vsize=15681864 memory=525500 CPUtime=0.04 cores=1,3,5,7
/proc/11738/task/11745/stat : 11745 (java) S 11735 11738 8919 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 51802122 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745196718192 139745857190530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11746] ppid=11735 vsize=15681864 memory=281354317083056 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11746/stat : 11746 (java) S 11735 11738 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51802122 16058228736 131375 33554432000 4194304 4196468 140720372604736 139744444932896 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11747] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11747/stat : 11747 (java) S 11735 11738 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51802123 16058228736 131375 33554432000 4194304 4196468 140720372604736 139744210052208 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11748] ppid=11735 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11748/stat : 11748 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139743835543632 139745857197979 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11749] ppid=11735 vsize=15681864 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/11738/task/11749/stat : 11749 (java) S 11735 11738 8919 0 -1 1077944384 2240 0 0 0 124 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745195666032 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11750] ppid=11735 vsize=15681864 memory=4140 CPUtime=1.22 cores=1,3,5,7
/proc/11738/task/11750/stat : 11750 (java) S 11735 11738 8919 0 -1 1077944384 1603 0 0 0 121 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745194613232 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11751] ppid=11735 vsize=15681864 memory=16776 CPUtime=0.88 cores=1,3,5,7
/proc/11738/task/11751/stat : 11751 (java) S 11735 11738 8919 0 -1 1077944384 2891 0 0 0 87 1 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745193560944 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11752] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11752/stat : 11752 (java) S 11735 11738 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51802125 16058228736 131375 33554432000 4194304 4196468 140720372604736 139743337638880 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11753] ppid=11735 vsize=15681864 memory=4140 CPUtime=1.22 cores=1,3,5,7
/proc/11738/task/11753/stat : 11753 (java) S 11735 11738 8919 0 -1 1077944384 169 0 0 0 57 65 0 0 20 0 19 0 51802126 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745192507824 139745857190530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11755] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11755/stat : 11755 (java) S 11735 11738 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51802360 16058228736 131375 33554432000 4194304 4196468 140720372604736 139745284342720 139745857203993 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11757] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11757/stat : 11757 (java) S 11735 11738 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 51802360 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742800752048 139745857201309 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11758] ppid=11735 vsize=15681864 memory=525500 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11758/stat : 11758 (java) S 11735 11738 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 51802361 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742934974256 139745857201309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
[pid=11738/tid=11759] ppid=11735 vsize=15681864 memory=107264 CPUtime=0 cores=1,3,5,7
/proc/11738/task/11759/stat : 11759 (java) S 11735 11738 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 51802362 16058228736 131375 33554432000 4194304 4196468 140720372604736 139742532328864 139745857189589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140720372605940 140720372606217 140720372606217 140720372608975 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15810052 KiB
Current children cumulated memory: 632764 KiB
Child status: 1
Real time (s): 2515.31
CPU time (s): 2520.07
CPU user time (s): 2519.12
CPU system time (s): 0.949545
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 15810052
Max. memory (cumulated for all children) (KiB): 632764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.12
system time used= 0.949545
maximum resident set size= 530176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58564
involuntary context switches= 645
# summary of solver processes directly reported to runsolver:
# pid: 11738
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.12
# total CPU system time (s): 0.949545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9021 second user time and 25.3393 second system time
The end