0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-17294-serial-file.bin HOME/instance-4305401-1534067277.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 11:47:57 CEST 2018
0.67/0.54 c PID: 17297
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.45/0.92 c (0,0) Parsing End
1.45/0.93 c (0,0) CSP: 98 int (0 aux), 0 bool (0 aux), 79 ctr, max domain size 78
1.45/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.45/0.93 c (0,0) Constraint Name Generate Begin
1.45/0.94 c (0,0) Ctr:HOME/instance-4305401-1534067277.xml,AllDifferent:Dist:Eq:IntVar
1.45/0.94 c (0,0) Constraint Name Generate End
1.45/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.45/0.94 c (0,0) CSP to CSPinCNF Begin
1.62/1.05 c (0,0) translated 8 (10%) constraints
1.62/1.07 c (0,0) translated 16 (20%) constraints
1.62/1.09 c (0,0) translated 24 (30%) constraints
1.83/1.11 c (0,0) translated 32 (40%) constraints
1.83/1.12 c (0,0) translated 40 (50%) constraints
1.83/1.13 c (0,0) translated 48 (60%) constraints
1.83/1.15 c (0,0) translated 56 (70%) constraints
1.83/1.16 c (0,0) translated 64 (80%) constraints
1.83/1.17 c (0,0) translated 72 (90%) constraints
2.07/1.24 c (0,0) translated 79 (100%) constraints
2.92/1.54 c (1,1) STATISTICS1:HOME/instance-4305401-1534067277.xml,AllDifferent:Dist:Eq:IntVar,98,3371,6006,78,77,3,6006:308;78:210;77:2926,78:1078;77:6314,77:2;21:2;2:3213;1:154,3:308;2:3136;1:196,
2.92/1.54 c (1,1) ==========================================
2.92/1.54 c (1,1) Order
2.92/1.54 c (1,1) ==========================================
2.92/1.58 c (1,1) translated 338 (10%) constraints
3.24/1.61 c (1,1) translated 675 (20%) constraints
3.24/1.64 c (1,1) translated 1012 (30%) constraints
3.24/1.66 c (1,1) translated 1349 (40%) constraints
3.24/1.69 c (1,1) translated 1686 (50%) constraints
3.55/1.71 c (1,1) translated 2023 (60%) constraints
3.55/1.74 c (1,1) translated 2360 (70%) constraints
3.55/1.76 c (1,1) translated 2697 (80%) constraints
3.55/1.78 c (1,1) translated 3034 (90%) constraints
3.85/1.81 c (1,1) translated 3371 (100%) constraints
3.85/1.81 c (1,1) CSP to CSPinCNF End
3.85/1.81 c (1,1) CSP: 98 int (0 aux), 0 bool (0 aux), 3371 ctr, max domain size 78
3.85/1.81 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.85/1.81 c (1,1) CSPinCNF Propagation Begin
3.85/1.86 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.85/1.86 c (1,1) CSPinCNF Propagation End
3.85/1.86 c (1,1) CSP: 98 int (0 aux), 0 bool (0 aux), 3371 ctr, max domain size 78
3.85/1.86 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.85/1.86 c (1,1) Simplify CSPinCNF Begin
4.84/2.12 c (1,1) Simplify CSPinCNF End
4.84/2.13 c (1,1) CSP: 98 int (0 aux), 6426 bool (6426 aux), 9797 ctr, max domain size 78
4.84/2.13 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.84/2.13 c (1,1) Calculate Precise Domain Begin
4.84/2.13 c (1,1) 0 values are removed by re-calculation
4.84/2.13 c (1,1) Calculate Precise Domain End
4.84/2.13 c (1,1) CSP: 98 int (0 aux), 6426 bool (6426 aux), 9797 ctr, max domain size 78
4.84/2.13 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.84/2.13 c (1,1) CSPinCNF to SatSolver Begin
8.72/4.49 c (3,3) 980 (10 %) CSP clauses are encoded (13895 SAT variables, 963458 SAT clauses)
9.34/4.70 c (4,4) 1960 (20 %) CSP clauses are encoded (13895 SAT variables, 1014014 SAT clauses)
9.48/4.83 c (4,4) 2940 (30 %) CSP clauses are encoded (13895 SAT variables, 1064622 SAT clauses)
9.58/4.96 c (4,4) 3919 (40 %) CSP clauses are encoded (13895 SAT variables, 1115229 SAT clauses)
9.69/5.08 c (4,4) 4899 (50 %) CSP clauses are encoded (13895 SAT variables, 1165837 SAT clauses)
9.92/5.21 c (4,4) 5879 (60 %) CSP clauses are encoded (13895 SAT variables, 1216445 SAT clauses)
10.04/5.34 c (4,4) 6858 (70 %) CSP clauses are encoded (13895 SAT variables, 1267052 SAT clauses)
10.14/5.48 c (4,4) 7838 (80 %) CSP clauses are encoded (13895 SAT variables, 1317660 SAT clauses)
10.44/5.60 c (5,5) 8818 (90 %) CSP clauses are encoded (13895 SAT variables, 1368344 SAT clauses)
10.55/5.72 c (5,5) 9797 (100 %) CSP clauses are encoded (13895 SAT variables, 1418875 SAT clauses)
10.55/5.72 c (5,5) Launch Command will be: minisat_release
10.55/5.72 c (5,5) CSPinCNF to SatSolver End
10.55/5.72 c (5,5) Heap : 317 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.55/5.79 c (5,5) STATISTICS2:HOME/instance-4305401-1534067277.xml,AllDifferent:Dist:Eq:IntVar,6524,9797,6006,78,77,3,6006:308;78:420;77:5852,78:1498;77:12166;2:12852,77:2;21:2;2:9639;1:154,3:308;2:6272;1:13048,
10.55/5.80 c (5,5) 13895 bool, 1418876 clause
10.55/5.80 c (5,5) Export Begin
10.81/5.88 c (5,5) Export to HOME/scop-17294-serial-file.bin
10.81/5.88 c (5,5) Export End
10.81/5.89 c (5,5) Export File Size: 0.02 MB
10.81/5.89 c (5,5) 0,0,1,1,1,1,5,STOP-AFTER(DIMACS)
10.81/5.89 c END-Prog: Sun Aug 12 11:48:03 CEST 2018
0.00/5.91 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17294-serial-file.bin
11.61/6.39 c (0,0) Read Serial File Begin
11.61/6.39 c (0,0) HOME/scop-17294-serial-file.bin
11.88/6.55 c (0,0) Read Serial File End
11.88/6.57
11.88/6.57 scop order+minisat_release (2018-07-31)
11.88/6.57 (Solving Process)
11.88/6.57
11.88/6.59 c BEGIN-Prog: Sun Aug 12 11:48:03 CEST 2018
11.88/6.59 c PID: 17312
11.88/6.59 c IP: 172.20.3.107
11.88/6.59 c HOST: node107.alineos.net
11.88/6.59 c (0,0) SatSolver.solve Begin
11.88/6.59 c (0,0) 0 bool, 0 clause
11.88/6.59 c (0,0) minisat_release HOME/instance-4305401-1534067277.xml-scop-17297.cnf
2520.01/2512.70 c (2506,0) receiving signal SIGTERM
2520.01/2512.70 s UNKNOWN
2520.01/2512.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2512.71 c (scop.sh) Remove HOME/scop-17294-serial-file.bin.
2520.01/2512.71 c (2506,0) SatSolver is killed by some reasons.
2520.01/2512.71 c (scop.sh) Killing background jobs.
2520.01/2512.71 c (2506,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.01/2512.71 c (2506,0) receiving signal SIGTERM
2520.01/2512.71 c END-Prog: Sun Aug 12 12:29:50 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 (12679 MiB free)
memory of node 1: 16384 MiB (11319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305401-1534067277/watcher-4305401-1534067277 -o /tmp/evaluation-result-4305401-1534067277/solver-4305401-1534067277 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305401-1534067277.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=17294, runsolver pid=17291
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 2.16 2.07 1.98 3/222 17311
/proc/meminfo: memFree=24513560/32770624 swapFree=67108860/67108860
[pid=17294] ppid=17291 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17294/stat : 17294 (scop.sh) S 17291 17294 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224290872 115843072 349 33554432000 4194304 5098028 140725689806976 140725689804232 140437641003644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140725689816128 140725689816327 140725689816327 140725689819085 0
/proc/17294/statm: 28282 349 296 221 0 87 0
[pid=17297] ppid=17294 vsize=15012476 memory=73412 CPUtime=0.11 cores=1,3,5,7
/proc/17297/stat : 17297 (java) S 17294 17294 16605 0 -1 1077944320 6972 0 0 0 9 2 0 0 20 0 15 0 224290872 15372775424 18353 33554432000 4194304 4196468 140722596204848 140722596187392 140599482937079 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
/proc/17297/statm: 3753119 18353 2770 1 0 3715579 0
[pid=17297/tid=17298] ppid=17294 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/17297/task/17298/stat : 17298 (java) R 17294 17294 16605 0 -1 4202560 5067 0 0 0 7 1 0 0 20 0 15 0 224290872 15372775424 18353 33554432000 4194304 4196468 140722596204848 140599454749064 140599466123888 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17299] ppid=17294 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17299/stat : 17299 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 18353 33554432000 4194304 4196468 140722596204848 140599487179792 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17300] ppid=17294 vsize=15012476 memory=140035128845952 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17300/stat : 17300 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598943493264 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17301] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17301/stat : 17301 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598942440208 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17302] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17302/stat : 17302 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598941387664 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17303] ppid=17294 vsize=15012476 memory=140035128845952 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17303/stat : 17303 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290875 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598544578800 140599482948226 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17304] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17304/stat : 17304 (java) S 17294 17294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224290876 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598036128928 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17305] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17305/stat : 17305 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290876 15372775424 18353 33554432000 4194304 4196468 140722596204848 140597767693040 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17306] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17306/stat : 17306 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 18353 33554432000 4194304 4196468 140722596204848 140597393184720 140599482955675 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17307] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17307/stat : 17307 (java) S 17294 17294 16605 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598543526640 140599482948226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17308] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17308/stat : 17308 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598542474096 140599482948226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17309] ppid=17294 vsize=15012476 memory=140035128845952 CPUtime=0.01 cores=1,3,5,7
/proc/17297/task/17309/stat : 17309 (java) R 17294 17294 16605 0 -1 4202560 283 0 0 0 1 0 0 0 20 0 15 0 224290879 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598541421040 140599463263904 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17310] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17310/stat : 17310 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 18353 33554432000 4194304 4196468 140722596204848 140596895279968 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17311] ppid=17294 vsize=15012476 memory=140035128845952 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17311/stat : 17311 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 18353 33554432000 4194304 4196468 140722596204848 140598540368432 140599482948226 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74808 KiB
[startup+0.210726 s]*
/proc/loadavg: 2.16 2.07 1.98 4/222 17311
/proc/meminfo: memFree=24499732/32770624 swapFree=67108860/67108860
[pid=17294] ppid=17291 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17294/stat : 17294 (scop.sh) S 17291 17294 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224290872 115843072 349 33554432000 4194304 5098028 140725689806976 140725689804232 140437641003644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140725689816128 140725689816327 140725689816327 140725689819085 0
/proc/17294/statm: 28282 349 296 221 0 87 0
[pid=17297] ppid=17294 vsize=15012476 memory=86464 CPUtime=0.26 cores=1,3,5,7
/proc/17297/stat : 17297 (java) S 17294 17294 16605 0 -1 1077944320 10469 0 0 0 23 3 0 0 20 0 15 0 224290872 15372775424 21616 33554432000 4194304 4196468 140722596204848 140722596187392 140599482937079 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
/proc/17297/statm: 3753119 21616 2887 1 0 3715579 0
[pid=17297/tid=17298] ppid=17294 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/17297/task/17298/stat : 17298 (java) R 17294 17294 16605 0 -1 4202560 8381 0 0 0 18 2 0 0 20 0 15 0 224290872 15372775424 21616 33554432000 4194304 4196468 140722596204848 140599454763472 140598985916492 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17299] ppid=17294 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17299/stat : 17299 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 21616 33554432000 4194304 4196468 140722596204848 140599487179792 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17300] ppid=17294 vsize=15012476 memory=3545376973178037920 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17300/stat : 17300 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598943493264 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17301] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17301/stat : 17301 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598942440208 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17302] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17302/stat : 17302 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598941387664 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17303] ppid=17294 vsize=15012476 memory=140035128845952 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17303/stat : 17303 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290875 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598544578800 140599482948226 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17304] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17304/stat : 17304 (java) S 17294 17294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224290876 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598036128928 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17305] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17305/stat : 17305 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290876 15372775424 21616 33554432000 4194304 4196468 140722596204848 140597767693040 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17306] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17306/stat : 17306 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 21616 33554432000 4194304 4196468 140722596204848 140597393184720 140599482955675 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17307] ppid=17294 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17297/task/17307/stat : 17307 (java) S 17294 17294 16605 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 224290879 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598543526640 140599482948226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17308] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17308/stat : 17308 (java) S 17294 17294 16605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598542474096 140599482948226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17309] ppid=17294 vsize=15012476 memory=140035128845952 CPUtime=0.03 cores=1,3,5,7
/proc/17297/task/17309/stat : 17309 (java) R 17294 17294 16605 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 224290879 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598541421040 140599468102734 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17310] ppid=17294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17310/stat : 17310 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 21616 33554432000 4194304 4196468 140722596204848 140596895279968 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17311] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17311/stat : 17311 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 21616 33554432000 4194304 4196468 140722596204848 140598540368432 140599482948226 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87860 KiB
[startup+0.310682 s]*
/proc/loadavg: 2.16 2.07 1.98 3/222 17311
/proc/meminfo: memFree=24495700/32770624 swapFree=67108860/67108860
[pid=17294] ppid=17291 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17294/stat : 17294 (scop.sh) S 17291 17294 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224290872 115843072 349 33554432000 4194304 5098028 140725689806976 140725689804232 140437641003644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140725689816128 140725689816327 140725689816327 140725689819085 0
/proc/17294/statm: 28282 349 296 221 0 87 0
[pid=17297] ppid=17294 vsize=15012476 memory=89992 CPUtime=0.43 cores=1,3,5,7
/proc/17297/stat : 17297 (java) S 17294 17294 16605 0 -1 1077944320 11008 0 0 0 39 4 0 0 20 0 15 0 224290872 15372775424 22498 33554432000 4194304 4196468 140722596204848 140722596187392 140599482937079 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
/proc/17297/statm: 3753119 22498 2975 1 0 3715579 0
[pid=17297/tid=17298] ppid=17294 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/17297/task/17298/stat : 17298 (java) R 17294 17294 16605 0 -1 4202560 8755 0 0 0 27 3 0 0 20 0 15 0 224290872 15372775424 22498 33554432000 4194304 4196468 140722596204848 140599454740680 140598987431969 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17299] ppid=17294 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17299/stat : 17299 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 22498 33554432000 4194304 4196468 140722596204848 140599487179792 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17300] ppid=17294 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17300/stat : 17300 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598943493264 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17301] ppid=17294 vsize=15012476 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17301/stat : 17301 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598942440208 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17302] ppid=17294 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17302/stat : 17302 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598941387664 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17303] ppid=17294 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17303/stat : 17303 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290875 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598544578800 140599482948226 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17304] ppid=17294 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17304/stat : 17304 (java) S 17294 17294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224290876 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598036128928 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17305] ppid=17294 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17305/stat : 17305 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290876 15372775424 22498 33554432000 4194304 4196468 140722596204848 140597767693040 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17306] ppid=17294 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17306/stat : 17306 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 22498 33554432000 4194304 4196468 140722596204848 140597393184720 140599482955675 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17307] ppid=17294 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17297/task/17307/stat : 17307 (java) R 17294 17294 16605 0 -1 4202560 492 0 0 0 2 0 0 0 20 0 15 0 224290879 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598543526640 140599463636456 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17308] ppid=17294 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17297/task/17308/stat : 17308 (java) R 17294 17294 16605 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 224290879 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598542474096 140599482948226 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17309] ppid=17294 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17297/task/17309/stat : 17309 (java) R 17294 17294 16605 0 -1 4202560 322 0 0 0 7 0 0 0 20 0 15 0 224290879 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598541421040 140599468064368 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17310] ppid=17294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17310/stat : 17310 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 22498 33554432000 4194304 4196468 140722596204848 140596895279968 140599482947285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17311] ppid=17294 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17311/stat : 17311 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290879 15372775424 22498 33554432000 4194304 4196468 140722596204848 140598540368432 140599482948226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91388 KiB
[startup+0.701376 s]
/proc/loadavg: 2.16 2.07 1.98 3/222 17311
/proc/meminfo: memFree=24471268/32770624 swapFree=67108860/67108860
[pid=17294] ppid=17291 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17294/stat : 17294 (scop.sh) S 17291 17294 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224290872 115843072 349 33554432000 4194304 5098028 140725689806976 140725689804232 140437641003644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140725689816128 140725689816327 140725689816327 140725689819085 0
/proc/17294/statm: 28282 349 296 221 0 87 0
[pid=17297] ppid=17294 vsize=15020872 memory=129536 CPUtime=1.03 cores=1,3,5,7
/proc/17297/stat : 17297 (java) S 17294 17294 16605 0 -1 1077944320 18106 0 0 0 97 6 0 0 20 0 15 0 224290872 15381372928 32384 33554432000 4194304 4196468 140722596204848 140722596187392 140599482937079 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
/proc/17297/statm: 3755218 32384 3153 1 0 3716603 0
[pid=17297/tid=17298] ppid=17294 vsize=15020872 memory=-7082918048272507482 CPUtime=0.67 cores=1,3,5,7
/proc/17297/task/17298/stat : 17298 (java) R 17294 17294 16605 0 -1 4202560 15462 0 0 0 63 4 0 0 20 0 15 0 224290872 15381372928 32384 33554432000 4194304 4196468 140722596204848 140599454772656 140599467017566 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17299] ppid=17294 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17299/stat : 17299 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15381372928 32384 33554432000 4194304 4196468 140722596204848 140599487179792 140599482947285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17300] ppid=17294 vsize=15020872 memory=61008 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17300/stat : 17300 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598943493264 140599482947285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17301] ppid=17294 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17301/stat : 17301 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224290874 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598942440208 140599482947285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17302] ppid=17294 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17302/stat : 17302 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290874 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598941387664 140599482947285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17303] ppid=17294 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17303/stat : 17303 (java) S 17294 17294 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224290875 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598544578800 140599482948226 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17304] ppid=17294 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17304/stat : 17304 (java) S 17294 17294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224290876 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598036128928 140599482947285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17305] ppid=17294 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17305/stat : 17305 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290876 15381372928 32384 33554432000 4194304 4196468 140722596204848 140597767693040 140599482947285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17306] ppid=17294 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17306/stat : 17306 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15381372928 32384 33554432000 4194304 4196468 140722596204848 140597393184720 140599482955675 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17307] ppid=17294 vsize=15020872 memory=1120 CPUtime=0.06 cores=1,3,5,7
/proc/17297/task/17307/stat : 17307 (java) R 17294 17294 16605 0 -1 4202560 574 0 0 0 6 0 0 0 20 0 15 0 224290879 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598543526640 140599464481255 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17308] ppid=17294 vsize=15020872 memory=6120 CPUtime=0.1 cores=1,3,5,7
/proc/17297/task/17308/stat : 17308 (java) R 17294 17294 16605 0 -1 1077944384 320 0 0 0 10 0 0 0 20 0 15 0 224290879 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598542474224 140599482947285 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17309] ppid=17294 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/17297/task/17309/stat : 17309 (java) R 17294 17294 16605 0 -1 4202560 416 0 0 0 16 0 0 0 20 0 15 0 224290879 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598541418832 140599482950943 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17310] ppid=17294 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17310/stat : 17310 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224290879 15381372928 32384 33554432000 4194304 4196468 140722596204848 140596895279968 140599482947285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
[pid=17297/tid=17311] ppid=17294 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/17297/task/17311/stat : 17311 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224290879 15381372928 32384 33554432000 4194304 4196468 140722596204848 140598540368432 140599482948226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24653824 140722596209670 140722596209969 140722596209969 140722596212687 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130932 KiB
[startup+1.50258 s]
/proc/loadavg: 2.16 2.07 1.98 3/222 17311
/proc/meminfo: memFree=24443228/32770624 swapFree=67108860/67108860
[pid=17294] ppid=17291 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17294/stat : 17294 (scop.sh) S 17291 17294 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224290872 115843072 349 33554432000 4194304 5098028 140725689806976 140725689804232 140437641003644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140725689816128 140725689816327 140725689816327 140725689819085 0
/proc/17294/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17312/tid=17315] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17315/stat : 17315 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536635227152 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17316] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17316/stat : 17316 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536634174352 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17317] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17317/stat : 17317 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536633121552 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17318] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.05 cores=1,3,5,7
/proc/17312/task/17318/stat : 17318 (java) S 17294 17294 16605 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536070199664 140536825232002 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17319] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17319/stat : 17319 (java) S 17294 17294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535691994144 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17320] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17320/stat : 17320 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535423558512 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17321] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17321/stat : 17321 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535049049936 140536825239451 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17322] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.09 cores=1,3,5,7
/proc/17312/task/17322/stat : 17322 (java) S 17294 17294 16605 0 -1 1077944384 757 0 0 0 8 1 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536069147504 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17323] ppid=17294 vsize=8068220 memory=127744 CPUtime=0.09 cores=1,3,5,7
/proc/17312/task/17323/stat : 17323 (java) S 17294 17294 16605 0 -1 1077944384 200 0 0 0 9 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536068094704 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17324] ppid=17294 vsize=8068220 memory=1168 CPUtime=0.19 cores=1,3,5,7
/proc/17312/task/17324/stat : 17324 (java) S 17294 17294 16605 0 -1 1077944384 516 0 0 0 19 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536067041904 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17325] ppid=17294 vsize=8068220 memory=2140 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17325/stat : 17325 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140534551145184 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17326] ppid=17294 vsize=8068220 memory=2180 CPUtime=1.48 cores=1,3,5,7
/proc/17312/task/17326/stat : 17326 (java) S 17294 17294 16605 0 -1 1077944384 167 0 0 0 70 78 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536065989296 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17328] ppid=17294 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17328/stat : 17328 (java) S 17294 17294 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536058180800 140536825245465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17330] ppid=17294 vsize=8068220 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17330/stat : 17330 (java) S 17294 17294 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140533880044816 140536825242781 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17331] ppid=17294 vsize=8068220 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17331/stat : 17331 (java) S 17294 17294 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140534282698896 140536825242781 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17332] ppid=17294 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17332/stat : 17332 (java) S 17294 17294 16605 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 224291536 8261857280 29117 33554432000 4194304 4196468 140729068239392 140533745831584 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
Current children cumulated CPU time: 2509.61 s
Current children cumulated vsize: 8330956 KiB
Current children cumulated memory: 238288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.7 s]
/proc/loadavg: 2.00 2.04 2.06 3/227 17532
/proc/meminfo: memFree=24376304/32770624 swapFree=67108860/67108860
[pid=17294] ppid=17291 vsize=113128 memory=1472 CPUtime=11.09 cores=1,3,5,7
/proc/17294/stat : 17294 (scop.sh) S 17291 17294 16605 0 -1 4202496 590 31034 0 0 0 0 1048 61 20 0 1 0 224290872 115843072 368 33554432000 4194304 5098028 140725689806976 140725689803720 140437641003644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140725689816128 140725689816327 140725689816327 140725689819085 0
/proc/17294/statm: 28282 368 311 221 0 87 0
[pid=17312] ppid=17294 vsize=8068220 memory=116468 CPUtime=2.69 cores=1,3,5,7
/proc/17312/stat : 17312 (java) S 17294 17294 16605 0 -1 1077944320 17524 0 0 0 187 82 0 0 20 0 19 0 224291463 8261857280 29117 33554432000 4194304 4196468 140729068239392 140729068221936 140536825220855 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
/proc/17312/statm: 2017055 29117 3147 1 0 1978454 0
[pid=17327] ppid=17312 vsize=150088 memory=122608 CPUtime=2506.23 cores=1,3,5,7
/proc/17327/stat : 17327 (minisat_release) R 17312 17294 16605 0 -1 4202496 516077 0 0 0 250531 92 0 0 20 0 1 0 224291533 153690112 30652 33554432000 4194304 4308513 140733442088800 140733442085056 4250844 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 41275392 140733442094196 140733442094294 140733442094294 140733442097093 0
/proc/17327/statm: 37522 30652 341 28 0 33762 0
[pid=17312/tid=17313] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.73 cores=1,3,5,7
/proc/17312/task/17313/stat : 17313 (java) S 17294 17294 16605 0 -1 1077944384 14470 0 0 0 69 4 0 0 20 0 19 0 224291463 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536797061008 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17314] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17314/stat : 17314 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536829463696 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17315] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17315/stat : 17315 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536635227152 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17316] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17316/stat : 17316 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536634174352 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17317] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17317/stat : 17317 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536633121552 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17318] ppid=17294 vsize=8068220 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17312/task/17318/stat : 17318 (java) S 17294 17294 16605 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536070199664 140536825232002 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17319] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17319/stat : 17319 (java) S 17294 17294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535691994144 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17320] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17320/stat : 17320 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535423558512 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17321] ppid=17294 vsize=8068220 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17321/stat : 17321 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535049049936 140536825239451 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17322] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.09 cores=1,3,5,7
/proc/17312/task/17322/stat : 17322 (java) S 17294 17294 16605 0 -1 1077944384 757 0 0 0 8 1 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536069147504 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17323] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.09 cores=1,3,5,7
/proc/17312/task/17323/stat : 17323 (java) S 17294 17294 16605 0 -1 1077944384 200 0 0 0 9 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536068094704 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17324] ppid=17294 vsize=8068220 memory=121588 CPUtime=0.19 cores=1,3,5,7
/proc/17312/task/17324/stat : 17324 (java) S 17294 17294 16605 0 -1 1077944384 516 0 0 0 19 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536067041904 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17325] ppid=17294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17325/stat : 17325 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140534551145184 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17326] ppid=17294 vsize=8068220 memory=6944656592455360604 CPUtime=1.48 cores=1,3,5,7
/proc/17312/task/17326/stat : 17326 (java) S 17294 17294 16605 0 -1 1077944384 169 0 0 0 70 78 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536065989296 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17328] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17328/stat : 17328 (java) S 17294 17294 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536058180800 140536825245465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17330] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17330/stat : 17330 (java) S 17294 17294 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140533880044816 140536825242781 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17331] ppid=17294 vsize=8068220 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17331/stat : 17331 (java) S 17294 17294 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140534282698896 140536825242781 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17332] ppid=17294 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17332/stat : 17332 (java) S 17294 17294 16605 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 224291536 8261857280 29117 33554432000 4194304 4196468 140729068239392 140533745831584 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8331436 KiB
Current children cumulated memory: 240548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.72 s]
# the end of solver process 17294 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.486 s, system=0.616209 s
[startup+2512.72 s]
# the end of solver process 17312 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.69 s, system=2.39001 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.7 s]
/proc/loadavg: 2.00 2.04 2.06 3/227 17532
/proc/meminfo: memFree=24376304/32770624 swapFree=67108860/67108860
[pid=17294] ppid=17291 vsize=113128 memory=1472 CPUtime=11.09 cores=1,3,5,7
/proc/17294/stat : 17294 (scop.sh) S 17291 17294 16605 0 -1 4202496 590 31034 0 0 0 0 1048 61 20 0 1 0 224290872 115843072 368 33554432000 4194304 5098028 140725689806976 140725689803720 140437641003644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38916096 140725689816128 140725689816327 140725689816327 140725689819085 0
/proc/17294/statm: 28282 368 311 221 0 87 0
[pid=17312] ppid=17294 vsize=8068220 memory=116468 CPUtime=2.69 cores=1,3,5,7
/proc/17312/stat : 17312 (java) S 17294 17294 16605 0 -1 1077944320 17524 0 0 0 187 82 0 0 20 0 19 0 224291463 8261857280 29117 33554432000 4194304 4196468 140729068239392 140729068221936 140536825220855 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
/proc/17312/statm: 2017055 29117 3147 1 0 1978454 0
[pid=17327] ppid=17312 vsize=150088 memory=122608 CPUtime=2506.23 cores=1,3,5,7
/proc/17327/stat : 17327 (minisat_release) R 17312 17294 16605 0 -1 4202496 516077 0 0 0 250531 92 0 0 20 0 1 0 224291533 153690112 30652 33554432000 4194304 4308513 140733442088800 140733442085056 4250844 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 41275392 140733442094196 140733442094294 140733442094294 140733442097093 0
/proc/17327/statm: 37522 30652 341 28 0 33762 0
[pid=17312/tid=17313] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.73 cores=1,3,5,7
/proc/17312/task/17313/stat : 17313 (java) S 17294 17294 16605 0 -1 1077944384 14470 0 0 0 69 4 0 0 20 0 19 0 224291463 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536797061008 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17314] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17314/stat : 17314 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536829463696 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17315] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17315/stat : 17315 (java) S 17294 17294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536635227152 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17316] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17316/stat : 17316 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536634174352 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17317] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17317/stat : 17317 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291464 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536633121552 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17318] ppid=17294 vsize=8068220 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17312/task/17318/stat : 17318 (java) S 17294 17294 16605 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536070199664 140536825232002 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17319] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17319/stat : 17319 (java) S 17294 17294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535691994144 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17320] ppid=17294 vsize=8068220 memory=116468 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17320/stat : 17320 (java) S 17294 17294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224291466 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535423558512 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17321] ppid=17294 vsize=8068220 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17321/stat : 17321 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140535049049936 140536825239451 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17322] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.09 cores=1,3,5,7
/proc/17312/task/17322/stat : 17322 (java) S 17294 17294 16605 0 -1 1077944384 757 0 0 0 8 1 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536069147504 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17323] ppid=17294 vsize=8068220 memory=116468 CPUtime=0.09 cores=1,3,5,7
/proc/17312/task/17323/stat : 17323 (java) S 17294 17294 16605 0 -1 1077944384 200 0 0 0 9 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536068094704 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17324] ppid=17294 vsize=8068220 memory=121588 CPUtime=0.19 cores=1,3,5,7
/proc/17312/task/17324/stat : 17324 (java) S 17294 17294 16605 0 -1 1077944384 516 0 0 0 19 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536067041904 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17325] ppid=17294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17325/stat : 17325 (java) S 17294 17294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140534551145184 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17326] ppid=17294 vsize=8068220 memory=6944656592455360604 CPUtime=1.48 cores=1,3,5,7
/proc/17312/task/17326/stat : 17326 (java) S 17294 17294 16605 0 -1 1077944384 169 0 0 0 70 78 0 0 20 0 19 0 224291469 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536065989296 140536825232002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17328] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17328/stat : 17328 (java) S 17294 17294 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140536058180800 140536825245465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17330] ppid=17294 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17330/stat : 17330 (java) S 17294 17294 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140533880044816 140536825242781 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17331] ppid=17294 vsize=8068220 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17331/stat : 17331 (java) S 17294 17294 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224291534 8261857280 29117 33554432000 4194304 4196468 140729068239392 140534282698896 140536825242781 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
[pid=17312/tid=17332] ppid=17294 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17312/task/17332/stat : 17332 (java) S 17294 17294 16605 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 224291536 8261857280 29117 33554432000 4194304 4196468 140729068239392 140533745831584 140536825231061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25481216 140729068246197 140729068246321 140729068246321 140729068249039 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8331436 KiB
Current children cumulated memory: 240548 KiB
Child status: 1
Real time (s): 2512.72
CPU time (s): 2520.08
CPU user time (s): 2517.69
CPU system time (s): 2.39001
CPU usage (%): 100.293
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 3017868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.69
system time used= 2.39001
maximum resident set size= 3020860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60037
involuntary context switches= 660
# summary of solver processes directly reported to runsolver:
# pid: 17294,17312
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.69
# total CPU system time (s): 2.39001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2935 second user time and 27.7505 second system time
The end