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-23460-serial-file.bin HOME/instance-4305600-1534075284.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:25 CEST 2018
0.66/0.55 c PID: 23463
0.66/0.55 c IP: 172.20.3.135
0.66/0.55 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.40/0.99 c (0,0) Parsing End
1.40/1.00 c (0,0) CSP: 0 int (0 aux), 300 bool (0 aux), 200 ctr, max domain size 2
1.40/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/1.00 c (0,0) Constraint Name Generate Begin
1.40/1.00 c (0,0) Ctr:HOME/instance-4305600-1534075284.xml,ExtensionSupport:IntVar
1.40/1.00 c (0,0) Constraint Name Generate End
1.40/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/1.00 c (0,0) CSP to CSPinCNF Begin
2.16/1.35 c (0,0) translated 20 (10%) constraints
2.44/1.44 c (0,0) translated 40 (20%) constraints
2.76/1.50 c (0,0) translated 60 (30%) constraints
2.76/1.55 c (1,1) translated 80 (40%) constraints
2.76/1.59 c (1,1) translated 100 (50%) constraints
3.05/1.62 c (1,1) translated 120 (60%) constraints
3.05/1.66 c (1,1) translated 140 (70%) constraints
3.05/1.69 c (1,1) translated 160 (80%) constraints
3.36/1.72 c (1,1) translated 180 (90%) constraints
3.36/1.75 c (1,1) translated 200 (100%) constraints
3.70/1.81 c (1,1) STATISTICS1:HOME/instance-4305600-1534075284.xml,ExtensionSupport:IntVar,1100,3800,-1,2,3,1,,2:10000,3:2600;2:1200,1:10000;0:200,
3.70/1.81 c (1,1) ==========================================
3.70/1.81 c (1,1) Both Encoding selects:
3.70/1.81 c (1,1) Order
3.70/1.81 c (1,1) ==========================================
3.70/1.85 c (1,1) translated 380 (10%) constraints
3.70/1.87 c (1,1) translated 760 (20%) constraints
3.70/1.89 c (1,1) translated 1140 (30%) constraints
4.06/1.91 c (1,1) translated 1520 (40%) constraints
4.06/1.92 c (1,1) translated 1900 (50%) constraints
4.06/1.93 c (1,1) translated 2280 (60%) constraints
4.06/1.94 c (1,1) translated 2660 (70%) constraints
4.06/1.95 c (1,1) translated 3040 (80%) constraints
4.06/1.96 c (1,1) translated 3420 (90%) constraints
4.06/1.98 c (1,1) translated 3800 (100%) constraints
4.06/1.98 c (1,1) CSP to CSPinCNF End
4.06/1.98 c (1,1) CSP: 0 int (0 aux), 1100 bool (800 aux), 3800 ctr, max domain size 2
4.06/1.98 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.06/1.98 c (1,1) CSPinCNF Propagation Begin
4.41/2.06 c (1,1) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
4.41/2.06 c (1,1) CSPinCNF Propagation End
4.41/2.06 c (1,1) CSP: 0 int (0 aux), 1100 bool (800 aux), 3800 ctr, max domain size 2
4.41/2.06 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.41/2.06 c (1,1) Simplify CSPinCNF Begin
4.41/2.08 c (1,1) Simplify CSPinCNF End
4.41/2.08 c (1,1) CSP: 0 int (0 aux), 1100 bool (800 aux), 3800 ctr, max domain size 2
4.41/2.08 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.41/2.08 c (1,1) Calculate Precise Domain Begin
4.41/2.08 c (1,1) 0 values are removed by re-calculation
4.41/2.08 c (1,1) Calculate Precise Domain End
4.41/2.08 c (1,1) CSP: 0 int (0 aux), 1100 bool (800 aux), 3800 ctr, max domain size 2
4.41/2.08 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.41/2.08 c (1,1) CSPinCNF to SatSolver Begin
4.75/2.13 c (1,1) 380 (10 %) CSP clauses are encoded (1100 SAT variables, 379 SAT clauses)
4.75/2.15 c (1,1) 760 (20 %) CSP clauses are encoded (1100 SAT variables, 759 SAT clauses)
4.75/2.15 c (1,1) 1140 (30 %) CSP clauses are encoded (1100 SAT variables, 1139 SAT clauses)
4.75/2.16 c (1,1) 1520 (40 %) CSP clauses are encoded (1100 SAT variables, 1519 SAT clauses)
4.75/2.16 c (1,1) 1900 (50 %) CSP clauses are encoded (1100 SAT variables, 1899 SAT clauses)
4.75/2.17 c (1,1) 2280 (60 %) CSP clauses are encoded (1100 SAT variables, 2279 SAT clauses)
4.75/2.17 c (1,1) 2660 (70 %) CSP clauses are encoded (1100 SAT variables, 2659 SAT clauses)
4.75/2.18 c (1,1) 3040 (80 %) CSP clauses are encoded (1100 SAT variables, 3039 SAT clauses)
4.75/2.19 c (1,1) 3420 (90 %) CSP clauses are encoded (1100 SAT variables, 3419 SAT clauses)
4.75/2.19 c (1,1) 3800 (100 %) CSP clauses are encoded (1100 SAT variables, 3799 SAT clauses)
4.75/2.19 c (1,1) Launch Command will be: minisat_release
4.75/2.19 c (1,1) CSPinCNF to SatSolver End
4.75/2.19 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.03/2.22 c (1,1) STATISTICS2:HOME/instance-4305600-1534075284.xml,ExtensionSupport:IntVar,1100,3800,-1,2,3,1,,2:10000,3:2400;2:1400,1:10000,
5.03/2.22 c (1,1) 1100 bool, 3800 clause
5.03/2.22 c (1,1) Export Begin
5.38/2.33 c (1,1) Export to HOME/scop-23460-serial-file.bin
5.38/2.33 c (1,1) Export End
5.38/2.33 c (1,1) Export File Size: 0.06 MB
5.38/2.33 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.38/2.33 c END-Prog: Sun Aug 12 14:01:26 CEST 2018
5.38/2.35 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23460-serial-file.bin
5.47/2.84 c (0,0) Read Serial File Begin
5.47/2.84 c (0,0) HOME/scop-23460-serial-file.bin
6.41/3.04 c (0,0) Read Serial File End
6.41/3.05
6.41/3.05 scop order+minisat_release (2018-07-31)
6.41/3.05 (Solving Process)
6.41/3.05
6.41/3.07 c BEGIN-Prog: Sun Aug 12 14:01:27 CEST 2018
6.41/3.07 c PID: 23478
6.41/3.07 c IP: 172.20.3.135
6.41/3.07 c HOST: node135.alineos.net
6.41/3.08 c (0,0) SatSolver.solve Begin
6.41/3.08 c (0,0) 0 bool, 0 clause
6.41/3.08 c (0,0) minisat_release HOME/instance-4305600-1534075284.xml-scop-23463.cnf
6.67/3.11 c (0,0) c This is COMiniSatPS.
6.67/3.11 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.67/3.11 c (0,0) c ============================[ Problem Statistics ]=============================
6.67/3.11 c (0,0) c | |
6.67/3.11 c (0,0) c | Number of variables: 1100 |
6.67/3.11 c (0,0) c | Number of clauses: 3800 |
6.67/3.11 c (0,0) c | Parse time: 0.00 s |
6.67/3.11 c (0,0) c | Eliminated clauses: 0.04 Mb |
6.67/3.11 c (0,0) c | Simplification time: 0.01 s |
6.67/3.11 c (0,0) c | |
6.67/3.11 c (0,0) c ===============================================================================
6.67/3.11 c (0,0) c Solved by simplification
6.67/3.11 c (0,0) c restarts : 0
6.67/3.11 c (0,0) c conflicts : 0 (0 /sec)
6.67/3.11 c (0,0) c decisions : 0 (-nan % random) (0 /sec)
6.67/3.11 c (0,0) c propagations : 0 (0 /sec)
6.67/3.11 c (0,0) c conflict literals : 0 (-nan % deleted)
6.67/3.11 c (0,0) c CPU time : 0.009653 s
6.67/3.11 c (0,0)
6.67/3.11 c (0,0) s UNSATISFIABLE
6.67/3.15 c (0,0) SatSolver.solve End
6.67/3.15 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.67/3.15 c (0,0) Show results Begin
6.67/3.15 s UNSATISFIABLE
6.67/3.15 c (0,0) Show results End
6.67/3.15 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.67/3.15 c (0,0) 0,0,STOP-AFTER(ALL)
6.67/3.15 c END-Prog: Sun Aug 12 14:01:27 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 (6946 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-4305600-1534075284/watcher-4305600-1534075284 -o /tmp/evaluation-result-4305600-1534075284/solver-4305600-1534075284 -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-4305600-1534075284.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=23460, runsolver pid=23457
[startup+0.100167 s]*
/proc/loadavg: 2.22 2.18 2.11 3/227 23477
/proc/meminfo: memFree=11733812/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091581 115843072 349 33554432000 4194304 5098028 140723918320784 140723918318040 140040288318076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35532800 140723918324801 140723918324999 140723918324999 140723918327757 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15012476 memory=73824 CPUtime=0.11 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 19383 0 -1 1077944320 6022 0 0 0 10 1 0 0 20 0 15 0 225091581 15372775424 18390 33554432000 4194304 4196468 140734892966992 140734892949536 140679382728439 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
/proc/23463/statm: 3753119 18390 2768 1 0 3715579 0
[pid=23463/tid=23464] ppid=23460 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 19383 0 -1 4202560 4146 0 0 0 8 1 0 0 20 0 15 0 225091581 15372775424 18456 33554432000 4194304 4196468 140734892966992 140679354540424 140679363004160 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23465] ppid=23460 vsize=15012476 memory=3472468629518014128 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 18456 33554432000 4194304 4196468 140734892966992 140679386970384 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23466] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 18456 33554432000 4194304 4196468 140734892966992 140679178054032 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23467] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 18456 33554432000 4194304 4196468 140734892966992 140679177001488 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23468] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 18456 33554432000 4194304 4196468 140734892966992 140679175948944 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23469] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091584 15372775424 18456 33554432000 4194304 4196468 140734892966992 140678721898992 140679382739586 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23470] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091585 15372775424 18522 33554432000 4194304 4196468 140734892966992 140678029895072 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23471] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091585 15372775424 18522 33554432000 4194304 4196468 140734892966992 140677761459696 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23472] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091587 15372775424 18522 33554432000 4194304 4196468 140734892966992 140677386951376 140679382747035 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23473] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) S 23460 23460 19383 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 225091587 15372775424 18522 33554432000 4194304 4196468 140734892966992 140678720845808 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23474] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) S 23460 23460 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091587 15372775424 18522 33554432000 4194304 4196468 140734892966992 140678719793264 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23475] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0.01 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) S 23460 23460 19383 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 225091587 15372775424 18522 33554432000 4194304 4196468 140734892966992 140678718740720 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23476] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091588 15372775424 18522 33554432000 4194304 4196468 140734892966992 140676889045600 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23477] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091588 15372775424 18522 33554432000 4194304 4196468 140734892966992 140678717688624 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75220 KiB
[startup+0.21103 s]*
/proc/loadavg: 2.22 2.18 2.11 3/227 23477
/proc/meminfo: memFree=11720908/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091581 115843072 349 33554432000 4194304 5098028 140723918320784 140723918318040 140040288318076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35532800 140723918324801 140723918324999 140723918324999 140723918327757 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15012476 memory=86612 CPUtime=0.25 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 19383 0 -1 1077944320 9498 0 0 0 23 2 0 0 20 0 15 0 225091581 15372775424 21653 33554432000 4194304 4196468 140734892966992 140734892949536 140679382728439 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
/proc/23463/statm: 3753119 21653 2873 1 0 3715579 0
[pid=23463/tid=23464] ppid=23460 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 19383 0 -1 4202560 7397 0 0 0 18 2 0 0 20 0 15 0 225091581 15372775424 21653 33554432000 4194304 4196468 140734892966992 140679354517040 140679382740374 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23465] ppid=23460 vsize=15012476 memory=3472468629518014128 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 21653 33554432000 4194304 4196468 140734892966992 140679386970384 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23466] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 21653 33554432000 4194304 4196468 140734892966992 140679178054032 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23467] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 21653 33554432000 4194304 4196468 140734892966992 140679177001488 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23468] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 21653 33554432000 4194304 4196468 140734892966992 140679175948944 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23469] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091584 15372775424 21653 33554432000 4194304 4196468 140734892966992 140678721898992 140679382739586 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23470] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091585 15372775424 21653 33554432000 4194304 4196468 140734892966992 140678029895072 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23471] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091585 15372775424 21653 33554432000 4194304 4196468 140734892966992 140677761459696 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23472] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091587 15372775424 21653 33554432000 4194304 4196468 140734892966992 140677386951376 140679382747035 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23473] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) S 23460 23460 19383 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 225091587 15372775424 21653 33554432000 4194304 4196468 140734892966992 140678720845808 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23474] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) S 23460 23460 19383 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 225091587 15372775424 21653 33554432000 4194304 4196468 140734892966992 140678719793264 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23475] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0.03 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) R 23460 23460 19383 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 225091587 15372775424 21653 33554432000 4194304 4196468 140734892966992 140678718740720 140679382740374 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23476] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091588 15372775424 21653 33554432000 4194304 4196468 140734892966992 140676889045600 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23477] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091588 15372775424 21653 33554432000 4194304 4196468 140734892966992 140678717688624 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88008 KiB
[startup+0.310925 s]*
/proc/loadavg: 2.22 2.18 2.11 4/227 23477
/proc/meminfo: memFree=11717248/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091581 115843072 349 33554432000 4194304 5098028 140723918320784 140723918318040 140040288318076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35532800 140723918324801 140723918324999 140723918324999 140723918327757 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15012476 memory=90132 CPUtime=0.42 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 19383 0 -1 1077944320 10025 0 0 0 40 2 0 0 20 0 15 0 225091581 15372775424 22533 33554432000 4194304 4196468 140734892966992 140734892949536 140679382728439 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
/proc/23463/statm: 3753119 22533 2974 1 0 3715579 0
[pid=23463/tid=23464] ppid=23460 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 19383 0 -1 4202560 7767 0 0 0 27 2 0 0 20 0 15 0 225091581 15372775424 22533 33554432000 4194304 4196468 140734892966992 140679354524376 140679382750365 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23465] ppid=23460 vsize=15012476 memory=3472468629518014128 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 22533 33554432000 4194304 4196468 140734892966992 140679386970384 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23466] ppid=23460 vsize=15012476 memory=280666447899520 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 22533 33554432000 4194304 4196468 140734892966992 140679178054032 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23467] ppid=23460 vsize=15012476 memory=280666315163680 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 22533 33554432000 4194304 4196468 140734892966992 140679177001488 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23468] ppid=23460 vsize=15012476 memory=140333157565711 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15372775424 22533 33554432000 4194304 4196468 140734892966992 140679175948944 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23469] ppid=23460 vsize=15012476 memory=280666447906432 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091584 15372775424 22533 33554432000 4194304 4196468 140734892966992 140678721898992 140679382739586 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23470] ppid=23460 vsize=15012476 memory=140333157570319 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091585 15372775424 22533 33554432000 4194304 4196468 140734892966992 140678029895072 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23471] ppid=23460 vsize=15012476 memory=140333157595046 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091585 15372775424 22533 33554432000 4194304 4196468 140734892966992 140677761459696 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23472] ppid=23460 vsize=15012476 memory=280666315172896 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091587 15372775424 22533 33554432000 4194304 4196468 140734892966992 140677386951376 140679382747035 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23473] ppid=23460 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) S 23460 23460 19383 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 225091587 15372775424 22533 33554432000 4194304 4196468 140734892966992 140678720845808 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23474] ppid=23460 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) S 23460 23460 19383 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 225091587 15372775424 22533 33554432000 4194304 4196468 140734892966992 140678719793264 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23475] ppid=23460 vsize=15012476 memory=140333290333824 CPUtime=0.07 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) S 23460 23460 19383 0 -1 1077944384 316 0 0 0 7 0 0 0 20 0 15 0 225091587 15372775424 22533 33554432000 4194304 4196468 140734892966992 140678718740720 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23476] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091588 15372775424 22533 33554432000 4194304 4196468 140734892966992 140676889045600 140679382738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23477] ppid=23460 vsize=15012476 memory=140333290335220 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091588 15372775424 22533 33554432000 4194304 4196468 140734892966992 140678717688624 140679382739586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91528 KiB
[startup+0.702049 s]
/proc/loadavg: 2.22 2.18 2.11 4/227 23477
/proc/meminfo: memFree=11693188/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091581 115843072 349 33554432000 4194304 5098028 140723918320784 140723918318040 140040288318076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35532800 140723918324801 140723918324999 140723918324999 140723918327757 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15020872 memory=129640 CPUtime=1 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 19383 0 -1 1077944320 17082 0 0 0 96 4 0 0 20 0 15 0 225091581 15381372928 32410 33554432000 4194304 4196468 140734892966992 140734892949536 140679382728439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
/proc/23463/statm: 3755218 32410 3149 1 0 3716603 0
[pid=23463/tid=23464] ppid=23460 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 19383 0 -1 4202560 14369 0 0 0 63 4 0 0 20 0 15 0 225091581 15381372928 32410 33554432000 4194304 4196468 140734892966992 140679354540704 140679366772069 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23465] ppid=23460 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15381372928 32410 33554432000 4194304 4196468 140734892966992 140679386970384 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23466] ppid=23460 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15381372928 32410 33554432000 4194304 4196468 140734892966992 140679178054032 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23467] ppid=23460 vsize=15020872 memory=7518566443438921826 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15381372928 32410 33554432000 4194304 4196468 140734892966992 140679177001488 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23468] ppid=23460 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15381372928 32410 33554432000 4194304 4196468 140734892966992 140679175948944 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23469] ppid=23460 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091584 15381372928 32410 33554432000 4194304 4196468 140734892966992 140678721898992 140679382739586 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23470] ppid=23460 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091585 15381372928 32410 33554432000 4194304 4196468 140734892966992 140678029895072 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23471] ppid=23460 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091585 15381372928 32410 33554432000 4194304 4196468 140734892966992 140677761459696 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23472] ppid=23460 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091587 15381372928 32410 33554432000 4194304 4196468 140734892966992 140677386951376 140679382747035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23473] ppid=23460 vsize=15020872 memory=12144 CPUtime=0.07 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) R 23460 23460 19383 0 -1 4202560 628 0 0 0 7 0 0 0 20 0 15 0 225091587 15381372928 32410 33554432000 4194304 4196468 140734892966992 140678720833488 140679367836392 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23474] ppid=23460 vsize=15020872 memory=1712 CPUtime=0.08 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) R 23460 23460 19383 0 -1 4202560 298 0 0 0 8 0 0 0 20 0 15 0 225091587 15381372928 32410 33554432000 4194304 4196468 140734892966992 140678719772096 140679382749786 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23475] ppid=23460 vsize=15020872 memory=8812 CPUtime=0.16 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) R 23460 23460 19383 0 -1 1077944384 451 0 0 0 16 0 0 0 20 0 15 0 225091587 15381372928 32410 33554432000 4194304 4196468 140734892966992 140678718740720 140679382739586 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23476] ppid=23460 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091588 15381372928 32410 33554432000 4194304 4196468 140734892966992 140676889045600 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23477] ppid=23460 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091588 15381372928 32410 33554432000 4194304 4196468 140734892966992 140678717688624 140679382739586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131036 KiB
[startup+1.50252 s]
/proc/loadavg: 2.22 2.18 2.11 4/227 23477
/proc/meminfo: memFree=11667080/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091581 115843072 349 33554432000 4194304 5098028 140723918320784 140723918318040 140040288318076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35532800 140723918324801 140723918324999 140723918324999 140723918327757 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15024968 memory=173980 CPUtime=2.76 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 19383 0 -1 1077944320 20943 0 0 0 269 7 0 0 20 0 15 0 225091581 15385567232 43495 33554432000 4194304 4196468 140734892966992 140734892949536 140679382728439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
/proc/23463/statm: 3756242 43495 3190 1 0 3717627 0
[pid=23463/tid=23464] ppid=23460 vsize=15024968 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 19383 0 -1 4202560 15589 0 0 0 142 5 0 0 20 0 15 0 225091581 15385567232 43495 33554432000 4194304 4196468 140734892966992 140679354560352 140678856883330 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23465] ppid=23460 vsize=15024968 memory=57 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15385567232 43495 33554432000 4194304 4196468 140734892966992 140679386970384 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23466] ppid=23460 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15385567232 43495 33554432000 4194304 4196468 140734892966992 140679178054032 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23467] ppid=23460 vsize=15024968 memory=280666315190848 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091583 15385567232 43495 33554432000 4194304 4196468 140734892966992 140679177001488 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23468] ppid=23460 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091583 15385567232 43495 33554432000 4194304 4196468 140734892966992 140679175948944 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23469] ppid=23460 vsize=15024968 memory=140333157605216 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) R 23460 23460 19383 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 225091584 15385567232 43495 33554432000 4194304 4196468 140734892966992 140678721898992 140679375445591 0 0 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23470] ppid=23460 vsize=15024968 memory=40 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091585 15385567232 43495 33554432000 4194304 4196468 140734892966992 140678029895072 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23471] ppid=23460 vsize=15024968 memory=11089 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091585 15385567232 43495 33554432000 4194304 4196468 140734892966992 140677761459696 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23472] ppid=23460 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091587 15385567232 43495 33554432000 4194304 4196468 140734892966992 140677386951376 140679382747035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23473] ppid=23460 vsize=15024968 memory=6628 CPUtime=0.32 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) S 23460 23460 19383 0 -1 1077944384 1000 0 0 0 32 0 0 0 20 0 15 0 225091587 15385567232 43495 33554432000 4194304 4196468 140734892966992 140678720845808 140679382739586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23474] ppid=23460 vsize=15024968 memory=8836 CPUtime=0.26 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) S 23460 23460 19383 0 -1 1077944384 435 0 0 0 26 0 0 0 20 0 15 0 225091587 15385567232 43495 33554432000 4194304 4196468 140734892966992 140678719793264 140679382739586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23475] ppid=23460 vsize=15024968 memory=11044 CPUtime=0.68 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) S 23460 23460 19383 0 -1 1077944384 2583 0 0 0 67 1 0 0 20 0 15 0 225091587 15385567232 43495 33554432000 4194304 4196468 140734892966992 140678718740720 140679382739586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23476] ppid=23460 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091588 15385567232 43495 33554432000 4194304 4196468 140734892966992 140676889045600 140679382738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
[pid=23463/tid=23477] ppid=23460 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091588 15385567232 43495 33554432000 4194304 4196468 140734892966992 140678717688624 140679382739586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140734892975111 140734892975409 140734892975409 140734892978127 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 175376 KiB
[startup+3.1109 s]
/proc/loadavg: 2.22 2.18 2.11 5/227 23492
/proc/meminfo: memFree=11709660/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1472 CPUtime=5.47 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 19383 0 -1 4202496 591 25212 0 0 0 0 534 13 20 0 1 0 225091581 115843072 368 33554432000 4194304 5098028 140723918320784 140723918317528 140040288318076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35532800 140723918324801 140723918324999 140723918324999 140723918327757 0
/proc/23460/statm: 28282 368 311 221 0 87 0
[pid=23478] ppid=23460 vsize=8000636 memory=117652 CPUtime=1.2 cores=0,2,4,6
/proc/23478/stat : 23478 (java) S 23460 23460 19383 0 -1 1077944320 18092 0 0 0 113 7 0 0 20 0 18 0 225091816 8192651264 29413 33554432000 4194304 4196468 140737289321776 140737289304320 140688849387255 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
/proc/23478/statm: 2000159 29413 3149 1 0 1961558 0
[pid=23478/tid=23479] ppid=23460 vsize=8000636 memory=15868 CPUtime=0.72 cores=0,2,4,6
/proc/23478/task/23479/stat : 23479 (java) R 23460 23460 19383 0 -1 4202560 14823 0 0 0 67 5 0 0 20 0 18 0 225091816 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688821218984 140688833467742 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23480] ppid=23460 vsize=8000636 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23480/stat : 23480 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688853629328 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23481] ppid=23460 vsize=8000636 memory=35020 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23481/stat : 23481 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688653797648 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23482] ppid=23460 vsize=8000636 memory=290763849282617370 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23482/stat : 23482 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688652745360 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23483] ppid=23460 vsize=8000636 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23483/stat : 23483 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688651692560 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23484] ppid=23460 vsize=8000636 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23484/stat : 23484 (java) S 23460 23460 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 225091819 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688094120560 140688849398402 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23485] ppid=23460 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23485/stat : 23485 (java) S 23460 23460 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 225091819 8192651264 29413 33554432000 4194304 4196468 140737289321776 140687760680224 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23486] ppid=23460 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23486/stat : 23486 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091820 8192651264 29413 33554432000 4194304 4196468 140737289321776 140687492245104 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23487] ppid=23460 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23487/stat : 23487 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140687117736528 140688849405851 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23488] ppid=23460 vsize=8000636 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23478/task/23488/stat : 23488 (java) R 23460 23460 19383 0 -1 4202560 736 0 0 0 11 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688093053256 140688833191935 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23489] ppid=23460 vsize=8000636 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23478/task/23489/stat : 23489 (java) S 23460 23460 19383 0 -1 1077944384 604 0 0 0 13 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688092014576 140688849398402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23490] ppid=23460 vsize=8000636 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23478/task/23490/stat : 23490 (java) S 23460 23460 19383 0 -1 1077944384 563 0 0 0 20 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688090962288 140688849398402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23491] ppid=23460 vsize=8000636 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23491/stat : 23491 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140686619830752 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23492] ppid=23460 vsize=8000636 memory=7100839852556452247 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23492/stat : 23492 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091823 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688089910192 140688849398402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
Current children cumulated CPU time: 6.67 s
Current children cumulated vsize: 8113764 KiB
Current children cumulated memory: 119124 KiB
[startup+3.16521 s]
# the end of solver process 23460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.55876 s, system=0.218686 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.1109 s]
/proc/loadavg: 2.22 2.18 2.11 5/227 23492
/proc/meminfo: memFree=11709660/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1472 CPUtime=5.47 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 19383 0 -1 4202496 591 25212 0 0 0 0 534 13 20 0 1 0 225091581 115843072 368 33554432000 4194304 5098028 140723918320784 140723918317528 140040288318076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35532800 140723918324801 140723918324999 140723918324999 140723918327757 0
/proc/23460/statm: 28282 368 311 221 0 87 0
[pid=23478] ppid=23460 vsize=8000636 memory=117652 CPUtime=1.2 cores=0,2,4,6
/proc/23478/stat : 23478 (java) S 23460 23460 19383 0 -1 1077944320 18092 0 0 0 113 7 0 0 20 0 18 0 225091816 8192651264 29413 33554432000 4194304 4196468 140737289321776 140737289304320 140688849387255 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
/proc/23478/statm: 2000159 29413 3149 1 0 1961558 0
[pid=23478/tid=23479] ppid=23460 vsize=8000636 memory=15868 CPUtime=0.72 cores=0,2,4,6
/proc/23478/task/23479/stat : 23479 (java) R 23460 23460 19383 0 -1 4202560 14823 0 0 0 67 5 0 0 20 0 18 0 225091816 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688821218984 140688833467742 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23480] ppid=23460 vsize=8000636 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23480/stat : 23480 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688853629328 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23481] ppid=23460 vsize=8000636 memory=35020 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23481/stat : 23481 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688653797648 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23482] ppid=23460 vsize=8000636 memory=290763849282617370 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23482/stat : 23482 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688652745360 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23483] ppid=23460 vsize=8000636 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23483/stat : 23483 (java) S 23460 23460 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 225091818 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688651692560 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23484] ppid=23460 vsize=8000636 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23484/stat : 23484 (java) S 23460 23460 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 225091819 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688094120560 140688849398402 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23485] ppid=23460 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23485/stat : 23485 (java) S 23460 23460 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 225091819 8192651264 29413 33554432000 4194304 4196468 140737289321776 140687760680224 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23486] ppid=23460 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23486/stat : 23486 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091820 8192651264 29413 33554432000 4194304 4196468 140737289321776 140687492245104 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23487] ppid=23460 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23487/stat : 23487 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140687117736528 140688849405851 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23488] ppid=23460 vsize=8000636 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23478/task/23488/stat : 23488 (java) R 23460 23460 19383 0 -1 4202560 736 0 0 0 11 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688093053256 140688833191935 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23489] ppid=23460 vsize=8000636 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23478/task/23489/stat : 23489 (java) S 23460 23460 19383 0 -1 1077944384 604 0 0 0 13 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688092014576 140688849398402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23490] ppid=23460 vsize=8000636 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23478/task/23490/stat : 23490 (java) S 23460 23460 19383 0 -1 1077944384 563 0 0 0 20 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688090962288 140688849398402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23491] ppid=23460 vsize=8000636 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23491/stat : 23491 (java) S 23460 23460 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 225091822 8192651264 29413 33554432000 4194304 4196468 140737289321776 140686619830752 140688849397461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
[pid=23478/tid=23492] ppid=23460 vsize=8000636 memory=7100839852556452247 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23492/stat : 23492 (java) S 23460 23460 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225091823 8192651264 29413 33554432000 4194304 4196468 140737289321776 140688089910192 140688849398402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140737289323701 140737289323825 140737289323825 140737289326543 0
Current children cumulated CPU time: 6.67 s
Current children cumulated vsize: 8113764 KiB
Current children cumulated memory: 119124 KiB
Child status: 0
Real time (s): 3.16525
CPU time (s): 6.77744
CPU user time (s): 6.55876
CPU system time (s): 0.218686
CPU usage (%): 214.12
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 315316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.55876
system time used= 0.218686
maximum resident set size= 316532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5593
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 23460
# total CPU time (s): 6.77744
# total CPU user time (s): 6.55876
# total CPU system time (s): 0.218686
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058019 second user time and 0.068061 second system time
The end