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-10898-serial-file.bin HOME/instance-4305460-1534078241.xml
0.54/0.51
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Sun Aug 12 14:50:42 CEST 2018
0.65/0.54 c PID: 10901
0.65/0.54 c IP: 172.20.3.151
0.65/0.54 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.60/0.97 c (0,0) Parsing End
1.60/0.98 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 233 ctr, max domain size 128
1.60/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.98 c (0,0) Constraint Name Generate Begin
1.60/0.99 c (0,0) Ctr:HOME/instance-4305460-1534078241.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.60/0.99 c (0,0) Constraint Name Generate End
1.60/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.99 c (0,0) CSP to CSPinCNF Begin
10.94/4.95 c (4,4) translated 24 (10%) constraints
13.98/7.84 c (7,7) translated 47 (20%) constraints
17.37/10.68 c (10,9) translated 70 (30%) constraints
20.27/13.42 c (12,12) translated 94 (40%) constraints
23.97/16.32 c (15,15) translated 117 (50%) constraints
26.60/18.94 c (18,17) translated 140 (60%) constraints
30.55/22.00 c (21,20) translated 164 (70%) constraints
31.37/22.71 c (22,21) translated 187 (80%) constraints
31.37/22.73 c (22,21) translated 210 (90%) constraints
31.37/22.75 c (22,21) translated 233 (100%) constraints
34.87/24.38 c (23,22) STATISTICS1:HOME/instance-4305460-1534078241.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,20896,530682,123,123,125,2,123:6;121:490;103:1520,123:24452;121:315980;103:678720;2:549024,125:168;64:2;3:486192;2:44320,2:2016;1:1564144;0:168,
34.87/24.38 c (23,22) ==========================================
34.87/24.38 c (23,22) Order
34.87/24.38 c (23,22) ==========================================
36.72/25.21 c (24,23) translated 53069 (10%) constraints
37.36/25.85 c (25,24) translated 106137 (20%) constraints
37.97/26.49 c (25,24) translated 159205 (30%) constraints
38.70/27.13 c (26,25) translated 212273 (40%) constraints
39.29/27.77 c (27,26) translated 265341 (50%) constraints
39.99/28.41 c (27,26) translated 318410 (60%) constraints
40.60/29.05 c (28,27) translated 371478 (70%) constraints
41.20/29.69 c (29,28) translated 424546 (80%) constraints
44.04/30.88 c (30,28) translated 477614 (90%) constraints
44.74/31.52 c (31,29) translated 530682 (100%) constraints
44.74/31.52 c (31,29) CSP to CSPinCNF End
44.74/31.53 c (31,29) CSP: 64 int (0 aux), 20832 bool (20832 aux), 530682 ctr, max domain size 123
44.74/31.53 c (31,29) Heap : 858 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
44.74/31.53 c (31,29) CSPinCNF Propagation Begin
74.43/54.95 c (54,50) 0 values, 19064 unsatisfiable literals, and 18896 valid clauses are removed
74.43/54.95 c (54,50) CSPinCNF Propagation End
74.43/54.96 c (54,50) CSP: 64 int (0 aux), 20832 bool (20832 aux), 511786 ctr, max domain size 123
74.43/54.96 c (54,50) Heap : 2024 MiB used (max 10676 MiB), NonHeap : 29 MiB used (max 0 MiB)
74.43/54.96 c (54,50) Simplify CSPinCNF Begin
75.46/55.68 c (55,51) Simplify CSPinCNF End
75.46/55.69 c (55,51) CSP: 64 int (0 aux), 24864 bool (24864 aux), 515818 ctr, max domain size 123
75.46/55.69 c (55,51) Heap : 2385 MiB used (max 10676 MiB), NonHeap : 29 MiB used (max 0 MiB)
75.46/55.69 c (55,51) Calculate Precise Domain Begin
75.46/55.69 c (55,51) 0 values are removed by re-calculation
75.46/55.69 c (55,51) Calculate Precise Domain End
75.57/55.70 c (55,51) CSP: 64 int (0 aux), 24864 bool (24864 aux), 515818 ctr, max domain size 123
75.57/55.70 c (55,51) Heap : 2385 MiB used (max 10676 MiB), NonHeap : 29 MiB used (max 0 MiB)
75.57/55.70 c (55,51) CSPinCNF to SatSolver Begin
78.15/57.25 c (56,53) 51582 (10 %) CSP clauses are encoded (31976 SAT variables, 487773 SAT clauses)
78.46/57.50 c (56,53) 103164 (20 %) CSP clauses are encoded (31976 SAT variables, 539355 SAT clauses)
78.68/57.76 c (57,53) 154746 (30 %) CSP clauses are encoded (31976 SAT variables, 590937 SAT clauses)
78.99/58.01 c (57,53) 206328 (40 %) CSP clauses are encoded (31976 SAT variables, 642519 SAT clauses)
79.18/58.27 c (57,54) 257909 (50 %) CSP clauses are encoded (31976 SAT variables, 694100 SAT clauses)
79.48/58.52 c (58,54) 309491 (60 %) CSP clauses are encoded (31976 SAT variables, 745682 SAT clauses)
79.68/58.78 c (58,54) 361073 (70 %) CSP clauses are encoded (31976 SAT variables, 797264 SAT clauses)
79.99/59.03 c (58,54) 412655 (80 %) CSP clauses are encoded (31976 SAT variables, 848846 SAT clauses)
80.18/59.29 c (58,55) 464237 (90 %) CSP clauses are encoded (31976 SAT variables, 900428 SAT clauses)
80.48/59.54 c (59,55) 515818 (100 %) CSP clauses are encoded (31976 SAT variables, 952009 SAT clauses)
80.48/59.54 c (59,55) Launch Command will be: minisat_release
80.48/59.54 c (59,55) CSPinCNF to SatSolver End
80.48/59.54 c (59,55) Heap : 3170 MiB used (max 10689 MiB), NonHeap : 29 MiB used (max 0 MiB)
82.11/60.63 c (60,56) STATISTICS2:HOME/instance-4305460-1534078241.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,24928,515818,123,123,124,2,123:12;121:980;103:3040,123:24640;121:315920;103:644832;2:538256,124:168;64:2;3:467360;2:48288,2:4032;1:1515584,
82.11/60.63 c (60,56) 31976 bool, 952010 clause
82.11/60.63 c (60,56) Export Begin
82.26/60.74 c (60,56) Export to HOME/scop-10898-serial-file.bin
82.26/60.74 c (60,56) Export End
82.26/60.74 c (60,56) Export File Size: 0.09 MB
82.26/60.74 c (60,56) 0,0,31,54,55,55,59,STOP-AFTER(DIMACS)
82.26/60.74 c END-Prog: Sun Aug 12 14:51:42 CEST 2018
82.26/60.78 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-10898-serial-file.bin
82.93/61.27 c (0,0) Read Serial File Begin
82.93/61.27 c (0,0) HOME/scop-10898-serial-file.bin
83.19/61.47 c (0,0) Read Serial File End
83.19/61.48
83.19/61.48 scop order+minisat_release (2018-07-31)
83.19/61.48 (Solving Process)
83.19/61.48
83.44/61.50 c BEGIN-Prog: Sun Aug 12 14:51:43 CEST 2018
83.44/61.50 c PID: 10917
83.44/61.50 c IP: 172.20.3.151
83.44/61.50 c HOST: node151.alineos.net
83.44/61.51 c (0,0) SatSolver.solve Begin
83.44/61.51 c (0,0) 0 bool, 0 clause
83.44/61.51 c (0,0) minisat_release HOME/instance-4305460-1534078241.xml-scop-10901.cnf
2520.03/2496.70 c (2435,0) receiving signal SIGTERM
2520.03/2496.70 s UNKNOWN
2520.03/2496.70 c (2435,0) SatSolver is killed by some reasons.
2520.03/2496.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2496.71 c (scop.sh) Killing background jobs.
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6721 MiB free)
memory of node 1: 16384 MiB (8504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305460-1534078241/watcher-4305460-1534078241 -o /tmp/evaluation-result-4305460-1534078241/solver-4305460-1534078241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305460-1534078241.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10898, runsolver pid=10895
[startup+0.100448 s]*
/proc/loadavg: 2.12 3.09 3.36 4/222 10915
/proc/meminfo: memFree=15526956/32770624 swapFree=67108860/67108860
[pid=10898] ppid=10895 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10898/stat : 10898 (scop.sh) S 10895 10898 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225387295 115843072 349 33554432000 4194304 5098028 140729444684400 140729444681656 140601118290556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26226688 140729444688960 140729444689159 140729444689159 140729444691917 0
/proc/10898/statm: 28282 349 296 221 0 87 0
[pid=10901] ppid=10898 vsize=15012476 memory=75552 CPUtime=0.1 cores=1,3,5,7
/proc/10901/stat : 10901 (java) S 10898 10898 3762 0 -1 1077944320 6480 0 0 0 9 1 0 0 20 0 15 0 225387295 15372775424 18888 33554432000 4194304 4196468 140735898128944 140735898111488 139907887468279 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
/proc/10901/statm: 3753119 18888 2771 1 0 3715579 0
[pid=10901/tid=10902] ppid=10898 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/10901/task/10902/stat : 10902 (java) R 10898 10898 3762 0 -1 4202560 4582 0 0 0 8 1 0 0 20 0 15 0 225387296 15372775424 18888 33554432000 4194304 4196468 140735898128944 139907859280264 139907870655088 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10903] ppid=10898 vsize=15012476 memory=3472468205561345712 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10903/stat : 10903 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 18888 33554432000 4194304 4196468 140735898128944 139907891710480 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10904] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10904/stat : 10904 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 18888 33554432000 4194304 4196468 140735898128944 139907690486416 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10905] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10905/stat : 10905 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 18888 33554432000 4194304 4196468 140735898128944 139907689433360 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10906] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10906/stat : 10906 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 18888 33554432000 4194304 4196468 140735898128944 139907688380816 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10907] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10907/stat : 10907 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 18888 33554432000 4194304 4196468 140735898128944 139906857761520 139907887479426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10908] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10908/stat : 10908 (java) S 10898 10898 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 18888 33554432000 4194304 4196468 140735898128944 139906479285920 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10909] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10909/stat : 10909 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 18888 33554432000 4194304 4196468 140735898128944 139906210850032 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10910] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10910/stat : 10910 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 18888 33554432000 4194304 4196468 140735898128944 139905836341712 139907887486875 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10911] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10911/stat : 10911 (java) S 10898 10898 3762 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 18888 33554432000 4194304 4196468 140735898128944 139906856708336 139907887479426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10912] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10912/stat : 10912 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 18888 33554432000 4194304 4196468 140735898128944 139906855655792 139907887479426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10913] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0.01 cores=1,3,5,7
/proc/10901/task/10913/stat : 10913 (java) S 10898 10898 3762 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 225387302 15372775424 18888 33554432000 4194304 4196468 140735898128944 139906854602736 139907887479426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10914] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10914/stat : 10914 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 18888 33554432000 4194304 4196468 140735898128944 139905338435936 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10915] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10915/stat : 10915 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 18888 33554432000 4194304 4196468 140735898128944 139906853551152 139907887479426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 76948 KiB
[startup+0.211925 s]*
/proc/loadavg: 2.12 3.09 3.36 3/222 10915
/proc/meminfo: memFree=15513252/32770624 swapFree=67108860/67108860
[pid=10898] ppid=10895 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10898/stat : 10898 (scop.sh) S 10895 10898 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225387295 115843072 349 33554432000 4194304 5098028 140729444684400 140729444681656 140601118290556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26226688 140729444688960 140729444689159 140729444689159 140729444691917 0
/proc/10898/statm: 28282 349 296 221 0 87 0
[pid=10901] ppid=10898 vsize=15012476 memory=88592 CPUtime=0.25 cores=1,3,5,7
/proc/10901/stat : 10901 (java) S 10898 10898 3762 0 -1 1077944320 9992 0 0 0 23 2 0 0 20 0 15 0 225387295 15372775424 22148 33554432000 4194304 4196468 140735898128944 140735898111488 139907887468279 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
/proc/10901/statm: 3753119 22148 2904 1 0 3715579 0
[pid=10901/tid=10902] ppid=10898 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=1,3,5,7
/proc/10901/task/10902/stat : 10902 (java) R 10898 10898 3762 0 -1 4202560 7894 0 0 0 18 2 0 0 20 0 15 0 225387296 15372775424 22148 33554432000 4194304 4196468 140735898128944 139907859293936 139907887480214 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10903] ppid=10898 vsize=15012476 memory=3472468205561345712 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10903/stat : 10903 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 22148 33554432000 4194304 4196468 140735898128944 139907891710480 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10904] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10904/stat : 10904 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 22148 33554432000 4194304 4196468 140735898128944 139907690486416 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10905] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10905/stat : 10905 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 22148 33554432000 4194304 4196468 140735898128944 139907689433360 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10906] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10906/stat : 10906 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 22148 33554432000 4194304 4196468 140735898128944 139907688380816 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10907] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10907/stat : 10907 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 22148 33554432000 4194304 4196468 140735898128944 139906857761520 139907887479426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10908] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10908/stat : 10908 (java) S 10898 10898 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 22148 33554432000 4194304 4196468 140735898128944 139906479285920 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10909] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10909/stat : 10909 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 22148 33554432000 4194304 4196468 140735898128944 139906210850032 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10910] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10910/stat : 10910 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 22148 33554432000 4194304 4196468 140735898128944 139905836341712 139907887486875 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10911] ppid=10898 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10911/stat : 10911 (java) S 10898 10898 3762 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 22148 33554432000 4194304 4196468 140735898128944 139906856708336 139907887479426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10912] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10912/stat : 10912 (java) R 10898 10898 3762 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 22148 33554432000 4194304 4196468 140735898128944 139906855655792 139907880453321 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10913] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0.03 cores=1,3,5,7
/proc/10901/task/10913/stat : 10913 (java) R 10898 10898 3762 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 225387302 15372775424 22148 33554432000 4194304 4196468 140735898128944 139906854602736 139907867439464 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10914] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10914/stat : 10914 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 22148 33554432000 4194304 4196468 140735898128944 139905338435936 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10915] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10915/stat : 10915 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 22148 33554432000 4194304 4196468 140735898128944 139906853551152 139907887479426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89988 KiB
[startup+0.31071 s]*
/proc/loadavg: 2.12 3.09 3.36 3/222 10915
/proc/meminfo: memFree=15509964/32770624 swapFree=67108860/67108860
[pid=10898] ppid=10895 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10898/stat : 10898 (scop.sh) S 10895 10898 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225387295 115843072 349 33554432000 4194304 5098028 140729444684400 140729444681656 140601118290556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26226688 140729444688960 140729444689159 140729444689159 140729444691917 0
/proc/10898/statm: 28282 349 296 221 0 87 0
[pid=10901] ppid=10898 vsize=15012476 memory=92132 CPUtime=0.42 cores=1,3,5,7
/proc/10901/stat : 10901 (java) S 10898 10898 3762 0 -1 1077944320 10510 0 0 0 39 3 0 0 20 0 15 0 225387295 15372775424 23033 33554432000 4194304 4196468 140735898128944 140735898111488 139907887468279 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
/proc/10901/statm: 3753119 23033 2976 1 0 3715579 0
[pid=10901/tid=10902] ppid=10898 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/10901/task/10902/stat : 10902 (java) R 10898 10898 3762 0 -1 4202560 8268 0 0 0 27 2 0 0 20 0 15 0 225387296 15372775424 23033 33554432000 4194304 4196468 140735898128944 139907859297520 139907368583440 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10903] ppid=10898 vsize=15012476 memory=3472468205561345712 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10903/stat : 10903 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 23033 33554432000 4194304 4196468 140735898128944 139907891710480 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10904] ppid=10898 vsize=15012476 memory=279818564537216 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10904/stat : 10904 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 23033 33554432000 4194304 4196468 140735898128944 139907690486416 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10905] ppid=10898 vsize=15012476 memory=279818461775904 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10905/stat : 10905 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 23033 33554432000 4194304 4196468 140735898128944 139907689433360 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10906] ppid=10898 vsize=15012476 memory=139909230871823 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10906/stat : 10906 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15372775424 23033 33554432000 4194304 4196468 140735898128944 139907688380816 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10907] ppid=10898 vsize=15012476 memory=279818564544128 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10907/stat : 10907 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 23033 33554432000 4194304 4196468 140735898128944 139906857761520 139907887479426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10908] ppid=10898 vsize=15012476 memory=139909230876431 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10908/stat : 10908 (java) S 10898 10898 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 23033 33554432000 4194304 4196468 140735898128944 139906479285920 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10909] ppid=10898 vsize=15012476 memory=139909230889520 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10909/stat : 10909 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387299 15372775424 23033 33554432000 4194304 4196468 140735898128944 139906210850032 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10910] ppid=10898 vsize=15012476 memory=279818461785120 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10910/stat : 10910 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 23033 33554432000 4194304 4196468 140735898128944 139905836341712 139907887486875 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10911] ppid=10898 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10901/task/10911/stat : 10911 (java) R 10898 10898 3762 0 -1 4202560 419 0 0 0 3 0 0 0 20 0 15 0 225387302 15372775424 23033 33554432000 4194304 4196468 140735898128944 139906856708336 139907865443071 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10912] ppid=10898 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10901/task/10912/stat : 10912 (java) R 10898 10898 3762 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 15 0 225387302 15372775424 23033 33554432000 4194304 4196468 140735898128944 139906855655792 139907887479426 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10913] ppid=10898 vsize=15012476 memory=139909333665408 CPUtime=0.07 cores=1,3,5,7
/proc/10901/task/10913/stat : 10913 (java) R 10898 10898 3762 0 -1 4202560 321 0 0 0 7 0 0 0 20 0 15 0 225387302 15372775424 23033 33554432000 4194304 4196468 140735898128944 139906854602736 139907866426198 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10914] ppid=10898 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10914/stat : 10914 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 23033 33554432000 4194304 4196468 140735898128944 139905338435936 139907887478485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10915] ppid=10898 vsize=15012476 memory=139909333666804 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10915/stat : 10915 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387302 15372775424 23033 33554432000 4194304 4196468 140735898128944 139906853551152 139907887479426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93528 KiB
[startup+0.701443 s]
/proc/loadavg: 2.12 3.09 3.36 3/222 10915
/proc/meminfo: memFree=15485160/32770624 swapFree=67108860/67108860
[pid=10898] ppid=10895 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10898/stat : 10898 (scop.sh) S 10895 10898 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225387295 115843072 349 33554432000 4194304 5098028 140729444684400 140729444681656 140601118290556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26226688 140729444688960 140729444689159 140729444689159 140729444691917 0
/proc/10898/statm: 28282 349 296 221 0 87 0
[pid=10901] ppid=10898 vsize=15020872 memory=131668 CPUtime=1.01 cores=1,3,5,7
/proc/10901/stat : 10901 (java) S 10898 10898 3762 0 -1 1077944320 17599 0 0 0 96 5 0 0 20 0 15 0 225387295 15381372928 32917 33554432000 4194304 4196468 140735898128944 140735898111488 139907887468279 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
/proc/10901/statm: 3755218 32917 3148 1 0 3716603 0
[pid=10901/tid=10902] ppid=10898 vsize=15020872 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/10901/task/10902/stat : 10902 (java) R 10898 10898 3762 0 -1 4202560 14878 0 0 0 63 4 0 0 20 0 15 0 225387296 15381372928 32917 33554432000 4194304 4196468 140735898128944 139907859304128 139907871511909 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10903] ppid=10898 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10903/stat : 10903 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15381372928 32917 33554432000 4194304 4196468 140735898128944 139907891710480 139907887478485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10904] ppid=10898 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10904/stat : 10904 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225387297 15381372928 32917 33554432000 4194304 4196468 140735898128944 139907690486416 139907887478485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10905] ppid=10898 vsize=15020872 memory=5788902676991533888 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10905/stat : 10905 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15381372928 32917 33554432000 4194304 4196468 140735898128944 139907689433360 139907887478485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10906] ppid=10898 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10906/stat : 10906 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387297 15381372928 32917 33554432000 4194304 4196468 140735898128944 139907688380816 139907887478485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10907] ppid=10898 vsize=15020872 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10907/stat : 10907 (java) S 10898 10898 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225387299 15381372928 32917 33554432000 4194304 4196468 140735898128944 139906857761520 139907887479426 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10908] ppid=10898 vsize=15020872 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10908/stat : 10908 (java) S 10898 10898 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225387299 15381372928 32917 33554432000 4194304 4196468 140735898128944 139906479285920 139907887478485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10909] ppid=10898 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10909/stat : 10909 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387299 15381372928 32917 33554432000 4194304 4196468 140735898128944 139906210850032 139907887478485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10910] ppid=10898 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10910/stat : 10910 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15381372928 32917 33554432000 4194304 4196468 140735898128944 139905836341712 139907887486875 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10911] ppid=10898 vsize=15020872 memory=4536 CPUtime=0.08 cores=1,3,5,7
/proc/10901/task/10911/stat : 10911 (java) R 10898 10898 3762 0 -1 4202560 490 0 0 0 8 0 0 0 20 0 15 0 225387302 15381372928 32917 33554432000 4194304 4196468 140735898128944 139906856694304 139907872397655 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10912] ppid=10898 vsize=15020872 memory=8448 CPUtime=0.07 cores=1,3,5,7
/proc/10901/task/10912/stat : 10912 (java) R 10898 10898 3762 0 -1 4202560 438 0 0 0 7 0 0 0 20 0 15 0 225387302 15381372928 32917 33554432000 4194304 4196468 140735898128944 139906855633456 139907872585399 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10913] ppid=10898 vsize=15020872 memory=1628 CPUtime=0.16 cores=1,3,5,7
/proc/10901/task/10913/stat : 10913 (java) S 10898 10898 3762 0 -1 1077944384 459 0 0 0 16 0 0 0 20 0 15 0 225387302 15381372928 32917 33554432000 4194304 4196468 140735898128944 139906854602736 139907887479426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10914] ppid=10898 vsize=15020872 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10914/stat : 10914 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225387302 15381372928 32917 33554432000 4194304 4196468 140735898128944 139905338435936 139907887478485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
[pid=10901/tid=10915] ppid=10898 vsize=15020872 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/10901/task/10915/stat : 10915 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225387302 15381372928 32917 33554432000 4194304 4196468 140735898128944 139906853551152 139907887479426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34992128 140735898133510 140735898133809 140735898133809 140735898136527 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133064 KiB
[startup+1.50082 s]
/proc/loadavg: 2.12 3.09 3.36 5/222 10915
/proc/meminfo: memFree=15449192/32770624 swapFree=67108860/67108860
[pid=10898] ppid=10895 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10898/stat : 10898 (scop.sh) S 10895 10898 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225387295 115843072 349 33554432000 4194304 5098028 140729444684400 140729444681656 140601118290556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26226688 140729444688960 140729444689159 140729444689159 140729444691917 0
/proc/10898/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=10917/tid=10920] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10920/stat : 10920 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716970166928 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10921] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10921/stat : 10921 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716969113872 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10922] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10922/stat : 10922 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716968061328 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10923] ppid=10898 vsize=8068220 memory=117676 CPUtime=0.06 cores=1,3,5,7
/proc/10917/task/10923/stat : 10923 (java) S 10898 10898 3762 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 225393377 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716544068336 140717165767298 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10924] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10924/stat : 10924 (java) S 10898 10898 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225393377 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716013512352 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10925] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10925/stat : 10925 (java) S 10898 10898 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225393378 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715879290096 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10926] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10926/stat : 10926 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715504785872 140717165774747 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10927] ppid=10898 vsize=8068220 memory=165652 CPUtime=0.13 cores=1,3,5,7
/proc/10917/task/10927/stat : 10927 (java) S 10898 10898 3762 0 -1 1077944384 794 0 0 0 13 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716543015152 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10928] ppid=10898 vsize=8068220 memory=117676 CPUtime=0.11 cores=1,3,5,7
/proc/10917/task/10928/stat : 10928 (java) S 10898 10898 3762 0 -1 1077944384 344 0 0 0 11 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716541962608 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10929] ppid=10898 vsize=8068220 memory=165908 CPUtime=0.22 cores=1,3,5,7
/proc/10917/task/10929/stat : 10929 (java) S 10898 10898 3762 0 -1 1077944384 586 0 0 0 22 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716540909552 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10930] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10930/stat : 10930 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715006880096 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10931] ppid=10898 vsize=8068220 memory=1472 CPUtime=1.23 cores=1,3,5,7
/proc/10917/task/10931/stat : 10931 (java) S 10898 10898 3762 0 -1 1077944384 159 0 0 0 60 63 0 0 20 0 19 0 225393381 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716539857968 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10933] ppid=10898 vsize=8068220 memory=165908 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10933/stat : 10933 (java) S 10898 10898 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225393448 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716618180416 140717165780761 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10935] ppid=10898 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10935/stat : 10935 (java) S 10898 10898 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225393449 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714335780784 140717165778077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10936] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10936/stat : 10936 (java) S 10898 10898 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225393449 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714738433584 140717165778077 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10937] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10937/stat : 10937 (java) S 10898 10898 3762 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 225393451 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714201566496 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
Current children cumulated CPU time: 2465.6 s
Current children cumulated vsize: 8364972 KiB
Current children cumulated memory: 272036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.7 s]
/proc/loadavg: 1.93 2.00 2.11 3/223 11112
/proc/meminfo: memFree=9195344/32770624 swapFree=67108860/67108860
[pid=10898] ppid=10895 vsize=113128 memory=1472 CPUtime=82.4 cores=1,3,5,7
/proc/10898/stat : 10898 (scop.sh) S 10895 10898 3762 0 -1 4202496 592 65574 0 0 0 0 7988 252 20 0 1 0 225387295 115843072 368 33554432000 4194304 5098028 140729444684400 140729444681144 140601118290556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26226688 140729444688960 140729444689159 140729444689159 140729444691917 0
/proc/10898/statm: 28282 368 311 221 0 87 0
[pid=10917] ppid=10898 vsize=8068220 memory=117676 CPUtime=2.6 cores=1,3,5,7
/proc/10917/stat : 10917 (java) S 10898 10898 3762 0 -1 1077944320 18350 0 0 0 187 73 0 0 20 0 19 0 225393374 8261857280 29419 33554432000 4194304 4196468 140732003620272 140732003602816 140717165756151 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
/proc/10917/statm: 2017055 29419 3156 1 0 1978454 0
[pid=10932] ppid=10917 vsize=183624 memory=162792 CPUtime=2435.03 cores=1,3,5,7
/proc/10932/stat : 10932 (minisat_release) R 10917 10898 3762 0 -1 4202496 638162 0 0 0 243409 94 0 0 20 0 1 0 225393448 188030976 40698 33554432000 4194304 4308513 140734117214528 140734117211976 4275579 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 27680768 140734117217396 140734117217494 140734117217494 140734117220293 0
/proc/10932/statm: 45906 40698 341 28 0 42146 0
[pid=10917/tid=10918] ppid=10898 vsize=8068220 memory=117676 CPUtime=0.76 cores=1,3,5,7
/proc/10917/task/10918/stat : 10918 (java) S 10898 10898 3762 0 -1 1077944384 15029 0 0 0 70 6 0 0 20 0 19 0 225393374 8261857280 29419 33554432000 4194304 4196468 140732003620272 140717137596304 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10919] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10919/stat : 10919 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140717169998352 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10920] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10920/stat : 10920 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716970166928 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10921] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10921/stat : 10921 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716969113872 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10922] ppid=10898 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10922/stat : 10922 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716968061328 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10923] ppid=10898 vsize=8068220 memory=1472 CPUtime=0.06 cores=1,3,5,7
/proc/10917/task/10923/stat : 10923 (java) S 10898 10898 3762 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 225393377 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716544068336 140717165767298 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10924] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10924/stat : 10924 (java) S 10898 10898 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225393377 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716013512352 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10925] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10925/stat : 10925 (java) S 10898 10898 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225393378 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715879290096 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10926] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10926/stat : 10926 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715504785872 140717165774747 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10927] ppid=10898 vsize=8068220 memory=4028 CPUtime=0.13 cores=1,3,5,7
/proc/10917/task/10927/stat : 10927 (java) S 10898 10898 3762 0 -1 1077944384 794 0 0 0 13 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716543015152 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10928] ppid=10898 vsize=8068220 memory=61288 CPUtime=0.11 cores=1,3,5,7
/proc/10917/task/10928/stat : 10928 (java) S 10898 10898 3762 0 -1 1077944384 344 0 0 0 11 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716541962608 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10929] ppid=10898 vsize=8068220 memory=1240 CPUtime=0.22 cores=1,3,5,7
/proc/10917/task/10929/stat : 10929 (java) S 10898 10898 3762 0 -1 1077944384 586 0 0 0 22 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716540909552 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10930] ppid=10898 vsize=8068220 memory=18232 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10930/stat : 10930 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715006880096 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10931] ppid=10898 vsize=8068220 memory=640 CPUtime=1.27 cores=1,3,5,7
/proc/10917/task/10931/stat : 10931 (java) S 10898 10898 3762 0 -1 1077944384 161 0 0 0 62 65 0 0 20 0 19 0 225393381 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716539857968 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10933] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10933/stat : 10933 (java) S 10898 10898 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225393448 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716618180416 140717165780761 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10935] ppid=10898 vsize=8068220 memory=279818462716816 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10935/stat : 10935 (java) S 10898 10898 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225393449 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714335780784 140717165778077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10936] ppid=10898 vsize=8068220 memory=7018408581190542416 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10936/stat : 10936 (java) S 10898 10898 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225393449 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714738433584 140717165778077 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10937] ppid=10898 vsize=8068220 memory=7737864088853767781 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10937/stat : 10937 (java) S 10898 10898 3762 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 225393451 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714201566496 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8364972 KiB
Current children cumulated memory: 281940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.71 s]
# the end of solver process 10898 was just reported to runsolver
# cumulated CPU time of all completed processes: user=79.8831 s, system=2.5261 s
[startup+2496.72 s]
# the end of solver process 10917 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.86 s, system=4.22968 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.7 s]
/proc/loadavg: 1.93 2.00 2.11 3/223 11112
/proc/meminfo: memFree=9195344/32770624 swapFree=67108860/67108860
[pid=10898] ppid=10895 vsize=113128 memory=1472 CPUtime=82.4 cores=1,3,5,7
/proc/10898/stat : 10898 (scop.sh) S 10895 10898 3762 0 -1 4202496 592 65574 0 0 0 0 7988 252 20 0 1 0 225387295 115843072 368 33554432000 4194304 5098028 140729444684400 140729444681144 140601118290556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26226688 140729444688960 140729444689159 140729444689159 140729444691917 0
/proc/10898/statm: 28282 368 311 221 0 87 0
[pid=10917] ppid=10898 vsize=8068220 memory=117676 CPUtime=2.6 cores=1,3,5,7
/proc/10917/stat : 10917 (java) S 10898 10898 3762 0 -1 1077944320 18350 0 0 0 187 73 0 0 20 0 19 0 225393374 8261857280 29419 33554432000 4194304 4196468 140732003620272 140732003602816 140717165756151 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
/proc/10917/statm: 2017055 29419 3156 1 0 1978454 0
[pid=10932] ppid=10917 vsize=183624 memory=162792 CPUtime=2435.03 cores=1,3,5,7
/proc/10932/stat : 10932 (minisat_release) R 10917 10898 3762 0 -1 4202496 638162 0 0 0 243409 94 0 0 20 0 1 0 225393448 188030976 40698 33554432000 4194304 4308513 140734117214528 140734117211976 4275579 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 27680768 140734117217396 140734117217494 140734117217494 140734117220293 0
/proc/10932/statm: 45906 40698 341 28 0 42146 0
[pid=10917/tid=10918] ppid=10898 vsize=8068220 memory=117676 CPUtime=0.76 cores=1,3,5,7
/proc/10917/task/10918/stat : 10918 (java) S 10898 10898 3762 0 -1 1077944384 15029 0 0 0 70 6 0 0 20 0 19 0 225393374 8261857280 29419 33554432000 4194304 4196468 140732003620272 140717137596304 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10919] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10919/stat : 10919 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140717169998352 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10920] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10920/stat : 10920 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716970166928 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10921] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10921/stat : 10921 (java) S 10898 10898 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716969113872 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10922] ppid=10898 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10922/stat : 10922 (java) S 10898 10898 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225393376 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716968061328 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10923] ppid=10898 vsize=8068220 memory=1472 CPUtime=0.06 cores=1,3,5,7
/proc/10917/task/10923/stat : 10923 (java) S 10898 10898 3762 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 225393377 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716544068336 140717165767298 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10924] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10924/stat : 10924 (java) S 10898 10898 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225393377 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716013512352 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10925] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10925/stat : 10925 (java) S 10898 10898 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225393378 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715879290096 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10926] ppid=10898 vsize=8068220 memory=117676 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10926/stat : 10926 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715504785872 140717165774747 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10927] ppid=10898 vsize=8068220 memory=4028 CPUtime=0.13 cores=1,3,5,7
/proc/10917/task/10927/stat : 10927 (java) S 10898 10898 3762 0 -1 1077944384 794 0 0 0 13 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716543015152 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10928] ppid=10898 vsize=8068220 memory=61288 CPUtime=0.11 cores=1,3,5,7
/proc/10917/task/10928/stat : 10928 (java) S 10898 10898 3762 0 -1 1077944384 344 0 0 0 11 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716541962608 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10929] ppid=10898 vsize=8068220 memory=1240 CPUtime=0.22 cores=1,3,5,7
/proc/10917/task/10929/stat : 10929 (java) S 10898 10898 3762 0 -1 1077944384 586 0 0 0 22 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716540909552 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10930] ppid=10898 vsize=8068220 memory=18232 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10930/stat : 10930 (java) S 10898 10898 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225393380 8261857280 29419 33554432000 4194304 4196468 140732003620272 140715006880096 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10931] ppid=10898 vsize=8068220 memory=640 CPUtime=1.27 cores=1,3,5,7
/proc/10917/task/10931/stat : 10931 (java) S 10898 10898 3762 0 -1 1077944384 161 0 0 0 62 65 0 0 20 0 19 0 225393381 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716539857968 140717165767298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10933] ppid=10898 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10933/stat : 10933 (java) S 10898 10898 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225393448 8261857280 29419 33554432000 4194304 4196468 140732003620272 140716618180416 140717165780761 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10935] ppid=10898 vsize=8068220 memory=279818462716816 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10935/stat : 10935 (java) S 10898 10898 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225393449 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714335780784 140717165778077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10936] ppid=10898 vsize=8068220 memory=7018408581190542416 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10936/stat : 10936 (java) S 10898 10898 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225393449 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714738433584 140717165778077 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
[pid=10917/tid=10937] ppid=10898 vsize=8068220 memory=7737864088853767781 CPUtime=0 cores=1,3,5,7
/proc/10917/task/10937/stat : 10937 (java) S 10898 10898 3762 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 225393451 8261857280 29419 33554432000 4194304 4196468 140732003620272 140714201566496 140717165766357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36511744 140732003624117 140732003624241 140732003624241 140732003626959 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8364972 KiB
Current children cumulated memory: 281940 KiB
Child status: 1
Real time (s): 2496.72
CPU time (s): 2520.09
CPU user time (s): 2515.86
CPU system time (s): 4.22968
CPU usage (%): 100.936
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4628808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.86
system time used= 4.22968
maximum resident set size= 4627784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 722959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60605
involuntary context switches= 1724
# summary of solver processes directly reported to runsolver:
# pid: 10898,10917
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.86
# total CPU system time (s): 4.22968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0798 second user time and 27.1989 second system time
The end