0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-20662-serial-file.bin HOME/instance-4305566-1534064938.xml
0.66/0.52
0.66/0.53 scop both+minisat_release (2018-07-31)
0.66/0.53 (Encoding Process)
0.66/0.53
0.66/0.57 c BEGIN-Prog: Sun Aug 12 11:08:59 CEST 2018
0.66/0.57 c PID: 20666
0.66/0.57 c IP: 172.20.3.103
0.66/0.57 c HOST: node103.alineos.net
0.66/0.57 c (0,0) Parsing Begin
1.15/0.84 c (0,0) Parsing End
1.15/0.84 c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 24 ctr, max domain size 5
1.15/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.15/0.85 c (0,0) Constraint Name Generate Begin
1.15/0.85 c (0,0) Ctr:HOME/instance-4305566-1534064938.xml,AllDifferent:IntVar
1.15/0.85 c (0,0) Constraint Name Generate End
1.15/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.15/0.85 c (0,0) CSP to CSPinCNF Begin
1.34/1.00 c (0,0) translated 3 (10%) constraints
1.52/1.03 c (0,0) translated 5 (20%) constraints
1.52/1.05 c (0,0) translated 8 (30%) constraints
1.52/1.06 c (0,0) translated 10 (40%) constraints
1.52/1.08 c (0,0) translated 12 (50%) constraints
1.52/1.09 c (0,0) translated 15 (60%) constraints
1.52/1.10 c (0,0) translated 17 (70%) constraints
1.52/1.10 c (0,0) translated 20 (80%) constraints
1.79/1.11 c (0,0) translated 22 (90%) constraints
1.79/1.12 c (0,0) translated 24 (100%) constraints
1.79/1.16 c (0,0) STATISTICS1:HOME/instance-4305566-1534064938.xml,AllDifferent:IntVar,25,208,5,5,5,2,5:160,5:512,5:24;4:8;3:8;2:168,2:160;1:192,
1.79/1.16 c (0,0) ==========================================
1.79/1.16 c (0,0) Both Encoding selects:
1.79/1.16 c (0,0) Order
1.79/1.16 c (0,0) ==========================================
1.79/1.18 c (0,0) translated 21 (10%) constraints
1.79/1.19 c (0,0) translated 42 (20%) constraints
2.01/1.20 c (0,0) translated 63 (30%) constraints
2.01/1.21 c (0,0) translated 84 (40%) constraints
2.01/1.21 c (0,0) translated 104 (50%) constraints
2.01/1.22 c (0,0) translated 125 (60%) constraints
2.01/1.22 c (0,0) translated 146 (70%) constraints
2.01/1.23 c (0,0) translated 167 (80%) constraints
2.01/1.23 c (0,0) translated 188 (90%) constraints
2.01/1.24 c (0,0) translated 208 (100%) constraints
2.01/1.24 c (0,0) CSP to CSPinCNF End
2.01/1.24 c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 208 ctr, max domain size 5
2.01/1.24 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.01/1.24 c (0,0) CSPinCNF Propagation Begin
2.01/1.26 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.01/1.26 c (0,0) CSPinCNF Propagation End
2.01/1.26 c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 208 ctr, max domain size 5
2.01/1.26 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.01/1.26 c (0,0) Simplify CSPinCNF Begin
2.26/1.32 c (0,0) Simplify CSPinCNF End
2.26/1.32 c (0,0) CSP: 25 int (0 aux), 320 bool (320 aux), 528 ctr, max domain size 5
2.26/1.32 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.26/1.32 c (0,0) Calculate Precise Domain Begin
2.26/1.33 c (0,0) 0 values are removed by re-calculation
2.26/1.33 c (0,0) Calculate Precise Domain End
2.26/1.33 c (0,0) CSP: 25 int (0 aux), 320 bool (320 aux), 528 ctr, max domain size 5
2.26/1.33 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.26/1.33 c (0,0) CSPinCNF to SatSolver Begin
2.26/1.38 c (0,0) 53 (10 %) CSP clauses are encoded (420 SAT variables, 259 SAT clauses)
2.26/1.39 c (0,0) 106 (20 %) CSP clauses are encoded (420 SAT variables, 444 SAT clauses)
2.26/1.40 c (0,0) 159 (30 %) CSP clauses are encoded (420 SAT variables, 633 SAT clauses)
2.50/1.42 c (0,0) 212 (40 %) CSP clauses are encoded (420 SAT variables, 814 SAT clauses)
2.50/1.42 c (0,0) 264 (50 %) CSP clauses are encoded (420 SAT variables, 994 SAT clauses)
2.50/1.43 c (0,0) 317 (60 %) CSP clauses are encoded (420 SAT variables, 1183 SAT clauses)
2.50/1.43 c (0,0) 370 (70 %) CSP clauses are encoded (420 SAT variables, 1368 SAT clauses)
2.50/1.44 c (0,0) 423 (80 %) CSP clauses are encoded (420 SAT variables, 1537 SAT clauses)
2.50/1.44 c (0,0) 476 (90 %) CSP clauses are encoded (420 SAT variables, 1710 SAT clauses)
2.50/1.45 c (0,0) 528 (100 %) CSP clauses are encoded (420 SAT variables, 1882 SAT clauses)
2.50/1.45 c (0,0) Launch Command will be: minisat_release
2.50/1.45 c (0,0) CSPinCNF to SatSolver End
2.50/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.50/1.47 c (0,0) STATISTICS2:HOME/instance-4305566-1534064938.xml,AllDifferent:IntVar,345,528,5,5,5,2,5:320,5:832;2:640,5:24;4:8;3:8;2:488,2:320;1:832,
2.50/1.47 c (0,0) 420 bool, 1883 clause
2.50/1.47 c (0,0) Export Begin
2.77/1.55 c (1,0) Export to HOME/scop-20662-serial-file.bin
2.77/1.55 c (1,0) Export End
2.77/1.55 c (1,0) Export File Size: 0.01 MB
2.77/1.55 c (1,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.77/1.55 c END-Prog: Sun Aug 12 11:09:00 CEST 2018
2.77/1.56 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20662-serial-file.bin
3.47/2.04 c (0,0) Read Serial File Begin
3.47/2.04 c (0,0) HOME/scop-20662-serial-file.bin
3.74/2.20 c (0,0) Read Serial File End
3.74/2.21
3.74/2.21 scop order+minisat_release (2018-07-31)
3.74/2.21 (Solving Process)
3.74/2.21
3.74/2.23 c BEGIN-Prog: Sun Aug 12 11:09:00 CEST 2018
3.74/2.23 c PID: 20702
3.74/2.23 c IP: 172.20.3.103
3.74/2.23 c HOST: node103.alineos.net
3.74/2.24 c (0,0) SatSolver.solve Begin
3.74/2.24 c (0,0) 0 bool, 0 clause
3.74/2.24 c (0,0) minisat_release HOME/instance-4305566-1534064938.xml-scop-20666.cnf
3.74/2.27 c (0,0) c This is COMiniSatPS.
3.74/2.27 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.74/2.27 c (0,0) c ============================[ Problem Statistics ]=============================
3.74/2.27 c (0,0) c | |
3.74/2.27 c (0,0) c | Number of variables: 420 |
3.74/2.27 c (0,0) c | Number of clauses: 1883 |
3.74/2.27 c (0,0) c | Parse time: 0.00 s |
3.74/2.27 c (0,0) c | Eliminated clauses: 0.00 Mb |
3.74/2.27 c (0,0) c Reduced to 260 vars, 1723 cls (grow=0)
3.74/2.27 c (0,0) c No iterative elimination performed. (vars=260, c/v ratio=6.6)
3.74/2.27 c (0,0) c | Simplification time: 0.00 s |
3.74/2.27 c (0,0) c | |
3.74/2.27 c (0,0) c ============================[ Search Statistics ]==============================
3.74/2.27 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.74/2.27 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.74/2.28 c (0,0) c ===============================================================================
3.74/2.28 c (0,0) c ===============================================================================
3.74/2.28 c (0,0) c restarts : 1
3.74/2.28 c (0,0) c conflicts : 10 (2772 /sec)
3.74/2.28 c (0,0) c decisions : 22 (0.00 % random) (6099 /sec)
3.74/2.28 c (0,0) c propagations : 431 (119490 /sec)
3.74/2.28 c (0,0) c conflict literals : 73 (0.00 % deleted)
3.74/2.28 c (0,0) c CPU time : 0.003607 s
3.74/2.28 c (0,0)
3.74/2.28 c (0,0) s SATISFIABLE
3.95/2.31 c (0,0) SatSolver.solve End
3.95/2.32 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.95/2.32 c (0,0) Show results Begin
3.95/2.37 s SATISFIABLE
3.95/2.37 v <instantiation>
3.95/2.37 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4]</list>
3.95/2.37 v <values>0 4 3 1 2 3 1 2 0 4 2 0 4 3 1 4 3 1 2 0 1 2 0 4 3</values>
3.95/2.37 v </instantiation>
3.95/2.37 c (0,0) Show results End
3.95/2.37 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
3.95/2.37 c (0,0) 0,0,STOP-AFTER(ALL)
3.95/2.37 c END-Prog: Sun Aug 12 11:09:00 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 (8018 MiB free)
memory of node 1: 16384 MiB (8756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305566-1534064938/watcher-4305566-1534064938 -o /tmp/evaluation-result-4305566-1534064938/solver-4305566-1534064938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305566-1534064938.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20662, runsolver pid=20659
Current StackSize limit: 8192 KiB
[startup+0.100916 s]*
/proc/loadavg: 1.28 1.30 1.36 3/218 20701
/proc/meminfo: memFree=17053428/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224056993 115843072 349 33554432000 4194304 5098028 140736578404272 140736578401528 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 349 296 221 0 87 0
[pid=20666] ppid=20662 vsize=15012476 memory=72036 CPUtime=0.1 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20662 20662 20606 0 -1 1077944320 6644 0 0 0 8 2 0 0 20 0 15 0 224056993 15372775424 18009 33554432000 4194304 4196468 140736399696640 140736399679184 140073348361975 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
/proc/20666/statm: 3753119 18009 2746 1 0 3715579 0
[pid=20666/tid=20674] ppid=20662 vsize=15012476 memory=4711481268174552715 CPUtime=0.08 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) R 20662 20662 20606 0 -1 4202560 4773 0 0 0 7 1 0 0 20 0 15 0 224056994 15372775424 18009 33554432000 4194304 4196468 140736399696640 140073320197104 140073332442462 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20676] ppid=20662 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18009 33554432000 4194304 4196468 140736399696640 140073352604560 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20677] ppid=20662 vsize=15012476 memory=139671304066688 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18009 33554432000 4194304 4196468 140736399696640 140073179421456 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20678] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18009 33554432000 4194304 4196468 140736399696640 140072807824528 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20679] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18009 33554432000 4194304 4196468 140736399696640 140072806771728 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20684] ppid=20662 vsize=15012476 memory=139671304066688 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20684/stat : 20684 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056997 15372775424 18009 33554432000 4194304 4196468 140736399696640 140072385992816 140073348373122 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20686] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20686/stat : 20686 (java) S 20662 20662 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 18009 33554432000 4194304 4196468 140736399696640 140071902634784 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20688] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20688/stat : 20688 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 18009 33554432000 4194304 4196468 140736399696640 140071634199664 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20691] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20691/stat : 20691 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18009 33554432000 4194304 4196468 140736399696640 140071259691088 140073348380571 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20694] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20694/stat : 20694 (java) S 20662 20662 20606 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18009 33554432000 4194304 4196468 140736399696640 140072384940656 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20696] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20696/stat : 20696 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18009 33554432000 4194304 4196468 140736399696640 140072383887856 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20697] ppid=20662 vsize=15012476 memory=139671304066688 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20697/stat : 20697 (java) S 20662 20662 20606 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18009 33554432000 4194304 4196468 140736399696640 140072382835568 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20699] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20699/stat : 20699 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18009 33554432000 4194304 4196468 140736399696640 140070761786336 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20701] ppid=20662 vsize=15012476 memory=139671304066688 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20701/stat : 20701 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18009 33554432000 4194304 4196468 140736399696640 140072381782448 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73432 KiB
[startup+0.210674 s]*
/proc/loadavg: 1.28 1.30 1.36 3/218 20701
/proc/meminfo: memFree=17025152/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224056993 115843072 349 33554432000 4194304 5098028 140736578404272 140736578401528 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 349 296 221 0 87 0
[pid=20666] ppid=20662 vsize=15012476 memory=86136 CPUtime=0.24 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20662 20662 20606 0 -1 1077944320 10429 0 0 0 21 3 0 0 20 0 15 0 224056993 15372775424 21534 33554432000 4194304 4196468 140736399696640 140736399679184 140073348361975 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
/proc/20666/statm: 3753119 21534 2898 1 0 3715579 0
[pid=20666/tid=20674] ppid=20662 vsize=15012476 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) R 20662 20662 20606 0 -1 4202560 8338 0 0 0 16 2 0 0 20 0 15 0 224056994 15372775424 21534 33554432000 4194304 4196468 140736399696640 140073320150224 140073340599102 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20676] ppid=20662 vsize=15012476 memory=12684 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 21534 33554432000 4194304 4196468 140736399696640 140073352604560 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20677] ppid=20662 vsize=15012476 memory=139671304087497 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 21534 33554432000 4194304 4196468 140736399696640 140073179421456 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20678] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 21534 33554432000 4194304 4196468 140736399696640 140072807824528 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20679] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 21534 33554432000 4194304 4196468 140736399696640 140072806771728 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20684] ppid=20662 vsize=15012476 memory=139671304066688 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20684/stat : 20684 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056997 15372775424 21534 33554432000 4194304 4196468 140736399696640 140072385992816 140073348373122 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20686] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20686/stat : 20686 (java) S 20662 20662 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 21534 33554432000 4194304 4196468 140736399696640 140071902634784 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20688] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20688/stat : 20688 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 21534 33554432000 4194304 4196468 140736399696640 140071634199664 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20691] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20691/stat : 20691 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 21534 33554432000 4194304 4196468 140736399696640 140071259691088 140073348380571 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20694] ppid=20662 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20666/task/20694/stat : 20694 (java) S 20662 20662 20606 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 224057001 15372775424 21534 33554432000 4194304 4196468 140736399696640 140072384940656 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20696] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20696/stat : 20696 (java) S 20662 20662 20606 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 21534 33554432000 4194304 4196468 140736399696640 140072383887856 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20697] ppid=20662 vsize=15012476 memory=139671304066688 CPUtime=0.03 cores=1,3,5,7
/proc/20666/task/20697/stat : 20697 (java) R 20662 20662 20606 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 224057001 15372775424 21534 33554432000 4194304 4196468 140736399696640 140072382835568 140073327322944 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20699] ppid=20662 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20699/stat : 20699 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 21534 33554432000 4194304 4196468 140736399696640 140070761786336 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20701] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20701/stat : 20701 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 21534 33554432000 4194304 4196468 140736399696640 140072381782448 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87532 KiB
[startup+0.310516 s]*
/proc/loadavg: 1.28 1.30 1.36 3/218 20701
/proc/meminfo: memFree=17018196/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224056993 115843072 349 33554432000 4194304 5098028 140736578404272 140736578401528 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 349 296 221 0 87 0
[pid=20666] ppid=20662 vsize=15012476 memory=89912 CPUtime=0.42 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20662 20662 20606 0 -1 1077944320 10973 0 0 0 39 3 0 0 20 0 15 0 224056993 15372775424 22478 33554432000 4194304 4196468 140736399696640 140736399679184 140073348361975 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
/proc/20666/statm: 3753119 22478 2978 1 0 3715579 0
[pid=20666/tid=20674] ppid=20662 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) R 20662 20662 20606 0 -1 4202560 8715 0 0 0 26 3 0 0 20 0 15 0 224056994 15372775424 22478 33554432000 4194304 4196468 140736399696640 140073320157424 140073329925508 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20676] ppid=20662 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22478 33554432000 4194304 4196468 140736399696640 140073352604560 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20677] ppid=20662 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22478 33554432000 4194304 4196468 140736399696640 140073179421456 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20678] ppid=20662 vsize=15012476 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22478 33554432000 4194304 4196468 140736399696640 140072807824528 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20679] ppid=20662 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22478 33554432000 4194304 4196468 140736399696640 140072806771728 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20684] ppid=20662 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20684/stat : 20684 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056997 15372775424 22478 33554432000 4194304 4196468 140736399696640 140072385992816 140073348373122 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20686] ppid=20662 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20686/stat : 20686 (java) S 20662 20662 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 22478 33554432000 4194304 4196468 140736399696640 140071902634784 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20688] ppid=20662 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20688/stat : 20688 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 22478 33554432000 4194304 4196468 140736399696640 140071634199664 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20691] ppid=20662 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20691/stat : 20691 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22478 33554432000 4194304 4196468 140736399696640 140071259691088 140073348380571 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20694] ppid=20662 vsize=15012476 memory=6944656591801720471 CPUtime=0.02 cores=1,3,5,7
/proc/20666/task/20694/stat : 20694 (java) S 20662 20662 20606 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 224057001 15372775424 22478 33554432000 4194304 4196468 140736399696640 140072384940656 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20696] ppid=20662 vsize=15012476 memory=-8458152057954561420 CPUtime=0.02 cores=1,3,5,7
/proc/20666/task/20696/stat : 20696 (java) S 20662 20662 20606 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 224057001 15372775424 22478 33554432000 4194304 4196468 140736399696640 140072383887856 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20697] ppid=20662 vsize=15012476 memory=-8813974798734826869 CPUtime=0.07 cores=1,3,5,7
/proc/20666/task/20697/stat : 20697 (java) S 20662 20662 20606 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 15 0 224057001 15372775424 22478 33554432000 4194304 4196468 140736399696640 140072382835568 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20699] ppid=20662 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20699/stat : 20699 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22478 33554432000 4194304 4196468 140736399696640 140070761786336 140073348372181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20701] ppid=20662 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20701/stat : 20701 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22478 33554432000 4194304 4196468 140736399696640 140072381782448 140073348373122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91308 KiB
[startup+0.700902 s]
/proc/loadavg: 1.28 1.30 1.36 3/218 20701
/proc/meminfo: memFree=16970324/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224056993 115843072 349 33554432000 4194304 5098028 140736578404272 140736578401528 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 349 296 221 0 87 0
[pid=20666] ppid=20662 vsize=15020872 memory=126788 CPUtime=0.95 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20662 20662 20606 0 -1 1077944320 17892 0 1 0 90 5 0 0 20 0 15 0 224056993 15381372928 31697 33554432000 4194304 4196468 140736399696640 140736399679184 140073348361975 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
/proc/20666/statm: 3755218 31697 3136 1 0 3716603 0
[pid=20666/tid=20674] ppid=20662 vsize=15020872 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) R 20662 20662 20606 0 -1 4202560 15300 0 1 0 61 4 0 0 20 0 15 0 224056994 15381372928 31697 33554432000 4194304 4196468 140736399696640 140073320193872 140073332442462 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20676] ppid=20662 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 31697 33554432000 4194304 4196468 140736399696640 140073352604560 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20677] ppid=20662 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 31697 33554432000 4194304 4196468 140736399696640 140073179421456 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20678] ppid=20662 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 31697 33554432000 4194304 4196468 140736399696640 140072807824528 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20679] ppid=20662 vsize=15020872 memory=3172 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 31697 33554432000 4194304 4196468 140736399696640 140072806771728 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20684] ppid=20662 vsize=15020872 memory=2076 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20684/stat : 20684 (java) S 20662 20662 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224056997 15381372928 31697 33554432000 4194304 4196468 140736399696640 140072385992816 140073348373122 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20686] ppid=20662 vsize=15020872 memory=9004 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20686/stat : 20686 (java) S 20662 20662 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15381372928 31697 33554432000 4194304 4196468 140736399696640 140071902634784 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20688] ppid=20662 vsize=15020872 memory=768 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20688/stat : 20688 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15381372928 31697 33554432000 4194304 4196468 140736399696640 140071634199664 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20691] ppid=20662 vsize=15020872 memory=736 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20691/stat : 20691 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15381372928 31697 33554432000 4194304 4196468 140736399696640 140071259691088 140073348380571 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20694] ppid=20662 vsize=15020872 memory=1520 CPUtime=0.08 cores=1,3,5,7
/proc/20666/task/20694/stat : 20694 (java) S 20662 20662 20606 0 -1 1077944384 584 0 0 0 8 0 0 0 20 0 15 0 224057001 15381372928 31697 33554432000 4194304 4196468 140736399696640 140072384940656 140073348373122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20696] ppid=20662 vsize=15020872 memory=1708 CPUtime=0.06 cores=1,3,5,7
/proc/20666/task/20696/stat : 20696 (java) S 20662 20662 20606 0 -1 1077944384 308 0 0 0 6 0 0 0 20 0 15 0 224057001 15381372928 31697 33554432000 4194304 4196468 140736399696640 140072383887856 140073348373122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20697] ppid=20662 vsize=15020872 memory=5116 CPUtime=0.14 cores=1,3,5,7
/proc/20666/task/20697/stat : 20697 (java) S 20662 20662 20606 0 -1 1077944384 367 0 0 0 14 0 0 0 20 0 15 0 224057001 15381372928 31697 33554432000 4194304 4196468 140736399696640 140072382835568 140073348373122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20699] ppid=20662 vsize=15020872 memory=13608 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20699/stat : 20699 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15381372928 31697 33554432000 4194304 4196468 140736399696640 140070761786336 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20701] ppid=20662 vsize=15020872 memory=1860 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20701/stat : 20701 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15381372928 31697 33554432000 4194304 4196468 140736399696640 140072381782448 140073348373122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128184 KiB
[startup+1.50072 s]
/proc/loadavg: 1.28 1.30 1.36 4/218 20701
/proc/meminfo: memFree=16916768/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224056993 115843072 349 33554432000 4194304 5098028 140736578404272 140736578401528 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/20666/task/20686/stat : 20686 (java) S 20662 20662 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15387754496 44322 33554432000 4194304 4196468 140736399696640 140071902634784 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20688] ppid=20662 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20688/stat : 20688 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15387754496 44322 33554432000 4194304 4196468 140736399696640 140071634199664 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20691] ppid=20662 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20691/stat : 20691 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15387754496 44322 33554432000 4194304 4196468 140736399696640 140071259691088 140073348380571 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20694] ppid=20662 vsize=15027104 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/20666/task/20694/stat : 20694 (java) S 20662 20662 20606 0 -1 1077944384 741 0 0 0 31 0 0 0 20 0 15 0 224057001 15387754496 44322 33554432000 4194304 4196468 140736399696640 140072384940656 140073348373122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20696] ppid=20662 vsize=15027104 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/20666/task/20696/stat : 20696 (java) S 20662 20662 20606 0 -1 1077944384 736 0 0 0 33 0 0 0 20 0 15 0 224057001 15387754496 44322 33554432000 4194304 4196468 140736399696640 140072383887856 140073348373122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20697] ppid=20662 vsize=15027104 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/20666/task/20697/stat : 20697 (java) R 20662 20662 20606 0 -1 4202560 2444 0 0 0 66 0 0 0 20 0 15 0 224057001 15387754496 44322 33554432000 4194304 4196468 140736399696640 140072382835568 140073326835312 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20699] ppid=20662 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20699/stat : 20699 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15387754496 44322 33554432000 4194304 4196468 140736399696640 140070761786336 140073348372181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
[pid=20666/tid=20701] ppid=20662 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20701/stat : 20701 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15387754496 44322 33554432000 4194304 4196468 140736399696640 140072381782448 140073348373122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17629184 140736399700999 140736399701297 140736399701297 140736399704015 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 15140232 KiB
Current children cumulated memory: 178684 KiB
[startup+2.38633 s]
# the end of solver process 20662 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.93776 s, system=0.167795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60093 s]
/proc/loadavg: 1.28 1.30 1.36 4/218 20701
/proc/meminfo: memFree=16916768/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1472 CPUtime=2.88 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 590 22916 0 1 0 0 279 9 20 0 1 0 224056993 115843072 368 33554432000 4194304 5098028 140736578404272 140736578401016 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.00197 s]*
/proc/loadavg: 1.28 1.30 1.36 6/218 20716
/proc/meminfo: memFree=16849232/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1472 CPUtime=2.88 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 590 22916 0 1 0 0 279 9 20 0 1 0 224056993 115843072 368 33554432000 4194304 5098028 140736578404272 140736578401016 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 368 311 221 0 87 0
[pid=20702] ppid=20662 vsize=7406364 memory=72576 CPUtime=0.59 cores=1,3,5,7
/proc/20702/stat : 20702 (java) S 20662 20662 20606 0 -1 1077944320 11349 0 0 0 56 3 0 0 20 0 15 0 224057149 7584116736 18144 33554432000 4194304 4196468 140731938313040 140731938295584 140445294444279 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
/proc/20702/statm: 1851591 18144 2979 1 0 1813530 0
[pid=20702/tid=20703] ppid=20662 vsize=7406364 memory=4711481268241531529 CPUtime=0.42 cores=1,3,5,7
/proc/20702/task/20703/stat : 20703 (java) R 20662 20662 20606 0 -1 4202560 9049 0 0 0 40 2 0 0 20 0 15 0 224057150 7584116736 18144 33554432000 4194304 4196468 140731938313040 140445266255920 140445276009249 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20704] ppid=20662 vsize=7406364 memory=3472328128895609921 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20704/stat : 20704 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057151 7584116736 18144 33554432000 4194304 4196468 140731938313040 140445298686352 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20705] ppid=20662 vsize=7406364 memory=3617433082525256624 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20705/stat : 20705 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057151 7584116736 18144 33554432000 4194304 4196468 140731938313040 140445098854672 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20706] ppid=20662 vsize=7406364 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20706/stat : 20706 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057151 7584116736 18144 33554432000 4194304 4196468 140731938313040 140445097802384 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20707] ppid=20662 vsize=7406364 memory=664971881851873618 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20707/stat : 20707 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057151 7584116736 18144 33554432000 4194304 4196468 140731938313040 140445096749584 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20708] ppid=20662 vsize=7406364 memory=3461501654329214689 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20708/stat : 20708 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057152 7584116736 18144 33554432000 4194304 4196468 140731938313040 140444673784432 140445294455426 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20709] ppid=20662 vsize=7406364 memory=3533419654475770974 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20709/stat : 20709 (java) S 20662 20662 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057153 7584116736 18144 33554432000 4194304 4196468 140731938313040 140444155503904 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20710] ppid=20662 vsize=7406364 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20710/stat : 20710 (java) S 20662 20662 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224057153 7584116736 18144 33554432000 4194304 4196468 140731938313040 140444021282416 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20711] ppid=20662 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20711/stat : 20711 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057155 7584116736 18144 33554432000 4194304 4196468 140731938313040 140443646777936 140445294462875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20712] ppid=20662 vsize=7406364 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20702/task/20712/stat : 20712 (java) S 20662 20662 20606 0 -1 1077944384 511 0 0 0 3 0 0 0 20 0 15 0 224057155 7584116736 18144 33554432000 4194304 4196468 140731938313040 140444672731248 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20713] ppid=20662 vsize=7406364 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20702/task/20713/stat : 20713 (java) S 20662 20662 20606 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 224057155 7584116736 18144 33554432000 4194304 4196468 140731938313040 140444671678448 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20714] ppid=20662 vsize=7406364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20702/task/20714/stat : 20714 (java) S 20662 20662 20606 0 -1 1077944384 320 0 0 0 9 0 0 0 20 0 15 0 224057155 7584116736 18144 33554432000 4194304 4196468 140731938313040 140444670626160 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20715] ppid=20662 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20715/stat : 20715 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057156 7584116736 18144 33554432000 4194304 4196468 140731938313040 140443148872160 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20716] ppid=20662 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20716/stat : 20716 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057156 7584116736 18144 33554432000 4194304 4196468 140731938313040 140444669574064 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
Current children cumulated CPU time: 3.47 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 74048 KiB
[startup+2.20074 s]
/proc/loadavg: 1.28 1.30 1.36 6/218 20716
/proc/meminfo: memFree=16849232/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1472 CPUtime=2.88 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 590 22916 0 1 0 0 279 9 20 0 1 0 224056993 115843072 368 33554432000 4194304 5098028 140736578404272 140736578401016 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 368 311 221 0 87 0
[pid=20702] ppid=20662 vsize=7408432 memory=95128 CPUtime=0.86 cores=1,3,5,7
/proc/20702/stat : 20702 (java) S 20662 20662 20606 0 -1 1077944320 16111 0 1 0 81 5 0 0 20 0 15 0 224057149 7586234368 23782 33554432000 4194304 4196468 140731938313040 140731938295584 140445294444279 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
/proc/20702/statm: 1852108 23782 3004 1 0 1814042 0
[pid=20702/tid=20703] ppid=20662 vsize=7408432 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/20702/task/20703/stat : 20703 (java) R 20662 20662 20606 0 -1 4202560 13724 0 1 0 58 3 0 0 20 0 15 0 224057150 7586234368 23782 33554432000 4194304 4196468 140731938313040 140445266275264 140445278524766 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20704] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20704/stat : 20704 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057151 7586234368 23782 33554432000 4194304 4196468 140731938313040 140445298686352 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20705] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20705/stat : 20705 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057151 7586234368 23782 33554432000 4194304 4196468 140731938313040 140445098854672 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20706] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20706/stat : 20706 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057151 7586234368 23782 33554432000 4194304 4196468 140731938313040 140445097802384 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20707] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20707/stat : 20707 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057151 7586234368 23782 33554432000 4194304 4196468 140731938313040 140445096749584 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20708] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20708/stat : 20708 (java) S 20662 20662 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057152 7586234368 23782 33554432000 4194304 4196468 140731938313040 140444673784432 140445294455426 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20709] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20709/stat : 20709 (java) S 20662 20662 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057153 7586234368 23782 33554432000 4194304 4196468 140731938313040 140444155503904 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20710] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20710/stat : 20710 (java) S 20662 20662 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224057153 7586234368 23782 33554432000 4194304 4196468 140731938313040 140444021282416 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20711] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20711/stat : 20711 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057155 7586234368 23782 33554432000 4194304 4196468 140731938313040 140443646777936 140445294462875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20712] ppid=20662 vsize=7408432 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20702/task/20712/stat : 20712 (java) S 20662 20662 20606 0 -1 1077944384 519 0 0 0 5 0 0 0 20 0 15 0 224057155 7586234368 23782 33554432000 4194304 4196468 140731938313040 140444672731248 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20713] ppid=20662 vsize=7408432 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20702/task/20713/stat : 20713 (java) S 20662 20662 20606 0 -1 1077944384 124 0 0 0 3 0 0 0 20 0 15 0 224057155 7586234368 23782 33554432000 4194304 4196468 140731938313040 140444671678448 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20714] ppid=20662 vsize=7408432 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/20702/task/20714/stat : 20714 (java) S 20662 20662 20606 0 -1 1077944384 392 0 0 0 14 0 0 0 20 0 15 0 224057155 7586234368 23782 33554432000 4194304 4196468 140731938313040 140444670626160 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20715] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20715/stat : 20715 (java) S 20662 20662 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057156 7586234368 23782 33554432000 4194304 4196468 140731938313040 140443148872160 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20716] ppid=20662 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20716/stat : 20716 (java) S 20662 20662 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057156 7586234368 23782 33554432000 4194304 4196468 140731938313040 140444669574064 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 96600 KiB
[startup+2.30076 s]
/proc/loadavg: 1.28 1.30 1.36 6/218 20716
/proc/meminfo: memFree=16849232/32770624 swapFree=67058736/67108860
[pid=20662] ppid=20659 vsize=113128 memory=1472 CPUtime=2.88 cores=1,3,5,7
/proc/20662/stat : 20662 (scop.sh) S 20659 20662 20606 0 -1 4202496 590 22916 0 1 0 0 279 9 20 0 1 0 224056993 115843072 368 33554432000 4194304 5098028 140736578404272 140736578401016 140021411496572 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32788480 140736578409537 140736578409735 140736578409735 140736578412493 0
/proc/20662/statm: 28282 368 311 221 0 87 0
[pid=20702] ppid=20662 vsize=7740532 memory=114332 CPUtime=1.07 cores=1,3,5,7
/proc/20702/stat : 20702 (java) S 20662 20662 20606 0 -1 1077944320 17320 509 2 0 101 6 0 0 20 0 17 0 224057149 7926304768 28583 33554432000 4194304 4196468 140731938313040 140731938295584 140445294444279 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
/proc/20702/statm: 1935133 28583 3143 1 0 1896532 0
[pid=20702/tid=20703] ppid=20662 vsize=7740532 memory=4872558044660077418 CPUtime=0.7 cores=1,3,5,7
/proc/20702/task/20703/stat : 20703 (java) R 20662 20662 20606 0 -1 4202560 14443 509 2 0 66 4 0 0 20 0 17 0 224057150 7926304768 28583 33554432000 4194304 4196468 140731938313040 140445266283072 140445278524766 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20704] ppid=20662 vsize=7740532 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20704/stat : 20704 (java) S 20662 20662 20606 0 -1 1077944384 1 509 0 0 0 0 0 0 20 0 17 0 224057151 7926304768 28583 33554432000 4194304 4196468 140731938313040 140445298686352 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20705] ppid=20662 vsize=7740532 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20705/stat : 20705 (java) S 20662 20662 20606 0 -1 1077944384 1 509 0 0 0 0 0 0 20 0 17 0 224057151 7926304768 28583 33554432000 4194304 4196468 140731938313040 140445098854672 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20706] ppid=20662 vsize=7740532 memory=91612 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20706/stat : 20706 (java) S 20662 20662 20606 0 -1 1077944384 1 509 0 0 0 0 0 0 20 0 17 0 224057151 7926304768 28583 33554432000 4194304 4196468 140731938313040 140445097802384 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20707] ppid=20662 vsize=7740532 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20707/stat : 20707 (java) S 20662 20662 20606 0 -1 1077944384 2 509 0 0 0 0 0 0 20 0 17 0 224057151 7926304768 28583 33554432000 4194304 4196468 140731938313040 140445096749584 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20708] ppid=20662 vsize=7740532 memory=14696283776491730 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20708/stat : 20708 (java) S 20662 20662 20606 0 -1 1077944384 5 509 0 0 0 0 0 0 20 0 17 0 224057152 7926304768 28583 33554432000 4194304 4196468 140731938313040 140444673784432 140445294455426 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20709] ppid=20662 vsize=7740532 memory=288230376152901154 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20709/stat : 20709 (java) S 20662 20662 20606 0 -1 1077944384 13 509 0 0 0 0 0 0 20 0 17 0 224057153 7926304768 28583 33554432000 4194304 4196468 140731938313040 140444155503904 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20710] ppid=20662 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20710/stat : 20710 (java) S 20662 20662 20606 0 -1 1077944384 21 509 0 0 0 0 0 0 20 0 17 0 224057153 7926304768 28583 33554432000 4194304 4196468 140731938313040 140444021282416 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20711] ppid=20662 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20711/stat : 20711 (java) S 20662 20662 20606 0 -1 1077944384 3 509 0 0 0 0 0 0 20 0 17 0 224057155 7926304768 28583 33554432000 4194304 4196468 140731938313040 140443646777936 140445294462875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20712] ppid=20662 vsize=7740532 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20702/task/20712/stat : 20712 (java) R 20662 20662 20606 0 -1 4202560 612 509 0 0 8 0 0 0 20 0 17 0 224057155 7926304768 28583 33554432000 4194304 4196468 140731938313040 140444672720048 140445279609836 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20713] ppid=20662 vsize=7740532 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20702/task/20713/stat : 20713 (java) S 20662 20662 20606 0 -1 1077944384 326 509 0 0 7 0 0 0 20 0 17 0 224057155 7926304768 28583 33554432000 4194304 4196468 140731938313040 140444671678448 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20714] ppid=20662 vsize=7740532 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/20702/task/20714/stat : 20714 (java) S 20662 20662 20606 0 -1 1077944384 489 509 0 0 17 0 0 0 20 0 17 0 224057155 7926304768 28583 33554432000 4194304 4196468 140731938313040 140444670626160 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20715] ppid=20662 vsize=7740532 memory=7307196409870641775 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20715/stat : 20715 (java) S 20662 20662 20606 0 -1 1077944384 3 509 0 0 0 0 0 0 20 0 17 0 224057156 7926304768 28583 33554432000 4194304 4196468 140731938313040 140443148872160 140445294454485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
[pid=20702/tid=20716] ppid=20662 vsize=7740532 memory=7452728842579373158 CPUtime=0 cores=1,3,5,7
/proc/20702/task/20716/stat : 20716 (java) S 20662 20662 20606 0 -1 1077944384 1 509 0 0 0 0 0 0 20 0 17 0 224057156 7926304768 28583 33554432000 4194304 4196468 140731938313040 140444669574064 140445294455426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7630848 140731938317493 140731938317617 140731938317617 140731938320335 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 7853660 KiB
Current children cumulated memory: 115804 KiB
Child status: 0
Real time (s): 2.38638
CPU time (s): 4.10555
CPU user time (s): 3.93776
CPU system time (s): 0.167795
CPU usage (%): 172.041
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 178684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.93776
system time used= 0.167795
maximum resident set size= 182948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41768
page faults= 3
swaps= 0
block input operations= 1344
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4883
involuntary context switches= 86
# summary of solver processes directly reported to runsolver:
# pid: 20662
# total CPU time (s): 4.10555
# total CPU user time (s): 3.93776
# total CPU system time (s): 0.167795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044854 second user time and 0.063203 second system time
The end