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-24363-serial-file.bin HOME/instance-4305589-1534075279.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 14:01:20 CEST 2018
0.67/0.54 c PID: 24366
0.67/0.54 c IP: 172.20.3.103
0.67/0.54 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.19/0.85 c (0,0) Parsing End
1.19/0.85 c (0,0) CSP: 0 int (0 aux), 54 bool (0 aux), 36 ctr, max domain size 2
1.19/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.85 c (0,0) Constraint Name Generate Begin
1.19/0.86 c (0,0) Ctr:HOME/instance-4305589-1534075279.xml,ExtensionSupport:IntVar
1.19/0.86 c (0,0) Constraint Name Generate End
1.19/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.86 c (0,0) CSP to CSPinCNF Begin
1.55/1.09 c (0,0) translated 4 (10%) constraints
1.74/1.14 c (0,0) translated 8 (20%) constraints
1.74/1.17 c (0,0) translated 11 (30%) constraints
2.01/1.21 c (0,0) translated 15 (40%) constraints
2.01/1.23 c (0,0) translated 18 (50%) constraints
2.01/1.26 c (0,0) translated 22 (60%) constraints
2.01/1.28 c (0,0) translated 26 (70%) constraints
2.01/1.30 c (0,0) translated 29 (80%) constraints
2.27/1.32 c (0,0) translated 33 (90%) constraints
2.27/1.32 c (0,0) translated 36 (100%) constraints
2.27/1.36 c (0,0) STATISTICS1:HOME/instance-4305589-1534075279.xml,ExtensionSupport:IntVar,198,684,-1,2,3,1,,2:1800,3:468;2:216,1:1800;0:36,
2.27/1.36 c (0,0) ==========================================
2.27/1.36 c (0,0) Both Encoding selects:
2.27/1.36 c (0,0) Order
2.27/1.36 c (0,0) ==========================================
2.27/1.37 c (0,0) translated 69 (10%) constraints
2.27/1.38 c (0,0) translated 137 (20%) constraints
2.27/1.39 c (0,0) translated 206 (30%) constraints
2.27/1.39 c (0,0) translated 274 (40%) constraints
2.27/1.40 c (0,0) translated 342 (50%) constraints
2.54/1.40 c (0,0) translated 411 (60%) constraints
2.54/1.41 c (0,0) translated 479 (70%) constraints
2.54/1.41 c (0,0) translated 548 (80%) constraints
2.54/1.41 c (0,0) translated 616 (90%) constraints
2.54/1.42 c (0,0) translated 684 (100%) constraints
2.54/1.42 c (0,0) CSP to CSPinCNF End
2.54/1.42 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.54/1.42 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.54/1.42 c (0,0) CSPinCNF Propagation Begin
2.54/1.46 c (0,0) 0 values, 36 unsatisfiable literals, and 0 valid clauses are removed
2.54/1.46 c (0,0) CSPinCNF Propagation End
2.54/1.46 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.54/1.46 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.54/1.46 c (0,0) Simplify CSPinCNF Begin
2.54/1.47 c (0,0) Simplify CSPinCNF End
2.54/1.47 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.54/1.47 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.54/1.47 c (0,0) Calculate Precise Domain Begin
2.54/1.47 c (0,0) 0 values are removed by re-calculation
2.54/1.47 c (0,0) Calculate Precise Domain End
2.54/1.47 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.54/1.47 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.54/1.47 c (0,0) CSPinCNF to SatSolver Begin
2.54/1.49 c (0,0) 69 (10 %) CSP clauses are encoded (198 SAT variables, 68 SAT clauses)
2.54/1.50 c (0,0) 137 (20 %) CSP clauses are encoded (198 SAT variables, 136 SAT clauses)
2.54/1.50 c (0,0) 206 (30 %) CSP clauses are encoded (198 SAT variables, 205 SAT clauses)
2.86/1.51 c (0,0) 274 (40 %) CSP clauses are encoded (198 SAT variables, 273 SAT clauses)
2.86/1.51 c (0,0) 342 (50 %) CSP clauses are encoded (198 SAT variables, 341 SAT clauses)
2.86/1.52 c (0,0) 411 (60 %) CSP clauses are encoded (198 SAT variables, 410 SAT clauses)
2.86/1.52 c (0,0) 479 (70 %) CSP clauses are encoded (198 SAT variables, 478 SAT clauses)
2.86/1.52 c (0,0) 548 (80 %) CSP clauses are encoded (198 SAT variables, 547 SAT clauses)
2.86/1.53 c (1,0) 616 (90 %) CSP clauses are encoded (198 SAT variables, 615 SAT clauses)
2.86/1.53 c (1,0) 684 (100 %) CSP clauses are encoded (198 SAT variables, 683 SAT clauses)
2.86/1.53 c (1,0) Launch Command will be: minisat_release
2.86/1.53 c (1,0) CSPinCNF to SatSolver End
2.86/1.53 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.86/1.54 c (1,1) STATISTICS2:HOME/instance-4305589-1534075279.xml,ExtensionSupport:IntVar,198,684,-1,2,3,1,,2:1800,3:432;2:252,1:1800,
2.86/1.54 c (1,1) 198 bool, 684 clause
2.86/1.54 c (1,1) Export Begin
3.07/1.62 c (1,1) Export to HOME/scop-24363-serial-file.bin
3.07/1.62 c (1,1) Export End
3.07/1.63 c (1,1) Export File Size: 0.01 MB
3.07/1.63 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.07/1.63 c END-Prog: Sun Aug 12 14:01:21 CEST 2018
3.07/1.63 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24363-serial-file.bin
3.76/2.12 c (0,0) Read Serial File Begin
3.76/2.12 c (0,0) HOME/scop-24363-serial-file.bin
3.90/2.29 c (0,0) Read Serial File End
4.04/2.30
4.04/2.30 scop order+minisat_release (2018-07-31)
4.04/2.30 (Solving Process)
4.04/2.30
4.04/2.33 c BEGIN-Prog: Sun Aug 12 14:01:22 CEST 2018
4.04/2.33 c PID: 24381
4.04/2.33 c IP: 172.20.3.103
4.04/2.33 c HOST: node103.alineos.net
4.04/2.33 c (0,0) SatSolver.solve Begin
4.04/2.33 c (0,0) 0 bool, 0 clause
4.04/2.33 c (0,0) minisat_release HOME/instance-4305589-1534075279.xml-scop-24366.cnf
4.04/2.36 c (0,0) c This is COMiniSatPS.
4.04/2.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.04/2.36 c (0,0) c ============================[ Problem Statistics ]=============================
4.04/2.36 c (0,0) c | |
4.04/2.36 c (0,0) c | Number of variables: 198 |
4.04/2.36 c (0,0) c | Number of clauses: 684 |
4.04/2.36 c (0,0) c | Parse time: 0.00 s |
4.04/2.36 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.04/2.36 c (0,0) c | Simplification time: 0.00 s |
4.04/2.36 c (0,0) c | |
4.04/2.36 c (0,0) c ===============================================================================
4.04/2.36 c (0,0) c Solved by simplification
4.04/2.36 c (0,0) c restarts : 0
4.04/2.36 c (0,0) c conflicts : 0 (0 /sec)
4.04/2.36 c (0,0) c decisions : 0 (-nan % random) (0 /sec)
4.04/2.36 c (0,0) c propagations : 1 (462 /sec)
4.04/2.36 c (0,0) c conflict literals : 0 (-nan % deleted)
4.04/2.36 c (0,0) c CPU time : 0.002166 s
4.04/2.36 c (0,0)
4.04/2.36 c (0,0) s UNSATISFIABLE
4.25/2.40 c (0,0) SatSolver.solve End
4.25/2.40 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.25/2.40 c (0,0) Show results Begin
4.25/2.40 s UNSATISFIABLE
4.25/2.40 c (0,0) Show results End
4.25/2.40 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.25/2.41 c (0,0) 0,0,STOP-AFTER(ALL)
4.25/2.41 c END-Prog: Sun Aug 12 14:01:22 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8031 MiB free)
memory of node 1: 16384 MiB (8593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305589-1534075279/watcher-4305589-1534075279 -o /tmp/evaluation-result-4305589-1534075279/solver-4305589-1534075279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305589-1534075279.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=24363, runsolver pid=24360
[startup+0.100171 s]*
/proc/loadavg: 2.62 2.29 2.15 4/224 24380
/proc/meminfo: memFree=16964820/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091139 115843072 349 33554432000 4194304 5098028 140723315507200 140723315504456 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 349 296 221 0 87 0
[pid=24366] ppid=24363 vsize=15012476 memory=72436 CPUtime=0.11 cores=0,2,4,6
/proc/24366/stat : 24366 (java) S 24363 24363 20606 0 -1 1077944320 6234 0 0 0 10 1 0 0 20 0 15 0 225091139 15372775424 18109 33554432000 4194304 4196468 140724540137584 140724540120128 139685529239287 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
/proc/24366/statm: 3753119 18109 2766 1 0 3715579 0
[pid=24366/tid=24367] ppid=24363 vsize=15012476 memory=-6222985969016291267 CPUtime=0.09 cores=0,2,4,6
/proc/24366/task/24367/stat : 24367 (java) R 24363 24363 20606 0 -1 4202560 4351 0 0 0 8 1 0 0 20 0 15 0 225091139 15372775424 18175 33554432000 4194304 4196468 140724540137584 139685501051272 139685509515036 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24368] ppid=24363 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24368/stat : 24368 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 18175 33554432000 4194304 4196468 140724540137584 139685533481360 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24369] ppid=24363 vsize=15012476 memory=139975464556160 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24369/stat : 24369 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 18175 33554432000 4194304 4196468 140724540137584 139684990019856 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24370] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24370/stat : 24370 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 18175 33554432000 4194304 4196468 140724540137584 139684988967568 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24371] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24371/stat : 24371 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 18175 33554432000 4194304 4196468 140724540137584 139684987914768 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24372] ppid=24363 vsize=15012476 memory=139975464556160 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24372/stat : 24372 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 18175 33554432000 4194304 4196468 140724540137584 139684868737648 139685529250434 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24373] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24373/stat : 24373 (java) S 24363 24363 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 18175 33554432000 4194304 4196468 140724540137584 139684114064672 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24374] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24374/stat : 24374 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 18175 33554432000 4194304 4196468 140724540137584 139683879183984 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24375] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24375/stat : 24375 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 18175 33554432000 4194304 4196468 140724540137584 139683504675408 139685529257883 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24376] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24376/stat : 24376 (java) S 24363 24363 20606 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 18175 33554432000 4194304 4196468 140724540137584 139684867684464 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24377] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24377/stat : 24377 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 18241 33554432000 4194304 4196468 140724540137584 139684866631664 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24378] ppid=24363 vsize=15012476 memory=139975464556160 CPUtime=0.01 cores=0,2,4,6
/proc/24366/task/24378/stat : 24378 (java) S 24363 24363 20606 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 225091146 15372775424 18241 33554432000 4194304 4196468 140724540137584 139684865579376 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24379] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24379/stat : 24379 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 18241 33554432000 4194304 4196468 140724540137584 139683006769632 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24380] ppid=24363 vsize=15012476 memory=139975464556160 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24380/stat : 24380 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 18241 33554432000 4194304 4196468 140724540137584 139684864527280 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73832 KiB
[startup+0.21118 s]*
/proc/loadavg: 2.62 2.29 2.15 3/224 24380
/proc/meminfo: memFree=16950868/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091139 115843072 349 33554432000 4194304 5098028 140723315507200 140723315504456 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 349 296 221 0 87 0
[pid=24366] ppid=24363 vsize=15012476 memory=85776 CPUtime=0.26 cores=0,2,4,6
/proc/24366/stat : 24366 (java) S 24363 24363 20606 0 -1 1077944320 9798 0 0 0 23 3 0 0 20 0 15 0 225091139 15372775424 21444 33554432000 4194304 4196468 140724540137584 140724540120128 139685529239287 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
/proc/24366/statm: 3753119 21444 2874 1 0 3715579 0
[pid=24366/tid=24367] ppid=24363 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/24366/task/24367/stat : 24367 (java) R 24363 24363 20606 0 -1 4202560 7679 0 0 0 18 2 0 0 20 0 15 0 225091139 15372775424 21444 33554432000 4194304 4196468 140724540137584 139685501058544 139685529251222 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24368] ppid=24363 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24368/stat : 24368 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 21444 33554432000 4194304 4196468 140724540137584 139685533481360 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24369] ppid=24363 vsize=15012476 memory=139975465719394 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24369/stat : 24369 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684990019856 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24370] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24370/stat : 24370 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684988967568 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24371] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24371/stat : 24371 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684987914768 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24372] ppid=24363 vsize=15012476 memory=139975464556160 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24372/stat : 24372 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684868737648 139685529250434 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24373] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24373/stat : 24373 (java) S 24363 24363 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684114064672 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24374] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24374/stat : 24374 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 21444 33554432000 4194304 4196468 140724540137584 139683879183984 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24375] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24375/stat : 24375 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 21444 33554432000 4194304 4196468 140724540137584 139683504675408 139685529257883 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24376] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24376/stat : 24376 (java) S 24363 24363 20606 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684867684464 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24377] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24377/stat : 24377 (java) S 24363 24363 20606 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684866631664 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24378] ppid=24363 vsize=15012476 memory=139975464556160 CPUtime=0.03 cores=0,2,4,6
/proc/24366/task/24378/stat : 24378 (java) R 24363 24363 20606 0 -1 4202560 316 0 0 0 3 0 0 0 20 0 15 0 225091146 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684865579376 139685508196972 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24379] ppid=24363 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24379/stat : 24379 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 21444 33554432000 4194304 4196468 140724540137584 139683006769632 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24380] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24380/stat : 24380 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 21444 33554432000 4194304 4196468 140724540137584 139684864527280 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87172 KiB
[startup+0.310796 s]*
/proc/loadavg: 2.62 2.29 2.15 3/224 24380
/proc/meminfo: memFree=16947208/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091139 115843072 349 33554432000 4194304 5098028 140723315507200 140723315504456 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 349 296 221 0 87 0
[pid=24366] ppid=24363 vsize=15012476 memory=89744 CPUtime=0.42 cores=0,2,4,6
/proc/24366/stat : 24366 (java) S 24363 24363 20606 0 -1 1077944320 10410 0 0 0 39 3 0 0 20 0 15 0 225091139 15372775424 22436 33554432000 4194304 4196468 140724540137584 140724540120128 139685529239287 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
/proc/24366/statm: 3753119 22436 2982 1 0 3715579 0
[pid=24366/tid=24367] ppid=24363 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24366/task/24367/stat : 24367 (java) R 24363 24363 20606 0 -1 4202560 8117 0 0 0 27 2 0 0 20 0 15 0 225091139 15372775424 22436 33554432000 4194304 4196468 140724540137584 139685501029968 139685513282917 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24368] ppid=24363 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24368/stat : 24368 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 22436 33554432000 4194304 4196468 140724540137584 139685533481360 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24369] ppid=24363 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24369/stat : 24369 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684990019856 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24370] ppid=24363 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24370/stat : 24370 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684988967568 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24371] ppid=24363 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24371/stat : 24371 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091141 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684987914768 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24372] ppid=24363 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24372/stat : 24372 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684868737648 139685529250434 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24373] ppid=24363 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24373/stat : 24373 (java) S 24363 24363 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684114064672 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24374] ppid=24363 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24374/stat : 24374 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091143 15372775424 22436 33554432000 4194304 4196468 140724540137584 139683879183984 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24375] ppid=24363 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24375/stat : 24375 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 22436 33554432000 4194304 4196468 140724540137584 139683504675408 139685529257883 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24376] ppid=24363 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24366/task/24376/stat : 24376 (java) R 24363 24363 20606 0 -1 4202560 566 0 0 0 2 0 0 0 20 0 15 0 225091146 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684867684464 139685515263122 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24377] ppid=24363 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24366/task/24377/stat : 24377 (java) R 24363 24363 20606 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 225091146 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684866631664 139685529250434 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24378] ppid=24363 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24366/task/24378/stat : 24378 (java) R 24363 24363 20606 0 -1 4202560 351 0 0 0 7 0 0 0 20 0 15 0 225091146 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684865579376 139685508178650 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24379] ppid=24363 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24379/stat : 24379 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 22436 33554432000 4194304 4196468 140724540137584 139683006769632 139685529249493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24380] ppid=24363 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24380/stat : 24380 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091146 15372775424 22436 33554432000 4194304 4196468 140724540137584 139684864527280 139685529250434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91140 KiB
[startup+0.700827 s]
/proc/loadavg: 2.62 2.29 2.15 3/224 24380
/proc/meminfo: memFree=16922880/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091139 115843072 349 33554432000 4194304 5098028 140723315507200 140723315504456 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 349 296 221 0 87 0
[pid=24366] ppid=24363 vsize=15020872 memory=129616 CPUtime=1.01 cores=0,2,4,6
/proc/24366/stat : 24366 (java) S 24363 24363 20606 0 -1 1077944320 17569 0 0 0 95 6 0 0 20 0 15 0 225091139 15381372928 32404 33554432000 4194304 4196468 140724540137584 140724540120128 139685529239287 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
/proc/24366/statm: 3755218 32404 3148 1 0 3716603 0
[pid=24366/tid=24367] ppid=24363 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/24366/task/24367/stat : 24367 (java) R 24363 24363 20606 0 -1 4202560 14886 0 0 0 63 4 0 0 20 0 15 0 225091139 15381372928 32404 33554432000 4194304 4196468 140724540137584 139685501073904 139685529261213 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24368] ppid=24363 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24368/stat : 24368 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15381372928 32404 33554432000 4194304 4196468 140724540137584 139685533481360 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24369] ppid=24363 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24369/stat : 24369 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684990019856 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24370] ppid=24363 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24370/stat : 24370 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684988967568 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24371] ppid=24363 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24371/stat : 24371 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091141 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684987914768 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24372] ppid=24363 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24372/stat : 24372 (java) S 24363 24363 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091143 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684868737648 139685529250434 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24373] ppid=24363 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24373/stat : 24373 (java) S 24363 24363 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091143 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684114064672 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24374] ppid=24363 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24374/stat : 24374 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091143 15381372928 32404 33554432000 4194304 4196468 140724540137584 139683879183984 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24375] ppid=24363 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24375/stat : 24375 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15381372928 32404 33554432000 4194304 4196468 140724540137584 139683504675408 139685529257883 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24376] ppid=24363 vsize=15020872 memory=279950665974000 CPUtime=0.08 cores=0,2,4,6
/proc/24366/task/24376/stat : 24376 (java) S 24363 24363 20606 0 -1 1077944384 625 0 0 0 8 0 0 0 20 0 15 0 225091146 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684867684464 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24377] ppid=24363 vsize=15020872 memory=7234030490512222553 CPUtime=0.08 cores=0,2,4,6
/proc/24366/task/24377/stat : 24377 (java) S 24363 24363 20606 0 -1 1077944384 287 0 0 0 8 0 0 0 20 0 15 0 225091146 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684866631664 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24378] ppid=24363 vsize=15020872 memory=7883944108235712103 CPUtime=0.15 cores=0,2,4,6
/proc/24366/task/24378/stat : 24378 (java) S 24363 24363 20606 0 -1 1077944384 437 0 0 0 15 0 0 0 20 0 15 0 225091146 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684865579376 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24379] ppid=24363 vsize=15020872 memory=7649399392905147442 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24379/stat : 24379 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15381372928 32404 33554432000 4194304 4196468 140724540137584 139683006769632 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24380] ppid=24363 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24380/stat : 24380 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091146 15381372928 32404 33554432000 4194304 4196468 140724540137584 139684864527280 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131012 KiB
[startup+1.5074 s]
/proc/loadavg: 2.62 2.29 2.15 4/224 24380
/proc/meminfo: memFree=16894096/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091139 115843072 349 33554432000 4194304 5098028 140723315507200 140723315504456 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/24366/task/24368/stat : 24368 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15387734016 44241 33554432000 4194304 4196468 140724540137584 139685533481360 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24369] ppid=24363 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24369/stat : 24369 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684990019856 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24370] ppid=24363 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24370/stat : 24370 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684988967568 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24371] ppid=24363 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24371/stat : 24371 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091141 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684987914768 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24372] ppid=24363 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24372/stat : 24372 (java) S 24363 24363 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091143 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684868737648 139685529250434 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24373] ppid=24363 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24373/stat : 24373 (java) S 24363 24363 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091143 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684114064672 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24374] ppid=24363 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24374/stat : 24374 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091143 15387734016 44241 33554432000 4194304 4196468 140724540137584 139683879183984 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24375] ppid=24363 vsize=15027084 memory=23 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24375/stat : 24375 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15387734016 44241 33554432000 4194304 4196468 140724540137584 139683504675408 139685529257883 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24376] ppid=24363 vsize=15027084 memory=20 CPUtime=0.37 cores=0,2,4,6
/proc/24366/task/24376/stat : 24376 (java) R 24363 24363 20606 0 -1 4202560 1036 0 0 0 36 1 0 0 20 0 15 0 225091146 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684867670560 139685513631502 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24377] ppid=24363 vsize=15027084 memory=54 CPUtime=0.31 cores=0,2,4,6
/proc/24366/task/24377/stat : 24377 (java) R 24363 24363 20606 0 -1 1077944384 434 0 0 0 31 0 0 0 20 0 15 0 225091146 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684866631664 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24378] ppid=24363 vsize=15027084 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/24366/task/24378/stat : 24378 (java) R 24363 24363 20606 0 -1 4202560 2558 0 0 0 68 0 0 0 20 0 15 0 225091146 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684865579376 139685529253169 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24379] ppid=24363 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24379/stat : 24379 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15387734016 44241 33554432000 4194304 4196468 140724540137584 139683006769632 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24380] ppid=24363 vsize=15027084 memory=2698 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24380/stat : 24380 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091146 15387734016 44241 33554432000 4194304 4196468 140724540137584 139684864527280 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 178360 KiB
[startup+2.41908 s]
# the end of solver process 24363 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.1137 s, system=0.183163 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 2.62 2.29 2.15 4/224 24380
/proc/meminfo: memFree=16894096/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091139 115843072 349 33554432000 4194304 5098028 140723315507200 140723315504456 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 349 296 221 0 87 0
[pid=24366] ppid=24363 vsize=15027104 memory=185524 CPUtime=3.07 cores=0,2,4,6
/proc/24366/stat : 24366 (java) S 24363 24363 20606 0 -1 1077944320 22306 0 0 0 298 9 0 0 20 0 15 0 225091139 15387754496 46381 33554432000 4194304 4196468 140724540137584 140724540120128 139685529239287 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
/proc/24366/statm: 3756776 46381 3207 1 0 3717627 0
[pid=24366/tid=24367] ppid=24363 vsize=15027104 memory=1948 CPUtime=1.56 cores=0,2,4,6
/proc/24366/task/24367/stat : 24367 (java) R 24363 24363 20606 0 -1 4202560 16795 0 0 0 150 6 0 0 20 0 15 0 225091139 15387754496 46381 33554432000 4194304 4196468 140724540137584 139685501065920 139685513319774 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24368] ppid=24363 vsize=15027104 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24368/stat : 24368 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15387754496 46381 33554432000 4194304 4196468 140724540137584 139685533481360 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24369] ppid=24363 vsize=15027104 memory=976 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24369/stat : 24369 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684990019856 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24370] ppid=24363 vsize=15027104 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24370/stat : 24370 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091141 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684988967568 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24371] ppid=24363 vsize=15027104 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24371/stat : 24371 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091141 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684987914768 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24372] ppid=24363 vsize=15027104 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24372/stat : 24372 (java) S 24363 24363 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091143 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684868737648 139685529250434 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24373] ppid=24363 vsize=15027104 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24373/stat : 24373 (java) S 24363 24363 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091143 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684114064672 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24374] ppid=24363 vsize=15027104 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24374/stat : 24374 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091143 15387754496 46381 33554432000 4194304 4196468 140724540137584 139683879183984 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24375] ppid=24363 vsize=15027104 memory=768 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24375/stat : 24375 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15387754496 46381 33554432000 4194304 4196468 140724540137584 139683504675408 139685529257883 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24376] ppid=24363 vsize=15027104 memory=736 CPUtime=0.4 cores=0,2,4,6
/proc/24366/task/24376/stat : 24376 (java) S 24363 24363 20606 0 -1 1077944384 1067 0 0 0 39 1 0 0 20 0 15 0 225091146 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684867684464 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24377] ppid=24363 vsize=15027104 memory=1520 CPUtime=0.34 cores=0,2,4,6
/proc/24366/task/24377/stat : 24377 (java) S 24363 24363 20606 0 -1 1077944384 445 0 0 0 34 0 0 0 20 0 15 0 225091146 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684866631664 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24378] ppid=24363 vsize=15027104 memory=1708 CPUtime=0.73 cores=0,2,4,6
/proc/24366/task/24378/stat : 24378 (java) S 24363 24363 20606 0 -1 1077944384 2665 0 0 0 73 0 0 0 20 0 15 0 225091146 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684865579376 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24379] ppid=24363 vsize=15027104 memory=5116 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24379/stat : 24379 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091146 15387754496 46381 33554432000 4194304 4196468 140724540137584 139683006769632 139685529249493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
[pid=24366/tid=24380] ppid=24363 vsize=15027104 memory=33 CPUtime=0 cores=0,2,4,6
/proc/24366/task/24380/stat : 24380 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091146 15387754496 46381 33554432000 4194304 4196468 140724540137584 139684864527280 139685529250434 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140724540142599 140724540142897 140724540142897 140724540145615 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 15140232 KiB
Current children cumulated memory: 186920 KiB
[startup+2.00039 s]*
/proc/loadavg: 2.62 2.29 2.15 3/224 24395
/proc/meminfo: memFree=16968184/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1472 CPUtime=3.14 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 590 22745 0 0 0 0 303 11 20 0 1 0 225091139 115843072 368 33554432000 4194304 5098028 140723315507200 140723315503944 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 368 311 221 0 87 0
[pid=24381] ppid=24363 vsize=7404280 memory=68844 CPUtime=0.49 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24363 24363 20606 0 -1 1077944320 11313 0 0 0 46 3 0 0 20 0 15 0 225091303 7581982720 17211 33554432000 4194304 4196468 140727346781760 140727346764304 140632354774775 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
/proc/24381/statm: 1851070 17211 2978 1 0 1813530 0
[pid=24381/tid=24382] ppid=24363 vsize=7404280 memory=-6673890911685660454 CPUtime=0.35 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24363 24363 20606 0 -1 4202560 9007 0 0 0 33 2 0 0 20 0 15 0 225091303 7581982720 17211 33554432000 4194304 4196468 140727346781760 140632326603440 140632338855262 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24383] ppid=24363 vsize=7404280 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24383/stat : 24383 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091304 7581982720 17211 33554432000 4194304 4196468 140727346781760 140632359016976 140632354784981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24384] ppid=24363 vsize=7404280 memory=2315000330531179987 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091304 7581982720 17211 33554432000 4194304 4196468 140727346781760 140632159185552 140632354784981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24385] ppid=24363 vsize=7404280 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091304 7581982720 17211 33554432000 4194304 4196468 140727346781760 140632158132496 140632354784981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24386] ppid=24363 vsize=7404280 memory=3472328296225127015 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091304 7581982720 17211 33554432000 4194304 4196468 140727346781760 140632157079952 140632354784981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24387] ppid=24363 vsize=7404280 memory=734236861324920291 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24363 24363 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091306 7581982720 17211 33554432000 4194304 4196468 140727346781760 140631801162480 140632354785922 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24388] ppid=24363 vsize=7404280 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24363 24363 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091306 7581982720 17211 33554432000 4194304 4196468 140727346781760 140631187908256 140632354784981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24389] ppid=24363 vsize=7404280 memory=4947159701124719494 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091306 7581982720 17211 33554432000 4194304 4196468 140727346781760 140630919472368 140632354784981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24390] ppid=24363 vsize=7404280 memory=279950665974000 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091309 7581982720 17211 33554432000 4194304 4196468 140727346781760 140630544964048 140632354793371 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24391] ppid=24363 vsize=7404280 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24363 24363 20606 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 225091309 7581982720 17211 33554432000 4194304 4196468 140727346781760 140631800109296 140632354785922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24392] ppid=24363 vsize=7404280 memory=1396 CPUtime=0.02 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24363 24363 20606 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 15 0 225091309 7581982720 17211 33554432000 4194304 4196468 140727346781760 140631799056752 140632354785922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24393] ppid=24363 vsize=7404280 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24363 24363 20606 0 -1 1077944384 351 0 0 0 8 0 0 0 20 0 15 0 225091309 7581982720 17211 33554432000 4194304 4196468 140727346781760 140631798003696 140632354785922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24394] ppid=24363 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24363 24363 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091309 7581982720 17211 33554432000 4194304 4196468 140727346781760 140630047058272 140632354784981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24395] ppid=24363 vsize=7404280 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24363 24363 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091309 7581982720 17211 33554432000 4194304 4196468 140727346781760 140631796952112 140632354785922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 70316 KiB
[startup+2.40069 s]
/proc/loadavg: 2.62 2.29 2.15 3/224 24395
/proc/meminfo: memFree=16968184/32770624 swapFree=67058748/67108860
[pid=24363] ppid=24360 vsize=113128 memory=1472 CPUtime=3.14 cores=0,2,4,6
/proc/24363/stat : 24363 (scop.sh) S 24360 24363 20606 0 -1 4202496 590 22745 0 0 0 0 303 11 20 0 1 0 225091139 115843072 368 33554432000 4194304 5098028 140723315507200 140723315503944 139709616820860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140723315512385 140723315512583 140723315512583 140723315515341 0
/proc/24363/statm: 28282 368 311 221 0 87 0
[pid=24381] ppid=24363 vsize=7674996 memory=116768 CPUtime=1.11 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24363 24363 20606 0 -1 1077944320 18463 445 0 0 105 6 0 0 20 0 17 0 225091303 7859195904 29192 33554432000 4194304 4196468 140727346781760 140727346764304 140632354774775 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
/proc/24381/statm: 1918749 29192 3150 1 0 1880148 0
[pid=24381/tid=24382] ppid=24363 vsize=7674996 memory=5 CPUtime=0.73 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24363 24363 20606 0 -1 4202560 15501 445 0 0 69 4 0 0 20 0 17 0 225091303 7859195904 29192 33554432000 4194304 4196468 140727346781760 140632326573072 140632336338350 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24383] ppid=24363 vsize=7674996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24383/stat : 24383 (java) S 24363 24363 20606 0 -1 1077944384 1 445 0 0 0 0 0 0 20 0 17 0 225091304 7859195904 29192 33554432000 4194304 4196468 140727346781760 140632359016976 140632354784981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24384] ppid=24363 vsize=7674996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24363 24363 20606 0 -1 1077944384 1 445 0 0 0 0 0 0 20 0 17 0 225091304 7859195904 29192 33554432000 4194304 4196468 140727346781760 140632159185552 140632354784981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24385] ppid=24363 vsize=7674996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24363 24363 20606 0 -1 1077944384 1 445 0 0 0 0 0 0 20 0 17 0 225091304 7859195904 29192 33554432000 4194304 4196468 140727346781760 140632158132496 140632354784981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24386] ppid=24363 vsize=7674996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24363 24363 20606 0 -1 1077944384 2 445 0 0 0 0 0 0 20 0 17 0 225091304 7859195904 29192 33554432000 4194304 4196468 140727346781760 140632157079952 140632354784981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24387] ppid=24363 vsize=7674996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24363 24363 20606 0 -1 1077944384 5 445 0 0 0 0 0 0 20 0 17 0 225091306 7859195904 29192 33554432000 4194304 4196468 140727346781760 140631801162480 140632354785922 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24388] ppid=24363 vsize=7674996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24363 24363 20606 0 -1 1077944384 13 445 0 0 0 0 0 0 20 0 17 0 225091306 7859195904 29192 33554432000 4194304 4196468 140727346781760 140631187908256 140632354784981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24389] ppid=24363 vsize=7674996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24363 24363 20606 0 -1 1077944384 1 445 0 0 0 0 0 0 20 0 17 0 225091306 7859195904 29192 33554432000 4194304 4196468 140727346781760 140630919472368 140632354784981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24390] ppid=24363 vsize=7674996 memory=279950666609344 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24363 24363 20606 0 -1 1077944384 3 445 0 0 0 0 0 0 20 0 17 0 225091309 7859195904 29192 33554432000 4194304 4196468 140727346781760 140630544964048 140632354793371 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24391] ppid=24363 vsize=7674996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24363 24363 20606 0 -1 1077944384 726 445 0 0 8 0 0 0 20 0 17 0 225091309 7859195904 29192 33554432000 4194304 4196468 140727346781760 140631800109296 140632354785922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24392] ppid=24363 vsize=7674996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24363 24363 20606 0 -1 1077944384 224 445 0 0 7 0 0 0 20 0 17 0 225091309 7859195904 29192 33554432000 4194304 4196468 140727346781760 140631799056752 140632354785922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24393] ppid=24363 vsize=7674996 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24363 24363 20606 0 -1 1077944384 570 445 0 0 19 0 0 0 20 0 17 0 225091309 7859195904 29192 33554432000 4194304 4196468 140727346781760 140631798003696 140632354785922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24394] ppid=24363 vsize=7674996 memory=288230377108287836 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24363 24363 20606 0 -1 1077944384 3 445 0 0 0 0 0 0 20 0 17 0 225091309 7859195904 29192 33554432000 4194304 4196468 140727346781760 140630047058272 140632354784981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
[pid=24381/tid=24395] ppid=24363 vsize=7674996 memory=14971161599560595 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24363 24363 20606 0 -1 1077944384 1 445 0 0 0 0 0 0 20 0 17 0 225091309 7859195904 29192 33554432000 4194304 4196468 140727346781760 140631796952112 140632354785922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14196736 140727346787509 140727346787633 140727346787633 140727346790351 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 7788124 KiB
Current children cumulated memory: 118240 KiB
Child status: 0
Real time (s): 2.41912
CPU time (s): 4.29686
CPU user time (s): 4.1137
CPU system time (s): 0.183163
CPU usage (%): 177.621
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 186920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.1137
system time used= 0.183163
maximum resident set size= 188380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4849
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 24363
# total CPU time (s): 4.29686
# total CPU user time (s): 4.1137
# total CPU system time (s): 0.183163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04722 second user time and 0.063521 second system time
The end