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-22583-serial-file.bin HOME/instance-4305472-1534084186.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 16:29:47 CEST 2018
0.66/0.55 c PID: 22586
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.68/1.25 c (0,0) Parsing End
2.68/1.25 c (0,0) CSP: 53 int (0 aux), 0 bool (0 aux), 470 ctr, max domain size 24
2.68/1.26 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.68/1.26 c (0,0) Constraint Name Generate Begin
2.68/1.27 c (0,0) Ctr:HOME/instance-4305472-1534084186.xml,ExtensionConflict:ExtensionSupport:IntVar
2.68/1.27 c (0,0) Constraint Name Generate End
2.68/1.27 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.68/1.27 c (0,0) CSP to CSPinCNF Begin
5.62/2.30 c (1,1) translated 47 (10%) constraints
7.16/2.76 c (2,2) translated 94 (20%) constraints
8.42/3.13 c (2,2) translated 141 (30%) constraints
9.60/3.50 c (2,2) translated 188 (40%) constraints
10.50/3.84 c (3,3) translated 235 (50%) constraints
11.44/4.18 c (3,3) translated 282 (60%) constraints
12.32/4.45 c (3,3) translated 329 (70%) constraints
12.92/4.69 c (4,4) translated 376 (80%) constraints
13.26/4.89 c (4,4) translated 423 (90%) constraints
13.48/5.08 c (4,4) translated 470 (100%) constraints
14.37/5.42 c (4,4) STATISTICS1:HOME/instance-4305472-1534084186.xml,ExtensionConflict:ExtensionSupport:IntVar,389,57740,-1,24,25,1,,24:215937;2:4802,25:14;4:48050;3:8851;2:825,1:220739;0:14,
14.37/5.42 c (4,4) ==========================================
14.37/5.42 c (4,4) Order
14.37/5.42 c (4,4) ==========================================
14.95/5.62 c (5,5) translated 5774 (10%) constraints
15.21/5.73 c (5,5) translated 11548 (20%) constraints
15.43/5.83 c (5,5) translated 17322 (30%) constraints
15.53/5.93 c (5,5) translated 23096 (40%) constraints
15.64/6.03 c (5,5) translated 28870 (50%) constraints
15.74/6.13 c (5,5) translated 34644 (60%) constraints
15.84/6.24 c (5,5) translated 40418 (70%) constraints
15.94/6.34 c (5,5) translated 46192 (80%) constraints
16.04/6.44 c (5,5) translated 51966 (90%) constraints
16.14/6.54 c (6,5) translated 57740 (100%) constraints
16.14/6.54 c (6,5) CSP to CSPinCNF End
16.14/6.54 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
16.14/6.54 c (6,6) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.14/6.54 c (6,6) CSPinCNF Propagation Begin
17.04/6.95 c (6,6) 0 values, 5415 unsatisfiable literals, and 0 valid clauses are removed
17.04/6.95 c (6,6) CSPinCNF Propagation End
17.04/6.96 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
17.04/6.96 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.04/6.96 c (6,6) Simplify CSPinCNF Begin
17.23/7.11 c (6,6) Simplify CSPinCNF End
17.23/7.11 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
17.23/7.11 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.23/7.11 c (6,6) Calculate Precise Domain Begin
17.23/7.11 c (6,6) 0 values are removed by re-calculation
17.23/7.11 c (6,6) Calculate Precise Domain End
17.23/7.11 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
17.23/7.11 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.23/7.11 c (6,6) CSPinCNF to SatSolver Begin
17.61/7.27 c (6,6) 5774 (10 %) CSP clauses are encoded (1555 SAT variables, 6939 SAT clauses)
17.91/7.35 c (6,6) 11548 (20 %) CSP clauses are encoded (1555 SAT variables, 12713 SAT clauses)
17.91/7.39 c (6,6) 17322 (30 %) CSP clauses are encoded (1555 SAT variables, 18487 SAT clauses)
18.15/7.43 c (6,6) 23096 (40 %) CSP clauses are encoded (1555 SAT variables, 24261 SAT clauses)
18.42/7.57 c (7,6) 28870 (50 %) CSP clauses are encoded (1555 SAT variables, 30035 SAT clauses)
18.66/7.60 c (7,6) 34644 (60 %) CSP clauses are encoded (1555 SAT variables, 35809 SAT clauses)
18.66/7.64 c (7,6) 40418 (70 %) CSP clauses are encoded (1555 SAT variables, 41583 SAT clauses)
18.66/7.68 c (7,7) 46192 (80 %) CSP clauses are encoded (1555 SAT variables, 47357 SAT clauses)
18.76/7.71 c (7,7) 51966 (90 %) CSP clauses are encoded (1555 SAT variables, 53131 SAT clauses)
18.76/7.74 c (7,7) 57740 (100 %) CSP clauses are encoded (1555 SAT variables, 58905 SAT clauses)
18.76/7.74 c (7,7) Launch Command will be: minisat_release
18.76/7.74 c (7,7) CSPinCNF to SatSolver End
18.76/7.74 c (7,7) Heap : 318 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.25/7.95 c (7,7) STATISTICS2:HOME/instance-4305472-1534084186.xml,ExtensionConflict:ExtensionSupport:IntVar,389,57740,-1,24,24,1,,24:210536;2:4802,24:14;4:43037;3:13476;2:1213,1:215338,
19.25/7.95 c (7,7) 1555 bool, 58906 clause
19.25/7.95 c (7,7) Export Begin
19.42/8.03 c (7,7) Export to HOME/scop-22583-serial-file.bin
19.42/8.03 c (7,7) Export End
19.42/8.04 c (7,7) Export File Size: 0.01 MB
19.42/8.04 c (7,7) 0,0,6,6,6,6,7,STOP-AFTER(DIMACS)
19.42/8.04 c END-Prog: Sun Aug 12 16:29:54 CEST 2018
19.42/8.06 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22583-serial-file.bin
19.50/8.55 c (0,0) Read Serial File Begin
19.50/8.55 c (0,0) HOME/scop-22583-serial-file.bin
19.50/8.72 c (0,0) Read Serial File End
19.50/8.73
19.50/8.73 scop order+minisat_release (2018-07-31)
19.50/8.73 (Solving Process)
19.50/8.73
19.50/8.75 c BEGIN-Prog: Sun Aug 12 16:29:55 CEST 2018
19.50/8.75 c PID: 22601
19.50/8.75 c IP: 172.20.3.139
19.50/8.75 c HOST: node139.alineos.net
19.50/8.76 c (0,0) SatSolver.solve Begin
19.50/8.76 c (0,0) 0 bool, 0 clause
19.50/8.76 c (0,0) minisat_release HOME/instance-4305472-1534084186.xml-scop-22586.cnf
2520.03/2506.80 c (2498,0) SatSolver is killed by some reasons.
2520.03/2506.80 c (2498,0) receiving signal SIGTERM
2520.03/2506.80 s UNKNOWN
2520.03/2506.81 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2506.81 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 (5744 MiB free)
memory of node 1: 16384 MiB (6783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305472-1534084186/watcher-4305472-1534084186 -o /tmp/evaluation-result-4305472-1534084186/solver-4305472-1534084186 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305472-1534084186.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=22583, runsolver pid=22580
[startup+0.100186 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 22600
/proc/meminfo: memFree=12770364/32770624 swapFree=67108860/67108860
[pid=22583] ppid=22580 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22583/stat : 22583 (scop.sh) S 22580 22583 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225981781 115843072 348 33554432000 4194304 5098028 140728924675104 140728924672360 140139609760380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35454976 140728924681280 140728924681479 140728924681479 140728924684237 0
/proc/22583/statm: 28282 348 296 221 0 87 0
[pid=22586] ppid=22583 vsize=15012476 memory=71688 CPUtime=0.1 cores=0,2,4,6
/proc/22586/stat : 22586 (java) S 22583 22583 16770 0 -1 1077944320 6098 0 0 0 9 1 0 0 20 0 15 0 225981782 15372775424 17922 33554432000 4194304 4196468 140724776907968 140724776890512 139828911242999 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
/proc/22586/statm: 3753119 17922 2741 1 0 3715579 0
[pid=22586/tid=22587] ppid=22583 vsize=15012476 memory=-6220453793737523139 CPUtime=0.08 cores=0,2,4,6
/proc/22586/task/22587/stat : 22587 (java) R 22583 22583 16770 0 -1 4202560 4222 0 0 0 7 1 0 0 20 0 15 0 225981782 15372775424 17988 33554432000 4194304 4196468 140724776907968 139828883014032 139828895323486 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22588] ppid=22583 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22588/stat : 22588 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 17988 33554432000 4194304 4196468 140724776907968 139828915485584 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22589] ppid=22583 vsize=15012476 memory=140347998996096 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22589/stat : 22589 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 17988 33554432000 4194304 4196468 140724776907968 139828706568976 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22590] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22590/stat : 22590 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 17988 33554432000 4194304 4196468 140724776907968 139828705516688 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22591] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22591/stat : 22591 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 17988 33554432000 4194304 4196468 140724776907968 139828704463888 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22592] ppid=22583 vsize=15012476 memory=140347998996096 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22592/stat : 22592 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981785 15372775424 17988 33554432000 4194304 4196468 140724776907968 139827881121904 139828911254146 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22593] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22593/stat : 22593 (java) S 22583 22583 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225981786 15372775424 17988 33554432000 4194304 4196468 140724776907968 139827492152096 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22594] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22594/stat : 22594 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981786 15372775424 17988 33554432000 4194304 4196468 140724776907968 139827223716976 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22595] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22595/stat : 22595 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 17988 33554432000 4194304 4196468 140724776907968 139826849208400 139828911261595 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22596] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22596/stat : 22596 (java) S 22583 22583 16770 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 17988 33554432000 4194304 4196468 140724776907968 139827880069744 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22597] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22597/stat : 22597 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 17988 33554432000 4194304 4196468 140724776907968 139827879016944 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22598] ppid=22583 vsize=15012476 memory=140347998996096 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22598/stat : 22598 (java) R 22583 22583 16770 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 17988 33554432000 4194304 4196468 140724776907968 139827877964656 139828889900640 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22599] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22599/stat : 22599 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 17988 33554432000 4194304 4196468 140724776907968 139826351303648 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22600] ppid=22583 vsize=15012476 memory=140347998996096 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22600/stat : 22600 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981789 15372775424 17988 33554432000 4194304 4196468 140724776907968 139827876911536 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73080 KiB
[startup+0.210771 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 22600
/proc/meminfo: memFree=12756472/32770624 swapFree=67108860/67108860
[pid=22583] ppid=22580 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22583/stat : 22583 (scop.sh) S 22580 22583 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225981781 115843072 348 33554432000 4194304 5098028 140728924675104 140728924672360 140139609760380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35454976 140728924681280 140728924681479 140728924681479 140728924684237 0
/proc/22583/statm: 28282 348 296 221 0 87 0
[pid=22586] ppid=22583 vsize=15012476 memory=85536 CPUtime=0.25 cores=0,2,4,6
/proc/22586/stat : 22586 (java) S 22583 22583 16770 0 -1 1077944320 9743 0 0 0 23 2 0 0 20 0 15 0 225981782 15372775424 21384 33554432000 4194304 4196468 140724776907968 140724776890512 139828911242999 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
/proc/22586/statm: 3753119 21384 2882 1 0 3715579 0
[pid=22586/tid=22587] ppid=22583 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/22586/task/22587/stat : 22587 (java) R 22583 22583 16770 0 -1 4202560 7655 0 0 0 18 2 0 0 20 0 15 0 225981782 15372775424 21384 33554432000 4194304 4196468 140724776907968 139828883062912 139828895323486 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22588] ppid=22583 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22588/stat : 22588 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 21384 33554432000 4194304 4196468 140724776907968 139828915485584 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22589] ppid=22583 vsize=15012476 memory=140348000199600 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22589/stat : 22589 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 21384 33554432000 4194304 4196468 140724776907968 139828706568976 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22590] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22590/stat : 22590 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 21384 33554432000 4194304 4196468 140724776907968 139828705516688 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22591] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22591/stat : 22591 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 21384 33554432000 4194304 4196468 140724776907968 139828704463888 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22592] ppid=22583 vsize=15012476 memory=140347998996096 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22592/stat : 22592 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981785 15372775424 21384 33554432000 4194304 4196468 140724776907968 139827881121904 139828911254146 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22593] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22593/stat : 22593 (java) S 22583 22583 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225981786 15372775424 21384 33554432000 4194304 4196468 140724776907968 139827492152096 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22594] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22594/stat : 22594 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981786 15372775424 21384 33554432000 4194304 4196468 140724776907968 139827223716976 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22595] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22595/stat : 22595 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 21384 33554432000 4194304 4196468 140724776907968 139826849208400 139828911261595 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22596] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22596/stat : 22596 (java) S 22583 22583 16770 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 21384 33554432000 4194304 4196468 140724776907968 139827880069744 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22597] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22597/stat : 22597 (java) S 22583 22583 16770 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 21384 33554432000 4194304 4196468 140724776907968 139827879016944 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22598] ppid=22583 vsize=15012476 memory=140347998996096 CPUtime=0.03 cores=0,2,4,6
/proc/22586/task/22598/stat : 22598 (java) R 22583 22583 16770 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 225981788 15372775424 21384 33554432000 4194304 4196468 140724776907968 139827877964656 139828896924794 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22599] ppid=22583 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22599/stat : 22599 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 21384 33554432000 4194304 4196468 140724776907968 139826351303648 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22600] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22600/stat : 22600 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981789 15372775424 21384 33554432000 4194304 4196468 140724776907968 139827876911536 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86928 KiB
[startup+0.310645 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 22600
/proc/meminfo: memFree=12752564/32770624 swapFree=67108860/67108860
[pid=22583] ppid=22580 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22583/stat : 22583 (scop.sh) S 22580 22583 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225981781 115843072 348 33554432000 4194304 5098028 140728924675104 140728924672360 140139609760380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35454976 140728924681280 140728924681479 140728924681479 140728924684237 0
/proc/22583/statm: 28282 348 296 221 0 87 0
[pid=22586] ppid=22583 vsize=15012476 memory=89676 CPUtime=0.42 cores=0,2,4,6
/proc/22586/stat : 22586 (java) S 22583 22583 16770 0 -1 1077944320 10369 0 0 0 39 3 0 0 20 0 15 0 225981782 15372775424 22419 33554432000 4194304 4196468 140724776907968 140724776890512 139828911242999 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
/proc/22586/statm: 3753119 22419 2979 1 0 3715579 0
[pid=22586/tid=22587] ppid=22583 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22586/task/22587/stat : 22587 (java) R 22583 22583 16770 0 -1 4202560 8090 0 0 0 27 2 0 0 20 0 15 0 225981782 15372775424 22419 33554432000 4194304 4196468 140724776907968 139828883038000 139828895323516 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22588] ppid=22583 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22588/stat : 22588 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 22419 33554432000 4194304 4196468 140724776907968 139828915485584 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22589] ppid=22583 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22589/stat : 22589 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 22419 33554432000 4194304 4196468 140724776907968 139828706568976 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22590] ppid=22583 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22590/stat : 22590 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 22419 33554432000 4194304 4196468 140724776907968 139828705516688 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22591] ppid=22583 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22591/stat : 22591 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15372775424 22419 33554432000 4194304 4196468 140724776907968 139828704463888 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22592] ppid=22583 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22592/stat : 22592 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981785 15372775424 22419 33554432000 4194304 4196468 140724776907968 139827881121904 139828911254146 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22593] ppid=22583 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22593/stat : 22593 (java) S 22583 22583 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225981786 15372775424 22419 33554432000 4194304 4196468 140724776907968 139827492152096 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22594] ppid=22583 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22594/stat : 22594 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981786 15372775424 22419 33554432000 4194304 4196468 140724776907968 139827223716976 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22595] ppid=22583 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22595/stat : 22595 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 22419 33554432000 4194304 4196468 140724776907968 139826849208400 139828911261595 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22596] ppid=22583 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22586/task/22596/stat : 22596 (java) S 22583 22583 16770 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 225981788 15372775424 22419 33554432000 4194304 4196468 140724776907968 139827880069744 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22597] ppid=22583 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22586/task/22597/stat : 22597 (java) S 22583 22583 16770 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 225981788 15372775424 22419 33554432000 4194304 4196468 140724776907968 139827879016944 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22598] ppid=22583 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22586/task/22598/stat : 22598 (java) S 22583 22583 16770 0 -1 1077944384 342 0 0 0 7 0 0 0 20 0 15 0 225981788 15372775424 22419 33554432000 4194304 4196468 140724776907968 139827877964656 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22599] ppid=22583 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22599/stat : 22599 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15372775424 22419 33554432000 4194304 4196468 140724776907968 139826351303648 139828911253205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22600] ppid=22583 vsize=15012476 memory=3545238011844304945 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22600/stat : 22600 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981789 15372775424 22419 33554432000 4194304 4196468 140724776907968 139827876911536 139828911254146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91068 KiB
[startup+0.704169 s]
/proc/loadavg: 1.92 2.00 2.04 3/222 22600
/proc/meminfo: memFree=12728380/32770624 swapFree=67108860/67108860
[pid=22583] ppid=22580 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22583/stat : 22583 (scop.sh) S 22580 22583 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225981781 115843072 348 33554432000 4194304 5098028 140728924675104 140728924672360 140139609760380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35454976 140728924681280 140728924681479 140728924681479 140728924684237 0
/proc/22583/statm: 28282 348 296 221 0 87 0
[pid=22586] ppid=22583 vsize=15018748 memory=130712 CPUtime=1.05 cores=0,2,4,6
/proc/22586/stat : 22586 (java) S 22583 22583 16770 0 -1 1077944320 17332 0 0 0 99 6 0 0 20 0 15 0 225981782 15379197952 32166 33554432000 4194304 4196468 140724776907968 140724776890512 139828911242999 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
/proc/22586/statm: 3754687 32166 3146 1 0 3716091 0
[pid=22586/tid=22587] ppid=22583 vsize=15018748 memory=-7816663703405220396 CPUtime=0.66 cores=0,2,4,6
/proc/22586/task/22587/stat : 22587 (java) R 22583 22583 16770 0 -1 4202560 14558 0 0 0 62 4 0 0 20 0 15 0 225981782 15379197952 32733 33554432000 4194304 4196468 140724776907968 139828883078832 139828911264925 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22588] ppid=22583 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22588/stat : 22588 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15379197952 32733 33554432000 4194304 4196468 140724776907968 139828915485584 139828911253205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22589] ppid=22583 vsize=15018748 memory=61332 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22589/stat : 22589 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15379197952 32733 33554432000 4194304 4196468 140724776907968 139828706568976 139828911253205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22590] ppid=22583 vsize=15018748 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22590/stat : 22590 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981784 15379197952 32733 33554432000 4194304 4196468 140724776907968 139828705516688 139828911253205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22591] ppid=22583 vsize=15018748 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22591/stat : 22591 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225981784 15379197952 32733 33554432000 4194304 4196468 140724776907968 139828704463888 139828911253205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22592] ppid=22583 vsize=15018748 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22592/stat : 22592 (java) S 22583 22583 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225981785 15379197952 32733 33554432000 4194304 4196468 140724776907968 139827881121904 139828911254146 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22593] ppid=22583 vsize=15018748 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22593/stat : 22593 (java) S 22583 22583 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225981786 15379197952 32733 33554432000 4194304 4196468 140724776907968 139827492152096 139828911253205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22594] ppid=22583 vsize=15018748 memory=796 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22594/stat : 22594 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981786 15379197952 32733 33554432000 4194304 4196468 140724776907968 139827223716976 139828911253205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22595] ppid=22583 vsize=15018748 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22595/stat : 22595 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15379197952 32733 33554432000 4194304 4196468 140724776907968 139826849208400 139828911261595 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22596] ppid=22583 vsize=15018748 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/22586/task/22596/stat : 22596 (java) R 22583 22583 16770 0 -1 4202560 728 0 0 0 10 0 0 0 20 0 15 0 225981788 15379197952 32733 33554432000 4194304 4196468 140724776907968 139827880059536 139828896924438 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22597] ppid=22583 vsize=15018748 memory=10096 CPUtime=0.07 cores=0,2,4,6
/proc/22586/task/22597/stat : 22597 (java) R 22583 22583 16770 0 -1 4202560 195 0 0 0 7 0 0 0 20 0 15 0 225981788 15379197952 32797 33554432000 4194304 4196468 140724776907968 139827879010136 139828894710960 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22598] ppid=22583 vsize=15018748 memory=1228 CPUtime=0.17 cores=0,2,4,6
/proc/22586/task/22598/stat : 22598 (java) R 22583 22583 16770 0 -1 4202560 521 0 0 0 17 0 0 0 20 0 15 0 225981788 15379197952 32797 33554432000 4194304 4196468 140724776907968 139827877961912 139828911254934 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22599] ppid=22583 vsize=15018748 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22599/stat : 22599 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225981788 15379197952 32797 33554432000 4194304 4196468 140724776907968 139826351303648 139828911253205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
[pid=22586/tid=22600] ppid=22583 vsize=15018748 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22586/task/22600/stat : 22600 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225981789 15379197952 32797 33554432000 4194304 4196468 140724776907968 139827876911536 139828911254146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140724776911878 140724776912177 140724776912177 140724776914895 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132104 KiB
[startup+1.5008 s]
/proc/loadavg: 1.92 2.00 2.04 5/222 22600
/proc/meminfo: memFree=12635316/32770624 swapFree=67108860/67108860
[pid=22583] ppid=22580 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22583/stat : 22583 (scop.sh) S 22580 22583 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225981781 115843072 348 33554432000 4194304 5098028 140728924675104 140728924672360 140139609760380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35454976 140728924681280 140728924681479 140728924681479 140728924684237 0
/proc/22583/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=22601/tid=22604] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22604/stat : 22604 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709117066384 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22605] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22605/stat : 22605 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709116013328 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22606] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22606/stat : 22606 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709114960784 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22607] ppid=22583 vsize=8068220 memory=117004 CPUtime=0.04 cores=0,2,4,6
/proc/22601/task/22607/stat : 22607 (java) S 22583 22583 16770 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 225982590 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708685285616 139709307071106 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22608] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22608/stat : 22608 (java) S 22583 22583 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225982591 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708172592288 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22609] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22609/stat : 22609 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982591 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707904156400 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22610] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22610/stat : 22610 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707529648080 139709307078555 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22611] ppid=22583 vsize=8068220 memory=1468 CPUtime=0.11 cores=0,2,4,6
/proc/22601/task/22611/stat : 22611 (java) S 22583 22583 16770 0 -1 1077944384 599 0 0 0 10 1 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708684233456 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22612] ppid=22583 vsize=8068220 memory=1468 CPUtime=0.1 cores=0,2,4,6
/proc/22601/task/22612/stat : 22612 (java) S 22583 22583 16770 0 -1 1077944384 349 0 0 0 9 1 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708683180912 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22613] ppid=22583 vsize=8068220 memory=117004 CPUtime=0.21 cores=0,2,4,6
/proc/22601/task/22613/stat : 22613 (java) S 22583 22583 16770 0 -1 1077944384 556 0 0 0 21 0 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708682127856 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22614] ppid=22583 vsize=8068220 memory=106244 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22614/stat : 22614 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225982594 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707031743328 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22615] ppid=22583 vsize=8068220 memory=1468 CPUtime=1.43 cores=0,2,4,6
/proc/22601/task/22615/stat : 22615 (java) S 22583 22583 16770 0 -1 1077944384 163 0 0 0 75 68 0 0 20 0 19 0 225982594 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708681075248 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22617] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22617/stat : 22617 (java) S 22583 22583 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709112423744 139709307084569 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22619] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22619/stat : 22619 (java) S 22583 22583 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706494856592 139709307081885 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22620] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22620/stat : 22620 (java) S 22583 22583 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706629079056 139709307081885 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22621] ppid=22583 vsize=8068220 memory=106244 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22621/stat : 22621 (java) S 22583 22583 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225982662 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706226433824 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
Current children cumulated CPU time: 2455.5 s
Current children cumulated vsize: 8303596 KiB
Current children cumulated memory: 224716 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 22928
/proc/meminfo: memFree=12712276/32770624 swapFree=67108860/67108860
[pid=22583] ppid=22580 vsize=113128 memory=1468 CPUtime=19.5 cores=0,2,4,6
/proc/22583/stat : 22583 (scop.sh) S 22580 22583 16770 0 -1 4202496 590 35105 0 0 0 0 1888 62 20 0 1 0 225981781 115843072 367 33554432000 4194304 5098028 140728924675104 140728924671848 140139609760380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35454976 140728924681280 140728924681479 140728924681479 140728924684237 0
/proc/22583/statm: 28282 367 311 221 0 87 0
[pid=22601] ppid=22583 vsize=8068220 memory=117004 CPUtime=2.73 cores=0,2,4,6
/proc/22601/stat : 22601 (java) S 22583 22583 16770 0 -1 1077944320 17625 0 0 0 197 76 0 0 20 0 19 0 225982587 8261857280 29251 33554432000 4194304 4196468 140721665182272 140721665164816 139709307059959 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
/proc/22601/statm: 2017055 29251 3154 1 0 1978454 0
[pid=22616] ppid=22601 vsize=122248 memory=106244 CPUtime=2493.31 cores=0,2,4,6
/proc/22616/stat : 22616 (minisat_release) R 22601 22583 16770 0 -1 4202496 179580 0 0 0 249313 18 0 0 20 0 1 0 225982659 125181952 26561 33554432000 4194304 4308513 140729297838224 140729297835224 4276015 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 40153088 140729297839220 140729297839318 140729297839318 140729297842117 0
/proc/22616/statm: 30562 26561 341 28 0 26802 0
[pid=22601/tid=22602] ppid=22583 vsize=8068220 memory=117004 CPUtime=0.74 cores=0,2,4,6
/proc/22601/task/22602/stat : 22602 (java) S 22583 22583 16770 0 -1 1077944384 14542 0 0 0 70 4 0 0 20 0 19 0 225982588 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709278900112 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22603] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22603/stat : 22603 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709311302672 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22604] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22604/stat : 22604 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709117066384 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22605] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22605/stat : 22605 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709116013328 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22606] ppid=22583 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22606/stat : 22606 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709114960784 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22607] ppid=22583 vsize=8068220 memory=61412 CPUtime=0.04 cores=0,2,4,6
/proc/22601/task/22607/stat : 22607 (java) S 22583 22583 16770 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 225982590 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708685285616 139709307071106 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22608] ppid=22583 vsize=8068220 memory=117004 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22608/stat : 22608 (java) S 22583 22583 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225982591 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708172592288 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22609] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22609/stat : 22609 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982591 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707904156400 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22610] ppid=22583 vsize=8068220 memory=106244 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22610/stat : 22610 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707529648080 139709307078555 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22611] ppid=22583 vsize=8068220 memory=1468 CPUtime=0.11 cores=0,2,4,6
/proc/22601/task/22611/stat : 22611 (java) S 22583 22583 16770 0 -1 1077944384 599 0 0 0 10 1 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708684233456 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22612] ppid=22583 vsize=8068220 memory=1468 CPUtime=0.1 cores=0,2,4,6
/proc/22601/task/22612/stat : 22612 (java) S 22583 22583 16770 0 -1 1077944384 349 0 0 0 9 1 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708683180912 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22613] ppid=22583 vsize=8068220 memory=117004 CPUtime=0.21 cores=0,2,4,6
/proc/22601/task/22613/stat : 22613 (java) S 22583 22583 16770 0 -1 1077944384 556 0 0 0 21 0 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708682127856 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22614] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22614/stat : 22614 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225982594 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707031743328 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22615] ppid=22583 vsize=8068220 memory=117004 CPUtime=1.47 cores=0,2,4,6
/proc/22601/task/22615/stat : 22615 (java) S 22583 22583 16770 0 -1 1077944384 167 0 0 0 76 71 0 0 20 0 19 0 225982594 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708681075248 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22617] ppid=22583 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22617/stat : 22617 (java) S 22583 22583 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709112423744 139709307084569 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22619] ppid=22583 vsize=8068220 memory=61412 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22619/stat : 22619 (java) S 22583 22583 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706494856592 139709307081885 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22620] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22620/stat : 22620 (java) S 22583 22583 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706629079056 139709307081885 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22621] ppid=22583 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22621/stat : 22621 (java) S 22583 22583 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225982662 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706226433824 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
Current children cumulated CPU time: 2515.54 s
Current children cumulated vsize: 8303596 KiB
Current children cumulated memory: 224716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 22928
/proc/meminfo: memFree=12712268/32770624 swapFree=67108860/67108860
[pid=22583] ppid=22580 vsize=113128 memory=1468 CPUtime=19.5 cores=0,2,4,6
/proc/22583/stat : 22583 (scop.sh) S 22580 22583 16770 0 -1 4202496 590 35105 0 0 0 0 1888 62 20 0 1 0 225981781 115843072 367 33554432000 4194304 5098028 140728924675104 140728924671848 140139609760380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35454976 140728924681280 140728924681479 140728924681479 140728924684237 0
/proc/22583/statm: 28282 367 311 221 0 87 0
[pid=22601] ppid=22583 vsize=8068220 memory=117004 CPUtime=2.73 cores=0,2,4,6
/proc/22601/stat : 22601 (java) S 22583 22583 16770 0 -1 1077944320 17625 0 0 0 197 76 0 0 20 0 19 0 225982587 8261857280 29251 33554432000 4194304 4196468 140721665182272 140721665164816 139709307059959 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
/proc/22601/statm: 2017055 29251 3154 1 0 1978454 0
[pid=22616] ppid=22601 vsize=122248 memory=106244 CPUtime=2497.8 cores=0,2,4,6
/proc/22616/stat : 22616 (minisat_release) R 22601 22583 16770 0 -1 4202496 179604 0 0 0 249762 18 0 0 20 0 1 0 225982659 125181952 26561 33554432000 4194304 4308513 140729297838224 140729297835224 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 40153088 140729297839220 140729297839318 140729297839318 140729297842117 0
/proc/22616/statm: 30562 26561 341 28 0 26802 0
[pid=22601/tid=22602] ppid=22583 vsize=8068220 memory=1228 CPUtime=0.74 cores=0,2,4,6
/proc/22601/task/22602/stat : 22602 (java) S 22583 22583 16770 0 -1 1077944384 14542 0 0 0 70 4 0 0 20 0 19 0 225982588 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709278900112 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22603] ppid=22583 vsize=8068220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22603/stat : 22603 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709311302672 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22604] ppid=22583 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22604/stat : 22604 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709117066384 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22605] ppid=22583 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22605/stat : 22605 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709116013328 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22606] ppid=22583 vsize=8068220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22606/stat : 22606 (java) S 22583 22583 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225982589 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709114960784 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22607] ppid=22583 vsize=8068220 memory=1428 CPUtime=0.04 cores=0,2,4,6
/proc/22601/task/22607/stat : 22607 (java) S 22583 22583 16770 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 225982590 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708685285616 139709307071106 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22608] ppid=22583 vsize=8068220 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22608/stat : 22608 (java) S 22583 22583 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225982591 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708172592288 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22609] ppid=22583 vsize=8068220 memory=16228 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22609/stat : 22609 (java) S 22583 22583 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225982591 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707904156400 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22610] ppid=22583 vsize=8068220 memory=34144 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22610/stat : 22610 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707529648080 139709307078555 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22611] ppid=22583 vsize=8068220 memory=4048 CPUtime=0.11 cores=0,2,4,6
/proc/22601/task/22611/stat : 22611 (java) S 22583 22583 16770 0 -1 1077944384 599 0 0 0 10 1 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708684233456 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22612] ppid=22583 vsize=8068220 memory=1796 CPUtime=0.1 cores=0,2,4,6
/proc/22601/task/22612/stat : 22612 (java) S 22583 22583 16770 0 -1 1077944384 349 0 0 0 9 1 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708683180912 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22613] ppid=22583 vsize=8068220 memory=118876 CPUtime=0.21 cores=0,2,4,6
/proc/22601/task/22613/stat : 22613 (java) S 22583 22583 16770 0 -1 1077944384 556 0 0 0 21 0 0 0 20 0 19 0 225982593 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708682127856 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22614] ppid=22583 vsize=8068220 memory=60900 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22614/stat : 22614 (java) S 22583 22583 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225982594 8261857280 29251 33554432000 4194304 4196468 140721665182272 139707031743328 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22615] ppid=22583 vsize=8068220 memory=-7824251494390782051 CPUtime=1.48 cores=0,2,4,6
/proc/22601/task/22615/stat : 22615 (java) S 22583 22583 16770 0 -1 1077944384 167 0 0 0 77 71 0 0 20 0 19 0 225982594 8261857280 29251 33554432000 4194304 4196468 140721665182272 139708681075248 139709307071106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22617] ppid=22583 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22617/stat : 22617 (java) S 22583 22583 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139709112423744 139709307084569 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22619] ppid=22583 vsize=8068220 memory=7379834507377267542 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22619/stat : 22619 (java) S 22583 22583 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706494856592 139709307081885 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22620] ppid=22583 vsize=8068220 memory=7379834507377267542 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22620/stat : 22620 (java) S 22583 22583 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225982660 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706629079056 139709307081885 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
[pid=22601/tid=22621] ppid=22583 vsize=8068220 memory=7379834507377267542 CPUtime=0 cores=0,2,4,6
/proc/22601/task/22621/stat : 22621 (java) S 22583 22583 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225982662 8261857280 29251 33554432000 4194304 4196468 140721665182272 139706226433824 139709307070165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33529856 140721665184949 140721665185073 140721665185073 140721665187791 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8303596 KiB
Current children cumulated memory: 224716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.81 s]
# the end of solver process 22583 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.8858 s, system=0.630094 s
[startup+2506.82 s]
# the end of solver process 22601 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.49 s, system=1.59799 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
Child status: 1
Real time (s): 2506.82
CPU time (s): 2520.09
CPU user time (s): 2518.49
CPU system time (s): 1.59799
CPU usage (%): 100.53
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3100340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.49
system time used= 1.59799
maximum resident set size= 3099732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60154
involuntary context switches= 3187
# summary of solver processes directly reported to runsolver:
# pid: 22583,22601
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.49
# total CPU system time (s): 1.59799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4888 second user time and 27.1757 second system time
The end