0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23213-serial-file.bin HOME/instance-4305473-1534086643.xml
0.55/0.51
0.55/0.51 scop order+minisat_release (2018-07-31)
0.55/0.51 (Encoding Process)
0.55/0.51
0.66/0.54 c BEGIN-Prog: Sun Aug 12 17:10:44 CEST 2018
0.66/0.54 c PID: 23216
0.66/0.54 c IP: 172.20.3.107
0.66/0.54 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.64/1.26 c (0,0) Parsing End
2.64/1.26 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 517 ctr, max domain size 25
2.64/1.26 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.64/1.26 c (0,0) Constraint Name Generate Begin
2.64/1.28 c (0,0) Ctr:HOME/instance-4305473-1534086643.xml,ExtensionConflict:ExtensionSupport:IntVar
2.64/1.28 c (0,0) Constraint Name Generate End
2.64/1.28 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.28 c (0,0) CSP to CSPinCNF Begin
6.07/2.39 c (1,1) translated 52 (10%) constraints
7.90/2.91 c (2,2) translated 104 (20%) constraints
9.12/3.31 c (2,2) translated 156 (30%) constraints
10.32/3.71 c (3,3) translated 207 (40%) constraints
11.27/4.03 c (3,3) translated 259 (50%) constraints
12.28/4.44 c (3,3) translated 311 (60%) constraints
13.18/4.73 c (4,4) translated 362 (70%) constraints
13.64/4.99 c (4,4) translated 414 (80%) constraints
14.37/5.24 c (4,4) translated 466 (90%) constraints
14.80/5.48 c (4,4) translated 517 (100%) constraints
15.86/5.84 c (5,5) STATISTICS1:HOME/instance-4305473-1534086643.xml,ExtensionConflict:ExtensionSupport:IntVar,306,67248,-1,25,26,1,,25:255661;2:3574,26:10;4:57917;3:8675;2:646,1:259235;0:10,
15.86/5.84 c (5,5) ==========================================
15.86/5.84 c (5,5) Order
15.86/5.84 c (5,5) ==========================================
16.39/6.05 c (5,5) translated 6725 (10%) constraints
16.66/6.18 c (5,5) translated 13450 (20%) constraints
16.90/6.30 c (5,5) translated 20175 (30%) constraints
17.12/6.42 c (5,5) translated 26900 (40%) constraints
17.23/6.53 c (6,5) translated 33624 (50%) constraints
17.33/6.65 c (6,6) translated 40349 (60%) constraints
17.43/6.76 c (6,6) translated 47074 (70%) constraints
17.55/6.88 c (6,6) translated 53799 (80%) constraints
17.64/6.99 c (6,6) translated 60524 (90%) constraints
17.86/7.11 c (6,6) translated 67248 (100%) constraints
17.86/7.11 c (6,6) CSP to CSPinCNF End
17.86/7.11 c (6,6) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
17.86/7.11 c (6,6) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.86/7.11 c (6,6) CSPinCNF Propagation Begin
19.18/7.61 c (7,6) 0 values, 6157 unsatisfiable literals, and 0 valid clauses are removed
19.18/7.61 c (7,6) CSPinCNF Propagation End
19.18/7.62 c (7,6) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
19.18/7.62 c (7,6) Heap : 382 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.18/7.62 c (7,6) Simplify CSPinCNF Begin
19.40/7.75 c (7,7) Simplify CSPinCNF End
19.40/7.75 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
19.40/7.75 c (7,7) Heap : 437 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.40/7.75 c (7,7) Calculate Precise Domain Begin
19.40/7.75 c (7,7) 0 values are removed by re-calculation
19.40/7.75 c (7,7) Calculate Precise Domain End
19.40/7.75 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
19.40/7.75 c (7,7) Heap : 437 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.40/7.75 c (7,7) CSPinCNF to SatSolver Begin
19.88/7.91 c (7,7) 6725 (10 %) CSP clauses are encoded (1594 SAT variables, 8012 SAT clauses)
19.88/7.98 c (7,7) 13450 (20 %) CSP clauses are encoded (1594 SAT variables, 14737 SAT clauses)
20.21/8.02 c (7,7) 20175 (30 %) CSP clauses are encoded (1594 SAT variables, 21462 SAT clauses)
20.21/8.06 c (7,7) 26900 (40 %) CSP clauses are encoded (1594 SAT variables, 28187 SAT clauses)
20.21/8.10 c (7,7) 33624 (50 %) CSP clauses are encoded (1594 SAT variables, 34911 SAT clauses)
20.35/8.13 c (7,7) 40349 (60 %) CSP clauses are encoded (1594 SAT variables, 41636 SAT clauses)
20.35/8.17 c (7,7) 47074 (70 %) CSP clauses are encoded (1594 SAT variables, 48361 SAT clauses)
20.44/8.20 c (7,7) 53799 (80 %) CSP clauses are encoded (1594 SAT variables, 55086 SAT clauses)
20.44/8.24 c (7,7) 60524 (90 %) CSP clauses are encoded (1594 SAT variables, 61811 SAT clauses)
20.44/8.28 c (7,7) 67248 (100 %) CSP clauses are encoded (1594 SAT variables, 68535 SAT clauses)
20.44/8.28 c (7,7) Launch Command will be: minisat_release
20.44/8.28 c (7,7) CSPinCNF to SatSolver End
20.44/8.28 c (7,7) Heap : 820 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.04/8.50 c (7,7) STATISTICS2:HOME/instance-4305473-1534086643.xml,ExtensionConflict:ExtensionSupport:IntVar,306,67248,-1,25,25,1,,25:249514;2:3574,25:10;4:52208;3:13946;2:1084,1:253088,
21.04/8.50 c (7,7) 1594 bool, 68536 clause
21.04/8.50 c (7,7) Export Begin
21.04/8.59 c (8,7) Export to HOME/scop-23213-serial-file.bin
21.04/8.59 c (8,7) Export End
21.04/8.59 c (8,7) Export File Size: 0.01 MB
21.04/8.59 c (8,7) 0,0,6,7,7,7,7,STOP-AFTER(DIMACS)
21.04/8.59 c END-Prog: Sun Aug 12 17:10:52 CEST 2018
0.00/8.61 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23213-serial-file.bin
21.75/9.09 c (0,0) Read Serial File Begin
21.75/9.09 c (0,0) HOME/scop-23213-serial-file.bin
22.02/9.26 c (0,0) Read Serial File End
22.02/9.27
22.02/9.27 scop order+minisat_release (2018-07-31)
22.02/9.27 (Solving Process)
22.02/9.27
22.02/9.30 c BEGIN-Prog: Sun Aug 12 17:10:53 CEST 2018
22.02/9.30 c PID: 23231
22.02/9.30 c IP: 172.20.3.107
22.02/9.30 c HOST: node107.alineos.net
22.18/9.30 c (0,0) SatSolver.solve Begin
22.18/9.30 c (0,0) 0 bool, 0 clause
22.18/9.30 c (0,0) minisat_release HOME/instance-4305473-1534086643.xml-scop-23216.cnf
2520.02/2505.70 c (2496,0) SatSolver is killed by some reasons.
2520.02/2505.70 c (2496,0) receiving signal SIGTERM
2520.02/2505.70 s UNKNOWN
2520.02/2505.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2505.71 c (scop.sh) Killing background jobs.
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 (12812 MiB free)
memory of node 1: 16384 MiB (11390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305473-1534086643/watcher-4305473-1534086643 -o /tmp/evaluation-result-4305473-1534086643/solver-4305473-1534086643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305473-1534086643.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23213, runsolver pid=23210
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 23230
/proc/meminfo: memFree=24722344/32770624 swapFree=67108860/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (scop.sh) S 23210 23213 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226227540 115843072 349 33554432000 4194304 5098028 140737372513184 140737372510440 139680987538044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33828864 140737372517440 140737372517639 140737372517639 140737372520397 0
/proc/23213/statm: 28282 349 296 221 0 87 0
[pid=23216] ppid=23213 vsize=15012476 memory=73136 CPUtime=0.12 cores=1,3,5,7
/proc/23216/stat : 23216 (java) S 23213 23213 16605 0 -1 1077944320 6902 0 0 0 9 3 0 0 20 0 15 0 226227541 15372775424 18284 33554432000 4194304 4196468 140724167144496 140724167127040 140276499021559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
/proc/23216/statm: 3753119 18284 2770 1 0 3715579 0
[pid=23216/tid=23217] ppid=23213 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/23216/task/23217/stat : 23217 (java) R 23213 23213 16605 0 -1 4202560 4992 0 0 0 7 2 0 0 20 0 15 0 226227541 15372775424 18284 33554432000 4194304 4196468 140724167144496 140276470833544 140276491258686 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23218] ppid=23213 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23218/stat : 23218 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 18284 33554432000 4194304 4196468 140724167144496 140276503264400 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23219] ppid=23213 vsize=15012476 memory=139633409242752 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23219/stat : 23219 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 18284 33554432000 4194304 4196468 140724167144496 140276317420560 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23220] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23220/stat : 23220 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 18284 33554432000 4194304 4196468 140724167144496 140275959016336 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23221] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23221/stat : 23221 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 18284 33554432000 4194304 4196468 140724167144496 140275957963536 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23222] ppid=23213 vsize=15012476 memory=139633409242752 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23222/stat : 23222 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226227544 15372775424 18284 33554432000 4194304 4196468 140724167144496 140275469457776 140276499032706 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23223] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23223/stat : 23223 (java) S 23213 23213 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226227545 15372775424 18350 33554432000 4194304 4196468 140724167144496 140275108275232 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23224] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23224/stat : 23224 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227545 15372775424 18350 33554432000 4194304 4196468 140724167144496 140274839839600 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23225] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23225/stat : 23225 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227547 15372775424 18350 33554432000 4194304 4196468 140724167144496 140274465331024 140276499040155 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23226] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23226/stat : 23226 (java) S 23213 23213 16605 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 226227547 15372775424 18350 33554432000 4194304 4196468 140724167144496 140275468405616 140276499032706 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23227] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23227/stat : 23227 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227547 15372775424 18350 33554432000 4194304 4196468 140724167144496 140275467352816 140276499032706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23228] ppid=23213 vsize=15012476 memory=139633409242752 CPUtime=0.01 cores=1,3,5,7
/proc/23216/task/23228/stat : 23228 (java) S 23213 23213 16605 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 226227547 15372775424 18350 33554432000 4194304 4196468 140724167144496 140275466300016 140276499032706 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23229] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23229/stat : 23229 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227548 15372775424 18350 33554432000 4194304 4196468 140724167144496 140273967426272 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23230] ppid=23213 vsize=15012476 memory=139633409242752 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23230/stat : 23230 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227548 15372775424 18350 33554432000 4194304 4196468 140724167144496 140275465247408 140276499032706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74532 KiB
[startup+0.210614 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 23230
/proc/meminfo: memFree=24708748/32770624 swapFree=67108860/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (scop.sh) S 23210 23213 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226227540 115843072 349 33554432000 4194304 5098028 140737372513184 140737372510440 139680987538044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33828864 140737372517440 140737372517639 140737372517639 140737372520397 0
/proc/23213/statm: 28282 349 296 221 0 87 0
[pid=23216] ppid=23213 vsize=15012476 memory=86164 CPUtime=0.25 cores=1,3,5,7
/proc/23216/stat : 23216 (java) S 23213 23213 16605 0 -1 1077944320 10399 0 0 0 22 3 0 0 20 0 15 0 226227541 15372775424 21541 33554432000 4194304 4196468 140724167144496 140724167127040 140276499021559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
/proc/23216/statm: 3753119 21541 2904 1 0 3715579 0
[pid=23216/tid=23217] ppid=23213 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/23216/task/23217/stat : 23217 (java) R 23213 23213 16605 0 -1 4202560 8307 0 0 0 17 2 0 0 20 0 15 0 226227541 15372775424 21541 33554432000 4194304 4196468 140724167144496 140276470846944 140276480575216 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23218] ppid=23213 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23218/stat : 23218 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 21541 33554432000 4194304 4196468 140724167144496 140276503264400 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23219] ppid=23213 vsize=15012476 memory=139633409262235 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23219/stat : 23219 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 21541 33554432000 4194304 4196468 140724167144496 140276317420560 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23220] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23220/stat : 23220 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275959016336 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23221] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23221/stat : 23221 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275957963536 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23222] ppid=23213 vsize=15012476 memory=139633409242752 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23222/stat : 23222 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226227544 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275469457776 140276499032706 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23223] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23223/stat : 23223 (java) S 23213 23213 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226227545 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275108275232 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23224] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23224/stat : 23224 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227545 15372775424 21541 33554432000 4194304 4196468 140724167144496 140274839839600 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23225] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23225/stat : 23225 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227547 15372775424 21541 33554432000 4194304 4196468 140724167144496 140274465331024 140276499040155 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23226] ppid=23213 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23216/task/23226/stat : 23226 (java) R 23213 23213 16605 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 226227547 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275468397152 140276499042906 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23227] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23227/stat : 23227 (java) R 23213 23213 16605 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 226227547 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275467352816 140276499032706 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23228] ppid=23213 vsize=15012476 memory=139633409242752 CPUtime=0.03 cores=1,3,5,7
/proc/23216/task/23228/stat : 23228 (java) R 23213 23213 16605 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 226227547 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275466300016 140276499033494 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23229] ppid=23213 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23229/stat : 23229 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227548 15372775424 21541 33554432000 4194304 4196468 140724167144496 140273967426272 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23230] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23230/stat : 23230 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227548 15372775424 21541 33554432000 4194304 4196468 140724167144496 140275465247408 140276499032706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87560 KiB
[startup+0.310583 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 23230
/proc/meminfo: memFree=24704956/32770624 swapFree=67108860/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (scop.sh) S 23210 23213 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226227540 115843072 349 33554432000 4194304 5098028 140737372513184 140737372510440 139680987538044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33828864 140737372517440 140737372517639 140737372517639 140737372520397 0
/proc/23213/statm: 28282 349 296 221 0 87 0
[pid=23216] ppid=23213 vsize=15012476 memory=89696 CPUtime=0.44 cores=1,3,5,7
/proc/23216/stat : 23216 (java) S 23213 23213 16605 0 -1 1077944320 10946 0 0 0 40 4 0 0 20 0 15 0 226227541 15372775424 22424 33554432000 4194304 4196468 140724167144496 140724167127040 140276499021559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
/proc/23216/statm: 3753119 22424 2979 1 0 3715579 0
[pid=23216/tid=23217] ppid=23213 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/23216/task/23217/stat : 23217 (java) R 23213 23213 16605 0 -1 4202560 8687 0 0 0 27 3 0 0 20 0 15 0 226227541 15372775424 22424 33554432000 4194304 4196468 140724167144496 140276470819656 140276499042906 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23218] ppid=23213 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23218/stat : 23218 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 22424 33554432000 4194304 4196468 140724167144496 140276503264400 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23219] ppid=23213 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23219/stat : 23219 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 22424 33554432000 4194304 4196468 140724167144496 140276317420560 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23220] ppid=23213 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23220/stat : 23220 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275959016336 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23221] ppid=23213 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23221/stat : 23221 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227543 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275957963536 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23222] ppid=23213 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23222/stat : 23222 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226227544 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275469457776 140276499032706 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23223] ppid=23213 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23223/stat : 23223 (java) S 23213 23213 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226227545 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275108275232 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23224] ppid=23213 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23224/stat : 23224 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227545 15372775424 22424 33554432000 4194304 4196468 140724167144496 140274839839600 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23225] ppid=23213 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23225/stat : 23225 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227547 15372775424 22424 33554432000 4194304 4196468 140724167144496 140274465331024 140276499040155 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23226] ppid=23213 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23216/task/23226/stat : 23226 (java) R 23213 23213 16605 0 -1 1077944384 417 0 0 0 2 0 0 0 20 0 15 0 226227547 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275468405616 140276499032706 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23227] ppid=23213 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23216/task/23227/stat : 23227 (java) R 23213 23213 16605 0 -1 4202560 193 0 0 0 1 0 0 0 20 0 15 0 226227547 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275467352816 140276484147500 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23228] ppid=23213 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23216/task/23228/stat : 23228 (java) R 23213 23213 16605 0 -1 4202560 318 0 0 0 7 0 0 0 20 0 15 0 226227547 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275466300016 140276483129649 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23229] ppid=23213 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23229/stat : 23229 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227548 15372775424 22424 33554432000 4194304 4196468 140724167144496 140273967426272 140276499031765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23230] ppid=23213 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23230/stat : 23230 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227548 15372775424 22424 33554432000 4194304 4196468 140724167144496 140275465247408 140276499032706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91092 KiB
[startup+0.700804 s]
/proc/loadavg: 2.00 2.01 2.05 4/222 23230
/proc/meminfo: memFree=24680772/32770624 swapFree=67108860/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (scop.sh) S 23210 23213 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226227540 115843072 349 33554432000 4194304 5098028 140737372513184 140737372510440 139680987538044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33828864 140737372517440 140737372517639 140737372517639 140737372520397 0
/proc/23213/statm: 28282 349 296 221 0 87 0
[pid=23216] ppid=23213 vsize=15018748 memory=131344 CPUtime=1.05 cores=1,3,5,7
/proc/23216/stat : 23216 (java) S 23213 23213 16605 0 -1 1077944320 17906 0 0 0 99 6 0 0 20 0 15 0 226227541 15379197952 32836 33554432000 4194304 4196468 140724167144496 140724167127040 140276499021559 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
/proc/23216/statm: 3754687 32836 3127 1 0 3716091 0
[pid=23216/tid=23217] ppid=23213 vsize=15018748 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/23216/task/23217/stat : 23217 (java) R 23213 23213 16605 0 -1 4202560 15151 0 0 0 63 5 0 0 20 0 15 0 226227541 15379197952 32836 33554432000 4194304 4196468 140724167144496 140276470843792 140276483102046 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23218] ppid=23213 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23218/stat : 23218 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226227543 15379197952 32836 33554432000 4194304 4196468 140724167144496 140276503264400 140276499031765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23219] ppid=23213 vsize=15018748 memory=61568 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23219/stat : 23219 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15379197952 32836 33554432000 4194304 4196468 140724167144496 140276317420560 140276499031765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23220] ppid=23213 vsize=15018748 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23220/stat : 23220 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227543 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275959016336 140276499031765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23221] ppid=23213 vsize=15018748 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23221/stat : 23221 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227543 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275957963536 140276499031765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23222] ppid=23213 vsize=15018748 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23222/stat : 23222 (java) S 23213 23213 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226227544 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275469457776 140276499032706 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23223] ppid=23213 vsize=15018748 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23223/stat : 23223 (java) S 23213 23213 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226227545 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275108275232 140276499031765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23224] ppid=23213 vsize=15018748 memory=752 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23224/stat : 23224 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227545 15379197952 32836 33554432000 4194304 4196468 140724167144496 140274839839600 140276499031765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23225] ppid=23213 vsize=15018748 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23225/stat : 23225 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227547 15379197952 32836 33554432000 4194304 4196468 140724167144496 140274465331024 140276499040155 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23226] ppid=23213 vsize=15018748 memory=1120 CPUtime=0.08 cores=1,3,5,7
/proc/23216/task/23226/stat : 23226 (java) S 23213 23213 16605 0 -1 1077944384 484 0 0 0 8 0 0 0 20 0 15 0 226227547 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275468405616 140276499032706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23227] ppid=23213 vsize=15018748 memory=6120 CPUtime=0.09 cores=1,3,5,7
/proc/23216/task/23227/stat : 23227 (java) S 23213 23213 16605 0 -1 1077944384 443 0 0 0 9 0 0 0 20 0 15 0 226227547 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275467352816 140276499032706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23228] ppid=23213 vsize=15018748 memory=1724 CPUtime=0.18 cores=1,3,5,7
/proc/23216/task/23228/stat : 23228 (java) R 23213 23213 16605 0 -1 4202560 492 0 0 0 18 0 0 0 20 0 15 0 226227547 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275466295056 140276478142792 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23229] ppid=23213 vsize=15018748 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23229/stat : 23229 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226227548 15379197952 32836 33554432000 4194304 4196468 140724167144496 140273967426272 140276499031765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
[pid=23216/tid=23230] ppid=23213 vsize=15018748 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/23216/task/23230/stat : 23230 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226227548 15379197952 32836 33554432000 4194304 4196468 140724167144496 140275465247408 140276499032706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38621184 140724167148550 140724167148849 140724167148849 140724167151567 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132740 KiB
[startup+1.50081 s]
/proc/loadavg: 2.00 2.01 2.05 5/222 23230
/proc/meminfo: memFree=24568020/32770624 swapFree=67108860/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (scop.sh) S 23210 23213 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226227540 115843072 349 33554432000 4194304 5098028 140737372513184 140737372510440 139680987538044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33828864 140737372517440 140737372517639 140737372517639 140737372520397 0
/proc/23213/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23231/tid=23234] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23234/stat : 23234 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955632277904 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23235] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23235/stat : 23235 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955631225360 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23236] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23236/stat : 23236 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955630172816 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23237] ppid=23213 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/23231/task/23237/stat : 23237 (java) S 23213 23213 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955274328560 139955827878530 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23238] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23238/stat : 23238 (java) S 23213 23213 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954663450016 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23239] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23239/stat : 23239 (java) S 23213 23213 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954529228272 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23240] ppid=23213 vsize=8068220 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23240/stat : 23240 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954154724048 139955827885979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23241] ppid=23213 vsize=8068220 memory=920 CPUtime=0.08 cores=1,3,5,7
/proc/23231/task/23241/stat : 23241 (java) S 23213 23213 16605 0 -1 1077944384 592 0 0 0 7 1 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955273275376 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23242] ppid=23213 vsize=8068220 memory=116960 CPUtime=0.09 cores=1,3,5,7
/proc/23231/task/23242/stat : 23242 (java) S 23213 23213 16605 0 -1 1077944384 369 0 0 0 9 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955272222832 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23243] ppid=23213 vsize=8068220 memory=1472 CPUtime=0.21 cores=1,3,5,7
/proc/23231/task/23243/stat : 23243 (java) S 23213 23213 16605 0 -1 1077944384 592 0 0 0 20 1 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955271170288 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23244] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23244/stat : 23244 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953656818272 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23245] ppid=23213 vsize=8068220 memory=3712 CPUtime=1.12 cores=1,3,5,7
/proc/23231/task/23245/stat : 23245 (java) S 23213 23213 16605 0 -1 1077944384 165 0 0 0 52 60 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955270118192 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23247] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23247/stat : 23247 (java) S 23213 23213 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226228473 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955268732480 139955827891993 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23249] ppid=23213 vsize=8068220 memory=95892 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23249/stat : 23249 (java) S 23213 23213 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226228473 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953119932560 139955827889309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23250] ppid=23213 vsize=8068220 memory=96056 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23250/stat : 23250 (java) S 23213 23213 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226228474 8261857280 29240 33554432000 4194304 4196468 140722862100880 139952851500304 139955827889309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23251] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23251/stat : 23251 (java) S 23213 23213 16605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226228476 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953254161440 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
Current children cumulated CPU time: 2516.62 s
Current children cumulated vsize: 8295300 KiB
Current children cumulated memory: 214488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.7 s]
/proc/loadavg: 2.00 2.03 2.05 3/227 23526
/proc/meminfo: memFree=24561360/32770624 swapFree=67108860/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1472 CPUtime=21.23 cores=1,3,5,7
/proc/23213/stat : 23213 (scop.sh) S 23210 23213 16605 0 -1 4202496 591 36032 0 0 0 0 2053 70 20 0 1 0 226227540 115843072 368 33554432000 4194304 5098028 140737372513184 140737372509928 139680987538044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33828864 140737372517440 140737372517639 140737372517639 140737372520397 0
/proc/23213/statm: 28282 368 311 221 0 87 0
[pid=23231] ppid=23213 vsize=8068220 memory=116960 CPUtime=2.33 cores=1,3,5,7
/proc/23231/stat : 23231 (java) S 23213 23213 16605 0 -1 1077944320 18152 0 0 0 168 65 0 0 20 0 19 0 226228402 8261857280 29240 33554432000 4194304 4196468 140722862100880 140722862083424 139955827867383 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
/proc/23231/statm: 2017055 29240 3151 1 0 1978454 0
[pid=23246] ppid=23231 vsize=113952 memory=96056 CPUtime=2496.46 cores=1,3,5,7
/proc/23246/stat : 23246 (minisat_release) R 23231 23213 16605 0 -1 4202496 103062 0 0 0 249633 13 0 0 20 0 1 0 226228473 116686848 24014 33554432000 4194304 4308513 140722266230736 140722266227736 4276036 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 19197952 140722266231924 140722266232022 140722266232022 140722266234821 0
/proc/23246/statm: 28488 24014 341 28 0 24728 0
[pid=23231/tid=23232] ppid=23213 vsize=8068220 memory=116960 CPUtime=0.74 cores=1,3,5,7
/proc/23231/task/23232/stat : 23232 (java) S 23213 23213 16605 0 -1 1077944384 15019 0 0 0 70 4 0 0 20 0 19 0 226228402 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955799707536 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23233] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23233/stat : 23233 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955832109328 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23234] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23234/stat : 23234 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955632277904 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23235] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23235/stat : 23235 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955631225360 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23236] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23236/stat : 23236 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955630172816 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23237] ppid=23213 vsize=8068220 memory=116960 CPUtime=0.04 cores=1,3,5,7
/proc/23231/task/23237/stat : 23237 (java) S 23213 23213 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955274328560 139955827878530 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23238] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23238/stat : 23238 (java) S 23213 23213 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954663450016 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23239] ppid=23213 vsize=8068220 memory=34088 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23239/stat : 23239 (java) S 23213 23213 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954529228272 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23240] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23240/stat : 23240 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954154724048 139955827885979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23241] ppid=23213 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23231/task/23241/stat : 23241 (java) S 23213 23213 16605 0 -1 1077944384 592 0 0 0 7 1 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955273275376 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23242] ppid=23213 vsize=8068220 memory=3712 CPUtime=0.09 cores=1,3,5,7
/proc/23231/task/23242/stat : 23242 (java) S 23213 23213 16605 0 -1 1077944384 369 0 0 0 9 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955272222832 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23243] ppid=23213 vsize=8068220 memory=116960 CPUtime=0.21 cores=1,3,5,7
/proc/23231/task/23243/stat : 23243 (java) S 23213 23213 16605 0 -1 1077944384 592 0 0 0 20 1 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955271170288 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23244] ppid=23213 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23244/stat : 23244 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953656818272 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23245] ppid=23213 vsize=8068220 memory=1472 CPUtime=1.13 cores=1,3,5,7
/proc/23231/task/23245/stat : 23245 (java) S 23213 23213 16605 0 -1 1077944384 165 0 0 0 53 60 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955270118192 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23247] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23247/stat : 23247 (java) S 23213 23213 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226228473 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955268732480 139955827891993 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23249] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23249/stat : 23249 (java) S 23213 23213 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226228473 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953119932560 139955827889309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23250] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23250/stat : 23250 (java) S 23213 23213 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226228474 8261857280 29240 33554432000 4194304 4196468 140722862100880 139952851500304 139955827889309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23251] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23251/stat : 23251 (java) S 23213 23213 16605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226228476 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953254161440 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8295300 KiB
Current children cumulated memory: 214488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.71 s]
# the end of solver process 23213 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.5338 s, system=0.703436 s
[startup+2505.71 s]
# the end of solver process 23231 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.57 s, system=1.50134 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.7 s]
/proc/loadavg: 2.00 2.03 2.05 3/227 23526
/proc/meminfo: memFree=24561360/32770624 swapFree=67108860/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1472 CPUtime=21.23 cores=1,3,5,7
/proc/23213/stat : 23213 (scop.sh) S 23210 23213 16605 0 -1 4202496 591 36032 0 0 0 0 2053 70 20 0 1 0 226227540 115843072 368 33554432000 4194304 5098028 140737372513184 140737372509928 139680987538044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33828864 140737372517440 140737372517639 140737372517639 140737372520397 0
/proc/23213/statm: 28282 368 311 221 0 87 0
[pid=23231] ppid=23213 vsize=8068220 memory=116960 CPUtime=2.33 cores=1,3,5,7
/proc/23231/stat : 23231 (java) S 23213 23213 16605 0 -1 1077944320 18152 0 0 0 168 65 0 0 20 0 19 0 226228402 8261857280 29240 33554432000 4194304 4196468 140722862100880 140722862083424 139955827867383 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
/proc/23231/statm: 2017055 29240 3151 1 0 1978454 0
[pid=23246] ppid=23231 vsize=113952 memory=96056 CPUtime=2496.46 cores=1,3,5,7
/proc/23246/stat : 23246 (minisat_release) R 23231 23213 16605 0 -1 4202496 103062 0 0 0 249633 13 0 0 20 0 1 0 226228473 116686848 24014 33554432000 4194304 4308513 140722266230736 140722266227736 4276036 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 19197952 140722266231924 140722266232022 140722266232022 140722266234821 0
/proc/23246/statm: 28488 24014 341 28 0 24728 0
[pid=23231/tid=23232] ppid=23213 vsize=8068220 memory=116960 CPUtime=0.74 cores=1,3,5,7
/proc/23231/task/23232/stat : 23232 (java) S 23213 23213 16605 0 -1 1077944384 15019 0 0 0 70 4 0 0 20 0 19 0 226228402 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955799707536 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23233] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23233/stat : 23233 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955832109328 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23234] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23234/stat : 23234 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955632277904 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23235] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23235/stat : 23235 (java) S 23213 23213 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955631225360 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23236] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23236/stat : 23236 (java) S 23213 23213 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226228403 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955630172816 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23237] ppid=23213 vsize=8068220 memory=116960 CPUtime=0.04 cores=1,3,5,7
/proc/23231/task/23237/stat : 23237 (java) S 23213 23213 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955274328560 139955827878530 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23238] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23238/stat : 23238 (java) S 23213 23213 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954663450016 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23239] ppid=23213 vsize=8068220 memory=34088 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23239/stat : 23239 (java) S 23213 23213 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226228405 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954529228272 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23240] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23240/stat : 23240 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139954154724048 139955827885979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23241] ppid=23213 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23231/task/23241/stat : 23241 (java) S 23213 23213 16605 0 -1 1077944384 592 0 0 0 7 1 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955273275376 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23242] ppid=23213 vsize=8068220 memory=3712 CPUtime=0.09 cores=1,3,5,7
/proc/23231/task/23242/stat : 23242 (java) S 23213 23213 16605 0 -1 1077944384 369 0 0 0 9 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955272222832 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23243] ppid=23213 vsize=8068220 memory=116960 CPUtime=0.21 cores=1,3,5,7
/proc/23231/task/23243/stat : 23243 (java) S 23213 23213 16605 0 -1 1077944384 592 0 0 0 20 1 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955271170288 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23244] ppid=23213 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23244/stat : 23244 (java) S 23213 23213 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953656818272 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23245] ppid=23213 vsize=8068220 memory=1472 CPUtime=1.13 cores=1,3,5,7
/proc/23231/task/23245/stat : 23245 (java) S 23213 23213 16605 0 -1 1077944384 165 0 0 0 53 60 0 0 20 0 19 0 226228408 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955270118192 139955827878530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23247] ppid=23213 vsize=8068220 memory=116960 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23247/stat : 23247 (java) S 23213 23213 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226228473 8261857280 29240 33554432000 4194304 4196468 140722862100880 139955268732480 139955827891993 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23249] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23249/stat : 23249 (java) S 23213 23213 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226228473 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953119932560 139955827889309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23250] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23250/stat : 23250 (java) S 23213 23213 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226228474 8261857280 29240 33554432000 4194304 4196468 140722862100880 139952851500304 139955827889309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
[pid=23231/tid=23251] ppid=23213 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23231/task/23251/stat : 23251 (java) S 23213 23213 16605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226228476 8261857280 29240 33554432000 4194304 4196468 140722862100880 139953254161440 139955827877589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31657984 140722862105781 140722862105905 140722862105905 140722862108623 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8295300 KiB
Current children cumulated memory: 214488 KiB
Child status: 1
Real time (s): 2505.71
CPU time (s): 2520.07
CPU user time (s): 2518.57
CPU system time (s): 1.50134
CPU usage (%): 100.573
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 3095664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.57
system time used= 1.50134
maximum resident set size= 3096304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59489
involuntary context switches= 951
# summary of solver processes directly reported to runsolver:
# pid: 23213,23231
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.57
# total CPU system time (s): 1.50134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6692 second user time and 26.5659 second system time
The end