0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21674-serial-file.bin HOME/instance-4305741-1534070010.xml
0.67/0.61
0.67/0.61 scop both+minisat_release (2018-07-31)
0.67/0.61 (Encoding Process)
0.67/0.61
0.67/0.64 c BEGIN-Prog: Sun Aug 12 12:33:31 CEST 2018
0.67/0.64 c PID: 21677
0.67/0.64 c IP: 172.20.3.103
0.67/0.64 c HOST: node103.alineos.net
0.67/0.65 c (0,0) Parsing Begin
2.26/1.30 c (0,0) Parsing End
2.26/1.32 c (0,0) CSP: 0 int (0 aux), 1860 bool (0 aux), 122 ctr, max domain size 2
2.26/1.32 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.26/1.32 c (0,0) Constraint Name Generate Begin
2.26/1.33 c (0,0) Ctr:HOME/instance-4305741-1534070010.xml,IntVar:Num:WeightedSum
2.26/1.33 c (0,0) Constraint Name Generate End
2.26/1.33 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.26/1.33 c (0,0) CSP to CSPinCNF Begin
2.50/1.48 c (0,0) translated 13 (10%) constraints
2.83/1.53 c (0,0) translated 25 (20%) constraints
2.83/1.55 c (0,0) translated 37 (30%) constraints
2.83/1.57 c (0,0) translated 49 (40%) constraints
2.83/1.59 c (0,0) translated 61 (50%) constraints
3.15/1.61 c (0,0) translated 74 (60%) constraints
3.15/1.63 c (1,1) translated 86 (70%) constraints
3.15/1.65 c (1,1) translated 98 (80%) constraints
3.15/1.66 c (1,1) translated 110 (90%) constraints
3.15/1.68 c (1,1) translated 122 (100%) constraints
3.46/1.76 c (1,1) STATISTICS1:HOME/instance-4305741-1534070010.xml,IntVar:Num:WeightedSum,1860,122,1073741824,2,1,31,1073741824:60;536870912:62,2:3720,1:122,31:60;30:62,
3.46/1.76 c (1,1) ==========================================
3.46/1.76 c (1,1) Both Encoding selects:
3.46/1.76 c (1,1) Log
3.46/1.76 c (1,1) ==========================================
3.46/1.78 c (1,1) translated 13 (10%) constraints
3.46/1.78 c (1,1) translated 25 (20%) constraints
3.46/1.79 c (1,1) translated 37 (30%) constraints
3.46/1.79 c (1,1) translated 49 (40%) constraints
3.78/1.80 c (1,1) translated 61 (50%) constraints
3.78/1.81 c (1,1) translated 74 (60%) constraints
3.78/1.81 c (1,1) translated 86 (70%) constraints
3.78/1.82 c (1,1) translated 98 (80%) constraints
3.78/1.82 c (1,1) translated 110 (90%) constraints
3.78/1.82 c (1,1) translated 122 (100%) constraints
3.78/1.83 c (1,1) CSP to CSPinCNF End
3.78/1.83 c (1,1) CSP: 0 int (0 aux), 1860 bool (0 aux), 122 ctr, max domain size 2
3.78/1.83 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.78/1.83 c (1,1) CSPinCNF Propagation Begin
3.78/1.85 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.78/1.85 c (1,1) CSPinCNF Propagation End
3.78/1.85 c (1,1) CSP: 0 int (0 aux), 1860 bool (0 aux), 122 ctr, max domain size 2
3.78/1.85 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.78/1.85 c (1,1) Simplify CSPinCNF Begin
3.78/1.86 c (1,1) Simplify CSPinCNF End
3.78/1.86 c (1,1) CSP: 0 int (0 aux), 1860 bool (0 aux), 122 ctr, max domain size 2
3.78/1.86 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.78/1.86 c (1,1) Calculate Precise Domain Begin
3.78/1.86 c (1,1) 0 values are removed by re-calculation
3.78/1.86 c (1,1) Calculate Precise Domain End
3.78/1.87 c (1,1) CSP: 0 int (0 aux), 1860 bool (0 aux), 122 ctr, max domain size 2
3.78/1.87 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.78/1.87 c (1,1) CSPinCNF to SatSolver Begin
4.11/1.99 c (1,1) 13 (10 %) CSP clauses are being encoded (2220 SAT variables, 372 SAT clauses)
4.49/2.01 c (1,1) 25 (20 %) CSP clauses are being encoded (2580 SAT variables, 744 SAT clauses)
4.49/2.03 c (1,1) 37 (30 %) CSP clauses are being encoded (2940 SAT variables, 1116 SAT clauses)
4.49/2.04 c (1,1) 49 (40 %) CSP clauses are being encoded (3300 SAT variables, 1488 SAT clauses)
4.49/2.05 c (1,1) 61 (50 %) CSP clauses are being encoded (3660 SAT variables, 1860 SAT clauses)
4.49/2.07 c (1,1) 74 (60 %) CSP clauses are being encoded (4380 SAT variables, 3869 SAT clauses)
4.49/2.09 c (1,1) 86 (70 %) CSP clauses are being encoded (5100 SAT variables, 5993 SAT clauses)
4.81/2.11 c (1,1) 98 (80 %) CSP clauses are being encoded (5820 SAT variables, 8117 SAT clauses)
4.81/2.12 c (1,1) 110 (90 %) CSP clauses are being encoded (6540 SAT variables, 10241 SAT clauses)
4.81/2.14 c (1,1) 122 (100 %) CSP clauses are being encoded (7260 SAT variables, 12365 SAT clauses)
4.81/2.14 c (1,1) Launch Command will be: minisat_release
4.81/2.14 c (1,1) CSPinCNF to SatSolver End
4.81/2.14 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.81/2.19 c (1,1) STATISTICS2:HOME/instance-4305741-1534070010.xml,IntVar:Num:WeightedSum,1860,122,1073741824,2,1,31,1073741824:60;536870912:62,2:3720,1:122,31:60;30:62,
4.81/2.19 c (1,1) 7320 bool, 12542 clause
4.81/2.19 c (1,1) Export Begin
5.61/2.46 c (1,1) Export to HOME/scop-21674-serial-file.bin
5.61/2.46 c (1,1) Export End
5.61/2.46 c (1,1) Export File Size: 0.68 MB
5.61/2.46 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.61/2.46 c END-Prog: Sun Aug 12 12:33:33 CEST 2018
5.61/2.47 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21674-serial-file.bin
5.73/2.96 c (0,0) Read Serial File Begin
5.73/2.96 c (0,0) HOME/scop-21674-serial-file.bin
7.09/3.32 c (0,0) Read Serial File End
7.09/3.34
7.09/3.34 scop log+minisat_release (2018-07-31)
7.09/3.34 (Solving Process)
7.09/3.34
7.09/3.36 c BEGIN-Prog: Sun Aug 12 12:33:34 CEST 2018
7.09/3.36 c PID: 21692
7.09/3.36 c IP: 172.20.3.103
7.09/3.36 c HOST: node103.alineos.net
7.09/3.36 c (0,0) SatSolver.solve Begin
7.09/3.36 c (0,0) 0 bool, 0 clause
7.09/3.36 c (0,0) minisat_release HOME/instance-4305741-1534070010.xml-scop-21677.cnf
2511.46/2506.55 c (2503,0) c This is COMiniSatPS.
2511.46/2506.55 c (2503,0) c WARNING: for repeatability, setting FPU to use double precision
2511.46/2506.55 c (2503,0) c ============================[ Problem Statistics ]=============================
2511.46/2506.55 c (2503,0) c | |
2511.46/2506.55 c (2503,0) c | Number of variables: 7320 |
2511.46/2506.55 c (2503,0) c | Number of clauses: 12420 |
2511.46/2506.55 c (2503,0) c | Parse time: 0.00 s |
2511.46/2506.55 c (2503,0) c | Eliminated clauses: 0.07 Mb |
2511.46/2506.55 c (2503,0) c Reduced to 4898 vars, 8287 cls (grow=0)
2511.46/2506.55 c (2503,0) c No iterative elimination performed. (vars=4898, c/v ratio=1.7)
2511.46/2506.55 c (2503,0) c | Simplification time: 0.01 s |
2511.46/2506.55 c (2503,0) c | |
2511.46/2506.55 c (2503,0) c ============================[ Search Statistics ]==============================
2511.46/2506.55 c (2503,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2511.46/2506.55 c (2503,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2511.46/2506.55 c (2503,0) c ===============================================================================
2511.46/2506.55 c (2503,0) c Switched to VSIDS.
2520.07/2515.11 c (2512,0) SatSolver is killed by some reasons.
2520.07/2515.11 c (2512,0) receiving signal SIGTERM
2520.07/2515.11 s UNKNOWN
2520.07/2515.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2515.12 c (scop.sh) Killing background jobs.
2520.07/2515.12 HOME/scop.sh: line 50: kill: (21692) - No such process
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 (8015 MiB free)
memory of node 1: 16384 MiB (8505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305741-1534070010/watcher-4305741-1534070010 -o /tmp/evaluation-result-4305741-1534070010/solver-4305741-1534070010 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305741-1534070010.xml
running on 4 cores: 0,2,4,6
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=21674, runsolver pid=21671
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 2.05 2.03 2.05 3/222 21691
/proc/meminfo: memFree=16855248/32770624 swapFree=67058736/67108860
[pid=21674] ppid=21671 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21674/stat : 21674 (scop.sh) S 21671 21674 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564199 115843072 349 33554432000 4194304 5098028 140734535495872 140734535493128 140687077347964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26578944 140734535500865 140734535501063 140734535501063 140734535503821 0
/proc/21674/statm: 28282 349 296 221 0 87 0
[pid=21677] ppid=21674 vsize=15012476 memory=74256 CPUtime=0.11 cores=0,2,4,6
/proc/21677/stat : 21677 (java) S 21674 21674 20606 0 -1 1077944320 6656 0 0 0 9 2 0 0 20 0 15 0 224564200 15372775424 18564 33554432000 4194304 4196468 140729376015952 140729375998496 140453402861303 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
/proc/21677/statm: 3753119 18564 2770 1 0 3715579 0
[pid=21677/tid=21678] ppid=21674 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=0,2,4,6
/proc/21677/task/21678/stat : 21678 (java) R 21674 21674 20606 0 -1 4202560 4757 0 0 0 7 1 0 0 20 0 15 0 224564200 15372775424 18564 33554432000 4194304 4196468 140729376015952 140453374673288 140453386048112 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21679] ppid=21674 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21679/stat : 21679 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 18564 33554432000 4194304 4196468 140729376015952 140453407103504 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21680] ppid=21674 vsize=15012476 memory=140305494378112 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21680/stat : 21680 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 18564 33554432000 4194304 4196468 140729376015952 140453221259920 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21681] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21681/stat : 21681 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 18564 33554432000 4194304 4196468 140729376015952 140453220206864 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21682] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21682/stat : 21682 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 18564 33554432000 4194304 4196468 140729376015952 140453219154320 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21683] ppid=21674 vsize=15012476 memory=140305494378112 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21683/stat : 21683 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564203 15372775424 18564 33554432000 4194304 4196468 140729376015952 140452742281968 140453402872450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21684] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21684/stat : 21684 (java) S 21674 21674 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564204 15372775424 18564 33554432000 4194304 4196468 140729376015952 140452007241376 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21685] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21685/stat : 21685 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564204 15372775424 18564 33554432000 4194304 4196468 140729376015952 140451738805488 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21686] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21686/stat : 21686 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 18564 33554432000 4194304 4196468 140729376015952 140451364297168 140453402879899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21687] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21687/stat : 21687 (java) S 21674 21674 20606 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 18564 33554432000 4194304 4196468 140729376015952 140452741228784 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21688] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21688/stat : 21688 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 18564 33554432000 4194304 4196468 140729376015952 140452740176240 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21689] ppid=21674 vsize=15012476 memory=140305494378112 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21689/stat : 21689 (java) R 21674 21674 20606 0 -1 4202560 276 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 18564 33554432000 4194304 4196468 140729376015952 140452739119064 140453395098430 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21690] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21690/stat : 21690 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564207 15372775424 18564 33554432000 4194304 4196468 140729376015952 140450866391392 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21691] ppid=21674 vsize=15012476 memory=140305494378112 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21691/stat : 21691 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564207 15372775424 18564 33554432000 4194304 4196468 140729376015952 140452738071600 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75652 KiB
[startup+0.210687 s]*
/proc/loadavg: 2.05 2.03 2.05 4/222 21691
/proc/meminfo: memFree=16850976/32770624 swapFree=67058736/67108860
[pid=21674] ppid=21671 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21674/stat : 21674 (scop.sh) S 21671 21674 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564199 115843072 349 33554432000 4194304 5098028 140734535495872 140734535493128 140687077347964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26578944 140734535500865 140734535501063 140734535501063 140734535503821 0
/proc/21674/statm: 28282 349 296 221 0 87 0
[pid=21677] ppid=21674 vsize=15012476 memory=79608 CPUtime=0.14 cores=0,2,4,6
/proc/21677/stat : 21677 (java) S 21674 21674 20606 0 -1 1077944320 8731 0 0 0 11 3 0 0 20 0 15 0 224564200 15372775424 19902 33554432000 4194304 4196468 140729376015952 140729375998496 140453402861303 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
/proc/21677/statm: 3753119 19902 2833 1 0 3715579 0
[pid=21677/tid=21678] ppid=21674 vsize=15012476 memory=7022364632946311227 CPUtime=0.1 cores=0,2,4,6
/proc/21677/task/21678/stat : 21678 (java) R 21674 21674 20606 0 -1 4202560 6701 0 0 0 8 2 0 0 20 0 15 0 224564200 15372775424 19902 33554432000 4194304 4196468 140729376015952 140453374657936 140453402873238 0 4 2 16800973 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21679] ppid=21674 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21679/stat : 21679 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 19902 33554432000 4194304 4196468 140729376015952 140453407103504 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21680] ppid=21674 vsize=15012476 memory=140305495541344 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21680/stat : 21680 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 19902 33554432000 4194304 4196468 140729376015952 140453221259920 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21681] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21681/stat : 21681 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 19902 33554432000 4194304 4196468 140729376015952 140453220206864 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21682] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21682/stat : 21682 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 19902 33554432000 4194304 4196468 140729376015952 140453219154320 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21683] ppid=21674 vsize=15012476 memory=140305494378112 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21683/stat : 21683 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564203 15372775424 19902 33554432000 4194304 4196468 140729376015952 140452742281968 140453402872450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21684] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21684/stat : 21684 (java) S 21674 21674 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564204 15372775424 19902 33554432000 4194304 4196468 140729376015952 140452007241376 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21685] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21685/stat : 21685 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564204 15372775424 19902 33554432000 4194304 4196468 140729376015952 140451738805488 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21686] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21686/stat : 21686 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 19902 33554432000 4194304 4196468 140729376015952 140451364297168 140453402879899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21687] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21687/stat : 21687 (java) S 21674 21674 20606 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 19902 33554432000 4194304 4196468 140729376015952 140452741228784 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21688] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21688/stat : 21688 (java) S 21674 21674 20606 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 19902 33554432000 4194304 4196468 140729376015952 140452740176240 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21689] ppid=21674 vsize=15012476 memory=140305494378112 CPUtime=0.01 cores=0,2,4,6
/proc/21677/task/21689/stat : 21689 (java) R 21674 21674 20606 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 15 0 224564206 15372775424 19902 33554432000 4194304 4196468 140729376015952 140452739123184 140453402882650 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21690] ppid=21674 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21690/stat : 21690 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564207 15372775424 19902 33554432000 4194304 4196468 140729376015952 140450866391392 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21691] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21691/stat : 21691 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564207 15372775424 19902 33554432000 4194304 4196468 140729376015952 140452738071600 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 81004 KiB
[startup+0.31084 s]*
/proc/loadavg: 2.05 2.03 2.05 4/222 21691
/proc/meminfo: memFree=16840764/32770624 swapFree=67058736/67108860
[pid=21674] ppid=21671 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21674/stat : 21674 (scop.sh) S 21671 21674 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564199 115843072 349 33554432000 4194304 5098028 140734535495872 140734535493128 140687077347964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26578944 140734535500865 140734535501063 140734535501063 140734535503821 0
/proc/21674/statm: 28282 349 296 221 0 87 0
[pid=21677] ppid=21674 vsize=15012476 memory=87596 CPUtime=0.27 cores=0,2,4,6
/proc/21677/stat : 21677 (java) S 21674 21674 20606 0 -1 1077944320 10297 0 0 0 24 3 0 0 20 0 15 0 224564200 15372775424 21899 33554432000 4194304 4196468 140729376015952 140729375998496 140453402861303 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
/proc/21677/statm: 3753119 21899 2903 1 0 3715579 0
[pid=21677/tid=21678] ppid=21674 vsize=15012476 memory=6791534058613427641 CPUtime=0.21 cores=0,2,4,6
/proc/21677/task/21678/stat : 21678 (java) R 21674 21674 20606 0 -1 4202560 8195 0 0 0 18 3 0 0 20 0 15 0 224564200 15372775424 21899 33554432000 4194304 4196468 140729376015952 140453374686400 140453395101310 0 4 2 16800973 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21679] ppid=21674 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21679/stat : 21679 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 21899 33554432000 4194304 4196468 140729376015952 140453407103504 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21680] ppid=21674 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21680/stat : 21680 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 21899 33554432000 4194304 4196468 140729376015952 140453221259920 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21681] ppid=21674 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21681/stat : 21681 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 21899 33554432000 4194304 4196468 140729376015952 140453220206864 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21682] ppid=21674 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21682/stat : 21682 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15372775424 21899 33554432000 4194304 4196468 140729376015952 140453219154320 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21683] ppid=21674 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21683/stat : 21683 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564203 15372775424 21899 33554432000 4194304 4196468 140729376015952 140452742281968 140453402872450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21684] ppid=21674 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21684/stat : 21684 (java) S 21674 21674 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564204 15372775424 21899 33554432000 4194304 4196468 140729376015952 140452007241376 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21685] ppid=21674 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21685/stat : 21685 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564204 15372775424 21899 33554432000 4194304 4196468 140729376015952 140451738805488 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21686] ppid=21674 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21686/stat : 21686 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 21899 33554432000 4194304 4196468 140729376015952 140451364297168 140453402879899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21687] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21687/stat : 21687 (java) S 21674 21674 20606 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 15 0 224564206 15372775424 21899 33554432000 4194304 4196468 140729376015952 140452741228784 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21688] ppid=21674 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21677/task/21688/stat : 21688 (java) S 21674 21674 20606 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 15 0 224564206 15372775424 21899 33554432000 4194304 4196468 140729376015952 140452740176240 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21689] ppid=21674 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21677/task/21689/stat : 21689 (java) R 21674 21674 20606 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 224564206 15372775424 21960 33554432000 4194304 4196468 140729376015952 140452739123184 140453402873238 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21690] ppid=21674 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21690/stat : 21690 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564207 15372775424 21960 33554432000 4194304 4196468 140729376015952 140450866391392 140453402871509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21691] ppid=21674 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21691/stat : 21691 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564207 15372775424 21960 33554432000 4194304 4196468 140729376015952 140452738071600 140453402872450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88992 KiB
[startup+0.700972 s]
/proc/loadavg: 2.05 2.03 2.05 3/222 21691
/proc/meminfo: memFree=16834312/32770624 swapFree=67058736/67108860
[pid=21674] ppid=21671 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21674/stat : 21674 (scop.sh) S 21671 21674 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564199 115843072 349 33554432000 4194304 5098028 140734535495872 140734535493128 140687077347964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26578944 140734535500865 140734535501063 140734535501063 140734535503821 0
/proc/21674/statm: 28282 349 296 221 0 87 0
[pid=21677] ppid=21674 vsize=15018748 memory=123244 CPUtime=0.79 cores=0,2,4,6
/proc/21677/stat : 21677 (java) S 21674 21674 20606 0 -1 1077944320 16979 0 0 0 74 5 0 0 20 0 15 0 224564200 15379197952 30811 33554432000 4194304 4196468 140729376015952 140729375998496 140453402861303 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
/proc/21677/statm: 3754687 30811 3078 1 0 3716091 0
[pid=21677/tid=21678] ppid=21674 vsize=15018748 memory=2372 CPUtime=0.58 cores=0,2,4,6
/proc/21677/task/21678/stat : 21678 (java) R 21674 21674 20606 0 -1 4202560 14586 0 0 0 54 4 0 0 20 0 15 0 224564200 15379197952 30811 33554432000 4194304 4196468 140729376015952 140453374687208 140453386941790 0 4 2 25189581 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21679] ppid=21674 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21679/stat : 21679 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15379197952 30811 33554432000 4194304 4196468 140729376015952 140453407103504 140453402871509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21680] ppid=21674 vsize=15018748 memory=12922 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21680/stat : 21680 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564202 15379197952 30811 33554432000 4194304 4196468 140729376015952 140453221259920 140453402871509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21681] ppid=21674 vsize=15018748 memory=448505 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21681/stat : 21681 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15379197952 30811 33554432000 4194304 4196468 140729376015952 140453220206864 140453402871509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21682] ppid=21674 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21682/stat : 21682 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564202 15379197952 30811 33554432000 4194304 4196468 140729376015952 140453219154320 140453402871509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21683] ppid=21674 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21683/stat : 21683 (java) S 21674 21674 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224564203 15379197952 30811 33554432000 4194304 4196468 140729376015952 140452742281968 140453402872450 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21684] ppid=21674 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21684/stat : 21684 (java) S 21674 21674 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564204 15379197952 30811 33554432000 4194304 4196468 140729376015952 140452007241376 140453402871509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21685] ppid=21674 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21685/stat : 21685 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564204 15379197952 30811 33554432000 4194304 4196468 140729376015952 140451738805488 140453402871509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21686] ppid=21674 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21686/stat : 21686 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564206 15379197952 30811 33554432000 4194304 4196468 140729376015952 140451364297168 140453402879899 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21687] ppid=21674 vsize=15018748 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21677/task/21687/stat : 21687 (java) S 21674 21674 20606 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 224564206 15379197952 30811 33554432000 4194304 4196468 140729376015952 140452741228784 140453402872450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21688] ppid=21674 vsize=15018748 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21677/task/21688/stat : 21688 (java) R 21674 21674 20606 0 -1 4202560 284 0 0 0 4 0 0 0 20 0 15 0 224564206 15379197952 30811 33554432000 4194304 4196468 140729376015952 140452740157256 140453380456048 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21689] ppid=21674 vsize=15018748 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21677/task/21689/stat : 21689 (java) S 21674 21674 20606 0 -1 1077944384 390 0 0 0 12 0 0 0 20 0 15 0 224564206 15379197952 30811 33554432000 4194304 4196468 140729376015952 140452739123184 140453402872450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21690] ppid=21674 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21690/stat : 21690 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564207 15379197952 30811 33554432000 4194304 4196468 140729376015952 140450866391392 140453402871509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
[pid=21677/tid=21691] ppid=21674 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21677/task/21691/stat : 21691 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564207 15379197952 30811 33554432000 4194304 4196468 140729376015952 140452738071600 140453402872450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 17207296 140729376023559 140729376023857 140729376023857 140729376026575 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 124640 KiB
[startup+1.50347 s]
/proc/loadavg: 2.05 2.03 2.05 3/222 21691
/proc/meminfo: memFree=16788504/32770624 swapFree=67058736/67108860
[pid=21674] ppid=21671 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21674/stat : 21674 (scop.sh) S 21671 21674 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564199 115843072 349 33554432000 4194304 5098028 140734535495872 140734535493128 140687077347964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26578944 140734535500865 140734535501063 140734535501063 140734535503821 0
/proc/21674/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/21707/statm: 61507 52882 341 28 0 57747 0
[pid=21692/tid=21693] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.93 cores=0,2,4,6
/proc/21692/task/21693/stat : 21693 (java) S 21674 21674 20606 0 -1 1077944384 15090 0 0 0 79 14 0 0 20 0 19 0 224564447 8261857280 31808 33554432000 4194304 4196468 140735936117808 140580426657680 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21694] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21694/stat : 21694 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31808 33554432000 4194304 4196468 140735936117808 140580459059856 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21695] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21695/stat : 21695 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31808 33554432000 4194304 4196468 140735936117808 140580259228176 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21696] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21696/stat : 21696 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31808 33554432000 4194304 4196468 140735936117808 140580258175376 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21697] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21697/stat : 21697 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31808 33554432000 4194304 4196468 140735936117808 140580257122576 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21698] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.03 cores=0,2,4,6
/proc/21692/task/21698/stat : 21698 (java) S 21674 21674 20606 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 224564450 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579833838448 140580454828674 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21699] ppid=21674 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21699/stat : 21699 (java) S 21674 21674 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224564451 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579245647392 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21700] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21700/stat : 21700 (java) S 21674 21674 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224564451 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579111425392 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21701] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21701/stat : 21701 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224564453 8261857280 31808 33554432000 4194304 4196468 140735936117808 140578736920912 140580454836123 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21702] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.28 cores=0,2,4,6
/proc/21692/task/21702/stat : 21702 (java) S 21674 21674 20606 0 -1 1077944384 1006 0 0 0 28 0 0 0 20 0 19 0 224564453 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579832785264 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21703] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/21692/task/21703/stat : 21703 (java) S 21674 21674 20606 0 -1 1077944384 391 0 0 0 19 0 0 0 20 0 19 0 224564453 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579831732464 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21704] ppid=21674 vsize=8068220 memory=3544 CPUtime=0.25 cores=0,2,4,6
/proc/21692/task/21704/stat : 21704 (java) S 21674 21674 20606 0 -1 1077944384 611 0 0 0 25 0 0 0 20 0 19 0 224564453 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579830679664 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21705] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21705/stat : 21705 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224564453 8261857280 31808 33554432000 4194304 4196468 140735936117808 140578239015136 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21706] ppid=21674 vsize=8068220 memory=127232 CPUtime=0.92 cores=0,2,4,6
/proc/21692/task/21706/stat : 21706 (java) S 21674 21674 20606 0 -1 1077944384 167 0 0 0 44 48 0 0 20 0 19 0 224564453 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579829628080 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21708] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21708/stat : 21708 (java) S 21674 21674 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224564538 8261857280 31808 33554432000 4194304 4196468 140735936117808 140579822151360 140580454842137 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21710] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21710/stat : 21710 (java) S 21674 21674 20606 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224564539 8261857280 31808 33554432000 4194304 4196468 140735936117808 140577702129456 140580454839453 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21711] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21711/stat : 21711 (java) S 21674 21674 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224564539 8261857280 31808 33554432000 4194304 4196468 140735936117808 140577836351152 140580454839453 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21712] ppid=21674 vsize=8068220 memory=211528 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21712/stat : 21712 (java) S 21674 21674 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224564541 8261857280 31808 33554432000 4194304 4196468 140735936117808 140577433705632 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
Current children cumulated CPU time: 2507.26 s
Current children cumulated vsize: 8427376 KiB
Current children cumulated memory: 340232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.11 s]
/proc/loadavg: 2.08 2.03 2.05 3/222 21993
/proc/meminfo: memFree=15404772/32770624 swapFree=67058736/67108860
[pid=21674] ppid=21671 vsize=113128 memory=1472 CPUtime=5.73 cores=0,2,4,6
/proc/21674/stat : 21674 (scop.sh) S 21671 21674 20606 0 -1 4202496 590 23707 0 0 0 0 550 23 20 0 1 0 224564199 115843072 368 33554432000 4194304 5098028 140734535495872 140734535492616 140687077347964 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26578944 140734535500865 140734535501063 140734535501063 140734535503821 0
/proc/21674/statm: 28282 368 311 221 0 87 0
[pid=21692] ppid=21674 vsize=8068220 memory=127340 CPUtime=2.67 cores=0,2,4,6
/proc/21692/stat : 21692 (java) S 21674 21674 20606 0 -1 1077944320 18702 0 0 0 205 62 0 0 20 0 19 0 224564447 8261857280 31835 33554432000 4194304 4196468 140735936117808 140735936100352 140580454817527 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
/proc/21692/statm: 2017055 31835 3173 1 0 1978454 0
[pid=21707] ppid=21692 vsize=246028 memory=211532 CPUtime=2511.67 cores=0,2,4,6
/proc/21707/stat : 21707 (minisat_release) R 21692 21674 20606 0 -1 4202496 176517 0 0 0 250836 331 0 0 20 0 1 0 224564538 251932672 52883 33554432000 4194304 4308513 140730513451824 140730513449320 4275866 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 9904128 140730513454196 140730513454294 140730513454294 140730513457093 0
/proc/21707/statm: 61507 52883 342 28 0 57747 0
[pid=21692/tid=21693] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.93 cores=0,2,4,6
/proc/21692/task/21693/stat : 21693 (java) S 21674 21674 20606 0 -1 1077944384 15090 0 0 0 79 14 0 0 20 0 19 0 224564447 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580426657680 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21694] ppid=21674 vsize=8068220 memory=127340 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21694/stat : 21694 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580459059856 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21695] ppid=21674 vsize=8068220 memory=127340 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21695/stat : 21695 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580259228176 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21696] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21696/stat : 21696 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580258175376 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21697] ppid=21674 vsize=8068220 memory=211532 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21697/stat : 21697 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580257122576 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21698] ppid=21674 vsize=8068220 memory=127340 CPUtime=0.03 cores=0,2,4,6
/proc/21692/task/21698/stat : 21698 (java) S 21674 21674 20606 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 224564450 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579833838448 140580454828674 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21699] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21699/stat : 21699 (java) S 21674 21674 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224564451 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579245647392 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21700] ppid=21674 vsize=8068220 memory=127340 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21700/stat : 21700 (java) S 21674 21674 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224564451 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579111425392 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21701] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21701/stat : 21701 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140578736920912 140580454836123 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21702] ppid=21674 vsize=8068220 memory=1548 CPUtime=0.28 cores=0,2,4,6
/proc/21692/task/21702/stat : 21702 (java) S 21674 21674 20606 0 -1 1077944384 1007 0 0 0 28 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579832785264 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21703] ppid=21674 vsize=8068220 memory=1432 CPUtime=0.19 cores=0,2,4,6
/proc/21692/task/21703/stat : 21703 (java) S 21674 21674 20606 0 -1 1077944384 391 0 0 0 19 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579831732464 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21704] ppid=21674 vsize=8068220 memory=1948 CPUtime=0.25 cores=0,2,4,6
/proc/21692/task/21704/stat : 21704 (java) S 21674 21674 20606 0 -1 1077944384 612 0 0 0 25 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579830679664 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21705] ppid=21674 vsize=8068220 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21705/stat : 21705 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140578239015136 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21706] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.92 cores=0,2,4,6
/proc/21692/task/21706/stat : 21706 (java) S 21674 21674 20606 0 -1 1077944384 167 0 0 0 44 48 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579829628080 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21708] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21708/stat : 21708 (java) S 21674 21674 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224564538 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579822151360 140580454842137 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21710] ppid=21674 vsize=8068220 memory=211532 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21710/stat : 21710 (java) S 21674 21674 20606 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 224564539 8261857280 31835 33554432000 4194304 4196468 140735936117808 140577702129456 140580454839453 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21711] ppid=21674 vsize=8068220 memory=244296 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21711/stat : 21711 (java) S 21674 21674 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224564539 8261857280 31835 33554432000 4194304 4196468 140735936117808 140577836351152 140580454839453 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21712] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21712/stat : 21712 (java) S 21674 21674 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224564541 8261857280 31835 33554432000 4194304 4196468 140735936117808 140577433705632 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8427376 KiB
Current children cumulated memory: 340344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.12 s]
# the end of solver process 21674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.93 s, system=4.1941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.11 s]
/proc/loadavg: 2.08 2.03 2.05 3/222 21993
/proc/meminfo: memFree=15404772/32770624 swapFree=67058736/67108860
[pid=21674] ppid=21671 vsize=113128 memory=1472 CPUtime=5.73 cores=0,2,4,6
/proc/21674/stat : 21674 (scop.sh) S 21671 21674 20606 0 -1 4202496 590 23707 0 0 0 0 550 23 20 0 1 0 224564199 115843072 368 33554432000 4194304 5098028 140734535495872 140734535492616 140687077347964 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26578944 140734535500865 140734535501063 140734535501063 140734535503821 0
/proc/21674/statm: 28282 368 311 221 0 87 0
[pid=21692] ppid=21674 vsize=8068220 memory=127340 CPUtime=2.67 cores=0,2,4,6
/proc/21692/stat : 21692 (java) S 21674 21674 20606 0 -1 1077944320 18702 0 0 0 205 62 0 0 20 0 19 0 224564447 8261857280 31835 33554432000 4194304 4196468 140735936117808 140735936100352 140580454817527 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
/proc/21692/statm: 2017055 31835 3173 1 0 1978454 0
[pid=21707] ppid=21692 vsize=246028 memory=211532 CPUtime=2511.67 cores=0,2,4,6
/proc/21707/stat : 21707 (minisat_release) R 21692 21674 20606 0 -1 4202496 176517 0 0 0 250836 331 0 0 20 0 1 0 224564538 251932672 52883 33554432000 4194304 4308513 140730513451824 140730513449320 4275866 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 9904128 140730513454196 140730513454294 140730513454294 140730513457093 0
/proc/21707/statm: 61507 52883 342 28 0 57747 0
[pid=21692/tid=21693] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.93 cores=0,2,4,6
/proc/21692/task/21693/stat : 21693 (java) S 21674 21674 20606 0 -1 1077944384 15090 0 0 0 79 14 0 0 20 0 19 0 224564447 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580426657680 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21694] ppid=21674 vsize=8068220 memory=127340 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21694/stat : 21694 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580459059856 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21695] ppid=21674 vsize=8068220 memory=127340 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21695/stat : 21695 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580259228176 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21696] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21696/stat : 21696 (java) S 21674 21674 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580258175376 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21697] ppid=21674 vsize=8068220 memory=211532 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21697/stat : 21697 (java) S 21674 21674 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224564449 8261857280 31835 33554432000 4194304 4196468 140735936117808 140580257122576 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21698] ppid=21674 vsize=8068220 memory=127340 CPUtime=0.03 cores=0,2,4,6
/proc/21692/task/21698/stat : 21698 (java) S 21674 21674 20606 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 224564450 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579833838448 140580454828674 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21699] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21699/stat : 21699 (java) S 21674 21674 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224564451 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579245647392 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21700] ppid=21674 vsize=8068220 memory=127340 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21700/stat : 21700 (java) S 21674 21674 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224564451 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579111425392 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21701] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21701/stat : 21701 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140578736920912 140580454836123 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21702] ppid=21674 vsize=8068220 memory=1548 CPUtime=0.28 cores=0,2,4,6
/proc/21692/task/21702/stat : 21702 (java) S 21674 21674 20606 0 -1 1077944384 1007 0 0 0 28 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579832785264 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21703] ppid=21674 vsize=8068220 memory=1432 CPUtime=0.19 cores=0,2,4,6
/proc/21692/task/21703/stat : 21703 (java) S 21674 21674 20606 0 -1 1077944384 391 0 0 0 19 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579831732464 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21704] ppid=21674 vsize=8068220 memory=1948 CPUtime=0.25 cores=0,2,4,6
/proc/21692/task/21704/stat : 21704 (java) S 21674 21674 20606 0 -1 1077944384 612 0 0 0 25 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579830679664 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21705] ppid=21674 vsize=8068220 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21705/stat : 21705 (java) S 21674 21674 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140578239015136 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21706] ppid=21674 vsize=8068220 memory=1472 CPUtime=0.92 cores=0,2,4,6
/proc/21692/task/21706/stat : 21706 (java) S 21674 21674 20606 0 -1 1077944384 167 0 0 0 44 48 0 0 20 0 19 0 224564453 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579829628080 140580454828674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21708] ppid=21674 vsize=8068220 memory=127232 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21708/stat : 21708 (java) S 21674 21674 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224564538 8261857280 31835 33554432000 4194304 4196468 140735936117808 140579822151360 140580454842137 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21710] ppid=21674 vsize=8068220 memory=211532 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21710/stat : 21710 (java) S 21674 21674 20606 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 224564539 8261857280 31835 33554432000 4194304 4196468 140735936117808 140577702129456 140580454839453 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21711] ppid=21674 vsize=8068220 memory=244296 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21711/stat : 21711 (java) S 21674 21674 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224564539 8261857280 31835 33554432000 4194304 4196468 140735936117808 140577836351152 140580454839453 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
[pid=21692/tid=21712] ppid=21674 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21692/task/21712/stat : 21712 (java) S 21674 21674 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224564541 8261857280 31835 33554432000 4194304 4196468 140735936117808 140577433705632 140580454827733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11661312 140735936124085 140735936124209 140735936124209 140735936126927 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8427376 KiB
Current children cumulated memory: 340344 KiB
Child status: 0
Real time (s): 2515.12
CPU time (s): 2520.12
CPU user time (s): 2515.93
CPU system time (s): 4.1941
CPU usage (%): 100.199
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 377096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.93
system time used= 4.1941
maximum resident set size= 334688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58845
involuntary context switches= 3184
# summary of solver processes directly reported to runsolver:
# pid: 21674
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.93
# total CPU system time (s): 4.1941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8828 second user time and 25.657 second system time
The end