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-17065-serial-file.bin HOME/instance-4305334-1534060448.xml
0.55/0.51
0.55/0.52 scop order+minisat_release (2018-07-31)
0.55/0.52 (Encoding Process)
0.55/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 09:54:09 CEST 2018
0.67/0.54 c PID: 17068
0.67/0.54 c IP: 172.20.3.139
0.67/0.54 c HOST: node139.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.86 c (0,0) Parsing End
1.21/0.86 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 9
1.21/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.87 c (0,0) Constraint Name Generate Begin
1.21/0.87 c (0,0) Ctr:HOME/instance-4305334-1534060448.xml,AllDifferent:IntVar
1.21/0.87 c (0,0) Constraint Name Generate End
1.21/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.87 c (0,0) CSP to CSPinCNF Begin
1.57/1.08 c (0,0) translated 5 (10%) constraints
1.87/1.15 c (0,0) translated 10 (20%) constraints
2.09/1.25 c (0,0) translated 15 (30%) constraints
2.09/1.25 c (0,0) translated 20 (40%) constraints
2.09/1.25 c (0,0) translated 24 (50%) constraints
2.09/1.26 c (0,0) translated 29 (60%) constraints
2.09/1.27 c (0,0) translated 34 (70%) constraints
2.09/1.28 c (0,0) translated 39 (80%) constraints
2.09/1.29 c (0,0) translated 44 (90%) constraints
2.09/1.29 c (0,0) translated 48 (100%) constraints
2.41/1.36 c (0,0) STATISTICS1:HOME/instance-4305334-1534060448.xml,AllDifferent:IntVar,81,1152,9,9,9,2,9:1056,9:2752,9:40;8:8;7:8;6:8;5:8;4:8;3:8;2:1064,2:1056;1:640,
2.41/1.36 c (0,0) ==========================================
2.41/1.36 c (0,0) Order
2.41/1.36 c (0,0) ==========================================
2.41/1.39 c (0,0) translated 116 (10%) constraints
2.67/1.40 c (0,0) translated 231 (20%) constraints
2.67/1.42 c (0,0) translated 346 (30%) constraints
2.67/1.43 c (0,0) translated 461 (40%) constraints
2.67/1.44 c (0,0) translated 576 (50%) constraints
2.67/1.44 c (0,0) translated 692 (60%) constraints
2.67/1.45 c (0,0) translated 807 (70%) constraints
2.67/1.46 c (0,0) translated 922 (80%) constraints
2.67/1.47 c (0,0) translated 1037 (90%) constraints
2.67/1.48 c (0,0) translated 1152 (100%) constraints
2.67/1.48 c (0,0) CSP to CSPinCNF End
2.67/1.48 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 1152 ctr, max domain size 9
2.67/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.67/1.48 c (0,0) CSPinCNF Propagation Begin
2.95/1.51 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.95/1.51 c (0,0) CSPinCNF Propagation End
2.95/1.51 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 1152 ctr, max domain size 9
2.95/1.51 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.95/1.51 c (0,0) Simplify CSPinCNF Begin
3.26/1.65 c (1,1) Simplify CSPinCNF End
3.26/1.66 c (1,1) CSP: 81 int (0 aux), 2112 bool (2112 aux), 3264 ctr, max domain size 9
3.26/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.26/1.66 c (1,1) Calculate Precise Domain Begin
3.26/1.66 c (1,1) 0 values are removed by re-calculation
3.26/1.66 c (1,1) Calculate Precise Domain End
3.26/1.66 c (1,1) CSP: 81 int (0 aux), 2112 bool (2112 aux), 3264 ctr, max domain size 9
3.26/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.26/1.66 c (1,1) CSPinCNF to SatSolver Begin
3.57/1.77 c (1,1) 327 (10 %) CSP clauses are encoded (2760 SAT variables, 2605 SAT clauses)
3.92/1.80 c (1,1) 653 (20 %) CSP clauses are encoded (2760 SAT variables, 4643 SAT clauses)
3.92/1.82 c (1,1) 980 (30 %) CSP clauses are encoded (2760 SAT variables, 6682 SAT clauses)
3.92/1.84 c (1,1) 1306 (40 %) CSP clauses are encoded (2760 SAT variables, 8712 SAT clauses)
3.92/1.86 c (1,1) 1632 (50 %) CSP clauses are encoded (2760 SAT variables, 10742 SAT clauses)
3.92/1.87 c (1,1) 1959 (60 %) CSP clauses are encoded (2760 SAT variables, 12781 SAT clauses)
3.92/1.89 c (1,1) 2285 (70 %) CSP clauses are encoded (2760 SAT variables, 14803 SAT clauses)
4.24/1.90 c (1,1) 2612 (80 %) CSP clauses are encoded (2760 SAT variables, 16770 SAT clauses)
4.24/1.91 c (1,1) 2938 (90 %) CSP clauses are encoded (2760 SAT variables, 18736 SAT clauses)
4.24/1.93 c (1,1) 3264 (100 %) CSP clauses are encoded (2760 SAT variables, 20726 SAT clauses)
4.24/1.93 c (1,1) Launch Command will be: minisat_release
4.24/1.93 c (1,1) CSPinCNF to SatSolver End
4.24/1.93 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.24/1.97 c (1,1) STATISTICS2:HOME/instance-4305334-1534060448.xml,AllDifferent:IntVar,2193,3264,9,9,9,2,9:2112,9:4864;2:4224,9:40;8:8;7:8;6:8;5:8;4:8;3:8;2:3176,2:2112;1:4864,
4.24/1.97 c (1,1) 2760 bool, 20727 clause
4.24/1.97 c (1,1) Export Begin
4.58/2.06 c (1,1) Export to HOME/scop-17065-serial-file.bin
4.58/2.06 c (1,1) Export End
4.58/2.06 c (1,1) Export File Size: 0.01 MB
4.58/2.06 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
4.58/2.06 c END-Prog: Sun Aug 12 09:54:10 CEST 2018
4.58/2.07 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17065-serial-file.bin
4.74/2.55 c (0,0) Read Serial File Begin
4.74/2.55 c (0,0) HOME/scop-17065-serial-file.bin
4.74/2.71 c (0,0) Read Serial File End
4.74/2.73
4.74/2.73 scop order+minisat_release (2018-07-31)
4.74/2.73 (Solving Process)
4.74/2.73
4.74/2.75 c BEGIN-Prog: Sun Aug 12 09:54:11 CEST 2018
4.74/2.75 c PID: 17083
4.74/2.75 c IP: 172.20.3.139
4.74/2.75 c HOST: node139.alineos.net
4.74/2.75 c (0,0) SatSolver.solve Begin
4.74/2.75 c (0,0) 0 bool, 0 clause
4.74/2.75 c (0,0) minisat_release HOME/instance-4305334-1534060448.xml-scop-17068.cnf
2506.75/2502.80 c (2500,0) c This is COMiniSatPS.
2506.75/2502.80 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2506.75/2502.80 c (2500,0) c ============================[ Problem Statistics ]=============================
2506.75/2502.80 c (2500,0) c | |
2506.75/2502.80 c (2500,0) c | Number of variables: 2760 |
2506.75/2502.80 c (2500,0) c | Number of clauses: 20727 |
2506.75/2502.80 c (2500,0) c | Parse time: 0.01 s |
2506.75/2502.80 c (2500,0) c | Eliminated clauses: 0.02 Mb |
2506.75/2502.80 c (2500,0) c Reduced to 1704 vars, 19671 cls (grow=0)
2506.75/2502.80 c (2500,0) c No iterative elimination performed. (vars=1704, c/v ratio=11.5)
2506.75/2502.80 c (2500,0) c | Simplification time: 0.02 s |
2506.75/2502.80 c (2500,0) c | |
2506.75/2502.80 c (2500,0) c ============================[ Search Statistics ]==============================
2506.75/2502.80 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2506.75/2502.80 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2506.75/2502.80 c (2500,0) c ===============================================================================
2506.75/2502.80 c (2500,0) c Switched to VSIDS.
2520.07/2516.11 c (2513,0) SatSolver is killed by some reasons.
2520.07/2516.11 c (2513,0) receiving signal SIGTERM
2520.07/2516.11 s UNKNOWN
2520.07/2516.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2516.12 c (scop.sh) Killing background jobs.
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 (4539 MiB free)
memory of node 1: 16384 MiB (5831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305334-1534060448/watcher-4305334-1534060448 -o /tmp/evaluation-result-4305334-1534060448/solver-4305334-1534060448 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305334-1534060448.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17065, runsolver pid=17062
[startup+0.100097 s]*
/proc/loadavg: 0.80 0.93 1.26 4/224 17082
/proc/meminfo: memFree=10561068/32770624 swapFree=67108860/67108860
[pid=17065] ppid=17062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17065/stat : 17065 (scop.sh) S 17062 17065 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223607969 115843072 349 33554432000 4194304 5098028 140735327242752 140735327240008 139735385174652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140735327249472 140735327249671 140735327249671 140735327252429 0
/proc/17065/statm: 28282 349 296 221 0 87 0
[pid=17068] ppid=17065 vsize=15012476 memory=70164 CPUtime=0.11 cores=1,3,5,7
/proc/17068/stat : 17068 (java) S 17065 17065 16770 0 -1 1077944320 6188 0 0 0 9 2 0 0 20 0 15 0 223607969 15372775424 17541 33554432000 4194304 4196468 140721142389136 140721142371680 140073998470903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
/proc/17068/statm: 3753119 17541 2766 1 0 3715579 0
[pid=17068/tid=17069] ppid=17065 vsize=15012476 memory=-6222985969016291267 CPUtime=0.08 cores=1,3,5,7
/proc/17068/task/17069/stat : 17069 (java) R 17065 17065 16770 0 -1 4202560 4348 0 0 0 7 1 0 0 20 0 15 0 223607970 15372775424 17607 33554432000 4194304 4196468 140721142389136 140073970282888 140073990708030 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17070] ppid=17065 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17070/stat : 17070 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 17673 33554432000 4194304 4196468 140721142389136 140074002713232 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17071] ppid=17065 vsize=15012476 memory=140411179910784 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17071/stat : 17071 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 17673 33554432000 4194304 4196468 140721142389136 140073793796624 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17072] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17072/stat : 17072 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 17673 33554432000 4194304 4196468 140721142389136 140073792743824 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17073] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17073/stat : 17073 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 17673 33554432000 4194304 4196468 140721142389136 140073791691024 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17074] ppid=17065 vsize=15012476 memory=140411179910784 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17074/stat : 17074 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 17673 33554432000 4194304 4196468 140721142389136 140072968874864 140073998482050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17075] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17075/stat : 17075 (java) S 17065 17065 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 17673 33554432000 4194304 4196468 140721142389136 140072573724192 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17076] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17076/stat : 17076 (java) S 17065 17065 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 17673 33554432000 4194304 4196468 140721142389136 140072439502192 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17077] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17077/stat : 17077 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 17673 33554432000 4194304 4196468 140721142389136 140072064997712 140073998489499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17078] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17078/stat : 17078 (java) S 17065 17065 16770 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 17673 33554432000 4194304 4196468 140721142389136 140072967821680 140073998482050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17079] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17079/stat : 17079 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 17673 33554432000 4194304 4196468 140721142389136 140072966768880 140073998482050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17080] ppid=17065 vsize=15012476 memory=140411179910784 CPUtime=0.01 cores=1,3,5,7
/proc/17068/task/17080/stat : 17080 (java) S 17065 17065 16770 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 223607976 15372775424 17673 33554432000 4194304 4196468 140721142389136 140072965716080 140073998482050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17081] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17081/stat : 17081 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 17739 33554432000 4194304 4196468 140721142389136 140071567091936 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17082] ppid=17065 vsize=15012476 memory=140411179910784 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17082/stat : 17082 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 17739 33554432000 4194304 4196468 140721142389136 140072964664496 140073998482050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71560 KiB
[startup+0.2106 s]*
/proc/loadavg: 0.80 0.93 1.26 3/224 17082
/proc/meminfo: memFree=10552208/32770624 swapFree=67108860/67108860
[pid=17065] ppid=17062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17065/stat : 17065 (scop.sh) S 17062 17065 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223607969 115843072 349 33554432000 4194304 5098028 140735327242752 140735327240008 139735385174652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140735327249472 140735327249671 140735327249671 140735327252429 0
/proc/17065/statm: 28282 349 296 221 0 87 0
[pid=17068] ppid=17065 vsize=15012476 memory=83532 CPUtime=0.25 cores=1,3,5,7
/proc/17068/stat : 17068 (java) S 17065 17065 16770 0 -1 1077944320 9784 0 0 0 22 3 0 0 20 0 15 0 223607969 15372775424 20883 33554432000 4194304 4196468 140721142389136 140721142371680 140073998470903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
/proc/17068/statm: 3753119 20883 2874 1 0 3715579 0
[pid=17068/tid=17069] ppid=17065 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/17068/task/17069/stat : 17069 (java) R 17065 17065 16770 0 -1 4202560 7676 0 0 0 17 2 0 0 20 0 15 0 223607970 15372775424 20883 33554432000 4194304 4196468 140721142389136 140073970297296 140073998482838 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17070] ppid=17065 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17070/stat : 17070 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 20883 33554432000 4194304 4196468 140721142389136 140074002713232 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17071] ppid=17065 vsize=15012476 memory=3472757904749381280 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17071/stat : 17071 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 20883 33554432000 4194304 4196468 140721142389136 140073793796624 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17072] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17072/stat : 17072 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 20883 33554432000 4194304 4196468 140721142389136 140073792743824 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17073] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17073/stat : 17073 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 20883 33554432000 4194304 4196468 140721142389136 140073791691024 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17074] ppid=17065 vsize=15012476 memory=140411179910784 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17074/stat : 17074 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072968874864 140073998482050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17075] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17075/stat : 17075 (java) S 17065 17065 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072573724192 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17076] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17076/stat : 17076 (java) S 17065 17065 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072439502192 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17077] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17077/stat : 17077 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072064997712 140073998489499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17078] ppid=17065 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17068/task/17078/stat : 17078 (java) R 17065 17065 16770 0 -1 4202560 451 0 0 0 1 0 0 0 20 0 15 0 223607976 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072967813184 140073998492250 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17079] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17079/stat : 17079 (java) S 17065 17065 16770 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072966768880 140073998482050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17080] ppid=17065 vsize=15012476 memory=140411179910784 CPUtime=0.03 cores=1,3,5,7
/proc/17068/task/17080/stat : 17080 (java) R 17065 17065 16770 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 223607976 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072965716080 140073998482838 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17081] ppid=17065 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17081/stat : 17081 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 20883 33554432000 4194304 4196468 140721142389136 140071567091936 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17082] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17082/stat : 17082 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 20883 33554432000 4194304 4196468 140721142389136 140072964664496 140073998482050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84928 KiB
[startup+0.310613 s]*
/proc/loadavg: 0.80 0.93 1.26 3/224 17082
/proc/meminfo: memFree=10548052/32770624 swapFree=67108860/67108860
[pid=17065] ppid=17062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17065/stat : 17065 (scop.sh) S 17062 17065 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223607969 115843072 349 33554432000 4194304 5098028 140735327242752 140735327240008 139735385174652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140735327249472 140735327249671 140735327249671 140735327252429 0
/proc/17065/statm: 28282 349 296 221 0 87 0
[pid=17068] ppid=17065 vsize=15012476 memory=87656 CPUtime=0.43 cores=1,3,5,7
/proc/17068/stat : 17068 (java) S 17065 17065 16770 0 -1 1077944320 10415 0 0 0 39 4 0 0 20 0 15 0 223607969 15372775424 21914 33554432000 4194304 4196468 140721142389136 140721142371680 140073998470903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
/proc/17068/statm: 3753119 21914 2978 1 0 3715579 0
[pid=17068/tid=17069] ppid=17065 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/17068/task/17069/stat : 17069 (java) R 17065 17065 16770 0 -1 4202560 8117 0 0 0 27 3 0 0 20 0 15 0 223607970 15372775424 21914 33554432000 4194304 4196468 140721142389136 140073970265904 140073980034559 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17070] ppid=17065 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17070/stat : 17070 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 21914 33554432000 4194304 4196468 140721142389136 140074002713232 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17071] ppid=17065 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17071/stat : 17071 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 21914 33554432000 4194304 4196468 140721142389136 140073793796624 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17072] ppid=17065 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17072/stat : 17072 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 21914 33554432000 4194304 4196468 140721142389136 140073792743824 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17073] ppid=17065 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17073/stat : 17073 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223607971 15372775424 21914 33554432000 4194304 4196468 140721142389136 140073791691024 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17074] ppid=17065 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17074/stat : 17074 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072968874864 140073998482050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17075] ppid=17065 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17075/stat : 17075 (java) S 17065 17065 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072573724192 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17076] ppid=17065 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17076/stat : 17076 (java) S 17065 17065 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223607973 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072439502192 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17077] ppid=17065 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17077/stat : 17077 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072064997712 140073998489499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17078] ppid=17065 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17068/task/17078/stat : 17078 (java) R 17065 17065 16770 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 223607976 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072967821680 140073998482050 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17079] ppid=17065 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17068/task/17079/stat : 17079 (java) R 17065 17065 16770 0 -1 4202560 111 0 0 0 2 0 0 0 20 0 15 0 223607976 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072966768880 140073981683044 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17080] ppid=17065 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17068/task/17080/stat : 17080 (java) R 17065 17065 16770 0 -1 4202560 331 0 0 0 7 0 0 0 20 0 15 0 223607976 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072965716080 140073991567334 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17081] ppid=17065 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17081/stat : 17081 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 21914 33554432000 4194304 4196468 140721142389136 140071567091936 140073998481109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17082] ppid=17065 vsize=15012476 memory=3617014130905522225 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17082/stat : 17082 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607976 15372775424 21914 33554432000 4194304 4196468 140721142389136 140072964664496 140073998482050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89052 KiB
[startup+0.700768 s]
/proc/loadavg: 0.80 0.93 1.26 3/224 17082
/proc/meminfo: memFree=10523776/32770624 swapFree=67108860/67108860
[pid=17065] ppid=17062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17065/stat : 17065 (scop.sh) S 17062 17065 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223607969 115843072 349 33554432000 4194304 5098028 140735327242752 140735327240008 139735385174652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140735327249472 140735327249671 140735327249671 140735327252429 0
/proc/17065/statm: 28282 349 296 221 0 87 0
[pid=17068] ppid=17065 vsize=15020872 memory=127980 CPUtime=1.01 cores=1,3,5,7
/proc/17068/stat : 17068 (java) S 17065 17065 16770 0 -1 1077944320 17643 0 0 0 95 6 0 0 20 0 15 0 223607969 15381372928 31995 33554432000 4194304 4196468 140721142389136 140721142371680 140073998470903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
/proc/17068/statm: 3755218 31995 3161 1 0 3716603 0
[pid=17068/tid=17069] ppid=17065 vsize=15020872 memory=-7082918048272507482 CPUtime=0.67 cores=1,3,5,7
/proc/17068/task/17069/stat : 17069 (java) R 17065 17065 16770 0 -1 4202560 14899 0 0 0 62 5 0 0 20 0 15 0 223607970 15381372928 31995 33554432000 4194304 4196468 140721142389136 140073970304432 140073998482838 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17070] ppid=17065 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17070/stat : 17070 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607971 15381372928 31995 33554432000 4194304 4196468 140721142389136 140074002713232 140073998481109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17071] ppid=17065 vsize=15020872 memory=60688 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17071/stat : 17071 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15381372928 31995 33554432000 4194304 4196468 140721142389136 140073793796624 140073998481109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17072] ppid=17065 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17072/stat : 17072 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607971 15381372928 31995 33554432000 4194304 4196468 140721142389136 140073792743824 140073998481109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17073] ppid=17065 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17073/stat : 17073 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223607971 15381372928 31995 33554432000 4194304 4196468 140721142389136 140073791691024 140073998481109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17074] ppid=17065 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17074/stat : 17074 (java) S 17065 17065 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223607973 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072968874864 140073998482050 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17075] ppid=17065 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17075/stat : 17075 (java) S 17065 17065 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223607973 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072573724192 140073998481109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17076] ppid=17065 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17076/stat : 17076 (java) S 17065 17065 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223607973 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072439502192 140073998481109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17077] ppid=17065 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17077/stat : 17077 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072064997712 140073998489499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17078] ppid=17065 vsize=15020872 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/17068/task/17078/stat : 17078 (java) S 17065 17065 16770 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 15 0 223607976 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072967821680 140073998482050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17079] ppid=17065 vsize=15020872 memory=10096 CPUtime=0.09 cores=1,3,5,7
/proc/17068/task/17079/stat : 17079 (java) S 17065 17065 16770 0 -1 1077944384 343 0 0 0 9 0 0 0 20 0 15 0 223607976 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072966768880 140073998482050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17080] ppid=17065 vsize=15020872 memory=1228 CPUtime=0.15 cores=1,3,5,7
/proc/17068/task/17080/stat : 17080 (java) R 17065 17065 16770 0 -1 4202560 450 0 0 0 15 0 0 0 20 0 15 0 223607976 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072965716080 140073998492250 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17081] ppid=17065 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17081/stat : 17081 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223607976 15381372928 31995 33554432000 4194304 4196468 140721142389136 140071567091936 140073998481109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
[pid=17068/tid=17082] ppid=17065 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/17068/task/17082/stat : 17082 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223607976 15381372928 31995 33554432000 4194304 4196468 140721142389136 140072964664496 140073998482050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721142395910 140721142396209 140721142396209 140721142398927 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129376 KiB
[startup+1.50421 s]
/proc/loadavg: 0.80 0.93 1.26 6/224 17082
/proc/meminfo: memFree=10494860/32770624 swapFree=67108860/67108860
[pid=17065] ppid=17062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17065/stat : 17065 (scop.sh) S 17062 17065 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223607969 115843072 349 33554432000 4194304 5098028 140735327242752 140735327240008 139735385174652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140735327249472 140735327249671 140735327249671 140735327252429 0
/proc/17065/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17083/tid=17086] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17086/stat : 17086 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196198607760 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17087] ppid=17065 vsize=8068220 memory=52216 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17087/stat : 17087 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196197555216 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17088] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17088/stat : 17088 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196196502672 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17089] ppid=17065 vsize=8068220 memory=3508 CPUtime=0.03 cores=1,3,5,7
/proc/17083/task/17089/stat : 17089 (java) S 17065 17065 16770 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 223608179 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195773478896 140196394207874 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17090] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17090/stat : 17090 (java) S 17065 17065 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223608180 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195248726944 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17091] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17091/stat : 17091 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223608180 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194980291568 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17092] ppid=17065 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17092/stat : 17092 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194605783248 140196394215323 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17093] ppid=17065 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/17083/task/17093/stat : 17093 (java) S 17065 17065 16770 0 -1 1077944384 613 0 0 0 9 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195772426736 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17094] ppid=17065 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/17083/task/17094/stat : 17094 (java) S 17065 17065 16770 0 -1 1077944384 331 0 0 0 8 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195771374192 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17095] ppid=17065 vsize=8068220 memory=1472 CPUtime=0.18 cores=1,3,5,7
/proc/17083/task/17095/stat : 17095 (java) S 17065 17065 16770 0 -1 1077944384 495 0 0 0 18 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195770321648 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17096] ppid=17065 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17096/stat : 17096 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608183 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194107878496 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17097] ppid=17065 vsize=8068220 memory=52216 CPUtime=0.89 cores=1,3,5,7
/proc/17083/task/17097/stat : 17097 (java) S 17065 17065 16770 0 -1 1077944384 167 0 0 0 42 47 0 0 20 0 19 0 223608183 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195769268528 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17099] ppid=17065 vsize=8068220 memory=-7824251494390846827 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17099/stat : 17099 (java) S 17065 17065 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223608247 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195761460288 140196394221337 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17101] ppid=17065 vsize=8068220 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17101/stat : 17101 (java) S 17065 17065 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 223608247 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193570991760 140196394218653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17102] ppid=17065 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17102/stat : 17102 (java) S 17065 17065 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223608248 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193705213712 140196394218653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17103] ppid=17065 vsize=8068220 memory=2100 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17103/stat : 17103 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608250 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193302568480 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
Current children cumulated CPU time: 2506.25 s
Current children cumulated vsize: 8250168 KiB
Current children cumulated memory: 172228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.11 s]
/proc/loadavg: 2.23 2.07 1.98 3/227 17301
/proc/meminfo: memFree=10468888/32770624 swapFree=67108860/67108860
[pid=17065] ppid=17062 vsize=113128 memory=1472 CPUtime=4.74 cores=1,3,5,7
/proc/17065/stat : 17065 (scop.sh) S 17062 17065 16770 0 -1 4202496 590 24437 0 0 0 0 461 13 20 0 1 0 223607969 115843072 368 33554432000 4194304 5098028 140735327242752 140735327239496 139735385174652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140735327249472 140735327249671 140735327249671 140735327252429 0
/proc/17065/statm: 28282 368 311 221 0 87 0
[pid=17083] ppid=17065 vsize=8068220 memory=118540 CPUtime=2.06 cores=1,3,5,7
/proc/17083/stat : 17083 (java) S 17065 17065 16770 0 -1 1077944320 17389 0 0 0 155 51 0 0 20 0 19 0 223608176 8261857280 29635 33554432000 4194304 4196468 140720874807760 140720874790304 140196394196727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
/proc/17083/statm: 2017055 29635 3154 1 0 1978454 0
[pid=17098] ppid=17083 vsize=68820 memory=52220 CPUtime=2513.27 cores=1,3,5,7
/proc/17098/stat : 17098 (minisat_release) R 17083 17065 16770 0 -1 4202496 152061 0 0 0 251315 12 0 0 20 0 1 0 223608247 70471680 13055 33554432000 4194304 4308513 140737454965184 140737454962680 4276123 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 20074496 140737454969972 140737454970070 140737454970070 140737454972869 0
/proc/17098/statm: 17205 13055 342 28 0 13445 0
[pid=17083/tid=17084] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.73 cores=1,3,5,7
/proc/17083/task/17084/stat : 17084 (java) S 17065 17065 16770 0 -1 1077944384 14386 0 0 0 69 4 0 0 20 0 19 0 223608177 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196366036880 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17085] ppid=17065 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17085/stat : 17085 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196398439184 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17086] ppid=17065 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17086/stat : 17086 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196198607760 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17087] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17087/stat : 17087 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196197555216 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17088] ppid=17065 vsize=8068220 memory=52220 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17088/stat : 17088 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196196502672 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17089] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.03 cores=1,3,5,7
/proc/17083/task/17089/stat : 17089 (java) S 17065 17065 16770 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 223608179 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195773478896 140196394207874 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17090] ppid=17065 vsize=8068220 memory=2650 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17090/stat : 17090 (java) S 17065 17065 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223608180 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195248726944 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17091] ppid=17065 vsize=8068220 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17091/stat : 17091 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223608180 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194980291568 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17092] ppid=17065 vsize=8068220 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17092/stat : 17092 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194605783248 140196394215323 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17093] ppid=17065 vsize=8068220 memory=4124 CPUtime=0.09 cores=1,3,5,7
/proc/17083/task/17093/stat : 17093 (java) S 17065 17065 16770 0 -1 1077944384 614 0 0 0 9 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195772426736 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17094] ppid=17065 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/17083/task/17094/stat : 17094 (java) S 17065 17065 16770 0 -1 1077944384 331 0 0 0 8 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195771374192 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17095] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.19 cores=1,3,5,7
/proc/17083/task/17095/stat : 17095 (java) S 17065 17065 16770 0 -1 1077944384 497 0 0 0 19 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195770321648 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17096] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17096/stat : 17096 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608183 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194107878496 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17097] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.89 cores=1,3,5,7
/proc/17083/task/17097/stat : 17097 (java) S 17065 17065 16770 0 -1 1077944384 169 0 0 0 42 47 0 0 20 0 19 0 223608183 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195769268528 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17099] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17099/stat : 17099 (java) S 17065 17065 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223608247 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195761460288 140196394221337 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17101] ppid=17065 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17101/stat : 17101 (java) S 17065 17065 16770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 223608247 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193570991760 140196394218653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17102] ppid=17065 vsize=8068220 memory=52220 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17102/stat : 17102 (java) S 17065 17065 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223608248 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193705213712 140196394218653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17103] ppid=17065 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17103/stat : 17103 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608250 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193302568480 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8250168 KiB
Current children cumulated memory: 172232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.12 s]
# the end of solver process 17065 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.61441 s, system=0.133856 s
[startup+2516.12 s]
# the end of solver process 17083 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.34 s, system=0.7813 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+2516.11 s]
/proc/loadavg: 2.23 2.07 1.98 3/227 17301
/proc/meminfo: memFree=10468888/32770624 swapFree=67108860/67108860
[pid=17065] ppid=17062 vsize=113128 memory=1472 CPUtime=4.74 cores=1,3,5,7
/proc/17065/stat : 17065 (scop.sh) S 17062 17065 16770 0 -1 4202496 590 24437 0 0 0 0 461 13 20 0 1 0 223607969 115843072 368 33554432000 4194304 5098028 140735327242752 140735327239496 139735385174652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140735327249472 140735327249671 140735327249671 140735327252429 0
/proc/17065/statm: 28282 368 311 221 0 87 0
[pid=17083] ppid=17065 vsize=8068220 memory=118540 CPUtime=2.06 cores=1,3,5,7
/proc/17083/stat : 17083 (java) S 17065 17065 16770 0 -1 1077944320 17389 0 0 0 155 51 0 0 20 0 19 0 223608176 8261857280 29635 33554432000 4194304 4196468 140720874807760 140720874790304 140196394196727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
/proc/17083/statm: 2017055 29635 3154 1 0 1978454 0
[pid=17098] ppid=17083 vsize=68820 memory=52220 CPUtime=2513.27 cores=1,3,5,7
/proc/17098/stat : 17098 (minisat_release) R 17083 17065 16770 0 -1 4202496 152061 0 0 0 251315 12 0 0 20 0 1 0 223608247 70471680 13055 33554432000 4194304 4308513 140737454965184 140737454962680 4276123 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 20074496 140737454969972 140737454970070 140737454970070 140737454972869 0
/proc/17098/statm: 17205 13055 342 28 0 13445 0
[pid=17083/tid=17084] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.73 cores=1,3,5,7
/proc/17083/task/17084/stat : 17084 (java) S 17065 17065 16770 0 -1 1077944384 14386 0 0 0 69 4 0 0 20 0 19 0 223608177 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196366036880 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17085] ppid=17065 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17085/stat : 17085 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196398439184 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17086] ppid=17065 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17086/stat : 17086 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196198607760 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17087] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17087/stat : 17087 (java) S 17065 17065 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196197555216 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17088] ppid=17065 vsize=8068220 memory=52220 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17088/stat : 17088 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223608178 8261857280 29635 33554432000 4194304 4196468 140720874807760 140196196502672 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17089] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.03 cores=1,3,5,7
/proc/17083/task/17089/stat : 17089 (java) S 17065 17065 16770 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 223608179 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195773478896 140196394207874 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17090] ppid=17065 vsize=8068220 memory=2650 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17090/stat : 17090 (java) S 17065 17065 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223608180 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195248726944 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17091] ppid=17065 vsize=8068220 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17091/stat : 17091 (java) S 17065 17065 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223608180 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194980291568 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17092] ppid=17065 vsize=8068220 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17092/stat : 17092 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194605783248 140196394215323 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17093] ppid=17065 vsize=8068220 memory=4124 CPUtime=0.09 cores=1,3,5,7
/proc/17083/task/17093/stat : 17093 (java) S 17065 17065 16770 0 -1 1077944384 614 0 0 0 9 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195772426736 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17094] ppid=17065 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/17083/task/17094/stat : 17094 (java) S 17065 17065 16770 0 -1 1077944384 331 0 0 0 8 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195771374192 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17095] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.19 cores=1,3,5,7
/proc/17083/task/17095/stat : 17095 (java) S 17065 17065 16770 0 -1 1077944384 497 0 0 0 19 0 0 0 20 0 19 0 223608182 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195770321648 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17096] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17096/stat : 17096 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608183 8261857280 29635 33554432000 4194304 4196468 140720874807760 140194107878496 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17097] ppid=17065 vsize=8068220 memory=118540 CPUtime=0.89 cores=1,3,5,7
/proc/17083/task/17097/stat : 17097 (java) S 17065 17065 16770 0 -1 1077944384 169 0 0 0 42 47 0 0 20 0 19 0 223608183 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195769268528 140196394207874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17099] ppid=17065 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17099/stat : 17099 (java) S 17065 17065 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223608247 8261857280 29635 33554432000 4194304 4196468 140720874807760 140195761460288 140196394221337 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17101] ppid=17065 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17101/stat : 17101 (java) S 17065 17065 16770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 223608247 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193570991760 140196394218653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17102] ppid=17065 vsize=8068220 memory=52220 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17102/stat : 17102 (java) S 17065 17065 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223608248 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193705213712 140196394218653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
[pid=17083/tid=17103] ppid=17065 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17083/task/17103/stat : 17103 (java) S 17065 17065 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223608250 8261857280 29635 33554432000 4194304 4196468 140720874807760 140193302568480 140196394206933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7340032 140720874816693 140720874816817 140720874816817 140720874819535 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8250168 KiB
Current children cumulated memory: 172232 KiB
Child status: 1
Real time (s): 2516.12
CPU time (s): 2520.12
CPU user time (s): 2519.34
CPU system time (s): 0.7813
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 292900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.7813
maximum resident set size= 294628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59131
involuntary context switches= 699
# summary of solver processes directly reported to runsolver:
# pid: 17065,17083
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.34
# total CPU system time (s): 0.7813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8895 second user time and 28.0923 second system time
The end