0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-25996-serial-file.bin HOME/instance-4305695-1534082091.xml
0.54/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 15:54:51 CEST 2018
0.66/0.54 c PID: 25999
0.66/0.54 c IP: 172.20.3.103
0.66/0.54 c HOST: node103.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.63/0.97 c (0,0) Parsing End
1.63/0.98 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 233 ctr, max domain size 128
1.63/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.63/0.98 c (0,0) Constraint Name Generate Begin
1.63/0.99 c (0,0) Ctr:HOME/instance-4305695-1534082091.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.63/0.99 c (0,0) Constraint Name Generate End
1.63/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.63/0.99 c (0,0) CSP to CSPinCNF Begin
11.08/4.99 c (4,4) translated 24 (10%) constraints
14.16/7.85 c (7,7) translated 47 (20%) constraints
17.58/10.66 c (10,9) translated 70 (30%) constraints
20.32/13.38 c (12,12) translated 94 (40%) constraints
24.02/16.24 c (15,15) translated 117 (50%) constraints
26.65/18.84 c (18,17) translated 140 (60%) constraints
30.63/21.88 c (21,20) translated 164 (70%) constraints
31.33/22.58 c (22,21) translated 187 (80%) constraints
31.50/22.61 c (22,21) translated 210 (90%) constraints
31.50/22.64 c (22,21) translated 233 (100%) constraints
34.98/24.15 c (23,22) STATISTICS1:HOME/instance-4305695-1534082091.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,21400,523738,127,127,128,2,127:2016,127:1004248;2:542136,128:168;64:2;3:477792;2:45772;1:4,2:2016;1:1542352;0:172,
34.98/24.15 c (23,22) ==========================================
34.98/24.15 c (23,22) Both Encoding selects:
34.98/24.15 c (23,22) Order
34.98/24.15 c (23,22) ==========================================
36.85/25.00 c (24,23) translated 52374 (10%) constraints
37.60/25.63 c (25,24) translated 104748 (20%) constraints
38.20/26.26 c (25,24) translated 157122 (30%) constraints
38.83/26.89 c (26,25) translated 209496 (40%) constraints
39.53/27.52 c (26,25) translated 261869 (50%) constraints
40.15/28.15 c (27,26) translated 314243 (60%) constraints
40.74/28.78 c (28,27) translated 366617 (70%) constraints
41.44/29.41 c (28,27) translated 418991 (80%) constraints
42.05/30.04 c (29,28) translated 471365 (90%) constraints
44.93/31.26 c (30,29) translated 523738 (100%) constraints
44.93/31.26 c (30,29) CSP to CSPinCNF End
44.93/31.27 c (30,29) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523738 ctr, max domain size 127
44.93/31.27 c (30,29) Heap : 594 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
44.93/31.27 c (30,29) CSPinCNF Propagation Begin
112.21/92.37 c (91,88) 0 values, 168 unsatisfiable literals, and 4 valid clauses are removed
112.21/92.37 c (91,88) CSPinCNF Propagation End
112.21/92.38 c (91,88) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523734 ctr, max domain size 127
112.21/92.38 c (91,88) Heap : 1798 MiB used (max 10978 MiB), NonHeap : 29 MiB used (max 0 MiB)
112.21/92.38 c (91,88) Simplify CSPinCNF Begin
113.24/93.07 c (92,89) Simplify CSPinCNF End
113.24/93.07 c (92,89) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
113.24/93.07 c (92,89) Heap : 2178 MiB used (max 10978 MiB), NonHeap : 27 MiB used (max 0 MiB)
113.24/93.07 c (92,89) Calculate Precise Domain Begin
113.24/93.07 c (92,89) 0 values are removed by re-calculation
113.24/93.07 c (92,89) Calculate Precise Domain End
113.24/93.08 c (92,89) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
113.24/93.08 c (92,89) Heap : 2178 MiB used (max 10978 MiB), NonHeap : 27 MiB used (max 0 MiB)
113.24/93.08 c (92,89) CSPinCNF to SatSolver Begin
115.89/94.68 c (94,90) 52777 (10 %) CSP clauses are encoded (33432 SAT variables, 568808 SAT clauses)
116.21/94.93 c (94,90) 105554 (20 %) CSP clauses are encoded (33432 SAT variables, 621585 SAT clauses)
116.70/95.25 c (94,91) 158330 (30 %) CSP clauses are encoded (33432 SAT variables, 674361 SAT clauses)
116.91/95.49 c (94,91) 211107 (40 %) CSP clauses are encoded (33432 SAT variables, 727138 SAT clauses)
117.21/95.74 c (95,91) 263883 (50 %) CSP clauses are encoded (33432 SAT variables, 779914 SAT clauses)
117.41/95.99 c (95,91) 316660 (60 %) CSP clauses are encoded (33432 SAT variables, 832691 SAT clauses)
117.71/96.23 c (95,92) 369437 (70 %) CSP clauses are encoded (33432 SAT variables, 885468 SAT clauses)
117.91/96.48 c (95,92) 422213 (80 %) CSP clauses are encoded (33432 SAT variables, 938244 SAT clauses)
118.21/96.73 c (96,92) 474990 (90 %) CSP clauses are encoded (33432 SAT variables, 991021 SAT clauses)
118.41/96.97 c (96,92) 527766 (100 %) CSP clauses are encoded (33432 SAT variables, 1043797 SAT clauses)
118.41/96.97 c (96,92) Launch Command will be: minisat_release
118.41/96.97 c (96,92) CSPinCNF to SatSolver End
118.41/96.97 c (96,92) Heap : 2542 MiB used (max 10959 MiB), NonHeap : 29 MiB used (max 0 MiB)
120.15/98.12 c (97,94) STATISTICS2:HOME/instance-4305695-1534082091.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,25432,527766,127,127,127,2,127:4032,127:1008280;2:550200,127:168;64:2;3:477792;2:49804,2:4032;1:1550416,
120.15/98.12 c (97,94) 33432 bool, 1043798 clause
120.15/98.12 c (97,94) Export Begin
120.30/98.24 c (97,94) Export to HOME/scop-25996-serial-file.bin
120.30/98.24 c (97,94) Export End
120.30/98.24 c (97,94) Export File Size: 0.16 MB
120.30/98.24 c (97,94) 0,0,30,91,92,92,96,STOP-AFTER(DIMACS)
120.30/98.24 c END-Prog: Sun Aug 12 15:56:29 CEST 2018
120.30/98.27 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25996-serial-file.bin
120.45/98.79 c (0,0) Read Serial File Begin
120.45/98.79 c (0,0) HOME/scop-25996-serial-file.bin
120.45/99.00 c (0,0) Read Serial File End
121.53/99.01
121.53/99.01 scop order+minisat_release (2018-07-31)
121.53/99.01 (Solving Process)
121.53/99.01
121.53/99.03 c BEGIN-Prog: Sun Aug 12 15:56:30 CEST 2018
121.53/99.03 c PID: 26016
121.53/99.03 c IP: 172.20.3.103
121.53/99.03 c HOST: node103.alineos.net
121.53/99.04 c (0,0) SatSolver.solve Begin
121.53/99.04 c (0,0) 0 bool, 0 clause
121.53/99.04 c (0,0) minisat_release HOME/instance-4305695-1534082091.xml-scop-25999.cnf
2520.09/2495.90 c (2397,0) receiving signal SIGTERM
2520.09/2495.90 s UNKNOWN
2520.09/2495.91 c (2397,0) SatSolver is killed by some reasons.
2520.09/2495.91 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2495.91 c (scop.sh) Killing background jobs.
2520.09/2495.91 c (2397,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
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 (10137 MiB free)
memory of node 1: 16384 MiB (13681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305695-1534082091/watcher-4305695-1534082091 -o /tmp/evaluation-result-4305695-1534082091/solver-4305695-1534082091 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305695-1534082091.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25996, runsolver pid=25993
Current StackSize limit: 8192 KiB
[startup+0.100236 s]*
/proc/loadavg: 2.08 2.05 2.13 3/222 26013
/proc/meminfo: memFree=24330668/32770624 swapFree=67058888/67108860
[pid=25996] ppid=25993 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/25996/stat : 25996 (scop.sh) S 25993 25996 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225772262 115843072 349 33554432000 4194304 5098028 140727804276800 140727804274056 139803876123260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18960384 140727804281921 140727804282119 140727804282119 140727804284877 0
/proc/25996/statm: 28282 349 296 221 0 87 0
[pid=25999] ppid=25996 vsize=15012476 memory=72844 CPUtime=0.11 cores=1,3,5,7
/proc/25999/stat : 25999 (java) S 25996 25996 20606 0 -1 1077944320 6300 0 0 0 10 1 0 0 20 0 15 0 225772262 15372775424 18211 33554432000 4194304 4196468 140728977939184 140728977921728 140157979709175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
/proc/25999/statm: 3753119 18211 2771 1 0 3715579 0
[pid=25999/tid=26000] ppid=25996 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=1,3,5,7
/proc/25999/task/26000/stat : 26000 (java) R 25996 25996 20606 0 -1 4202560 4422 0 0 0 8 1 0 0 20 0 15 0 225772262 15372775424 18211 33554432000 4194304 4196468 140728977939184 140157951521160 140157959984882 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26001] ppid=25996 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26001/stat : 26001 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 18211 33554432000 4194304 4196468 140728977939184 140157983951120 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26002] ppid=25996 vsize=15012476 memory=140530919421568 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26002/stat : 26002 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 18211 33554432000 4194304 4196468 140728977939184 140157440829840 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26003] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26003/stat : 26003 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 18211 33554432000 4194304 4196468 140728977939184 140157439777296 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26004] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26004/stat : 26004 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 18277 33554432000 4194304 4196468 140728977939184 140157438724752 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26005] ppid=25996 vsize=15012476 memory=140530919421568 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26005/stat : 26005 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225772265 15372775424 18277 33554432000 4194304 4196468 140728977939184 140157319318000 140157979720322 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26006] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26006/stat : 26006 (java) S 25996 25996 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225772266 15372775424 18277 33554432000 4194304 4196468 140728977939184 140156560467360 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26007] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26007/stat : 26007 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772266 15372775424 18277 33554432000 4194304 4196468 140728977939184 140156325586416 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26008] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26008/stat : 26008 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 18277 33554432000 4194304 4196468 140728977939184 140155951078096 140157979727771 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26009] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26009/stat : 26009 (java) S 25996 25996 20606 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 18277 33554432000 4194304 4196468 140728977939184 140157318264816 140157979720322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26010] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26010/stat : 26010 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 18277 33554432000 4194304 4196468 140728977939184 140157317212272 140157979720322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26011] ppid=25996 vsize=15012476 memory=140530919421568 CPUtime=0.01 cores=1,3,5,7
/proc/25999/task/26011/stat : 26011 (java) S 25996 25996 20606 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 225772269 15372775424 18277 33554432000 4194304 4196468 140728977939184 140157316159728 140157979720322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26012] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26012/stat : 26012 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 18277 33554432000 4194304 4196468 140728977939184 140155453172320 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26013] ppid=25996 vsize=15012476 memory=140530919421568 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26013/stat : 26013 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 18277 33554432000 4194304 4196468 140728977939184 140157315107632 140157979720322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74240 KiB
[startup+0.210698 s]*
/proc/loadavg: 2.08 2.05 2.13 3/222 26013
/proc/meminfo: memFree=24316824/32770624 swapFree=67058888/67108860
[pid=25996] ppid=25993 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/25996/stat : 25996 (scop.sh) S 25993 25996 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225772262 115843072 349 33554432000 4194304 5098028 140727804276800 140727804274056 139803876123260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18960384 140727804281921 140727804282119 140727804282119 140727804284877 0
/proc/25996/statm: 28282 349 296 221 0 87 0
[pid=25999] ppid=25996 vsize=15012476 memory=85648 CPUtime=0.25 cores=1,3,5,7
/proc/25999/stat : 25999 (java) S 25996 25996 20606 0 -1 1077944320 9764 0 0 0 23 2 0 0 20 0 15 0 225772262 15372775424 21412 33554432000 4194304 4196468 140728977939184 140728977921728 140157979709175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
/proc/25999/statm: 3753119 21412 2868 1 0 3715579 0
[pid=25999/tid=26000] ppid=25996 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/25999/task/26000/stat : 26000 (java) R 25996 25996 20606 0 -1 4202560 7648 0 0 0 18 2 0 0 20 0 15 0 225772262 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157951530000 140157979721110 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26001] ppid=25996 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26001/stat : 26001 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157983951120 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26002] ppid=25996 vsize=15012476 memory=140530920415124 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26002/stat : 26002 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157440829840 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26003] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26003/stat : 26003 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157439777296 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26004] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26004/stat : 26004 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157438724752 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26005] ppid=25996 vsize=15012476 memory=140530919421568 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26005/stat : 26005 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225772265 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157319318000 140157979720322 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26006] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26006/stat : 26006 (java) S 25996 25996 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225772266 15372775424 21412 33554432000 4194304 4196468 140728977939184 140156560467360 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26007] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26007/stat : 26007 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772266 15372775424 21412 33554432000 4194304 4196468 140728977939184 140156325586416 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26008] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26008/stat : 26008 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 21412 33554432000 4194304 4196468 140728977939184 140155951078096 140157979727771 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26009] ppid=25996 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25999/task/26009/stat : 26009 (java) R 25996 25996 20606 0 -1 4202560 460 0 0 0 1 0 0 0 20 0 15 0 225772269 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157318264816 140157963693105 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26010] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26010/stat : 26010 (java) R 25996 25996 20606 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157317212272 140157979720322 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26011] ppid=25996 vsize=15012476 memory=140530919421568 CPUtime=0.03 cores=1,3,5,7
/proc/25999/task/26011/stat : 26011 (java) R 25996 25996 20606 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 225772269 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157316159728 140157979721110 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26012] ppid=25996 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26012/stat : 26012 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 21412 33554432000 4194304 4196468 140728977939184 140155453172320 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26013] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26013/stat : 26013 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 21412 33554432000 4194304 4196468 140728977939184 140157315107632 140157979720322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87044 KiB
[startup+0.310674 s]*
/proc/loadavg: 2.08 2.05 2.13 3/222 26013
/proc/meminfo: memFree=24313032/32770624 swapFree=67058888/67108860
[pid=25996] ppid=25993 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/25996/stat : 25996 (scop.sh) S 25993 25996 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225772262 115843072 349 33554432000 4194304 5098028 140727804276800 140727804274056 139803876123260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18960384 140727804281921 140727804282119 140727804282119 140727804284877 0
/proc/25996/statm: 28282 349 296 221 0 87 0
[pid=25999] ppid=25996 vsize=15012476 memory=89840 CPUtime=0.42 cores=1,3,5,7
/proc/25999/stat : 25999 (java) S 25996 25996 20606 0 -1 1077944320 10380 0 0 0 39 3 0 0 20 0 15 0 225772262 15372775424 22460 33554432000 4194304 4196468 140728977939184 140728977921728 140157979709175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
/proc/25999/statm: 3753119 22460 3005 1 0 3715579 0
[pid=25999/tid=26000] ppid=25996 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25999/task/26000/stat : 26000 (java) R 25996 25996 20606 0 -1 4202560 8077 0 0 0 27 2 0 0 20 0 15 0 225772262 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157951504624 140157483254497 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26001] ppid=25996 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26001/stat : 26001 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157983951120 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26002] ppid=25996 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26002/stat : 26002 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157440829840 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26003] ppid=25996 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26003/stat : 26003 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157439777296 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26004] ppid=25996 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26004/stat : 26004 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225772264 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157438724752 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26005] ppid=25996 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26005/stat : 26005 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225772265 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157319318000 140157979720322 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26006] ppid=25996 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26006/stat : 26006 (java) S 25996 25996 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225772266 15372775424 22460 33554432000 4194304 4196468 140728977939184 140156560467360 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26007] ppid=25996 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26007/stat : 26007 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772266 15372775424 22460 33554432000 4194304 4196468 140728977939184 140156325586416 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26008] ppid=25996 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26008/stat : 26008 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 22460 33554432000 4194304 4196468 140728977939184 140155951078096 140157979727771 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26009] ppid=25996 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25999/task/26009/stat : 26009 (java) R 25996 25996 20606 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 225772269 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157318264816 140157979720322 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26010] ppid=25996 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25999/task/26010/stat : 26010 (java) R 25996 25996 20606 0 -1 4202560 76 0 0 0 2 0 0 0 20 0 15 0 225772269 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157317212272 140157971998629 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26011] ppid=25996 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25999/task/26011/stat : 26011 (java) R 25996 25996 20606 0 -1 4202560 347 0 0 0 7 0 0 0 20 0 15 0 225772269 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157316159728 140157958625058 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26012] ppid=25996 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26012/stat : 26012 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 22460 33554432000 4194304 4196468 140728977939184 140155453172320 140157979719381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26013] ppid=25996 vsize=15012476 memory=4049359695133089841 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26013/stat : 26013 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772269 15372775424 22460 33554432000 4194304 4196468 140728977939184 140157315107632 140157979720322 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91236 KiB
[startup+0.700814 s]
/proc/loadavg: 2.08 2.05 2.13 3/222 26013
/proc/meminfo: memFree=24288352/32770624 swapFree=67058888/67108860
[pid=25996] ppid=25993 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/25996/stat : 25996 (scop.sh) S 25993 25996 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225772262 115843072 349 33554432000 4194304 5098028 140727804276800 140727804274056 139803876123260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18960384 140727804281921 140727804282119 140727804282119 140727804284877 0
/proc/25996/statm: 28282 349 296 221 0 87 0
[pid=25999] ppid=25996 vsize=15020872 memory=129664 CPUtime=1 cores=1,3,5,7
/proc/25999/stat : 25999 (java) S 25996 25996 20606 0 -1 1077944320 17596 0 0 0 95 5 0 0 20 0 15 0 225772262 15381372928 32416 33554432000 4194304 4196468 140728977939184 140728977921728 140157979709175 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
/proc/25999/statm: 3755218 32416 3145 1 0 3716603 0
[pid=25999/tid=26000] ppid=25996 vsize=15020872 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/25999/task/26000/stat : 26000 (java) R 25996 25996 20606 0 -1 4202560 14824 0 0 0 62 4 0 0 20 0 15 0 225772262 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157951542544 140157963752805 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26001] ppid=25996 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26001/stat : 26001 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157983951120 140157979719381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26002] ppid=25996 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26002/stat : 26002 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157440829840 140157979719381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26003] ppid=25996 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26003/stat : 26003 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772264 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157439777296 140157979719381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26004] ppid=25996 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26004/stat : 26004 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225772264 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157438724752 140157979719381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26005] ppid=25996 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26005/stat : 26005 (java) S 25996 25996 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225772265 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157319318000 140157979720322 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26006] ppid=25996 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26006/stat : 26006 (java) S 25996 25996 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225772266 15381372928 32416 33554432000 4194304 4196468 140728977939184 140156560467360 140157979719381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26007] ppid=25996 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26007/stat : 26007 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772266 15381372928 32416 33554432000 4194304 4196468 140728977939184 140156325586416 140157979719381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26008] ppid=25996 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26008/stat : 26008 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15381372928 32416 33554432000 4194304 4196468 140728977939184 140155951078096 140157979727771 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26009] ppid=25996 vsize=15020872 memory=281061586108656 CPUtime=0.09 cores=1,3,5,7
/proc/25999/task/26009/stat : 26009 (java) R 25996 25996 20606 0 -1 4202560 769 0 0 0 9 0 0 0 20 0 15 0 225772269 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157318264816 140157965729872 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26010] ppid=25996 vsize=15020872 memory=6942133144549615185 CPUtime=0.06 cores=1,3,5,7
/proc/25999/task/26010/stat : 26010 (java) R 25996 25996 20606 0 -1 4202560 168 0 0 0 6 0 0 0 20 0 15 0 225772269 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157317200144 140157964818741 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26011] ppid=25996 vsize=15020872 memory=7883944108235712103 CPUtime=0.16 cores=1,3,5,7
/proc/25999/task/26011/stat : 26011 (java) R 25996 25996 20606 0 -1 1077944384 501 0 0 0 16 0 0 0 20 0 15 0 225772269 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157316159728 140157979720322 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26012] ppid=25996 vsize=15020872 memory=7649399362739516978 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26012/stat : 26012 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225772269 15381372928 32416 33554432000 4194304 4196468 140728977939184 140155453172320 140157979719381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
[pid=25999/tid=26013] ppid=25996 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25999/task/26013/stat : 26013 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225772269 15381372928 32416 33554432000 4194304 4196468 140728977939184 140157315107632 140157979720322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33943552 140728977941511 140728977941809 140728977941809 140728977944527 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131060 KiB
[startup+1.5047 s]
/proc/loadavg: 2.08 2.05 2.13 5/222 26013
/proc/meminfo: memFree=24252260/32770624 swapFree=67058888/67108860
[pid=25996] ppid=25993 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/25996/stat : 25996 (scop.sh) S 25993 25996 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225772262 115843072 349 33554432000 4194304 5098028 140727804276800 140727804274056 139803876123260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18960384 140727804281921 140727804282119 140727804282119 140727804284877 0
/proc/25996/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=26016/tid=26019] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26019/stat : 26019 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576507083792 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26020] ppid=25996 vsize=8068220 memory=120428 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26020/stat : 26020 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576506030992 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26021] ppid=25996 vsize=8068220 memory=121616 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26021/stat : 26021 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576504978192 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26022] ppid=25996 vsize=8068220 memory=154964 CPUtime=0.05 cores=1,3,5,7
/proc/26016/task/26022/stat : 26022 (java) S 25996 25996 20606 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 225782093 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575947839856 140576702683778 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26023] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26023/stat : 26023 (java) S 25996 25996 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225782094 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575554659360 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26024] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26024/stat : 26024 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782094 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575286223728 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26025] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26025/stat : 26025 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225782096 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574911715152 140576702691227 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26026] ppid=25996 vsize=8068220 memory=60240 CPUtime=0.14 cores=1,3,5,7
/proc/26016/task/26026/stat : 26026 (java) S 25996 25996 20606 0 -1 1077944384 896 0 0 0 14 0 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575946787696 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26027] ppid=25996 vsize=8068220 memory=780 CPUtime=0.18 cores=1,3,5,7
/proc/26016/task/26027/stat : 26027 (java) S 25996 25996 20606 0 -1 1077944384 459 0 0 0 17 1 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575945734896 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26028] ppid=25996 vsize=8068220 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/26016/task/26028/stat : 26028 (java) S 25996 25996 20606 0 -1 1077944384 552 0 0 0 22 0 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575944682096 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26029] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26029/stat : 26029 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225782099 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574413810400 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26030] ppid=25996 vsize=8068220 memory=736 CPUtime=1.29 cores=1,3,5,7
/proc/26016/task/26030/stat : 26030 (java) S 25996 25996 20606 0 -1 1077944384 157 0 0 0 60 69 0 0 20 0 19 0 225782099 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575943629488 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26032] ppid=25996 vsize=8068220 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26032/stat : 26032 (java) S 25996 25996 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225782168 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575935820992 140576702697241 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26034] ppid=25996 vsize=8068220 memory=1860 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26034/stat : 26034 (java) S 25996 25996 20606 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225782169 8261857280 30107 33554432000 4194304 4196468 140725107096368 140573876923696 140576702694557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26035] ppid=25996 vsize=8068220 memory=32380 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26035/stat : 26035 (java) S 25996 25996 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225782169 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574011146416 140576702694557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26036] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26036/stat : 26036 (java) S 25996 25996 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225782171 8261857280 30107 33554432000 4194304 4196468 140725107096368 140573608500896 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
Current children cumulated CPU time: 2466.44 s
Current children cumulated vsize: 8369056 KiB
Current children cumulated memory: 283008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/228 26234
/proc/meminfo: memFree=24523372/32770624 swapFree=67058900/67108860
[pid=25996] ppid=25993 vsize=113128 memory=1472 CPUtime=120.45 cores=1,3,5,7
/proc/25996/stat : 25996 (scop.sh) S 25993 25996 20606 0 -1 4202496 590 68551 0 0 0 0 11780 265 20 0 1 0 225772262 115843072 368 33554432000 4194304 5098028 140727804276800 140727804273544 139803876123260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18960384 140727804281921 140727804282119 140727804282119 140727804284877 0
/proc/25996/statm: 28282 368 311 221 0 87 0
[pid=26016] ppid=25996 vsize=8068220 memory=120428 CPUtime=2.75 cores=1,3,5,7
/proc/26016/stat : 26016 (java) S 25996 25996 20606 0 -1 1077944320 18531 0 0 0 197 78 0 0 20 0 19 0 225782090 8261857280 30107 33554432000 4194304 4196468 140725107096368 140725107078912 140576702672631 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
/proc/26016/statm: 2017055 30107 3135 1 0 1978454 0
[pid=26031] ppid=26016 vsize=187708 memory=161108 CPUtime=2396.89 cores=1,3,5,7
/proc/26031/stat : 26031 (minisat_release) R 26016 25996 20606 0 -1 4202496 686735 0 0 0 239594 95 0 0 20 0 1 0 225782168 192212992 40277 33554432000 4194304 4308513 140733275532688 140733275529592 4250434 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 37830656 140733275534452 140733275534550 140733275534550 140733275537349 0
/proc/26031/statm: 46927 40277 340 28 0 43167 0
[pid=26016/tid=26017] ppid=25996 vsize=8068220 memory=120428 CPUtime=0.78 cores=1,3,5,7
/proc/26016/task/26017/stat : 26017 (java) S 25996 25996 20606 0 -1 1077944384 15075 0 0 0 72 6 0 0 20 0 19 0 225782090 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576674512784 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26018] ppid=25996 vsize=8068220 memory=161108 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26018/stat : 26018 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576706915472 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26019] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26019/stat : 26019 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576507083792 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26020] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26020/stat : 26020 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576506030992 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26021] ppid=25996 vsize=8068220 memory=120428 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26021/stat : 26021 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576504978192 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26022] ppid=25996 vsize=8068220 memory=159004 CPUtime=0.06 cores=1,3,5,7
/proc/26016/task/26022/stat : 26022 (java) S 25996 25996 20606 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 225782093 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575947839856 140576702683778 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26023] ppid=25996 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26023/stat : 26023 (java) S 25996 25996 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225782094 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575554659360 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26024] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26024/stat : 26024 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782094 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575286223728 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26025] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26025/stat : 26025 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225782096 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574911715152 140576702691227 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26026] ppid=25996 vsize=8068220 memory=1472 CPUtime=0.14 cores=1,3,5,7
/proc/26016/task/26026/stat : 26026 (java) S 25996 25996 20606 0 -1 1077944384 896 0 0 0 14 0 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575946787696 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26027] ppid=25996 vsize=8068220 memory=1472 CPUtime=0.18 cores=1,3,5,7
/proc/26016/task/26027/stat : 26027 (java) S 25996 25996 20606 0 -1 1077944384 459 0 0 0 17 1 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575945734896 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26028] ppid=25996 vsize=8068220 memory=120428 CPUtime=0.22 cores=1,3,5,7
/proc/26016/task/26028/stat : 26028 (java) S 25996 25996 20606 0 -1 1077944384 552 0 0 0 22 0 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575944682096 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26029] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26029/stat : 26029 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225782099 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574413810400 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26030] ppid=25996 vsize=8068220 memory=120428 CPUtime=1.32 cores=1,3,5,7
/proc/26016/task/26030/stat : 26030 (java) S 25996 25996 20606 0 -1 1077944384 161 0 0 0 62 70 0 0 20 0 19 0 225782099 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575943629488 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26032] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26032/stat : 26032 (java) S 25996 25996 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225782168 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575935820992 140576702697241 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26034] ppid=25996 vsize=8068220 memory=120428 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26034/stat : 26034 (java) S 25996 25996 20606 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225782169 8261857280 30107 33554432000 4194304 4196468 140725107096368 140573876923696 140576702694557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26035] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26035/stat : 26035 (java) S 25996 25996 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225782169 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574011146416 140576702694557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26036] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26036/stat : 26036 (java) S 25996 25996 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225782171 8261857280 30107 33554432000 4194304 4196468 140725107096368 140573608500896 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8369056 KiB
Current children cumulated memory: 283008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.91 s]
# the end of solver process 25996 was just reported to runsolver
# cumulated CPU time of all completed processes: user=117.805 s, system=2.65388 s
[startup+2495.92 s]
# the end of solver process 26016 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.73 s, system=4.40945 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+2495.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/228 26234
/proc/meminfo: memFree=24523372/32770624 swapFree=67058900/67108860
[pid=25996] ppid=25993 vsize=113128 memory=1472 CPUtime=120.45 cores=1,3,5,7
/proc/25996/stat : 25996 (scop.sh) S 25993 25996 20606 0 -1 4202496 590 68551 0 0 0 0 11780 265 20 0 1 0 225772262 115843072 368 33554432000 4194304 5098028 140727804276800 140727804273544 139803876123260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18960384 140727804281921 140727804282119 140727804282119 140727804284877 0
/proc/25996/statm: 28282 368 311 221 0 87 0
[pid=26016] ppid=25996 vsize=8068220 memory=120428 CPUtime=2.75 cores=1,3,5,7
/proc/26016/stat : 26016 (java) S 25996 25996 20606 0 -1 1077944320 18531 0 0 0 197 78 0 0 20 0 19 0 225782090 8261857280 30107 33554432000 4194304 4196468 140725107096368 140725107078912 140576702672631 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
/proc/26016/statm: 2017055 30107 3135 1 0 1978454 0
[pid=26031] ppid=26016 vsize=187708 memory=161108 CPUtime=2396.89 cores=1,3,5,7
/proc/26031/stat : 26031 (minisat_release) R 26016 25996 20606 0 -1 4202496 686735 0 0 0 239594 95 0 0 20 0 1 0 225782168 192212992 40277 33554432000 4194304 4308513 140733275532688 140733275529592 4250434 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 37830656 140733275534452 140733275534550 140733275534550 140733275537349 0
/proc/26031/statm: 46927 40277 340 28 0 43167 0
[pid=26016/tid=26017] ppid=25996 vsize=8068220 memory=120428 CPUtime=0.78 cores=1,3,5,7
/proc/26016/task/26017/stat : 26017 (java) S 25996 25996 20606 0 -1 1077944384 15075 0 0 0 72 6 0 0 20 0 19 0 225782090 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576674512784 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26018] ppid=25996 vsize=8068220 memory=161108 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26018/stat : 26018 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576706915472 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26019] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26019/stat : 26019 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576507083792 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26020] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26020/stat : 26020 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576506030992 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26021] ppid=25996 vsize=8068220 memory=120428 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26021/stat : 26021 (java) S 25996 25996 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225782092 8261857280 30107 33554432000 4194304 4196468 140725107096368 140576504978192 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26022] ppid=25996 vsize=8068220 memory=159004 CPUtime=0.06 cores=1,3,5,7
/proc/26016/task/26022/stat : 26022 (java) S 25996 25996 20606 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 225782093 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575947839856 140576702683778 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26023] ppid=25996 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26023/stat : 26023 (java) S 25996 25996 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225782094 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575554659360 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26024] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26024/stat : 26024 (java) S 25996 25996 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225782094 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575286223728 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26025] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26025/stat : 26025 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225782096 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574911715152 140576702691227 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26026] ppid=25996 vsize=8068220 memory=1472 CPUtime=0.14 cores=1,3,5,7
/proc/26016/task/26026/stat : 26026 (java) S 25996 25996 20606 0 -1 1077944384 896 0 0 0 14 0 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575946787696 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26027] ppid=25996 vsize=8068220 memory=1472 CPUtime=0.18 cores=1,3,5,7
/proc/26016/task/26027/stat : 26027 (java) S 25996 25996 20606 0 -1 1077944384 459 0 0 0 17 1 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575945734896 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26028] ppid=25996 vsize=8068220 memory=120428 CPUtime=0.22 cores=1,3,5,7
/proc/26016/task/26028/stat : 26028 (java) S 25996 25996 20606 0 -1 1077944384 552 0 0 0 22 0 0 0 20 0 19 0 225782098 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575944682096 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26029] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26029/stat : 26029 (java) S 25996 25996 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225782099 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574413810400 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26030] ppid=25996 vsize=8068220 memory=120428 CPUtime=1.32 cores=1,3,5,7
/proc/26016/task/26030/stat : 26030 (java) S 25996 25996 20606 0 -1 1077944384 161 0 0 0 62 70 0 0 20 0 19 0 225782099 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575943629488 140576702683778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26032] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26032/stat : 26032 (java) S 25996 25996 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225782168 8261857280 30107 33554432000 4194304 4196468 140725107096368 140575935820992 140576702697241 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26034] ppid=25996 vsize=8068220 memory=120428 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26034/stat : 26034 (java) S 25996 25996 20606 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225782169 8261857280 30107 33554432000 4194304 4196468 140725107096368 140573876923696 140576702694557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26035] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26035/stat : 26035 (java) S 25996 25996 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225782169 8261857280 30107 33554432000 4194304 4196468 140725107096368 140574011146416 140576702694557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
[pid=26016/tid=26036] ppid=25996 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26016/task/26036/stat : 26036 (java) S 25996 25996 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225782171 8261857280 30107 33554432000 4194304 4196468 140725107096368 140573608500896 140576702682837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28217344 140725107102901 140725107103025 140725107103025 140725107105743 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8369056 KiB
Current children cumulated memory: 283008 KiB
Child status: 1
Real time (s): 2495.92
CPU time (s): 2520.14
CPU user time (s): 2515.73
CPU system time (s): 4.40945
CPU usage (%): 100.97
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4623216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.73
system time used= 4.40946
maximum resident set size= 4622188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 774690
page faults= 0
swaps= 0
block input operations= 8
block output operations= 41384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60732
involuntary context switches= 899
# summary of solver processes directly reported to runsolver:
# pid: 25996,26016
# total CPU time (s): 2520.14
# total CPU user time (s): 2515.73
# total CPU system time (s): 4.40945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1545 second user time and 26.5704 second system time
The end