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-15143-serial-file.bin HOME/instance-4305622-1534135315.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 06:41:56 CEST 2018
0.66/0.55 c PID: 15146
0.66/0.55 c IP: 172.20.3.132
0.66/0.55 c HOST: node132.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.94/1.31 c (0,0) Parsing End
2.94/1.32 c (0,0) CSP: 385 int (0 aux), 0 bool (0 aux), 166 ctr, max domain size 121
2.94/1.33 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.94/1.33 c (0,0) Constraint Name Generate Begin
2.94/1.33 c (0,0) Ctr:HOME/instance-4305622-1534135315.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.94/1.33 c (0,0) Constraint Name Generate End
2.94/1.33 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.94/1.33 c (0,0) CSP to CSPinCNF Begin
15.88/7.48 c (6,6) translated 17 (10%) constraints
21.43/12.48 c (11,11) translated 34 (20%) constraints
26.88/17.13 c (16,16) translated 50 (30%) constraints
31.61/21.85 c (21,20) translated 67 (40%) constraints
37.10/26.55 c (26,25) translated 83 (50%) constraints
43.04/31.57 c (31,30) translated 100 (60%) constraints
47.78/36.28 c (35,34) translated 117 (70%) constraints
50.96/38.31 c (37,36) translated 133 (80%) constraints
50.96/38.31 c (37,36) translated 150 (90%) constraints
50.96/38.31 c (37,36) translated 166 (100%) constraints
53.32/39.99 c (39,38) STATISTICS1:HOME/instance-4305622-1534135315.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,86053,545756,121,121,122,2,121:7260,121:43802;16:627330;2:935935;1:62777,122:121;121:2;5:10406;4:222156;3:88209;2:224818;1:44,2:7260;1:1655368;0:121,
53.32/39.99 c (39,38) ==========================================
53.32/39.99 c (39,38) Both Encoding selects:
53.32/39.99 c (39,38) Order
53.32/39.99 c (39,38) ==========================================
55.78/41.15 c (40,39) translated 54576 (10%) constraints
58.10/42.38 c (41,40) translated 109152 (20%) constraints
59.00/43.23 c (42,40) translated 163727 (30%) constraints
59.84/44.08 c (43,41) translated 218303 (40%) constraints
60.74/44.93 c (44,42) translated 272878 (50%) constraints
61.54/45.78 c (45,43) translated 327454 (60%) constraints
62.44/46.64 c (46,44) translated 382030 (70%) constraints
63.24/47.49 c (46,45) translated 436605 (80%) constraints
64.14/48.34 c (47,46) translated 491181 (90%) constraints
67.15/49.74 c (49,46) translated 545756 (100%) constraints
67.15/49.74 c (49,46) CSP to CSPinCNF End
67.15/49.79 c (49,46) CSP: 385 int (0 aux), 85668 bool (85668 aux), 545800 ctr, max domain size 121
67.15/49.79 c (49,46) Heap : 807 MiB used (max 10564 MiB), NonHeap : 30 MiB used (max 0 MiB)
67.15/49.79 c (49,46) CSPinCNF Propagation Begin
82.47/61.08 c (60,57) 21829 values, 115878 unsatisfiable literals, and 125782 valid clauses are removed
82.47/61.08 c (60,57) CSPinCNF Propagation End
82.58/61.11 c (60,57) CSP: 18830 int (18445 aux), 67223 bool (67223 aux), 420018 ctr, max domain size 121
82.58/61.11 c (60,57) Heap : 1346 MiB used (max 10592 MiB), NonHeap : 31 MiB used (max 0 MiB)
82.58/61.11 c (60,57) Simplify CSPinCNF Begin
84.10/62.10 c (61,58) Simplify CSPinCNF End
84.20/62.13 c (61,58) CSP: 18830 int (18445 aux), 81743 bool (81743 aux), 434538 ctr, max domain size 121
84.20/62.13 c (61,58) Heap : 1834 MiB used (max 10592 MiB), NonHeap : 31 MiB used (max 0 MiB)
84.20/62.13 c (61,58) Calculate Precise Domain Begin
84.20/62.13 c (61,58) 0 values are removed by re-calculation
84.20/62.13 c (61,58) Calculate Precise Domain End
84.20/62.16 c (61,58) CSP: 18830 int (18445 aux), 81743 bool (81743 aux), 434538 ctr, max domain size 121
84.20/62.16 c (61,58) Heap : 1834 MiB used (max 10592 MiB), NonHeap : 31 MiB used (max 0 MiB)
84.20/62.16 c (61,58) CSPinCNF to SatSolver Begin
89.46/65.59 c (65,61) 43454 (10 %) CSP clauses are encoded (96179 SAT variables, 1114580 SAT clauses)
89.83/65.80 c (65,61) 86908 (20 %) CSP clauses are encoded (96179 SAT variables, 1158034 SAT clauses)
90.07/66.01 c (65,61) 130362 (30 %) CSP clauses are encoded (96179 SAT variables, 1201488 SAT clauses)
90.26/66.23 c (65,61) 173816 (40 %) CSP clauses are encoded (96179 SAT variables, 1244942 SAT clauses)
90.46/66.44 c (65,62) 217269 (50 %) CSP clauses are encoded (96179 SAT variables, 1288395 SAT clauses)
90.66/66.66 c (66,62) 260723 (60 %) CSP clauses are encoded (96179 SAT variables, 1331849 SAT clauses)
90.86/66.87 c (66,62) 304177 (70 %) CSP clauses are encoded (96179 SAT variables, 1375303 SAT clauses)
92.03/67.32 c (66,62) 347631 (80 %) CSP clauses are encoded (96179 SAT variables, 1418757 SAT clauses)
92.23/67.53 c (67,63) 391085 (90 %) CSP clauses are encoded (96179 SAT variables, 1462211 SAT clauses)
92.43/67.75 c (67,63) 434538 (100 %) CSP clauses are encoded (96179 SAT variables, 1505664 SAT clauses)
92.43/67.75 c (67,63) Launch Command will be: minisat_release
92.43/67.75 c (67,63) CSPinCNF to SatSolver End
92.43/67.75 c (67,63) Heap : 1319 MiB used (max 10012 MiB), NonHeap : 33 MiB used (max 0 MiB)
93.82/68.87 c (68,64) STATISTICS2:HOME/instance-4305622-1534135315.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,100573,434538,121,121,121,2,121:6480;40:7092;4:948,121:39042;40:11484;16:522481;4:988;2:739908,121:82;81:1;40:36;5:7245;4:164787;3:67793;2:194594,2:14520;1:1284863,
93.90/68.90 c (68,64) 96179 bool, 1505665 clause
93.90/68.90 c (68,64) Export Begin
94.11/69.02 c (68,64) Export to HOME/scop-15143-serial-file.bin
94.11/69.02 c (68,64) Export End
94.11/69.02 c (68,64) Export File Size: 0.08 MB
94.11/69.02 c (68,64) 0,0,49,60,61,61,67,STOP-AFTER(DIMACS)
94.11/69.02 c END-Prog: Mon Aug 13 06:43:05 CEST 2018
94.11/69.06 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-15143-serial-file.bin
94.17/69.55 c (0,0) Read Serial File Begin
94.17/69.55 c (0,0) HOME/scop-15143-serial-file.bin
94.17/69.75 c (0,0) Read Serial File End
94.17/69.77
94.17/69.77 scop order+minisat_release (2018-07-31)
94.17/69.77 (Solving Process)
94.17/69.77
94.17/69.79 c BEGIN-Prog: Mon Aug 13 06:43:05 CEST 2018
94.17/69.79 c PID: 15164
94.17/69.79 c IP: 172.20.3.132
94.17/69.79 c HOST: node132.alineos.net
94.17/69.79 c (0,0) SatSolver.solve Begin
94.17/69.80 c (0,0) 0 bool, 0 clause
94.17/69.80 c (0,0) minisat_release HOME/instance-4305622-1534135315.xml-scop-15146.cnf
2520.03/2492.31 c (2422,0) receiving signal SIGTERM
2520.03/2492.31 s UNKNOWN
2520.03/2492.32 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2492.32 c (scop.sh) Remove HOME/scop-15143-serial-file.bin.
2520.03/2492.32 c (scop.sh) Killing background jobs.
2520.03/2492.32 c (2422,0) receiving signal SIGTERM
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6909 MiB free)
memory of node 1: 16384 MiB (10289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305622-1534135315/watcher-4305622-1534135315 -o /tmp/evaluation-result-4305622-1534135315/solver-4305622-1534135315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534131563-14336 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305622-1534135315.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15143, runsolver pid=15140
[startup+0.100076 s]*
/proc/loadavg: 2.10 2.04 2.01 3/226 15160
/proc/meminfo: memFree=17551744/32770624 swapFree=67108860/67108860
[pid=15143] ppid=15140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15143/stat : 15143 (scop.sh) S 15140 15143 14305 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231094713 115843072 349 33554432000 4194304 5098028 140727583699936 140727583697192 139674629194364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7553024 140727583704129 140727583704327 140727583704327 140727583707085 0
/proc/15143/statm: 28282 349 296 221 0 87 0
[pid=15146] ppid=15143 vsize=15012476 memory=73552 CPUtime=0.11 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15143 14305 0 -1 1077944320 5973 0 0 0 10 1 0 0 20 0 15 0 231094713 15372775424 18388 33554432000 4194304 4196468 140724235554192 140724235536736 140484822888183 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
/proc/15146/statm: 3753119 18388 2771 1 0 3715579 0
[pid=15146/tid=15147] ppid=15143 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/15146/task/15147/stat : 15147 (java) R 15143 15143 14305 0 -1 4202560 4071 0 0 0 8 1 0 0 20 0 15 0 231094713 15372775424 18388 33554432000 4194304 4196468 140724235554192 140484794700168 140484806075009 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15148] ppid=15143 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15148/stat : 15148 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 18388 33554432000 4194304 4196468 140724235554192 140484827130768 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15149] ppid=15143 vsize=15012476 memory=140143682467456 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15149/stat : 15149 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 18388 33554432000 4194304 4196468 140724235554192 140484625906448 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15150] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15150/stat : 15150 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 18388 33554432000 4194304 4196468 140724235554192 140484624854160 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15151] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15151/stat : 15151 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 18388 33554432000 4194304 4196468 140724235554192 140484623801360 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15152] ppid=15143 vsize=15012476 memory=140143682467456 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15152/stat : 15152 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094716 15372775424 18388 33554432000 4194304 4196468 140724235554192 140483793311856 140484822899330 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15153] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15153/stat : 15153 (java) S 15143 15143 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231094717 15372775424 18388 33554432000 4194304 4196468 140724235554192 140483414188832 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15154] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15154/stat : 15154 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094717 15372775424 18388 33554432000 4194304 4196468 140724235554192 140483145753712 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15155] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15155/stat : 15155 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 18388 33554432000 4194304 4196468 140724235554192 140482771245136 140484822906779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15156] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15156/stat : 15156 (java) S 15143 15143 14305 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 18388 33554432000 4194304 4196468 140724235554192 140483792259696 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15157] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15157/stat : 15157 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 18388 33554432000 4194304 4196468 140724235554192 140483791206896 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15158] ppid=15143 vsize=15012476 memory=140143682467456 CPUtime=0.01 cores=0,2,4,6
/proc/15146/task/15158/stat : 15158 (java) R 15143 15143 14305 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 231094720 15372775424 18388 33554432000 4194304 4196468 140724235554192 140483790150488 140484815125310 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15159] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15159/stat : 15159 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 18388 33554432000 4194304 4196468 140724235554192 140482273340384 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15160] ppid=15143 vsize=15012476 memory=140143682467456 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15160/stat : 15160 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 18388 33554432000 4194304 4196468 140724235554192 140483789101488 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74948 KiB
[startup+0.210771 s]*
/proc/loadavg: 2.10 2.04 2.01 3/226 15160
/proc/meminfo: memFree=17537916/32770624 swapFree=67108860/67108860
[pid=15143] ppid=15140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15143/stat : 15143 (scop.sh) S 15140 15143 14305 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231094713 115843072 349 33554432000 4194304 5098028 140727583699936 140727583697192 139674629194364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7553024 140727583704129 140727583704327 140727583704327 140727583707085 0
/proc/15143/statm: 28282 349 296 221 0 87 0
[pid=15146] ppid=15143 vsize=15012476 memory=86628 CPUtime=0.25 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15143 14305 0 -1 1077944320 9489 0 0 0 23 2 0 0 20 0 15 0 231094713 15372775424 21657 33554432000 4194304 4196468 140724235554192 140724235536736 140484822888183 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
/proc/15146/statm: 3753119 21657 2871 1 0 3715579 0
[pid=15146/tid=15147] ppid=15143 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/15146/task/15147/stat : 15147 (java) R 15143 15143 14305 0 -1 4202560 7398 0 0 0 18 2 0 0 20 0 15 0 231094713 15372775424 21657 33554432000 4194304 4196468 140724235554192 140484794707440 140484822900118 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15148] ppid=15143 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15148/stat : 15148 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 21657 33554432000 4194304 4196468 140724235554192 140484827130768 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15149] ppid=15143 vsize=15012476 memory=140143683743343 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15149/stat : 15149 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 21657 33554432000 4194304 4196468 140724235554192 140484625906448 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15150] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15150/stat : 15150 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 21657 33554432000 4194304 4196468 140724235554192 140484624854160 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15151] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15151/stat : 15151 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 21657 33554432000 4194304 4196468 140724235554192 140484623801360 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15152] ppid=15143 vsize=15012476 memory=140143682467456 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15152/stat : 15152 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094716 15372775424 21657 33554432000 4194304 4196468 140724235554192 140483793311856 140484822899330 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15153] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15153/stat : 15153 (java) S 15143 15143 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231094717 15372775424 21657 33554432000 4194304 4196468 140724235554192 140483414188832 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15154] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15154/stat : 15154 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094717 15372775424 21657 33554432000 4194304 4196468 140724235554192 140483145753712 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15155] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15155/stat : 15155 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 21657 33554432000 4194304 4196468 140724235554192 140482771245136 140484822906779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15156] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15156/stat : 15156 (java) S 15143 15143 14305 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 21657 33554432000 4194304 4196468 140724235554192 140483792259696 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15157] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15157/stat : 15157 (java) S 15143 15143 14305 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 21657 33554432000 4194304 4196468 140724235554192 140483791206896 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15158] ppid=15143 vsize=15012476 memory=140143682467456 CPUtime=0.03 cores=0,2,4,6
/proc/15146/task/15158/stat : 15158 (java) R 15143 15143 14305 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 231094720 15372775424 21657 33554432000 4194304 4196468 140724235554192 140483790154608 140484822909530 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15159] ppid=15143 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15159/stat : 15159 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 21657 33554432000 4194304 4196468 140724235554192 140482273340384 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15160] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15160/stat : 15160 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 21657 33554432000 4194304 4196468 140724235554192 140483789101488 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88024 KiB
[startup+0.310842 s]*
/proc/loadavg: 2.10 2.04 2.01 3/226 15160
/proc/meminfo: memFree=17534504/32770624 swapFree=67108860/67108860
[pid=15143] ppid=15140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15143/stat : 15143 (scop.sh) S 15140 15143 14305 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231094713 115843072 349 33554432000 4194304 5098028 140727583699936 140727583697192 139674629194364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7553024 140727583704129 140727583704327 140727583704327 140727583707085 0
/proc/15143/statm: 28282 349 296 221 0 87 0
[pid=15146] ppid=15143 vsize=15012476 memory=90156 CPUtime=0.43 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15143 14305 0 -1 1077944320 10024 0 0 0 40 3 0 0 20 0 15 0 231094713 15372775424 22539 33554432000 4194304 4196468 140724235554192 140724235536736 140484822888183 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
/proc/15146/statm: 3753119 22539 2977 1 0 3715579 0
[pid=15146/tid=15147] ppid=15143 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15146/task/15147/stat : 15147 (java) R 15143 15143 14305 0 -1 4202560 7765 0 0 0 27 2 0 0 20 0 15 0 231094713 15372775424 22539 33554432000 4194304 4196468 140724235554192 140484794683184 140484809100792 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15148] ppid=15143 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15148/stat : 15148 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 22539 33554432000 4194304 4196468 140724235554192 140484827130768 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15149] ppid=15143 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15149/stat : 15149 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 22539 33554432000 4194304 4196468 140724235554192 140484625906448 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15150] ppid=15143 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15150/stat : 15150 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 22539 33554432000 4194304 4196468 140724235554192 140484624854160 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15151] ppid=15143 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15151/stat : 15151 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15372775424 22539 33554432000 4194304 4196468 140724235554192 140484623801360 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15152] ppid=15143 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15152/stat : 15152 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094716 15372775424 22539 33554432000 4194304 4196468 140724235554192 140483793311856 140484822899330 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15153] ppid=15143 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15153/stat : 15153 (java) S 15143 15143 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231094717 15372775424 22539 33554432000 4194304 4196468 140724235554192 140483414188832 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15154] ppid=15143 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15154/stat : 15154 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094717 15372775424 22539 33554432000 4194304 4196468 140724235554192 140483145753712 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15155] ppid=15143 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15155/stat : 15155 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 22539 33554432000 4194304 4196468 140724235554192 140482771245136 140484822906779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15156] ppid=15143 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15146/task/15156/stat : 15156 (java) S 15143 15143 14305 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 231094720 15372775424 22539 33554432000 4194304 4196468 140724235554192 140483792259696 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15157] ppid=15143 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15146/task/15157/stat : 15157 (java) S 15143 15143 14305 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 15 0 231094720 15372775424 22539 33554432000 4194304 4196468 140724235554192 140483791206896 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15158] ppid=15143 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15146/task/15158/stat : 15158 (java) S 15143 15143 14305 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 231094720 15372775424 22539 33554432000 4194304 4196468 140724235554192 140483790154608 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15159] ppid=15143 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15159/stat : 15159 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 22539 33554432000 4194304 4196468 140724235554192 140482273340384 140484822898389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15160] ppid=15143 vsize=15012476 memory=3473180417806377009 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15160/stat : 15160 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094720 15372775424 22539 33554432000 4194304 4196468 140724235554192 140483789101488 140484822899330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91552 KiB
[startup+0.700787 s]
/proc/loadavg: 2.10 2.04 2.01 3/226 15160
/proc/meminfo: memFree=17510692/32770624 swapFree=67108860/67108860
[pid=15143] ppid=15140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15143/stat : 15143 (scop.sh) S 15140 15143 14305 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231094713 115843072 349 33554432000 4194304 5098028 140727583699936 140727583697192 139674629194364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7553024 140727583704129 140727583704327 140727583704327 140727583707085 0
/proc/15143/statm: 28282 349 296 221 0 87 0
[pid=15146] ppid=15143 vsize=15018748 memory=128860 CPUtime=1.03 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15143 14305 0 -1 1077944320 16829 0 0 0 98 5 0 0 20 0 15 0 231094713 15379197952 32215 33554432000 4194304 4196468 140724235554192 140724235536736 140484822888183 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
/proc/15146/statm: 3754687 32215 3135 1 0 3716091 0
[pid=15146/tid=15147] ppid=15143 vsize=15018748 memory=62792 CPUtime=0.67 cores=0,2,4,6
/proc/15146/task/15147/stat : 15147 (java) R 15143 15143 14305 0 -1 4202560 14121 0 0 0 63 4 0 0 20 0 15 0 231094713 15379197952 32215 33554432000 4194304 4196468 140724235554192 140484794710416 140484822910109 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15148] ppid=15143 vsize=15018748 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15148/stat : 15148 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15379197952 32215 33554432000 4194304 4196468 140724235554192 140484827130768 140484822898389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15149] ppid=15143 vsize=15018748 memory=2444 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15149/stat : 15149 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094715 15379197952 32215 33554432000 4194304 4196468 140724235554192 140484625906448 140484822898389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15150] ppid=15143 vsize=15018748 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15150/stat : 15150 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15379197952 32215 33554432000 4194304 4196468 140724235554192 140484624854160 140484822898389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15151] ppid=15143 vsize=15018748 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15151/stat : 15151 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231094715 15379197952 32215 33554432000 4194304 4196468 140724235554192 140484623801360 140484822898389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15152] ppid=15143 vsize=15018748 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15152/stat : 15152 (java) S 15143 15143 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231094716 15379197952 32215 33554432000 4194304 4196468 140724235554192 140483793311856 140484822899330 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15153] ppid=15143 vsize=15018748 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15153/stat : 15153 (java) S 15143 15143 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231094717 15379197952 32215 33554432000 4194304 4196468 140724235554192 140483414188832 140484822898389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15154] ppid=15143 vsize=15018748 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15154/stat : 15154 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094717 15379197952 32215 33554432000 4194304 4196468 140724235554192 140483145753712 140484822898389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15155] ppid=15143 vsize=15018748 memory=752 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15155/stat : 15155 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15379197952 32215 33554432000 4194304 4196468 140724235554192 140482771245136 140484822906779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15156] ppid=15143 vsize=15018748 memory=7304 CPUtime=0.11 cores=0,2,4,6
/proc/15146/task/15156/stat : 15156 (java) S 15143 15143 14305 0 -1 1077944384 753 0 0 0 11 0 0 0 20 0 15 0 231094720 15379197952 32215 33554432000 4194304 4196468 140724235554192 140483792259696 140484822899330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15157] ppid=15143 vsize=15018748 memory=5400 CPUtime=0.06 cores=0,2,4,6
/proc/15146/task/15157/stat : 15157 (java) S 15143 15143 14305 0 -1 1077944384 177 0 0 0 6 0 0 0 20 0 15 0 231094720 15379197952 32215 33554432000 4194304 4196468 140724235554192 140483791206896 140484822899330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15158] ppid=15143 vsize=15018748 memory=1108 CPUtime=0.16 cores=0,2,4,6
/proc/15146/task/15158/stat : 15158 (java) S 15143 15143 14305 0 -1 1077944384 442 0 0 0 16 0 0 0 20 0 15 0 231094720 15379197952 32215 33554432000 4194304 4196468 140724235554192 140483790154608 140484822899330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15159] ppid=15143 vsize=15018748 memory=10784 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15159/stat : 15159 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231094720 15379197952 32215 33554432000 4194304 4196468 140724235554192 140482273340384 140484822898389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
[pid=15146/tid=15160] ppid=15143 vsize=15018748 memory=872 CPUtime=0 cores=0,2,4,6
/proc/15146/task/15160/stat : 15160 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231094720 15379197952 32215 33554432000 4194304 4196468 140724235554192 140483789101488 140484822899330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140724235559943 140724235560241 140724235560241 140724235562959 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130256 KiB
[startup+1.50156 s]
/proc/loadavg: 2.10 2.04 2.01 6/226 15160
/proc/meminfo: memFree=17417668/32770624 swapFree=67108860/67108860
[pid=15143] ppid=15140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15143/stat : 15143 (scop.sh) S 15140 15143 14305 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231094713 115843072 349 33554432000 4194304 5098028 140727583699936 140727583697192 139674629194364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7553024 140727583704129 140727583704327 140727583704327 140727583707085 0
/proc/15143/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=15164/tid=15167] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140117202827792 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15168] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15168/stat : 15168 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116882352528 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15169] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15169/stat : 15169 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116881299728 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15170] ppid=15143 vsize=8068220 memory=118604 CPUtime=0.05 cores=0,2,4,6
/proc/15164/task/15170/stat : 15170 (java) S 15143 15143 14305 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231101622 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116777446256 140117398428290 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15171] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15171/stat : 15171 (java) S 15143 15143 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231101623 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116261594656 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15172] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15172/stat : 15172 (java) S 15143 15143 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231101623 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116127372656 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15173] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15173/stat : 15173 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140115752868176 140117398435739 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15174] ppid=15143 vsize=8068220 memory=1472 CPUtime=0.14 cores=0,2,4,6
/proc/15164/task/15174/stat : 15174 (java) S 15143 15143 14305 0 -1 1077944384 724 0 0 0 14 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116776393072 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15175] ppid=15143 vsize=8068220 memory=1472 CPUtime=0.16 cores=0,2,4,6
/proc/15164/task/15175/stat : 15175 (java) S 15143 15143 14305 0 -1 1077944384 632 0 0 0 16 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116775340272 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15176] ppid=15143 vsize=8068220 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/15164/task/15176/stat : 15176 (java) S 15143 15143 14305 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116774287472 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15177] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15177/stat : 15177 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101626 8261857280 29651 33554432000 4194304 4196468 140726392896368 140115254962400 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15178] ppid=15143 vsize=8068220 memory=1472 CPUtime=2 cores=0,2,4,6
/proc/15164/task/15178/stat : 15178 (java) S 15143 15143 14305 0 -1 1077944384 157 0 0 0 105 95 0 0 20 0 19 0 231101626 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116773235888 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15180] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15180/stat : 15180 (java) S 15143 15143 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231101695 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116865898176 140117398441753 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15182] ppid=15143 vsize=8068220 memory=261652 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15182/stat : 15182 (java) S 15143 15143 14305 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231101695 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114718076688 140117398439069 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15183] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15183/stat : 15183 (java) S 15143 15143 14305 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231101696 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114852298384 140117398439069 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15184] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15184/stat : 15184 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101698 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114449652896 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
Current children cumulated CPU time: 2469.96 s
Current children cumulated vsize: 8560996 KiB
Current children cumulated memory: 396852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.31 s]
/proc/loadavg: 2.00 2.02 2.06 3/231 15484
/proc/meminfo: memFree=16620648/32770624 swapFree=67108860/67108860
[pid=15143] ppid=15140 vsize=113128 memory=1472 CPUtime=94.17 cores=0,2,4,6
/proc/15143/stat : 15143 (scop.sh) S 15140 15143 14305 0 -1 4202496 592 67954 0 0 0 0 9169 248 20 0 1 0 231094713 115843072 368 33554432000 4194304 5098028 140727583699936 140727583696680 139674629194364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7553024 140727583704129 140727583704327 140727583704327 140727583707085 0
/proc/15143/statm: 28282 368 311 221 0 87 0
[pid=15164] ppid=15143 vsize=8068220 memory=118604 CPUtime=3.48 cores=0,2,4,6
/proc/15164/stat : 15164 (java) S 15143 15143 14305 0 -1 1077944320 18061 0 0 0 254 94 0 0 20 0 19 0 231101619 8261857280 29651 33554432000 4194304 4196468 140726392896368 140726392878912 140117398417143 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
/proc/15164/statm: 2017055 29651 3151 1 0 1978454 0
[pid=15179] ppid=15164 vsize=380296 memory=279444 CPUtime=2422.38 cores=0,2,4,6
/proc/15179/stat : 15179 (minisat_release) R 15164 15143 14305 0 -1 4202496 1414464 0 0 0 241956 282 0 0 20 0 1 0 231101695 389423104 69861 33554432000 4194304 4308513 140726882380336 140726882377752 4269582 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 10842112 140726882387060 140726882387158 140726882387158 140726882389957 0
/proc/15179/statm: 95074 69861 342 28 0 91314 0
[pid=15164/tid=15165] ppid=15143 vsize=8068220 memory=118604 CPUtime=0.78 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (java) S 15143 15143 14305 0 -1 1077944384 14556 0 0 0 72 6 0 0 20 0 19 0 231101620 8261857280 29651 33554432000 4194304 4196468 140726392896368 140117370257296 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15166] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140117402659472 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15167] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140117202827792 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15168] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15168/stat : 15168 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116882352528 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15169] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15169/stat : 15169 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116881299728 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15170] ppid=15143 vsize=8068220 memory=293284 CPUtime=0.05 cores=0,2,4,6
/proc/15164/task/15170/stat : 15170 (java) S 15143 15143 14305 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231101622 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116777446256 140117398428290 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15171] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15171/stat : 15171 (java) S 15143 15143 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231101623 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116261594656 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15172] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15172/stat : 15172 (java) S 15143 15143 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231101623 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116127372656 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15173] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15173/stat : 15173 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140115752868176 140117398435739 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15174] ppid=15143 vsize=8068220 memory=118604 CPUtime=0.14 cores=0,2,4,6
/proc/15164/task/15174/stat : 15174 (java) S 15143 15143 14305 0 -1 1077944384 724 0 0 0 14 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116776393072 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15175] ppid=15143 vsize=8068220 memory=924 CPUtime=0.16 cores=0,2,4,6
/proc/15164/task/15175/stat : 15175 (java) S 15143 15143 14305 0 -1 1077944384 632 0 0 0 16 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116775340272 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15176] ppid=15143 vsize=8068220 memory=2188 CPUtime=0.22 cores=0,2,4,6
/proc/15164/task/15176/stat : 15176 (java) S 15143 15143 14305 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116774287472 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15177] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15177/stat : 15177 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101626 8261857280 29651 33554432000 4194304 4196468 140726392896368 140115254962400 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15178] ppid=15143 vsize=8068220 memory=118604 CPUtime=2.07 cores=0,2,4,6
/proc/15164/task/15178/stat : 15178 (java) S 15143 15143 14305 0 -1 1077944384 161 0 0 0 109 98 0 0 20 0 19 0 231101626 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116773235888 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15180] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15180/stat : 15180 (java) S 15143 15143 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231101695 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116865898176 140117398441753 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15182] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15182/stat : 15182 (java) S 15143 15143 14305 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231101695 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114718076688 140117398439069 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15183] ppid=15143 vsize=8068220 memory=270304 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15183/stat : 15183 (java) S 15143 15143 14305 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231101696 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114852298384 140117398439069 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15184] ppid=15143 vsize=8068220 memory=260016 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15184/stat : 15184 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101698 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114449652896 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8561644 KiB
Current children cumulated memory: 399520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.32 s]
# the end of solver process 15143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=91.696 s, system=2.49232 s
[startup+2492.35 s]
# the end of solver process 15164 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.81 s, system=6.29914 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+2492.31 s]
/proc/loadavg: 2.00 2.02 2.06 3/231 15484
/proc/meminfo: memFree=16620648/32770624 swapFree=67108860/67108860
[pid=15143] ppid=15140 vsize=113128 memory=1472 CPUtime=94.17 cores=0,2,4,6
/proc/15143/stat : 15143 (scop.sh) S 15140 15143 14305 0 -1 4202496 592 67954 0 0 0 0 9169 248 20 0 1 0 231094713 115843072 368 33554432000 4194304 5098028 140727583699936 140727583696680 139674629194364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7553024 140727583704129 140727583704327 140727583704327 140727583707085 0
/proc/15143/statm: 28282 368 311 221 0 87 0
[pid=15164] ppid=15143 vsize=8068220 memory=118604 CPUtime=3.48 cores=0,2,4,6
/proc/15164/stat : 15164 (java) S 15143 15143 14305 0 -1 1077944320 18061 0 0 0 254 94 0 0 20 0 19 0 231101619 8261857280 29651 33554432000 4194304 4196468 140726392896368 140726392878912 140117398417143 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
/proc/15164/statm: 2017055 29651 3151 1 0 1978454 0
[pid=15179] ppid=15164 vsize=380296 memory=279444 CPUtime=2422.38 cores=0,2,4,6
/proc/15179/stat : 15179 (minisat_release) R 15164 15143 14305 0 -1 4202496 1414464 0 0 0 241956 282 0 0 20 0 1 0 231101695 389423104 69861 33554432000 4194304 4308513 140726882380336 140726882377752 4269582 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 10842112 140726882387060 140726882387158 140726882387158 140726882389957 0
/proc/15179/statm: 95074 69861 342 28 0 91314 0
[pid=15164/tid=15165] ppid=15143 vsize=8068220 memory=118604 CPUtime=0.78 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (java) S 15143 15143 14305 0 -1 1077944384 14556 0 0 0 72 6 0 0 20 0 19 0 231101620 8261857280 29651 33554432000 4194304 4196468 140726392896368 140117370257296 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15166] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140117402659472 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15167] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140117202827792 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15168] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15168/stat : 15168 (java) S 15143 15143 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116882352528 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15169] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15169/stat : 15169 (java) S 15143 15143 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231101621 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116881299728 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15170] ppid=15143 vsize=8068220 memory=293284 CPUtime=0.05 cores=0,2,4,6
/proc/15164/task/15170/stat : 15170 (java) S 15143 15143 14305 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231101622 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116777446256 140117398428290 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15171] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15171/stat : 15171 (java) S 15143 15143 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231101623 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116261594656 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15172] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15172/stat : 15172 (java) S 15143 15143 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231101623 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116127372656 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15173] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15173/stat : 15173 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140115752868176 140117398435739 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15174] ppid=15143 vsize=8068220 memory=118604 CPUtime=0.14 cores=0,2,4,6
/proc/15164/task/15174/stat : 15174 (java) S 15143 15143 14305 0 -1 1077944384 724 0 0 0 14 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116776393072 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15175] ppid=15143 vsize=8068220 memory=924 CPUtime=0.16 cores=0,2,4,6
/proc/15164/task/15175/stat : 15175 (java) S 15143 15143 14305 0 -1 1077944384 632 0 0 0 16 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116775340272 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15176] ppid=15143 vsize=8068220 memory=2188 CPUtime=0.22 cores=0,2,4,6
/proc/15164/task/15176/stat : 15176 (java) S 15143 15143 14305 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 19 0 231101625 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116774287472 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15177] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15177/stat : 15177 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101626 8261857280 29651 33554432000 4194304 4196468 140726392896368 140115254962400 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15178] ppid=15143 vsize=8068220 memory=118604 CPUtime=2.07 cores=0,2,4,6
/proc/15164/task/15178/stat : 15178 (java) S 15143 15143 14305 0 -1 1077944384 161 0 0 0 109 98 0 0 20 0 19 0 231101626 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116773235888 140117398428290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15180] ppid=15143 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15180/stat : 15180 (java) S 15143 15143 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231101695 8261857280 29651 33554432000 4194304 4196468 140726392896368 140116865898176 140117398441753 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15182] ppid=15143 vsize=8068220 memory=118604 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15182/stat : 15182 (java) S 15143 15143 14305 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231101695 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114718076688 140117398439069 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15183] ppid=15143 vsize=8068220 memory=270304 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15183/stat : 15183 (java) S 15143 15143 14305 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231101696 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114852298384 140117398439069 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
[pid=15164/tid=15184] ppid=15143 vsize=8068220 memory=260016 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15184/stat : 15184 (java) S 15143 15143 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231101698 8261857280 29651 33554432000 4194304 4196468 140726392896368 140114449652896 140117398427349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140726392902837 140726392902961 140726392902961 140726392905679 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8561644 KiB
Current children cumulated memory: 399520 KiB
Child status: 1
Real time (s): 2492.35
CPU time (s): 2520.11
CPU user time (s): 2513.81
CPU system time (s): 6.29914
CPU usage (%): 101.114
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4717344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.81
system time used= 6.29914
maximum resident set size= 4717336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1501631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 61488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61039
involuntary context switches= 3069
# summary of solver processes directly reported to runsolver:
# pid: 15143,15164
# total CPU time (s): 2520.11
# total CPU user time (s): 2513.81
# total CPU system time (s): 6.29914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4137 second user time and 27.1551 second system time
The end