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-23452-serial-file.bin HOME/instance-4305449-1534088684.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 17:44:45 CEST 2018
0.66/0.55 c PID: 23455
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
1.94/1.16 c (0,0) Parsing End
1.94/1.17 c (0,0) CSP: 715 int (0 aux), 0 bool (0 aux), 319 ctr, max domain size 231
1.94/1.17 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.94/1.17 c (0,0) Constraint Name Generate Begin
1.94/1.18 c (0,0) Ctr:HOME/instance-4305449-1534088684.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.94/1.18 c (0,0) Constraint Name Generate End
1.94/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.94/1.18 c (0,0) CSP to CSPinCNF Begin
8.88/4.06 c (3,3) translated 32 (10%) constraints
10.73/5.87 c (5,5) translated 64 (20%) constraints
12.57/7.68 c (7,7) translated 96 (30%) constraints
15.19/9.62 c (9,8) translated 128 (40%) constraints
16.81/11.27 c (10,10) translated 160 (50%) constraints
18.57/12.92 c (12,12) translated 192 (60%) constraints
20.19/14.58 c (14,13) translated 224 (70%) constraints
25.93/16.75 c (16,15) translated 256 (80%) constraints
28.74/17.85 c (17,16) translated 288 (90%) constraints
29.83/18.24 c (17,17) translated 319 (100%) constraints
32.88/19.50 c (18,18) STATISTICS1:HOME/instance-4305449-1534088684.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,69806,335347,8796093022208,231,231,44,8796093022208:484;2199023255552:484;1024:42;231:24090;21:5093;1:2475,231:253880;21:249590;2:503646;1:12705,231:2;22:737;21:231;20:231;19:231;18:231;17:231;16:231;15:231;14:231;13:231;12:231;11:231;10:231;9:231;8:231;7:231;6:231;5:231;4:96789;3:78562;2:154561;1:769,44:484;42:484;11:42;2:31658;1:936188;0:231,
32.88/19.50 c (18,18) ==========================================
32.88/19.50 c (18,18) Order
32.88/19.51 c (18,18) ==========================================
34.01/20.05 c (19,19) translated 33535 (10%) constraints
35.55/20.80 c (20,19) translated 67070 (20%) constraints
36.11/21.25 c (20,19) translated 100605 (30%) constraints
36.51/21.69 c (21,20) translated 134139 (40%) constraints
37.02/22.14 c (21,20) translated 167674 (50%) constraints
37.41/22.59 c (22,21) translated 201209 (60%) constraints
37.92/23.03 c (22,21) translated 234743 (70%) constraints
38.31/23.48 c (22,22) translated 268278 (80%) constraints
39.84/24.29 c (23,22) translated 301813 (90%) constraints
45.42/26.68 c (26,25) translated 335347 (100%) constraints
45.42/26.68 c (26,25) CSP to CSPinCNF End
45.72/26.72 c (26,25) CSP: 6039 int (5324 aux), 79970 bool (79970 aux), 366091 ctr, max domain size 229
45.72/26.72 c (26,25) Heap : 2626 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
45.72/26.72 c (26,25) CSPinCNF Propagation Begin
51.60/29.69 c (29,27) 9247 values, 31531 unsatisfiable literals, and 22644 valid clauses are removed
51.60/29.69 c (29,27) CSPinCNF Propagation End
51.73/29.72 c (29,27) CSP: 11671 int (10956 aux), 74338 bool (74338 aux), 343447 ctr, max domain size 229
51.73/29.72 c (29,27) Heap : 1809 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
51.73/29.72 c (29,27) Simplify CSPinCNF Begin
53.65/31.21 c (30,29) Simplify CSPinCNF End
53.65/31.26 c (30,29) CSP: 11671 int (10956 aux), 136180 bool (136180 aux), 405289 ctr, max domain size 229
53.65/31.26 c (30,29) Heap : 2641 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
53.65/31.26 c (30,29) Calculate Precise Domain Begin
53.81/31.32 c (30,29) 983 values are removed by re-calculation
53.81/31.32 c (30,29) Calculate Precise Domain End
53.81/31.37 c (30,29) CSP: 11671 int (10956 aux), 136180 bool (136180 aux), 405289 ctr, max domain size 229
53.81/31.37 c (30,29) Heap : 2696 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
53.81/31.37 c (30,29) CSPinCNF to SatSolver Begin
54.92/31.83 c (31,30) 40529 (10 %) CSP clauses are encoded (210298 SAT variables, 108794 SAT clauses)
56.66/32.41 c (31,30) 81058 (20 %) CSP clauses are encoded (210298 SAT variables, 149323 SAT clauses)
56.76/32.60 c (32,30) 121587 (30 %) CSP clauses are encoded (210298 SAT variables, 189852 SAT clauses)
56.97/32.78 c (32,30) 162116 (40 %) CSP clauses are encoded (210298 SAT variables, 230381 SAT clauses)
57.17/32.97 c (32,30) 202645 (50 %) CSP clauses are encoded (210298 SAT variables, 270910 SAT clauses)
57.37/33.16 c (32,31) 243174 (60 %) CSP clauses are encoded (210298 SAT variables, 311439 SAT clauses)
66.05/39.64 c (39,36) 283703 (70 %) CSP clauses are encoded (210298 SAT variables, 3008624 SAT clauses)
80.12/53.56 c (53,49) 324232 (80 %) CSP clauses are encoded (210298 SAT variables, 8708797 SAT clauses)
87.20/60.44 c (59,55) 364761 (90 %) CSP clauses are encoded (210298 SAT variables, 11625626 SAT clauses)
88.11/61.31 c (60,56) 405289 (100 %) CSP clauses are encoded (210298 SAT variables, 11861523 SAT clauses)
88.11/61.31 c (60,56) Launch Command will be: minisat_release
88.11/61.31 c (60,56) CSPinCNF to SatSolver End
88.11/61.31 c (60,56) Heap : 942 MiB used (max 10702 MiB), NonHeap : 34 MiB used (max 0 MiB)
89.82/62.43 c (61,57) STATISTICS2:HOME/instance-4305449-1534088684.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,147851,405289,1024,229,21,11,1024:40;256:418;229:48180;128:3344;64:1254;27:190;24:190;21:2863;20:7040;18:30;16:390;15:10;14:19;12:50;10:4;9:2860;8:445;4:286;1:3960,229:301818;21:226908;20:34540;10:380;9:418;8:456;7:438;6:102;5:32;4:110;3:14080;2:630311;1:8580,21:440;20:440;19:220;18:220;17:220;16:220;15:220;14:220;13:220;12:220;11:262;10:220;9:220;8:220;7:220;6:220;5:220;4:92180;3:71687;2:227469;1:9731,11:40;9:968;8:4840;3:3872;2:61853;1:1034979,
89.82/62.43 c (61,57) 210298 bool, 11861543 clause
89.82/62.43 c (61,57) Export Begin
89.95/62.57 c (62,57) Export to HOME/scop-23452-serial-file.bin
89.95/62.57 c (62,57) Export End
89.95/62.57 c (62,57) Export File Size: 0.15 MB
89.95/62.57 c (62,57) 0,0,26,29,30,30,60,STOP-AFTER(DIMACS)
89.95/62.57 c END-Prog: Sun Aug 12 17:45:47 CEST 2018
0.00/62.61 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23452-serial-file.bin
90.72/63.10 c (0,0) Read Serial File Begin
90.72/63.10 c (0,0) HOME/scop-23452-serial-file.bin
91.24/63.33 c (0,0) Read Serial File End
91.24/63.34
91.24/63.34 scop order+minisat_release (2018-07-31)
91.24/63.34 (Solving Process)
91.24/63.34
91.24/63.37 c BEGIN-Prog: Sun Aug 12 17:45:47 CEST 2018
91.24/63.37 c PID: 23471
91.24/63.37 c IP: 172.20.3.139
91.24/63.37 c HOST: node139.alineos.net
91.24/63.37 c (0,0) SatSolver.solve Begin
91.24/63.37 c (0,0) 0 bool, 0 clause
91.24/63.37 c (0,0) minisat_release HOME/instance-4305449-1534088684.xml-scop-23455.cnf
2520.00/2490.20 c (2427,0) receiving signal SIGTERM
2520.00/2490.20 s UNKNOWN
2520.00/2490.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2490.21 c (scop.sh) Remove HOME/scop-23452-serial-file.bin.
2520.00/2490.21 c (scop.sh) Killing background jobs.
2520.00/2490.21 c (2427,0) receiving signal SIGTERM
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 (5745 MiB free)
memory of node 1: 16384 MiB (6889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305449-1534088684/watcher-4305449-1534088684 -o /tmp/evaluation-result-4305449-1534088684/solver-4305449-1534088684 -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-4305449-1534088684.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=23452, runsolver pid=23449
[startup+0.100093 s]*
/proc/loadavg: 2.00 2.09 2.10 3/222 23469
/proc/meminfo: memFree=12877052/32770624 swapFree=67108860/67108860
[pid=23452] ppid=23449 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23452/stat : 23452 (scop.sh) S 23449 23452 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226431564 115843072 349 33554432000 4194304 5098028 140725431403264 140725431400520 140189411054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26980352 140725431411776 140725431411975 140725431411975 140725431414733 0
/proc/23452/statm: 28282 349 296 221 0 87 0
[pid=23455] ppid=23452 vsize=15012476 memory=73304 CPUtime=0.11 cores=0,2,4,6
/proc/23455/stat : 23455 (java) S 23452 23452 16770 0 -1 1077944320 5974 0 0 0 10 1 0 0 20 0 15 0 226431565 15372775424 18326 33554432000 4194304 4196468 140723842765952 140723842748496 139949319581431 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
/proc/23455/statm: 3753119 18326 2743 1 0 3715579 0
[pid=23455/tid=23456] ppid=23452 vsize=15012476 memory=-6148396199699595205 CPUtime=0.09 cores=0,2,4,6
/proc/23455/task/23456/stat : 23456 (java) R 23452 23452 16770 0 -1 4202560 4064 0 0 0 8 1 0 0 20 0 15 0 226431565 15372775424 18326 33554432000 4194304 4196468 140723842765952 139949291393416 139949302768257 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23457] ppid=23452 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23457/stat : 23457 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 18326 33554432000 4194304 4196468 140723842765952 139949323823376 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23458] ppid=23452 vsize=15012476 memory=139773840512640 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23458/stat : 23458 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 18326 33554432000 4194304 4196468 140723842765952 139949099526544 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23459] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23459/stat : 23459 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 18326 33554432000 4194304 4196468 140723842765952 139949098474000 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23460] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23460/stat : 23460 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 18326 33554432000 4194304 4196468 140723842765952 139949097421456 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23461] ppid=23452 vsize=15012476 memory=139773840512640 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23461/stat : 23461 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226431568 15372775424 18326 33554432000 4194304 4196468 140723842765952 139948659137008 139949319592578 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23462] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23462/stat : 23462 (java) S 23452 23452 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226431569 15372775424 18391 33554432000 4194304 4196468 140723842765952 139947919009184 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23463] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23463/stat : 23463 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431569 15372775424 18391 33554432000 4194304 4196468 140723842765952 139947684128240 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23464] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23464/stat : 23464 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 18391 33554432000 4194304 4196468 140723842765952 139947309619920 139949319600027 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23465] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23465/stat : 23465 (java) S 23452 23452 16770 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 18391 33554432000 4194304 4196468 140723842765952 139948658083824 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23466] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23466/stat : 23466 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 18391 33554432000 4194304 4196468 140723842765952 139948657031280 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23467] ppid=23452 vsize=15012476 memory=139773840512640 CPUtime=0.01 cores=0,2,4,6
/proc/23455/task/23467/stat : 23467 (java) S 23452 23452 16770 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 226431571 15372775424 18391 33554432000 4194304 4196468 140723842765952 139948655978736 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23468] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23468/stat : 23468 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 18391 33554432000 4194304 4196468 140723842765952 139946811714144 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23469] ppid=23452 vsize=15012476 memory=139773840512640 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23469/stat : 23469 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431572 15372775424 18391 33554432000 4194304 4196468 140723842765952 139948654926640 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74700 KiB
[startup+0.2107 s]*
/proc/loadavg: 2.00 2.09 2.10 3/222 23469
/proc/meminfo: memFree=12863088/32770624 swapFree=67108860/67108860
[pid=23452] ppid=23449 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23452/stat : 23452 (scop.sh) S 23449 23452 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226431564 115843072 349 33554432000 4194304 5098028 140725431403264 140725431400520 140189411054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26980352 140725431411776 140725431411975 140725431411975 140725431414733 0
/proc/23452/statm: 28282 349 296 221 0 87 0
[pid=23455] ppid=23452 vsize=15012476 memory=86632 CPUtime=0.25 cores=0,2,4,6
/proc/23455/stat : 23455 (java) S 23452 23452 16770 0 -1 1077944320 9492 0 0 0 23 2 0 0 20 0 15 0 226431565 15372775424 21658 33554432000 4194304 4196468 140723842765952 140723842748496 139949319581431 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
/proc/23455/statm: 3753119 21658 2899 1 0 3715579 0
[pid=23455/tid=23456] ppid=23452 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23455/task/23456/stat : 23456 (java) R 23452 23452 16770 0 -1 4202560 7400 0 0 0 19 1 0 0 20 0 15 0 226431565 15372775424 21658 33554432000 4194304 4196468 140723842765952 139949291407824 139949319602778 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23457] ppid=23452 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23457/stat : 23457 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 21658 33554432000 4194304 4196468 140723842765952 139949323823376 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23458] ppid=23452 vsize=15012476 memory=139773840662857 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23458/stat : 23458 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 21658 33554432000 4194304 4196468 140723842765952 139949099526544 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23459] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23459/stat : 23459 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 21658 33554432000 4194304 4196468 140723842765952 139949098474000 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23460] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23460/stat : 23460 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 21658 33554432000 4194304 4196468 140723842765952 139949097421456 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23461] ppid=23452 vsize=15012476 memory=139773840512640 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23461/stat : 23461 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226431568 15372775424 21658 33554432000 4194304 4196468 140723842765952 139948659137008 139949319592578 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23462] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23462/stat : 23462 (java) S 23452 23452 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226431569 15372775424 21658 33554432000 4194304 4196468 140723842765952 139947919009184 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23463] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23463/stat : 23463 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431569 15372775424 21658 33554432000 4194304 4196468 140723842765952 139947684128240 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23464] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23464/stat : 23464 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 21658 33554432000 4194304 4196468 140723842765952 139947309619920 139949319600027 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23465] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23465/stat : 23465 (java) S 23452 23452 16770 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 21658 33554432000 4194304 4196468 140723842765952 139948658083824 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23466] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23466/stat : 23466 (java) S 23452 23452 16770 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 21658 33554432000 4194304 4196468 140723842765952 139948657031280 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23467] ppid=23452 vsize=15012476 memory=139773840512640 CPUtime=0.03 cores=0,2,4,6
/proc/23455/task/23467/stat : 23467 (java) R 23452 23452 16770 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 15 0 226431571 15372775424 21658 33554432000 4194304 4196468 140723842765952 139948655978736 139949319593366 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23468] ppid=23452 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23468/stat : 23468 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 21658 33554432000 4194304 4196468 140723842765952 139946811714144 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23469] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23469/stat : 23469 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431572 15372775424 21658 33554432000 4194304 4196468 140723842765952 139948654926640 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88028 KiB
[startup+0.310607 s]*
/proc/loadavg: 2.00 2.09 2.10 3/222 23469
/proc/meminfo: memFree=12859432/32770624 swapFree=67108860/67108860
[pid=23452] ppid=23449 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23452/stat : 23452 (scop.sh) S 23449 23452 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226431564 115843072 349 33554432000 4194304 5098028 140725431403264 140725431400520 140189411054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26980352 140725431411776 140725431411975 140725431411975 140725431414733 0
/proc/23452/statm: 28282 349 296 221 0 87 0
[pid=23455] ppid=23452 vsize=15012476 memory=90152 CPUtime=0.42 cores=0,2,4,6
/proc/23455/stat : 23455 (java) S 23452 23452 16770 0 -1 1077944320 10024 0 0 0 40 2 0 0 20 0 15 0 226431565 15372775424 22538 33554432000 4194304 4196468 140723842765952 140723842748496 139949319581431 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
/proc/23455/statm: 3753119 22538 2963 1 0 3715579 0
[pid=23455/tid=23456] ppid=23452 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23455/task/23456/stat : 23456 (java) R 23452 23452 16770 0 -1 4202560 7769 0 0 0 28 1 0 0 20 0 15 0 226431565 15372775424 22538 33554432000 4194304 4196468 140723842765952 139949291376880 139949305276400 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23457] ppid=23452 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23457/stat : 23457 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 22538 33554432000 4194304 4196468 140723842765952 139949323823376 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23458] ppid=23452 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23458/stat : 23458 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 22538 33554432000 4194304 4196468 140723842765952 139949099526544 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23459] ppid=23452 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23459/stat : 23459 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 22538 33554432000 4194304 4196468 140723842765952 139949098474000 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23460] ppid=23452 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23460/stat : 23460 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15372775424 22538 33554432000 4194304 4196468 140723842765952 139949097421456 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23461] ppid=23452 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23461/stat : 23461 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226431568 15372775424 22538 33554432000 4194304 4196468 140723842765952 139948659137008 139949319592578 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23462] ppid=23452 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23462/stat : 23462 (java) S 23452 23452 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226431569 15372775424 22538 33554432000 4194304 4196468 140723842765952 139947919009184 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23463] ppid=23452 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23463/stat : 23463 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431569 15372775424 22538 33554432000 4194304 4196468 140723842765952 139947684128240 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23464] ppid=23452 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23464/stat : 23464 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 22538 33554432000 4194304 4196468 140723842765952 139947309619920 139949319600027 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23465] ppid=23452 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23455/task/23465/stat : 23465 (java) S 23452 23452 16770 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 15 0 226431571 15372775424 22538 33554432000 4194304 4196468 140723842765952 139948658083824 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23466] ppid=23452 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23455/task/23466/stat : 23466 (java) S 23452 23452 16770 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 226431571 15372775424 22538 33554432000 4194304 4196468 140723842765952 139948657031280 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23467] ppid=23452 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23455/task/23467/stat : 23467 (java) S 23452 23452 16770 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 15 0 226431571 15372775424 22538 33554432000 4194304 4196468 140723842765952 139948655978736 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23468] ppid=23452 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23468/stat : 23468 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15372775424 22538 33554432000 4194304 4196468 140723842765952 139946811714144 139949319591637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23469] ppid=23452 vsize=15012476 memory=4049359695133089841 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23469/stat : 23469 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431572 15372775424 22538 33554432000 4194304 4196468 140723842765952 139948654926640 139949319592578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91548 KiB
[startup+0.700822 s]
/proc/loadavg: 2.00 2.09 2.10 3/222 23469
/proc/meminfo: memFree=12835496/32770624 swapFree=67108860/67108860
[pid=23452] ppid=23449 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23452/stat : 23452 (scop.sh) S 23449 23452 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226431564 115843072 349 33554432000 4194304 5098028 140725431403264 140725431400520 140189411054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26980352 140725431411776 140725431411975 140725431411975 140725431414733 0
/proc/23452/statm: 28282 349 296 221 0 87 0
[pid=23455] ppid=23452 vsize=15020872 memory=127520 CPUtime=1 cores=0,2,4,6
/proc/23455/stat : 23455 (java) S 23452 23452 16770 0 -1 1077944320 16970 0 0 0 96 4 0 0 20 0 15 0 226431565 15381372928 31880 33554432000 4194304 4196468 140723842765952 140723842748496 139949319581431 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
/proc/23455/statm: 3755218 31880 3147 1 0 3716603 0
[pid=23455/tid=23456] ppid=23452 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/23455/task/23456/stat : 23456 (java) R 23452 23452 16770 0 -1 4202560 14288 0 0 0 64 3 0 0 20 0 15 0 226431565 15381372928 31880 33554432000 4194304 4196468 140723842765952 139949291408160 139949303625061 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23457] ppid=23452 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23457/stat : 23457 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226431567 15381372928 31880 33554432000 4194304 4196468 140723842765952 139949323823376 139949319591637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23458] ppid=23452 vsize=15020872 memory=61440 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23458/stat : 23458 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15381372928 31880 33554432000 4194304 4196468 140723842765952 139949099526544 139949319591637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23459] ppid=23452 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23459/stat : 23459 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15381372928 31880 33554432000 4194304 4196468 140723842765952 139949098474000 139949319591637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23460] ppid=23452 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23460/stat : 23460 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431567 15381372928 31880 33554432000 4194304 4196468 140723842765952 139949097421456 139949319591637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23461] ppid=23452 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23461/stat : 23461 (java) S 23452 23452 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226431568 15381372928 31880 33554432000 4194304 4196468 140723842765952 139948659137008 139949319592578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23462] ppid=23452 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23462/stat : 23462 (java) S 23452 23452 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226431569 15381372928 31880 33554432000 4194304 4196468 140723842765952 139947919009184 139949319591637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23463] ppid=23452 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23463/stat : 23463 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431569 15381372928 31880 33554432000 4194304 4196468 140723842765952 139947684128240 139949319591637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23464] ppid=23452 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23464/stat : 23464 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15381372928 31880 33554432000 4194304 4196468 140723842765952 139947309619920 139949319600027 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23465] ppid=23452 vsize=15020872 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/23455/task/23465/stat : 23465 (java) S 23452 23452 16770 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 15 0 226431571 15381372928 31880 33554432000 4194304 4196468 140723842765952 139948658083824 139949319592578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23466] ppid=23452 vsize=15020872 memory=10096 CPUtime=0.08 cores=0,2,4,6
/proc/23455/task/23466/stat : 23466 (java) S 23452 23452 16770 0 -1 1077944384 461 0 0 0 8 0 0 0 20 0 15 0 226431571 15381372928 31880 33554432000 4194304 4196468 140723842765952 139948657031280 139949319592578 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23467] ppid=23452 vsize=15020872 memory=1228 CPUtime=0.16 cores=0,2,4,6
/proc/23455/task/23467/stat : 23467 (java) S 23452 23452 16770 0 -1 1077944384 409 0 0 0 16 0 0 0 20 0 15 0 226431571 15381372928 31880 33554432000 4194304 4196468 140723842765952 139948655978736 139949319592578 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23468] ppid=23452 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23468/stat : 23468 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226431571 15381372928 31880 33554432000 4194304 4196468 140723842765952 139946811714144 139949319591637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
[pid=23455/tid=23469] ppid=23452 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23455/task/23469/stat : 23469 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226431572 15381372928 31880 33554432000 4194304 4196468 140723842765952 139948654926640 139949319592578 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37994496 140723842769926 140723842770225 140723842770225 140723842772943 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128916 KiB
[startup+1.5007 s]
/proc/loadavg: 2.00 2.09 2.10 4/222 23469
/proc/meminfo: memFree=12806284/32770624 swapFree=67108860/67108860
[pid=23452] ppid=23449 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23452/stat : 23452 (scop.sh) S 23449 23452 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226431564 115843072 349 33554432000 4194304 5098028 140725431403264 140725431400520 140189411054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26980352 140725431411776 140725431411975 140725431411975 140725431414733 0
/proc/23452/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23471/tid=23474] ppid=23452 vsize=8068220 memory=1092436 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153389898128 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23475] ppid=23452 vsize=8068220 memory=121168 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153388845584 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23476] ppid=23452 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153387793040 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23477] ppid=23452 vsize=8068220 memory=1472 CPUtime=0.06 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23452 23452 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152963828208 140153585498754 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23478] ppid=23452 vsize=8068220 memory=121168 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23452 23452 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152433272224 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23479] ppid=23452 vsize=8068220 memory=121168 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152164836848 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23480] ppid=23452 vsize=8068220 memory=1092436 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140151790328528 140153585506203 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23481] ppid=23452 vsize=8068220 memory=5408 CPUtime=0.17 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) S 23452 23452 16770 0 -1 1077944384 760 0 0 0 16 1 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152962775024 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23482] ppid=23452 vsize=8068220 memory=876 CPUtime=0.16 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) S 23452 23452 16770 0 -1 1077944384 689 0 0 0 16 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152961722480 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23483] ppid=23452 vsize=8068220 memory=279547476333504 CPUtime=0.24 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) S 23452 23452 16770 0 -1 1077944384 610 0 0 0 23 1 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152960669936 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23484] ppid=23452 vsize=8068220 memory=734261912962479161 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140151292422752 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23485] ppid=23452 vsize=8068220 memory=4128 CPUtime=1.59 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23452 23452 16770 0 -1 1077944384 155 0 0 0 81 78 0 0 20 0 19 0 226437833 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152959617840 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23487] ppid=23452 vsize=8068220 memory=61508 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23487/stat : 23487 (java) S 23452 23452 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153037940288 140153585512217 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23489] ppid=23452 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23489/stat : 23489 (java) S 23452 23452 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150755537072 140153585509533 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23490] ppid=23452 vsize=8068220 memory=121168 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23490/stat : 23490 (java) S 23452 23452 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150889758000 140153585509533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23491] ppid=23452 vsize=8068220 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23491/stat : 23491 (java) S 23452 23452 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226437907 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150487112736 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
Current children cumulated CPU time: 2411.98 s
Current children cumulated vsize: 9374476 KiB
Current children cumulated memory: 1215076 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/227 23688
/proc/meminfo: memFree=11096592/32770624 swapFree=67108860/67108860
[pid=23452] ppid=23449 vsize=113128 memory=1472 CPUtime=90.2 cores=0,2,4,6
/proc/23452/stat : 23452 (scop.sh) S 23449 23452 16770 0 -1 4202496 592 90241 0 0 0 0 8745 275 20 0 1 0 226431564 115843072 368 33554432000 4194304 5098028 140725431403264 140725431400008 140189411054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26980352 140725431411776 140725431411975 140725431411975 140725431414733 0
/proc/23452/statm: 28282 368 311 221 0 87 0
[pid=23471] ppid=23452 vsize=8068220 memory=121168 CPUtime=3.14 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23452 23452 16770 0 -1 1077944320 18682 0 0 0 233 81 0 0 20 0 19 0 226437825 8261857280 30292 33554432000 4194304 4196468 140731187507632 140731187490176 140153585487607 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
/proc/23471/statm: 2017055 30292 3156 1 0 1978454 0
[pid=23486] ppid=23471 vsize=1193128 memory=1094484 CPUtime=2378.7 cores=0,2,4,6
/proc/23486/stat : 23486 (minisat_release) R 23471 23452 16770 0 -1 4202496 6220150 0 0 0 237444 426 0 0 20 0 1 0 226437904 1221763072 273621 33554432000 4194304 4308513 140736811169248 140736811166696 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 22315008 140736811172980 140736811173078 140736811173078 140736811175877 0
/proc/23486/statm: 298282 273621 342 28 0 294522 0
[pid=23471/tid=23472] ppid=23452 vsize=8068220 memory=1094484 CPUtime=0.79 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) S 23452 23452 16770 0 -1 1077944384 15053 0 0 0 74 5 0 0 20 0 19 0 226437826 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153557327760 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23473] ppid=23452 vsize=8068220 memory=1094484 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153589729552 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23474] ppid=23452 vsize=8068220 memory=1092436 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153389898128 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23475] ppid=23452 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153388845584 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23476] ppid=23452 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153387793040 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23477] ppid=23452 vsize=8068220 memory=1094484 CPUtime=0.06 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23452 23452 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152963828208 140153585498754 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23478] ppid=23452 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23452 23452 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152433272224 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23479] ppid=23452 vsize=8068220 memory=840 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152164836848 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23480] ppid=23452 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140151790328528 140153585506203 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23481] ppid=23452 vsize=8068220 memory=121168 CPUtime=0.17 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) S 23452 23452 16770 0 -1 1077944384 760 0 0 0 16 1 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152962775024 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23482] ppid=23452 vsize=8068220 memory=1094484 CPUtime=0.16 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) S 23452 23452 16770 0 -1 1077944384 689 0 0 0 16 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152961722480 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23483] ppid=23452 vsize=8068220 memory=1472 CPUtime=0.24 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) S 23452 23452 16770 0 -1 1077944384 610 0 0 0 23 1 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152960669936 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23484] ppid=23452 vsize=8068220 memory=121168 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140151292422752 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23485] ppid=23452 vsize=8068220 memory=1472 CPUtime=1.64 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23452 23452 16770 0 -1 1077944384 159 0 0 0 83 81 0 0 20 0 19 0 226437833 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152959617840 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23487] ppid=23452 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23487/stat : 23487 (java) S 23452 23452 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153037940288 140153585512217 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23489] ppid=23452 vsize=8068220 memory=1094484 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23489/stat : 23489 (java) S 23452 23452 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150755537072 140153585509533 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23490] ppid=23452 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23490/stat : 23490 (java) S 23452 23452 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150889758000 140153585509533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23491] ppid=23452 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23491/stat : 23491 (java) S 23452 23452 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226437907 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150487112736 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
Current children cumulated CPU time: 2472.04 s
Current children cumulated vsize: 9374476 KiB
Current children cumulated memory: 1217124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2490.2 s]
/proc/loadavg: 2.02 2.05 2.05 3/227 23689
/proc/meminfo: memFree=11104372/32770624 swapFree=67108860/67108860
[pid=23452] ppid=23449 vsize=113128 memory=1472 CPUtime=90.2 cores=0,2,4,6
/proc/23452/stat : 23452 (scop.sh) S 23449 23452 16770 0 -1 4202496 592 90241 0 0 0 0 8745 275 20 0 1 0 226431564 115843072 368 33554432000 4194304 5098028 140725431403264 140725431400008 140189411054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26980352 140725431411776 140725431411975 140725431411975 140725431414733 0
/proc/23452/statm: 28282 368 311 221 0 87 0
[pid=23471] ppid=23452 vsize=8068220 memory=121168 CPUtime=3.21 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23452 23452 16770 0 -1 1077944320 18686 0 0 0 238 83 0 0 20 0 19 0 226437825 8261857280 30292 33554432000 4194304 4196468 140731187507632 140731187490176 140153585487607 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
/proc/23471/statm: 2017055 30292 3156 1 0 1978454 0
[pid=23486] ppid=23471 vsize=1193128 memory=1098580 CPUtime=2426.59 cores=0,2,4,6
/proc/23486/stat : 23486 (minisat_release) R 23471 23452 16770 0 -1 4202496 6362848 0 0 0 242222 437 0 0 20 0 1 0 226437904 1221763072 274645 33554432000 4194304 4308513 140736811169248 140736811166696 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 22315008 140736811172980 140736811173078 140736811173078 140736811175877 0
/proc/23486/statm: 298282 274645 342 28 0 294522 0
[pid=23471/tid=23472] ppid=23452 vsize=8068220 memory=-7824251494390978151 CPUtime=0.79 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) S 23452 23452 16770 0 -1 1077944384 15053 0 0 0 74 5 0 0 20 0 19 0 226437826 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153557327760 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23473] ppid=23452 vsize=8068220 memory=636 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153589729552 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23474] ppid=23452 vsize=8068220 memory=960 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153389898128 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23475] ppid=23452 vsize=8068220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153388845584 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23476] ppid=23452 vsize=8068220 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23452 23452 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226437827 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153387793040 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23477] ppid=23452 vsize=8068220 memory=932 CPUtime=0.06 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23452 23452 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152963828208 140153585498754 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23478] ppid=23452 vsize=8068220 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23452 23452 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152433272224 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23479] ppid=23452 vsize=8068220 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23452 23452 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226437829 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152164836848 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23480] ppid=23452 vsize=8068220 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140151790328528 140153585506203 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23481] ppid=23452 vsize=8068220 memory=2100 CPUtime=0.17 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) S 23452 23452 16770 0 -1 1077944384 760 0 0 0 16 1 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152962775024 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23482] ppid=23452 vsize=8068220 memory=7528 CPUtime=0.16 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) S 23452 23452 16770 0 -1 1077944384 689 0 0 0 16 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152961722480 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23483] ppid=23452 vsize=8068220 memory=-7824251494390978151 CPUtime=0.24 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) S 23452 23452 16770 0 -1 1077944384 610 0 0 0 23 1 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152960669936 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23484] ppid=23452 vsize=8068220 memory=1098580 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23452 23452 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226437832 8261857280 30292 33554432000 4194304 4196468 140731187507632 140151292422752 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23485] ppid=23452 vsize=8068220 memory=1412 CPUtime=1.71 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23452 23452 16770 0 -1 1077944384 163 0 0 0 87 84 0 0 20 0 19 0 226437833 8261857280 30292 33554432000 4194304 4196468 140731187507632 140152959617840 140153585498754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23487] ppid=23452 vsize=8068220 memory=3400 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23487/stat : 23487 (java) S 23452 23452 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140153037940288 140153585512217 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23489] ppid=23452 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23489/stat : 23489 (java) S 23452 23452 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150755537072 140153585509533 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23490] ppid=23452 vsize=8068220 memory=-7824251494390978151 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23490/stat : 23490 (java) S 23452 23452 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226437904 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150889758000 140153585509533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
[pid=23471/tid=23491] ppid=23452 vsize=8068220 memory=121168 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23491/stat : 23491 (java) S 23452 23452 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226437907 8261857280 30292 33554432000 4194304 4196468 140731187507632 140150487112736 140153585497813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28557312 140731187516597 140731187516721 140731187516721 140731187519439 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 9374476 KiB
Current children cumulated memory: 1221220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2490.21 s]
# the end of solver process 23452 was just reported to runsolver
# cumulated CPU time of all completed processes: user=87.4536 s, system=2.75896 s
[startup+2490.3 s]
# the end of solver process 23471 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.07 s, system=8.07786 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): 2490.3
CPU time (s): 2520.15
CPU user time (s): 2512.07
CPU system time (s): 8.07786
CPU usage (%): 101.198
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4342344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.07
system time used= 8.07786
maximum resident set size= 4341356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6472916
page faults= 0
swaps= 0
block input operations= 8
block output operations= 530728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62905
involuntary context switches= 3331
# summary of solver processes directly reported to runsolver:
# pid: 23452,23471
# total CPU time (s): 2520.15
# total CPU user time (s): 2512.07
# total CPU system time (s): 8.07786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3917 second user time and 29.4796 second system time
The end