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-22664-serial-file.bin HOME/instance-4305411-1534132218.xml
0.55/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Aug 13 05:50:19 CEST 2018
0.66/0.54 c PID: 22672
0.66/0.54 c IP: 172.20.3.104
0.66/0.54 c HOST: node104.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.41/0.92 c (0,0) Parsing End
1.41/0.93 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 8
1.41/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.93 c (0,0) Constraint Name Generate Begin
1.41/0.94 c (0,0) Ctr:HOME/instance-4305411-1534132218.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.41/0.94 c (0,0) Constraint Name Generate End
1.41/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.94 c (0,0) CSP to CSPinCNF Begin
2.09/1.28 c (0,0) translated 12 (10%) constraints
2.36/1.30 c (0,0) translated 23 (20%) constraints
2.36/1.33 c (0,0) translated 35 (30%) constraints
2.36/1.34 c (0,0) translated 46 (40%) constraints
2.36/1.35 c (0,0) translated 57 (50%) constraints
2.36/1.37 c (0,0) translated 69 (60%) constraints
2.36/1.38 c (0,0) translated 80 (70%) constraints
2.36/1.39 c (0,0) translated 92 (80%) constraints
2.67/1.40 c (0,0) translated 103 (90%) constraints
2.67/1.41 c (0,0) translated 114 (100%) constraints
2.67/1.47 c (0,0) STATISTICS1:HOME/instance-4305411-1534132218.xml,AllDifferentMatrix:Element:Instantiation:IntVar,120,1384,8,8,8,2,8:1904;1:336,8:3584;1:264,8:32;3:896;2:448;1:8,2:2240;1:1168,
2.67/1.47 c (0,0) ==========================================
2.67/1.47 c (0,0) Order
2.67/1.47 c (0,0) ==========================================
2.95/1.50 c (0,0) translated 139 (10%) constraints
2.95/1.51 c (0,0) translated 277 (20%) constraints
2.95/1.52 c (1,0) translated 416 (30%) constraints
2.95/1.56 c (1,1) translated 554 (40%) constraints
3.26/1.60 c (1,1) translated 692 (50%) constraints
3.26/1.64 c (1,1) translated 831 (60%) constraints
3.26/1.67 c (1,1) translated 969 (70%) constraints
3.26/1.70 c (1,1) translated 1108 (80%) constraints
3.57/1.72 c (1,1) translated 1246 (90%) constraints
3.57/1.75 c (1,1) translated 1384 (100%) constraints
3.57/1.75 c (1,1) CSP to CSPinCNF End
3.57/1.76 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3184 ctr, max domain size 8
3.57/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.57/1.76 c (1,1) CSPinCNF Propagation Begin
3.91/1.83 c (1,1) 2 values, 404 unsatisfiable literals, and 144 valid clauses are removed
3.91/1.83 c (1,1) CSPinCNF Propagation End
3.91/1.83 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3040 ctr, max domain size 8
3.91/1.83 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.91/1.83 c (1,1) Simplify CSPinCNF Begin
3.91/1.87 c (1,1) Simplify CSPinCNF End
3.91/1.88 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
3.91/1.88 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.91/1.88 c (1,1) Calculate Precise Domain Begin
3.91/1.88 c (1,1) 0 values are removed by re-calculation
3.91/1.88 c (1,1) Calculate Precise Domain End
3.91/1.88 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
3.91/1.88 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.91/1.88 c (1,1) CSPinCNF to SatSolver Begin
4.23/1.98 c (1,1) 388 (10 %) CSP clauses are encoded (2424 SAT variables, 2285 SAT clauses)
4.23/2.00 c (1,1) 775 (20 %) CSP clauses are encoded (2424 SAT variables, 3914 SAT clauses)
4.59/2.02 c (1,1) 1162 (30 %) CSP clauses are encoded (2424 SAT variables, 5536 SAT clauses)
4.59/2.04 c (1,1) 1549 (40 %) CSP clauses are encoded (2424 SAT variables, 7245 SAT clauses)
4.59/2.05 c (1,1) 1936 (50 %) CSP clauses are encoded (2424 SAT variables, 8936 SAT clauses)
4.59/2.07 c (1,1) 2324 (60 %) CSP clauses are encoded (2424 SAT variables, 10637 SAT clauses)
4.59/2.08 c (1,1) 2711 (70 %) CSP clauses are encoded (2424 SAT variables, 12359 SAT clauses)
4.59/2.10 c (1,1) 3098 (80 %) CSP clauses are encoded (2424 SAT variables, 14080 SAT clauses)
4.89/2.11 c (1,1) 3485 (90 %) CSP clauses are encoded (2424 SAT variables, 15808 SAT clauses)
4.89/2.13 c (1,1) 3872 (100 %) CSP clauses are encoded (2424 SAT variables, 17519 SAT clauses)
4.89/2.13 c (1,1) Launch Command will be: minisat_release
4.89/2.13 c (1,1) CSPinCNF to SatSolver End
4.89/2.13 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.89/2.17 c (1,1) STATISTICS2:HOME/instance-4305411-1534132218.xml,AllDifferentMatrix:Element:Instantiation:IntVar,1792,3872,8,8,6,2,8:1080;7:856;6:304;1:356,8:4404;7:1600;6:440;2:4260;1:356,6:28;3:608;2:3236,2:2596;1:5868,
4.89/2.17 c (1,1) 2424 bool, 17520 clause
4.89/2.17 c (1,1) Export Begin
5.19/2.26 c (1,1) Export to HOME/scop-22664-serial-file.bin
5.19/2.26 c (1,1) Export End
5.19/2.26 c (1,1) Export File Size: 0.02 MB
5.19/2.26 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.19/2.26 c END-Prog: Mon Aug 13 05:50:20 CEST 2018
5.19/2.28 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22664-serial-file.bin
5.38/2.77 c (0,0) Read Serial File Begin
5.38/2.77 c (0,0) HOME/scop-22664-serial-file.bin
6.25/3.21 c (0,0) Read Serial File End
6.25/3.23
6.25/3.23 scop order+minisat_release (2018-07-31)
6.25/3.23 (Solving Process)
6.25/3.23
6.25/3.25 c BEGIN-Prog: Mon Aug 13 05:50:21 CEST 2018
6.25/3.25 c PID: 22702
6.25/3.25 c IP: 172.20.3.104
6.25/3.25 c HOST: node104.alineos.net
6.25/3.25 c (0,0) SatSolver.solve Begin
6.25/3.25 c (0,0) 0 bool, 0 clause
6.25/3.25 c (0,0) minisat_release HOME/instance-4305411-1534132218.xml-scop-22672.cnf
7.40/4.28 c (1,0) c This is COMiniSatPS.
7.40/4.28 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
7.40/4.28 c (1,0) c ============================[ Problem Statistics ]=============================
7.40/4.28 c (1,0) c | |
7.40/4.28 c (1,0) c | Number of variables: 2424 |
7.40/4.28 c (1,0) c | Number of clauses: 17520 |
7.40/4.28 c (1,0) c | Parse time: 0.00 s |
7.40/4.28 c (1,0) c | Eliminated clauses: 0.03 Mb |
7.40/4.28 c (1,0) c Reduced to 1060 vars, 14000 cls (grow=0)
7.40/4.28 c (1,0) c No iterative elimination performed. (vars=1060, c/v ratio=13.2)
7.40/4.28 c (1,0) c | Simplification time: 0.02 s |
7.40/4.28 c (1,0) c | |
7.40/4.28 c (1,0) c ============================[ Search Statistics ]==============================
7.40/4.28 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.40/4.28 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.40/4.28 c (1,0) c ===============================================================================
7.40/4.28 c (1,0) c ===============================================================================
7.40/4.28 c (1,0) c restarts : 56
7.40/4.28 c (1,0) c conflicts : 17795 (17908 /sec)
7.40/4.28 c (1,0) c decisions : 21661 (0.00 % random) (21799 /sec)
7.40/4.28 c (1,0) c propagations : 2595180 (2611696 /sec)
7.40/4.28 c (1,0) c conflict literals : 207965 (43.59 % deleted)
7.40/4.28 c (1,0) c CPU time : 0.993676 s
7.40/4.28 c (1,0)
7.40/4.28 c (1,0) s UNSATISFIABLE
7.40/4.28 c (1,0) SatSolver.solve End
7.40/4.28 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.40/4.28 c (1,0) Show results Begin
7.40/4.28 s UNSATISFIABLE
7.40/4.28 c (1,0) Show results End
7.40/4.28 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.40/4.28 c (1,0) 1,1,STOP-AFTER(ALL)
7.40/4.28 c END-Prog: Mon Aug 13 05:50:22 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6655 MiB free)
memory of node 1: 16384 MiB (9394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305411-1534132218/watcher-4305411-1534132218 -o /tmp/evaluation-result-4305411-1534132218/solver-4305411-1534132218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534132218-22637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305411-1534132218.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=22664, runsolver pid=22660
[startup+0.100439 s]*
/proc/loadavg: 0.52 0.60 0.75 5/219 22701
/proc/meminfo: memFree=16312484/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230784979 115843072 349 33554432000 4194304 5098028 140736123835712 140736123832968 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 349 296 221 0 87 0
[pid=22672] ppid=22664 vsize=15012476 memory=73096 CPUtime=0.11 cores=1,3,5,7
/proc/22672/stat : 22672 (java) S 22664 22664 22605 0 -1 1077944320 6329 0 0 0 10 1 0 0 20 0 15 0 230784979 15372775424 18143 33554432000 4194304 4196468 140731066640736 140731066623280 140223975980791 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
/proc/22672/statm: 3753119 18143 2736 1 0 3715579 0
[pid=22672/tid=22674] ppid=22664 vsize=15012476 memory=4711481268241530506 CPUtime=0.09 cores=1,3,5,7
/proc/22672/task/22674/stat : 22674 (java) R 22664 22664 22605 0 -1 4202560 4453 0 0 0 8 1 0 0 20 0 15 0 230784979 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223947792776 140223959167600 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22677] ppid=22664 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22677/stat : 22677 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223980223632 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22679] ppid=22664 vsize=15012476 memory=139925993858688 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22679/stat : 22679 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223771307024 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22681] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22681/stat : 22681 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223435848592 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22682] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22682/stat : 22682 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223434795792 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22684] ppid=22664 vsize=15012476 memory=139925993858688 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22684/stat : 22684 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784982 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223382632816 140223975991938 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22686] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22686/stat : 22686 (java) S 22664 22664 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230784983 15372775424 18274 33554432000 4194304 4196468 140731066640736 140222528480288 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22688] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22688/stat : 22688 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784983 15372775424 18274 33554432000 4194304 4196468 140731066640736 140222293599088 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22690] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22690/stat : 22690 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784985 15372775424 18274 33554432000 4194304 4196468 140731066640736 140221919090512 140223975999387 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22691] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22691/stat : 22691 (java) S 22664 22664 22605 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 230784985 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223381580656 140223975991938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22692] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22692/stat : 22692 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784985 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223380527856 140223975991938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22693] ppid=22664 vsize=15012476 memory=139925993858688 CPUtime=0.01 cores=1,3,5,7
/proc/22672/task/22693/stat : 22693 (java) R 22664 22664 22605 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 230784985 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223379475056 140223976002138 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22698] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22698/stat : 22698 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784986 15372775424 18274 33554432000 4194304 4196468 140731066640736 140221421185760 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22700] ppid=22664 vsize=15012476 memory=139925993858688 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22700/stat : 22700 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784986 15372775424 18274 33554432000 4194304 4196468 140731066640736 140223378422448 140223975991938 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74492 KiB
[startup+0.21082 s]*
/proc/loadavg: 0.52 0.60 0.75 6/219 22701
/proc/meminfo: memFree=16285944/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230784979 115843072 349 33554432000 4194304 5098028 140736123835712 140736123832968 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 349 296 221 0 87 0
[pid=22672] ppid=22664 vsize=15012476 memory=86136 CPUtime=0.25 cores=1,3,5,7
/proc/22672/stat : 22672 (java) S 22664 22664 22605 0 -1 1077944320 9885 0 0 0 23 2 0 0 20 0 15 0 230784979 15372775424 21534 33554432000 4194304 4196468 140731066640736 140731066623280 140223975980791 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
/proc/22672/statm: 3753119 21534 2869 1 0 3715579 0
[pid=22672/tid=22674] ppid=22664 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/22672/task/22674/stat : 22674 (java) R 22664 22664 22605 0 -1 4202560 7791 0 0 0 18 1 0 0 20 0 15 0 230784979 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223947807184 140223976002717 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22677] ppid=22664 vsize=15012476 memory=11619 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22677/stat : 22677 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223980223632 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22679] ppid=22664 vsize=15012476 memory=139925993881582 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22679/stat : 22679 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223771307024 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22681] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22681/stat : 22681 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223435848592 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22682] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22682/stat : 22682 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223434795792 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22684] ppid=22664 vsize=15012476 memory=139925993858688 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22684/stat : 22684 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784982 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223382632816 140223975991938 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22686] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22686/stat : 22686 (java) S 22664 22664 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230784983 15372775424 21534 33554432000 4194304 4196468 140731066640736 140222528480288 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22688] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22688/stat : 22688 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784983 15372775424 21534 33554432000 4194304 4196468 140731066640736 140222293599088 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22690] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22690/stat : 22690 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784985 15372775424 21534 33554432000 4194304 4196468 140731066640736 140221919090512 140223975999387 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22691] ppid=22664 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22672/task/22691/stat : 22691 (java) S 22664 22664 22605 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 15 0 230784985 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223381580656 140223975991938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22692] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22692/stat : 22692 (java) S 22664 22664 22605 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 230784985 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223380527856 140223975991938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22693] ppid=22664 vsize=15012476 memory=139925993858688 CPUtime=0.03 cores=1,3,5,7
/proc/22672/task/22693/stat : 22693 (java) R 22664 22664 22605 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 230784985 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223379475056 140223976002138 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22698] ppid=22664 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22698/stat : 22698 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784986 15372775424 21534 33554432000 4194304 4196468 140731066640736 140221421185760 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22700] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22700/stat : 22700 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784986 15372775424 21534 33554432000 4194304 4196468 140731066640736 140223378422448 140223975991938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87532 KiB
[startup+0.310588 s]*
/proc/loadavg: 0.52 0.60 0.75 3/219 22701
/proc/meminfo: memFree=16278748/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230784979 115843072 349 33554432000 4194304 5098028 140736123835712 140736123832968 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 349 296 221 0 87 0
[pid=22672] ppid=22664 vsize=15012476 memory=89668 CPUtime=0.42 cores=1,3,5,7
/proc/22672/stat : 22672 (java) S 22664 22664 22605 0 -1 1077944320 10420 0 0 0 40 2 0 0 20 0 15 0 230784979 15372775424 22417 33554432000 4194304 4196468 140731066640736 140731066623280 140223975980791 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
/proc/22672/statm: 3753119 22417 2986 1 0 3715579 0
[pid=22672/tid=22674] ppid=22664 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22672/task/22674/stat : 22674 (java) R 22664 22664 22605 0 -1 4202560 8165 0 0 0 27 2 0 0 20 0 15 0 230784979 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223947784392 140223968219933 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22677] ppid=22664 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22677/stat : 22677 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223980223632 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22679] ppid=22664 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22679/stat : 22679 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223771307024 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22681] ppid=22664 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22681/stat : 22681 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223435848592 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22682] ppid=22664 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22682/stat : 22682 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784981 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223434795792 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22684] ppid=22664 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22684/stat : 22684 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784982 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223382632816 140223975991938 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22686] ppid=22664 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22686/stat : 22686 (java) S 22664 22664 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230784983 15372775424 22417 33554432000 4194304 4196468 140731066640736 140222528480288 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22688] ppid=22664 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22688/stat : 22688 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784983 15372775424 22417 33554432000 4194304 4196468 140731066640736 140222293599088 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22690] ppid=22664 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22690/stat : 22690 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784985 15372775424 22417 33554432000 4194304 4196468 140731066640736 140221919090512 140223975999387 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22691] ppid=22664 vsize=15012476 memory=-8813974798734826869 CPUtime=0.03 cores=1,3,5,7
/proc/22672/task/22691/stat : 22691 (java) R 22664 22664 22605 0 -1 4202560 451 0 0 0 3 0 0 0 20 0 15 0 230784985 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223381580656 140223960889890 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22692] ppid=22664 vsize=15012476 memory=7031125463459224206 CPUtime=0.01 cores=1,3,5,7
/proc/22672/task/22692/stat : 22692 (java) R 22664 22664 22605 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 230784985 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223380527856 140223975991938 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22693] ppid=22664 vsize=15012476 memory=4426078206164241782 CPUtime=0.07 cores=1,3,5,7
/proc/22672/task/22693/stat : 22693 (java) R 22664 22664 22605 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 230784985 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223379475056 140223955117140 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22698] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22698/stat : 22698 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784986 15372775424 22417 33554432000 4194304 4196468 140731066640736 140221421185760 140223975990997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22700] ppid=22664 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22700/stat : 22700 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784986 15372775424 22417 33554432000 4194304 4196468 140731066640736 140223378422448 140223975991938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91064 KiB
[startup+0.708416 s]
/proc/loadavg: 0.52 0.60 0.75 3/219 22701
/proc/meminfo: memFree=16230132/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230784979 115843072 349 33554432000 4194304 5098028 140736123835712 140736123832968 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 349 296 221 0 87 0
[pid=22672] ppid=22664 vsize=15020872 memory=129648 CPUtime=1.03 cores=1,3,5,7
/proc/22672/stat : 22672 (java) S 22664 22664 22605 0 -1 1077944320 17607 0 0 0 97 6 0 0 20 0 15 0 230784979 15381372928 32412 33554432000 4194304 4196468 140731066640736 140731066623280 140223975980791 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
/proc/22672/statm: 3755218 32412 3161 1 0 3716603 0
[pid=22672/tid=22674] ppid=22664 vsize=15020872 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22672/task/22674/stat : 22674 (java) R 22664 22664 22605 0 -1 4202560 14886 0 0 0 63 4 0 0 20 0 15 0 230784979 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223947816704 140223960061278 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22677] ppid=22664 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22677/stat : 22677 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223980223632 140223975990997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22679] ppid=22664 vsize=15020872 memory=33 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22679/stat : 22679 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223771307024 140223975990997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22681] ppid=22664 vsize=15020872 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22681/stat : 22681 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784981 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223435848592 140223975990997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22682] ppid=22664 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22682/stat : 22682 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784981 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223434795792 140223975990997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22684] ppid=22664 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22684/stat : 22684 (java) S 22664 22664 22605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230784982 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223382632816 140223975991938 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22686] ppid=22664 vsize=15020872 memory=62592 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22686/stat : 22686 (java) S 22664 22664 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230784983 15381372928 32412 33554432000 4194304 4196468 140731066640736 140222528480288 140223975990997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22688] ppid=22664 vsize=15020872 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22688/stat : 22688 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784983 15381372928 32412 33554432000 4194304 4196468 140731066640736 140222293599088 140223975990997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22690] ppid=22664 vsize=15020872 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22690/stat : 22690 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784985 15381372928 32412 33554432000 4194304 4196468 140731066640736 140221919090512 140223975999387 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22691] ppid=22664 vsize=15020872 memory=1752 CPUtime=0.08 cores=1,3,5,7
/proc/22672/task/22691/stat : 22691 (java) R 22664 22664 22605 0 -1 4202560 521 0 0 0 8 0 0 0 20 0 15 0 230784985 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223381567088 140223960645142 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22692] ppid=22664 vsize=15020872 memory=748 CPUtime=0.08 cores=1,3,5,7
/proc/22672/task/22692/stat : 22692 (java) R 22664 22664 22605 0 -1 4202560 413 0 0 0 8 0 0 0 20 0 15 0 230784985 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223380527040 140223957525256 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22693] ppid=22664 vsize=15020872 memory=1820 CPUtime=0.16 cores=1,3,5,7
/proc/22672/task/22693/stat : 22693 (java) S 22664 22664 22605 0 -1 1077944384 454 0 0 0 16 0 0 0 20 0 15 0 230784985 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223379475056 140223975991938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22698] ppid=22664 vsize=15020872 memory=4552 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22698/stat : 22698 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784986 15381372928 32412 33554432000 4194304 4196468 140731066640736 140221421185760 140223975990997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
[pid=22672/tid=22700] ppid=22664 vsize=15020872 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/22672/task/22700/stat : 22700 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784986 15381372928 32412 33554432000 4194304 4196468 140731066640736 140223378422448 140223975991938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11792384 140731066647558 140731066647857 140731066647857 140731066650575 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131044 KiB
[startup+1.50084 s]
/proc/loadavg: 0.52 0.60 0.75 4/219 22701
/proc/meminfo: memFree=16170072/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230784979 115843072 349 33554432000 4194304 5098028 140736123835712 140736123832968 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/22702/task/22715/stat : 22715 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785214 7584137216 23401 33554432000 4194304 4196468 140730382464112 140370939734496 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22716] ppid=22664 vsize=7406384 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22716/stat : 22716 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785214 7584137216 23401 33554432000 4194304 4196468 140730382464112 140372385074096 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 95076 KiB
[startup+4.29595 s]
# the end of solver process 22664 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.32319 s, system=0.206745 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 0.96 0.69 0.77 2/219 22716
/proc/meminfo: memFree=15702400/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1472 CPUtime=5.38 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 591 25503 0 0 0 0 526 12 20 0 1 0 230784979 115843072 368 33554432000 4194304 5098028 140736123835712 140736123832456 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 368 311 221 0 87 0
[pid=22702] ppid=22664 vsize=7408432 memory=97196 CPUtime=0.87 cores=1,3,5,7
/proc/22702/stat : 22702 (java) S 22664 22664 22605 0 -1 1077944320 16055 0 1 0 82 5 0 0 20 0 15 0 230785208 7586234368 24299 33554432000 4194304 4196468 140730382464112 140730382446656 140373144223479 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
/proc/22702/statm: 1852108 24299 3009 1 0 1814042 0
[pid=22702/tid=22703] ppid=22664 vsize=7408432 memory=7741235217659488102 CPUtime=0.6 cores=1,3,5,7
/proc/22702/task/22703/stat : 22703 (java) R 22664 22664 22605 0 -1 4202560 13657 0 1 0 57 3 0 0 20 0 15 0 230785208 7586234368 24299 33554432000 4194304 4196468 140730382464112 140373116055584 140373125597020 0 4 2 25189581 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22704] ppid=22664 vsize=7408432 memory=7954599833906931307 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22704/stat : 22704 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785209 7586234368 24299 33554432000 4194304 4196468 140730382464112 140373148465552 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22705] ppid=22664 vsize=7408432 memory=6226057621462608487 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22705/stat : 22705 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785209 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372954229008 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22706] ppid=22664 vsize=7408432 memory=-7737605721172012177 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22706/stat : 22706 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785209 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372628638352 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22707] ppid=22664 vsize=7408432 memory=-7522837415797432224 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22707/stat : 22707 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785209 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372627585552 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22708] ppid=22664 vsize=7408432 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22708/stat : 22708 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785210 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372389284464 140373144234626 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22709] ppid=22664 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22709/stat : 22709 (java) S 22664 22664 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230785211 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372080583968 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22710] ppid=22664 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22710/stat : 22710 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785211 7586234368 24299 33554432000 4194304 4196468 140730382464112 140371812148848 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22711] ppid=22664 vsize=7408432 memory=-7234869379297210203 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22711/stat : 22711 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785213 7586234368 24299 33554432000 4194304 4196468 140730382464112 140371437640272 140373144242075 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22712] ppid=22664 vsize=7408432 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22702/task/22712/stat : 22712 (java) S 22664 22664 22605 0 -1 1077944384 445 0 0 0 5 0 0 0 20 0 15 0 230785213 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372388231280 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22713] ppid=22664 vsize=7408432 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22702/task/22713/stat : 22713 (java) S 22664 22664 22605 0 -1 1077944384 192 0 0 0 3 0 0 0 20 0 15 0 230785213 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372387178480 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22714] ppid=22664 vsize=7408432 memory=3472328296227680303 CPUtime=0.14 cores=1,3,5,7
/proc/22702/task/22714/stat : 22714 (java) S 22664 22664 22605 0 -1 1077944384 428 0 0 0 14 0 0 0 20 0 15 0 230785213 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372386126192 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22715] ppid=22664 vsize=7408432 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22715/stat : 22715 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785214 7586234368 24299 33554432000 4194304 4196468 140730382464112 140370939734496 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22716] ppid=22664 vsize=7408432 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22716/stat : 22716 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785214 7586234368 24299 33554432000 4194304 4196468 140730382464112 140372385074096 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 98668 KiB
[startup+4.00062 s]*
/proc/loadavg: 0.96 0.69 0.77 5/224 22722
/proc/meminfo: memFree=15254740/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1472 CPUtime=5.38 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 591 25503 0 0 0 0 526 12 20 0 1 0 230784979 115843072 368 33554432000 4194304 5098028 140736123835712 140736123832456 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 368 311 221 0 87 0
[pid=22702] ppid=22664 vsize=8068220 memory=118632 CPUtime=1.11 cores=1,3,5,7
/proc/22702/stat : 22702 (java) S 22664 22664 22605 0 -1 1077944320 17347 0 1 0 105 6 0 0 20 0 19 0 230785208 8261857280 29658 33554432000 4194304 4196468 140730382464112 140730382446656 140373144223479 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
/proc/22702/statm: 2017055 29658 3146 1 0 1978454 0
[pid=22717] ppid=22702 vsize=23180 memory=5772 CPUtime=0.72 cores=1,3,5,7
/proc/22717/stat : 22717 (minisat_release) R 22702 22664 22605 0 -1 4202496 1837 0 0 0 72 0 0 0 20 0 1 0 230785307 23736320 1443 33554432000 4194304 4308513 140731045243792 140731045240936 4276025 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 11239424 140731045246068 140731045246166 140731045246166 140731045248965 0
/proc/22717/statm: 5795 1443 337 28 0 2035 0
[pid=22702/tid=22703] ppid=22664 vsize=8068220 memory=590033343534363686 CPUtime=0.73 cores=1,3,5,7
/proc/22702/task/22703/stat : 22703 (java) S 22664 22664 22605 0 -1 1077944384 14470 0 1 0 69 4 0 0 20 0 19 0 230785208 8261857280 29658 33554432000 4194304 4196468 140730382464112 140373116063632 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22704] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22704/stat : 22704 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140373148465552 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22705] ppid=22664 vsize=8068220 memory=297290490329619726 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22705/stat : 22705 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372954229008 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22706] ppid=22664 vsize=8068220 memory=7668622400247194224 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22706/stat : 22706 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372628638352 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22707] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22707/stat : 22707 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372627585552 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22708] ppid=22664 vsize=8068220 memory=2319952166299639861 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22708/stat : 22708 (java) S 22664 22664 22605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230785210 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372389284464 140373144234626 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22709] ppid=22664 vsize=8068220 memory=279851747689064 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22709/stat : 22709 (java) S 22664 22664 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230785211 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372080583968 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22710] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22710/stat : 22710 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785211 8261857280 29658 33554432000 4194304 4196468 140730382464112 140371812148848 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22711] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22711/stat : 22711 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140371437640272 140373144242075 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22712] ppid=22664 vsize=8068220 memory=2211 CPUtime=0.09 cores=1,3,5,7
/proc/22702/task/22712/stat : 22712 (java) S 22664 22664 22605 0 -1 1077944384 529 0 0 0 9 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372388231280 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22713] ppid=22664 vsize=8068220 memory=139925993858688 CPUtime=0.07 cores=1,3,5,7
/proc/22702/task/22713/stat : 22713 (java) S 22664 22664 22605 0 -1 1077944384 418 0 0 0 7 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372387178480 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22714] ppid=22664 vsize=8068220 memory=3832880148939551263 CPUtime=0.19 cores=1,3,5,7
/proc/22702/task/22714/stat : 22714 (java) S 22664 22664 22605 0 -1 1077944384 536 0 0 0 19 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372386126192 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22715] ppid=22664 vsize=8068220 memory=4050346279390009504 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22715/stat : 22715 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230785214 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370939734496 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22716] ppid=22664 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22716/stat : 22716 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230785214 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372385074096 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22718] ppid=22664 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22718/stat : 22718 (java) S 22664 22664 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230785307 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372377265600 140373144248089 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22720] ppid=22664 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22720/stat : 22720 (java) S 22664 22664 22605 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 230785307 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370402848784 140373144245405 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22721] ppid=22664 vsize=8068220 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22721/stat : 22721 (java) S 22664 22664 22605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 230785308 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370134416784 140373144245405 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22722] ppid=22664 vsize=8068220 memory=-7316765472996040608 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22722/stat : 22722 (java) S 22664 22664 22605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 230785310 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370537077664 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 8204528 KiB
Current children cumulated memory: 125876 KiB
[startup+4.20079 s]
/proc/loadavg: 0.96 0.69 0.77 5/224 22722
/proc/meminfo: memFree=15254740/32770624 swapFree=67108504/67108860
[pid=22664] ppid=22660 vsize=113128 memory=1472 CPUtime=5.38 cores=1,3,5,7
/proc/22664/stat : 22664 (scop.sh) S 22660 22664 22605 0 -1 4202496 591 25503 0 0 0 0 526 12 20 0 1 0 230784979 115843072 368 33554432000 4194304 5098028 140736123835712 140736123832456 140230919623292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15052800 140736123843648 140736123843847 140736123843847 140736123846605 0
/proc/22664/statm: 28282 368 311 221 0 87 0
[pid=22702] ppid=22664 vsize=8068220 memory=118632 CPUtime=1.11 cores=1,3,5,7
/proc/22702/stat : 22702 (java) S 22664 22664 22605 0 -1 1077944320 17347 0 1 0 105 6 0 0 20 0 19 0 230785208 8261857280 29658 33554432000 4194304 4196468 140730382464112 140730382446656 140373144223479 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
/proc/22702/statm: 2017055 29658 3146 1 0 1978454 0
[pid=22717] ppid=22702 vsize=24192 memory=7004 CPUtime=0.91 cores=1,3,5,7
/proc/22717/stat : 22717 (minisat_release) R 22702 22664 22605 0 -1 4202496 2133 0 0 0 91 0 0 0 20 0 1 0 230785307 24772608 1751 33554432000 4194304 4308513 140731045243792 140731045240936 4275923 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 11239424 140731045246068 140731045246166 140731045246166 140731045248965 0
/proc/22717/statm: 6048 1751 337 28 0 2288 0
[pid=22702/tid=22703] ppid=22664 vsize=8068220 memory=88196 CPUtime=0.73 cores=1,3,5,7
/proc/22702/task/22703/stat : 22703 (java) S 22664 22664 22605 0 -1 1077944384 14470 0 1 0 69 4 0 0 20 0 19 0 230785208 8261857280 29658 33554432000 4194304 4196468 140730382464112 140373116063632 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22704] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22704/stat : 22704 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140373148465552 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22705] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22705/stat : 22705 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372954229008 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22706] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22706/stat : 22706 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372628638352 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22707] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22707/stat : 22707 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230785209 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372627585552 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22708] ppid=22664 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22708/stat : 22708 (java) S 22664 22664 22605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230785210 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372389284464 140373144234626 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22709] ppid=22664 vsize=8068220 memory=-7385037615309293161 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22709/stat : 22709 (java) S 22664 22664 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230785211 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372080583968 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22710] ppid=22664 vsize=8068220 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22710/stat : 22710 (java) S 22664 22664 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230785211 8261857280 29658 33554432000 4194304 4196468 140730382464112 140371812148848 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22711] ppid=22664 vsize=8068220 memory=-8672958532971446211 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22711/stat : 22711 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140371437640272 140373144242075 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22712] ppid=22664 vsize=8068220 memory=-6663310520939955341 CPUtime=0.09 cores=1,3,5,7
/proc/22702/task/22712/stat : 22712 (java) S 22664 22664 22605 0 -1 1077944384 529 0 0 0 9 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372388231280 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22713] ppid=22664 vsize=8068220 memory=-8035107114841901037 CPUtime=0.07 cores=1,3,5,7
/proc/22702/task/22713/stat : 22713 (java) S 22664 22664 22605 0 -1 1077944384 418 0 0 0 7 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372387178480 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22714] ppid=22664 vsize=8068220 memory=7970108278111421342 CPUtime=0.19 cores=1,3,5,7
/proc/22702/task/22714/stat : 22714 (java) S 22664 22664 22605 0 -1 1077944384 536 0 0 0 19 0 0 0 20 0 19 0 230785213 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372386126192 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22715] ppid=22664 vsize=8068220 memory=3546076952085620048 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22715/stat : 22715 (java) S 22664 22664 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230785214 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370939734496 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22716] ppid=22664 vsize=8068220 memory=5865727821814775911 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22716/stat : 22716 (java) S 22664 22664 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230785214 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372385074096 140373144234626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22718] ppid=22664 vsize=8068220 memory=7813016808458840933 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22718/stat : 22718 (java) S 22664 22664 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230785307 8261857280 29658 33554432000 4194304 4196468 140730382464112 140372377265600 140373144248089 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22720] ppid=22664 vsize=8068220 memory=4640203413217890922 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22720/stat : 22720 (java) S 22664 22664 22605 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 230785307 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370402848784 140373144245405 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22721] ppid=22664 vsize=8068220 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22721/stat : 22721 (java) S 22664 22664 22605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 230785308 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370134416784 140373144245405 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
[pid=22702/tid=22722] ppid=22664 vsize=8068220 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/22702/task/22722/stat : 22722 (java) S 22664 22664 22605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 230785310 8261857280 29658 33554432000 4194304 4196468 140730382464112 140370537077664 140373144233685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14438400 140730382472373 140730382472497 140730382472497 140730382475215 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 8205540 KiB
Current children cumulated memory: 127108 KiB
Child status: 0
Real time (s): 4.296
CPU time (s): 7.52994
CPU user time (s): 7.32319
CPU system time (s): 0.206745
CPU usage (%): 175.278
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 319140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.32319
system time used= 0.206745
maximum resident set size= 325256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45625
page faults= 1
swaps= 0
block input operations= 1104
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5161
involuntary context switches= 85
# summary of solver processes directly reported to runsolver:
# pid: 22664
# total CPU time (s): 7.52994
# total CPU user time (s): 7.32319
# total CPU system time (s): 0.206745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043824 second user time and 0.097269 second system time
The end