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-23951-serial-file.bin HOME/instance-4305728-1534075301.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 14:01:42 CEST 2018
0.66/0.55 c PID: 23954
0.66/0.55 c IP: 172.20.3.135
0.66/0.55 c HOST: node135.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.20/0.81 c (0,0) Parsing End
1.20/0.82 c (0,0) CSP: 16 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 4
1.20/0.82 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.20/0.82 c (0,0) Constraint Name Generate Begin
1.20/0.82 c (0,0) Ctr:HOME/instance-4305728-1534075301.xml,ExtensionConflict:ExtensionSupport:IntVar
1.20/0.82 c (0,0) Constraint Name Generate End
1.20/0.82 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.20/0.82 c (0,0) CSP to CSPinCNF Begin
1.33/0.99 c (0,0) translated 3 (10%) constraints
1.54/1.02 c (0,0) translated 6 (20%) constraints
1.54/1.09 c (0,0) translated 9 (30%) constraints
1.54/1.10 c (0,0) translated 11 (40%) constraints
1.72/1.12 c (0,0) translated 14 (50%) constraints
1.72/1.13 c (0,0) translated 17 (60%) constraints
1.72/1.14 c (0,0) translated 19 (70%) constraints
1.72/1.15 c (0,0) translated 22 (80%) constraints
1.72/1.16 c (0,0) translated 25 (90%) constraints
1.72/1.16 c (0,0) translated 27 (100%) constraints
1.72/1.19 c (0,0) STATISTICS1:HOME/instance-4305728-1534075301.xml,ExtensionConflict:ExtensionSupport:IntVar,28,132,-1,4,5,1,,4:354;2:54,5:3;4:63;3:12;2:54,1:408;0:3,
1.72/1.19 c (0,0) ==========================================
1.72/1.19 c (0,0) Both Encoding selects:
1.72/1.19 c (0,0) Order
1.72/1.19 c (0,0) ==========================================
1.94/1.20 c (0,0) translated 14 (10%) constraints
1.94/1.20 c (0,0) translated 27 (20%) constraints
1.94/1.21 c (0,0) translated 40 (30%) constraints
1.94/1.21 c (0,0) translated 53 (40%) constraints
1.94/1.21 c (0,0) translated 66 (50%) constraints
1.94/1.22 c (0,0) translated 80 (60%) constraints
1.94/1.22 c (0,0) translated 93 (70%) constraints
1.94/1.22 c (0,0) translated 106 (80%) constraints
1.94/1.23 c (0,0) translated 119 (90%) constraints
1.94/1.23 c (0,0) translated 132 (100%) constraints
1.94/1.23 c (0,0) CSP to CSPinCNF End
1.94/1.23 c (0,0) CSP: 16 int (0 aux), 12 bool (12 aux), 132 ctr, max domain size 4
1.94/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
1.94/1.23 c (0,0) CSPinCNF Propagation Begin
1.94/1.26 c (0,0) 0 values, 51 unsatisfiable literals, and 0 valid clauses are removed
1.94/1.26 c (0,0) CSPinCNF Propagation End
1.94/1.26 c (0,0) CSP: 16 int (0 aux), 12 bool (12 aux), 132 ctr, max domain size 4
1.94/1.26 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
1.94/1.26 c (0,0) Simplify CSPinCNF Begin
1.94/1.26 c (0,0) Simplify CSPinCNF End
1.94/1.26 c (0,0) CSP: 16 int (0 aux), 12 bool (12 aux), 132 ctr, max domain size 4
1.94/1.26 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
1.94/1.26 c (0,0) Calculate Precise Domain Begin
1.94/1.26 c (0,0) 0 values are removed by re-calculation
1.94/1.26 c (0,0) Calculate Precise Domain End
1.94/1.26 c (0,0) CSP: 16 int (0 aux), 12 bool (12 aux), 132 ctr, max domain size 4
1.94/1.26 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
1.94/1.26 c (0,0) CSPinCNF to SatSolver Begin
1.94/1.29 c (0,0) 14 (10 %) CSP clauses are encoded (60 SAT variables, 45 SAT clauses)
1.94/1.29 c (0,0) 27 (20 %) CSP clauses are encoded (60 SAT variables, 58 SAT clauses)
1.94/1.29 c (0,0) 40 (30 %) CSP clauses are encoded (60 SAT variables, 71 SAT clauses)
1.94/1.29 c (0,0) 53 (40 %) CSP clauses are encoded (60 SAT variables, 84 SAT clauses)
1.94/1.29 c (0,0) 66 (50 %) CSP clauses are encoded (60 SAT variables, 97 SAT clauses)
1.94/1.29 c (0,0) 80 (60 %) CSP clauses are encoded (60 SAT variables, 111 SAT clauses)
1.94/1.29 c (0,0) 93 (70 %) CSP clauses are encoded (60 SAT variables, 124 SAT clauses)
2.18/1.30 c (0,0) 106 (80 %) CSP clauses are encoded (60 SAT variables, 137 SAT clauses)
2.18/1.30 c (0,0) 119 (90 %) CSP clauses are encoded (60 SAT variables, 150 SAT clauses)
2.18/1.30 c (0,0) 132 (100 %) CSP clauses are encoded (60 SAT variables, 163 SAT clauses)
2.18/1.30 c (0,0) Launch Command will be: minisat_release
2.18/1.30 c (0,0) CSPinCNF to SatSolver End
2.18/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.18/1.31 c (0,0) STATISTICS2:HOME/instance-4305728-1534075301.xml,ExtensionConflict:ExtensionSupport:IntVar,28,132,-1,4,4,1,,4:306;2:54,4:42;3:12;2:78,1:360,
2.18/1.31 c (0,0) 60 bool, 164 clause
2.18/1.31 c (0,0) Export Begin
2.18/1.39 c (0,0) Export to HOME/scop-23951-serial-file.bin
2.18/1.39 c (0,0) Export End
2.18/1.39 c (0,0) Export File Size: 0.01 MB
2.18/1.39 c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.18/1.39 c END-Prog: Sun Aug 12 14:01:42 CEST 2018
2.18/1.40 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23951-serial-file.bin
2.34/1.89 c (0,0) Read Serial File Begin
2.34/1.89 c (0,0) HOME/scop-23951-serial-file.bin
3.16/2.05 c (0,0) Read Serial File End
3.16/2.07
3.16/2.07 scop order+minisat_release (2018-07-31)
3.16/2.07 (Solving Process)
3.16/2.07
3.16/2.09 c BEGIN-Prog: Sun Aug 12 14:01:43 CEST 2018
3.16/2.09 c PID: 23969
3.16/2.09 c IP: 172.20.3.135
3.16/2.09 c HOST: node135.alineos.net
3.16/2.09 c (0,0) SatSolver.solve Begin
3.16/2.09 c (0,0) 0 bool, 0 clause
3.16/2.09 c (0,0) minisat_release HOME/instance-4305728-1534075301.xml-scop-23954.cnf
3.35/2.12 c (0,0) c This is COMiniSatPS.
3.35/2.12 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.35/2.12 c (0,0) c ============================[ Problem Statistics ]=============================
3.35/2.12 c (0,0) c | |
3.35/2.12 c (0,0) c | Number of variables: 60 |
3.35/2.12 c (0,0) c | Number of clauses: 164 |
3.35/2.12 c (0,0) c | Parse time: 0.00 s |
3.35/2.12 c (0,0) c | Eliminated clauses: 0.00 Mb |
3.35/2.12 c (0,0) c | Simplification time: 0.00 s |
3.35/2.12 c (0,0) c | |
3.35/2.12 c (0,0) c ===============================================================================
3.35/2.12 c (0,0) c Solved by simplification
3.35/2.12 c (0,0) c restarts : 0
3.35/2.12 c (0,0) c conflicts : 0 (0 /sec)
3.35/2.12 c (0,0) c decisions : 0 (-nan % random) (0 /sec)
3.35/2.12 c (0,0) c propagations : 9 (7475 /sec)
3.35/2.12 c (0,0) c conflict literals : 0 (-nan % deleted)
3.35/2.12 c (0,0) c CPU time : 0.001204 s
3.35/2.12 c (0,0)
3.35/2.12 c (0,0) s UNSATISFIABLE
3.35/2.16 c (0,0) SatSolver.solve End
3.35/2.16 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.35/2.16 c (0,0) Show results Begin
3.35/2.16 s UNSATISFIABLE
3.35/2.16 c (0,0) Show results End
3.35/2.16 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.35/2.17 c (0,0) 0,0,STOP-AFTER(ALL)
3.35/2.17 c END-Prog: Sun Aug 12 14:01:43 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 (6945 MiB free)
memory of node 1: 16384 MiB (4572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305728-1534075301/watcher-4305728-1534075301 -o /tmp/evaluation-result-4305728-1534075301/solver-4305728-1534075301 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305728-1534075301.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23951, runsolver pid=23948
[startup+0.100098 s]*
/proc/loadavg: 2.39 2.22 2.12 4/227 23968
/proc/meminfo: memFree=11734928/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225093265 115843072 349 33554432000 4194304 5098028 140722857318208 140722857315464 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 349 296 221 0 87 0
[pid=23954] ppid=23951 vsize=15012476 memory=72332 CPUtime=0.12 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23951 23951 19383 0 -1 1077944320 6697 0 0 0 10 2 0 0 20 0 15 0 225093266 15372775424 18083 33554432000 4194304 4196468 140733657633792 140733657616336 140579885100791 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
/proc/23954/statm: 3753119 18083 2772 1 0 3715579 0
[pid=23954/tid=23955] ppid=23951 vsize=15012476 memory=-6078870780940435391 CPUtime=0.08 cores=0,2,4,6
/proc/23954/task/23955/stat : 23955 (java) R 23951 23951 19383 0 -1 4202560 4792 0 0 0 7 1 0 0 20 0 15 0 225093266 15372775424 18083 33554432000 4194304 4196468 140733657633792 140579856912776 140579864705062 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23956] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 18083 33554432000 4194304 4196468 140733657633792 140579889343376 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23957] ppid=23951 vsize=15012476 memory=140468709889664 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 18083 33554432000 4194304 4196468 140733657633792 140579345529616 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23958] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 18083 33554432000 4194304 4196468 140733657633792 140579344477328 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23959] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 18083 33554432000 4194304 4196468 140733657633792 140579343424528 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23960] ppid=23951 vsize=15012476 memory=140468709889664 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093269 15372775424 18083 33554432000 4194304 4196468 140733657633792 140578922645616 140579885111938 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23961] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23951 23951 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225093270 15372775424 18083 33554432000 4194304 4196468 140733657633792 140578440340256 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23962] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093270 15372775424 18083 33554432000 4194304 4196468 140733657633792 140578171905136 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23963] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093272 15372775424 18083 33554432000 4194304 4196468 140733657633792 140577797396560 140579885119387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23964] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23951 23951 19383 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 225093272 15372775424 18083 33554432000 4194304 4196468 140733657633792 140578921593456 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23965] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093272 15372775424 18083 33554432000 4194304 4196468 140733657633792 140578920540656 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23966] ppid=23951 vsize=15012476 memory=140468709889664 CPUtime=0.01 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) R 23951 23951 19383 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 225093272 15372775424 18083 33554432000 4194304 4196468 140733657633792 140578919488368 140579864118643 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23967] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093273 15372775424 18083 33554432000 4194304 4196468 140733657633792 140577299491808 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23968] ppid=23951 vsize=15012476 memory=140468709889664 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093273 15372775424 18083 33554432000 4194304 4196468 140733657633792 140578918435248 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73728 KiB
[startup+0.211084 s]*
/proc/loadavg: 2.39 2.22 2.12 3/227 23968
/proc/meminfo: memFree=11720844/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225093265 115843072 349 33554432000 4194304 5098028 140722857318208 140722857315464 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 349 296 221 0 87 0
[pid=23954] ppid=23951 vsize=15012476 memory=85684 CPUtime=0.25 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23951 23951 19383 0 -1 1077944320 10312 0 0 0 22 3 0 0 20 0 15 0 225093266 15372775424 21421 33554432000 4194304 4196468 140733657633792 140733657616336 140579885100791 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
/proc/23954/statm: 3753119 21421 2906 1 0 3715579 0
[pid=23954/tid=23955] ppid=23951 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/23954/task/23955/stat : 23955 (java) R 23951 23951 19383 0 -1 4202560 8225 0 0 0 17 2 0 0 20 0 15 0 225093266 15372775424 21421 33554432000 4194304 4196468 140733657633792 140579856927184 140579869181278 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23956] ppid=23951 vsize=15012476 memory=550 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 21421 33554432000 4194304 4196468 140733657633792 140579889343376 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23957] ppid=23951 vsize=15012476 memory=140468709909531 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 21421 33554432000 4194304 4196468 140733657633792 140579345529616 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23958] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 21421 33554432000 4194304 4196468 140733657633792 140579344477328 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23959] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 21421 33554432000 4194304 4196468 140733657633792 140579343424528 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23960] ppid=23951 vsize=15012476 memory=140468709889664 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093269 15372775424 21421 33554432000 4194304 4196468 140733657633792 140578922645616 140579885111938 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23961] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23951 23951 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225093270 15372775424 21421 33554432000 4194304 4196468 140733657633792 140578440340256 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23962] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093270 15372775424 21421 33554432000 4194304 4196468 140733657633792 140578171905136 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23963] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093272 15372775424 21421 33554432000 4194304 4196468 140733657633792 140577797396560 140579885119387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23964] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23951 23951 19383 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 225093272 15372775424 21421 33554432000 4194304 4196468 140733657633792 140578921593456 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23965] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23951 23951 19383 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225093272 15372775424 21421 33554432000 4194304 4196468 140733657633792 140578920540656 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23966] ppid=23951 vsize=15012476 memory=140468709889664 CPUtime=0.03 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23951 23951 19383 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 225093272 15372775424 21421 33554432000 4194304 4196468 140733657633792 140578919488368 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23967] ppid=23951 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093273 15372775424 21421 33554432000 4194304 4196468 140733657633792 140577299491808 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23968] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093273 15372775424 21421 33554432000 4194304 4196468 140733657633792 140578918435248 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87080 KiB
[startup+0.310999 s]*
/proc/loadavg: 2.39 2.22 2.12 3/227 23968
/proc/meminfo: memFree=11716936/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225093265 115843072 349 33554432000 4194304 5098028 140722857318208 140722857315464 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 349 296 221 0 87 0
[pid=23954] ppid=23951 vsize=15012476 memory=89884 CPUtime=0.43 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23951 23951 19383 0 -1 1077944320 10928 0 0 0 39 4 0 0 20 0 15 0 225093266 15372775424 22471 33554432000 4194304 4196468 140733657633792 140733657616336 140579885100791 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
/proc/23954/statm: 3753119 22471 3016 1 0 3715579 0
[pid=23954/tid=23955] ppid=23951 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23954/task/23955/stat : 23955 (java) R 23951 23951 19383 0 -1 4202560 8660 0 0 0 27 3 0 0 20 0 15 0 225093266 15372775424 22471 33554432000 4194304 4196468 140733657633792 140579856896240 140579869181278 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23956] ppid=23951 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 22471 33554432000 4194304 4196468 140733657633792 140579889343376 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23957] ppid=23951 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 22471 33554432000 4194304 4196468 140733657633792 140579345529616 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23958] ppid=23951 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 22471 33554432000 4194304 4196468 140733657633792 140579344477328 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23959] ppid=23951 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15372775424 22471 33554432000 4194304 4196468 140733657633792 140579343424528 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23960] ppid=23951 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093269 15372775424 22471 33554432000 4194304 4196468 140733657633792 140578922645616 140579885111938 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23961] ppid=23951 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23951 23951 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225093270 15372775424 22471 33554432000 4194304 4196468 140733657633792 140578440340256 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23962] ppid=23951 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093270 15372775424 22471 33554432000 4194304 4196468 140733657633792 140578171905136 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23963] ppid=23951 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093272 15372775424 22471 33554432000 4194304 4196468 140733657633792 140577797396560 140579885119387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23964] ppid=23951 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23951 23951 19383 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 15 0 225093272 15372775424 22471 33554432000 4194304 4196468 140733657633792 140578921593456 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23965] ppid=23951 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23951 23951 19383 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 15 0 225093272 15372775424 22471 33554432000 4194304 4196468 140733657633792 140578920540656 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23966] ppid=23951 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23951 23951 19383 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 15 0 225093272 15372775424 22471 33554432000 4194304 4196468 140733657633792 140578919488368 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23967] ppid=23951 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093273 15372775424 22471 33554432000 4194304 4196468 140733657633792 140577299491808 140579885110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23968] ppid=23951 vsize=15012476 memory=4121417289171017777 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093273 15372775424 22471 33554432000 4194304 4196468 140733657633792 140578918435248 140579885111938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91280 KiB
[startup+0.700842 s]
/proc/loadavg: 2.39 2.22 2.12 4/227 23968
/proc/meminfo: memFree=11693124/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225093265 115843072 349 33554432000 4194304 5098028 140722857318208 140722857315464 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 349 296 221 0 87 0
[pid=23954] ppid=23951 vsize=15020872 memory=129716 CPUtime=1 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23951 23951 19383 0 -1 1077944320 18059 0 0 0 94 6 0 0 20 0 15 0 225093266 15381372928 32429 33554432000 4194304 4196468 140733657633792 140733657616336 140579885100791 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
/proc/23954/statm: 3755218 32429 3145 1 0 3716603 0
[pid=23954/tid=23955] ppid=23951 vsize=15020872 memory=61212 CPUtime=0.67 cores=0,2,4,6
/proc/23954/task/23955/stat : 23955 (java) R 23951 23951 19383 0 -1 4202560 15430 0 0 0 62 5 0 0 20 0 15 0 225093266 15381372928 32429 33554432000 4194304 4196468 140733657633792 140579856929408 140579869144421 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23956] ppid=23951 vsize=15020872 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15381372928 32429 33554432000 4194304 4196468 140733657633792 140579889343376 140579885110997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23957] ppid=23951 vsize=15020872 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15381372928 32429 33554432000 4194304 4196468 140733657633792 140579345529616 140579885110997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23958] ppid=23951 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093268 15381372928 32429 33554432000 4194304 4196468 140733657633792 140579344477328 140579885110997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23959] ppid=23951 vsize=15020872 memory=792 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093268 15381372928 32429 33554432000 4194304 4196468 140733657633792 140579343424528 140579885110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23960] ppid=23951 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23951 23951 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225093269 15381372928 32429 33554432000 4194304 4196468 140733657633792 140578922645616 140579885111938 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23961] ppid=23951 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23951 23951 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225093270 15381372928 32429 33554432000 4194304 4196468 140733657633792 140578440340256 140579885110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23962] ppid=23951 vsize=15020872 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093270 15381372928 32429 33554432000 4194304 4196468 140733657633792 140578171905136 140579885110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23963] ppid=23951 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093272 15381372928 32429 33554432000 4194304 4196468 140733657633792 140577797396560 140579885119387 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23964] ppid=23951 vsize=15020872 memory=1160 CPUtime=0.08 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23951 23951 19383 0 -1 1077944384 619 0 0 0 8 0 0 0 20 0 15 0 225093272 15381372928 32429 33554432000 4194304 4196468 140733657633792 140578921593456 140579885111938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23965] ppid=23951 vsize=15020872 memory=968 CPUtime=0.07 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) R 23951 23951 19383 0 -1 4202560 280 0 0 0 7 0 0 0 20 0 15 0 225093272 15381372928 32429 33554432000 4194304 4196468 140733657633792 140578920531024 140579870025078 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23966] ppid=23951 vsize=15020872 memory=12144 CPUtime=0.15 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23951 23951 19383 0 -1 1077944384 396 0 0 0 15 0 0 0 20 0 15 0 225093272 15381372928 32429 33554432000 4194304 4196468 140733657633792 140578919488368 140579885111938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23967] ppid=23951 vsize=15020872 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093273 15381372928 32429 33554432000 4194304 4196468 140733657633792 140577299491808 140579885110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
[pid=23954/tid=23968] ppid=23951 vsize=15020872 memory=8812 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093273 15381372928 32429 33554432000 4194304 4196468 140733657633792 140578918435248 140579885111938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12214272 140733657637895 140733657638193 140733657638193 140733657640911 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131112 KiB
[startup+1.5004 s]
/proc/loadavg: 2.39 2.22 2.12 5/227 23968
/proc/meminfo: memFree=11664216/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1472 CPUtime=2.34 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 591 22452 0 0 0 0 224 10 20 0 1 0 225093265 115843072 368 33554432000 4194304 5098028 140722857318208 140722857314952 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.17746 s]
# the end of solver process 23951 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.3208 s, system=0.172091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60029 s]
/proc/loadavg: 2.39 2.22 2.12 5/227 23968
/proc/meminfo: memFree=11664216/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1472 CPUtime=2.34 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 591 22452 0 0 0 0 224 10 20 0 1 0 225093265 115843072 368 33554432000 4194304 5098028 140722857318208 140722857314952 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.00036 s]*
/proc/loadavg: 2.39 2.22 2.12 3/227 23983
/proc/meminfo: memFree=11711132/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1472 CPUtime=2.34 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 591 22452 0 0 0 0 224 10 20 0 1 0 225093265 115843072 368 33554432000 4194304 5098028 140722857318208 140722857314952 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 368 311 221 0 87 0
[pid=23969] ppid=23951 vsize=7406384 memory=96056 CPUtime=0.82 cores=0,2,4,6
/proc/23969/stat : 23969 (java) S 23951 23951 19383 0 -1 1077944320 17299 0 0 0 77 5 0 0 20 0 15 0 225093405 7584137216 24014 33554432000 4194304 4196468 140721742949360 140721742931904 139976440180471 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
/proc/23969/statm: 1851596 24014 3041 1 0 1813530 0
[pid=23969/tid=23970] ppid=23951 vsize=7406384 memory=6791534058613427641 CPUtime=0.59 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (java) R 23951 23951 19383 0 -1 4202560 14659 0 0 0 55 4 0 0 20 0 15 0 225093406 7584137216 24014 33554432000 4194304 4196468 140721742949360 139976412014816 139976440202397 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23971] ppid=23951 vsize=7406384 memory=792 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093407 7584137216 24014 33554432000 4194304 4196468 140721742949360 139976444423184 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23972] ppid=23951 vsize=7406384 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093407 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975924812944 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23973] ppid=23951 vsize=7406384 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23973/stat : 23973 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093407 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975923759888 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23974] ppid=23951 vsize=7406384 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23974/stat : 23974 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093407 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975922707344 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23975] ppid=23951 vsize=7406384 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23975/stat : 23975 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093408 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975886608624 139976440191618 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23976] ppid=23951 vsize=7406384 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23976/stat : 23976 (java) S 23951 23951 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225093409 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975400088736 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23977] ppid=23951 vsize=7406384 memory=968 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23977/stat : 23977 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093409 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975131652848 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23978] ppid=23951 vsize=7406384 memory=12144 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23978/stat : 23978 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093411 7584137216 24014 33554432000 4194304 4196468 140721742949360 139974757144528 139976440199067 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23979] ppid=23951 vsize=7406384 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23969/task/23979/stat : 23979 (java) S 23951 23951 19383 0 -1 1077944384 456 0 0 0 5 0 0 0 20 0 15 0 225093411 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975885556464 139976440191618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23980] ppid=23951 vsize=7406384 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23969/task/23980/stat : 23980 (java) S 23951 23951 19383 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 15 0 225093411 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975884503920 139976440191618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23981] ppid=23951 vsize=7406384 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23969/task/23981/stat : 23981 (java) R 23951 23951 19383 0 -1 4202560 623 0 0 0 13 0 0 0 20 0 15 0 225093411 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975883450864 139976433277307 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23982] ppid=23951 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23982/stat : 23982 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093412 7584137216 24014 33554432000 4194304 4196468 140721742949360 139974259239776 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23983] ppid=23951 vsize=7406384 memory=3539888917856924728 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23983/stat : 23983 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093412 7584137216 24014 33554432000 4194304 4196468 140721742949360 139975882398256 139976440191618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 97528 KiB
[startup+2.11611 s]
/proc/loadavg: 2.39 2.22 2.12 3/227 23983
/proc/meminfo: memFree=11711132/32770624 swapFree=67108860/67108860
[pid=23951] ppid=23948 vsize=113128 memory=1472 CPUtime=2.34 cores=0,2,4,6
/proc/23951/stat : 23951 (scop.sh) S 23948 23951 19383 0 -1 4202496 591 22452 0 0 0 0 224 10 20 0 1 0 225093265 115843072 368 33554432000 4194304 5098028 140722857318208 140722857314952 140490865463932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20754432 140722857325633 140722857325831 140722857325831 140722857328589 0
/proc/23951/statm: 28282 368 311 221 0 87 0
[pid=23969] ppid=23951 vsize=7410572 memory=104280 CPUtime=1.01 cores=0,2,4,6
/proc/23969/stat : 23969 (java) S 23951 23951 19383 0 -1 1077944320 18331 0 0 0 96 5 0 0 20 0 15 0 225093405 7588425728 26070 33554432000 4194304 4196468 140721742949360 140721742931904 139976440180471 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
/proc/23969/statm: 1852643 26070 3140 1 0 1814042 0
[pid=23969/tid=23970] ppid=23951 vsize=7410572 memory=7733050341046899541 CPUtime=0.69 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (java) R 23951 23951 19383 0 -1 4202560 15325 0 0 0 65 4 0 0 20 0 15 0 225093406 7588425728 26070 33554432000 4194304 4196468 140721742949360 139976412002328 139976440202397 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23971] ppid=23951 vsize=7410572 memory=-7103146973613356224 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093407 7588425728 26070 33554432000 4194304 4196468 140721742949360 139976444423184 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23972] ppid=23951 vsize=7410572 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093407 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975924812944 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23973] ppid=23951 vsize=7410572 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23973/stat : 23973 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093407 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975923759888 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23974] ppid=23951 vsize=7410572 memory=-7533229591096565664 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23974/stat : 23974 (java) S 23951 23951 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225093407 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975922707344 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23975] ppid=23951 vsize=7410572 memory=-7595718316222733696 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23975/stat : 23975 (java) S 23951 23951 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225093408 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975886608624 139976440191618 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23976] ppid=23951 vsize=7410572 memory=8187704045996132563 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23976/stat : 23976 (java) S 23951 23951 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225093409 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975400088736 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23977] ppid=23951 vsize=7410572 memory=-7751062316387021378 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23977/stat : 23977 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093409 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975131652848 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23978] ppid=23951 vsize=7410572 memory=6944656592452807316 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23978/stat : 23978 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093411 7588425728 26070 33554432000 4194304 4196468 140721742949360 139974757144528 139976440199067 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23979] ppid=23951 vsize=7410572 memory=-7518891959079781826 CPUtime=0.07 cores=0,2,4,6
/proc/23969/task/23979/stat : 23979 (java) R 23951 23951 19383 0 -1 4202560 539 0 0 0 7 0 0 0 20 0 15 0 225093411 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975885542560 139976423567259 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23980] ppid=23951 vsize=7410572 memory=288230574492221466 CPUtime=0.06 cores=0,2,4,6
/proc/23969/task/23980/stat : 23980 (java) R 23951 23951 19383 0 -1 4202560 424 0 0 0 6 0 0 0 20 0 15 0 225093411 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975884484936 139976421701593 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23981] ppid=23951 vsize=7410572 memory=288230596050944315 CPUtime=0.17 cores=0,2,4,6
/proc/23969/task/23981/stat : 23981 (java) R 23951 23951 19383 0 -1 4202560 713 0 0 0 17 0 0 0 20 0 15 0 225093411 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975883450864 139976433277323 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23982] ppid=23951 vsize=7410572 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23982/stat : 23982 (java) S 23951 23951 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225093412 7588425728 26070 33554432000 4194304 4196468 140721742949360 139974259239776 139976440190677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
[pid=23969/tid=23983] ppid=23951 vsize=7410572 memory=140468583277056 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23983/stat : 23983 (java) S 23951 23951 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225093412 7588425728 26070 33554432000 4194304 4196468 140721742949360 139975882398256 139976440191618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37797888 140721742951605 140721742951729 140721742951729 140721742954447 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 105752 KiB
Child status: 0
Real time (s): 2.17752
CPU time (s): 3.49289
CPU user time (s): 3.3208
CPU system time (s): 0.172091
CPU usage (%): 160.407
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 161432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.3208
system time used= 0.172091
maximum resident set size= 168816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4209
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 23951
# total CPU time (s): 3.49289
# total CPU user time (s): 3.3208
# total CPU system time (s): 0.172091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043927 second user time and 0.065077 second system time
The end