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-27299-serial-file.bin HOME/instance-4305709-1534092116.xml
0.65/0.61
0.65/0.61 scop both+minisat_release (2018-07-31)
0.65/0.61 (Encoding Process)
0.65/0.61
0.65/0.64 c BEGIN-Prog: Sun Aug 12 18:41:57 CEST 2018
0.65/0.64 c PID: 27302
0.65/0.64 c IP: 172.20.3.103
0.65/0.64 c HOST: node103.alineos.net
0.65/0.65 c (0,0) Parsing Begin
2.67/1.36 c (0,0) Parsing End
2.67/1.37 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 517 ctr, max domain size 25
2.67/1.37 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.67/1.37 c (0,0) Constraint Name Generate Begin
2.67/1.38 c (0,0) Ctr:HOME/instance-4305709-1534092116.xml,ExtensionConflict:ExtensionSupport:IntVar
2.67/1.38 c (0,0) Constraint Name Generate End
2.67/1.38 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.67/1.38 c (0,0) CSP to CSPinCNF Begin
6.23/2.53 c (1,1) translated 52 (10%) constraints
8.10/3.11 c (2,2) translated 104 (20%) constraints
9.28/3.57 c (2,2) translated 156 (30%) constraints
10.82/4.03 c (3,3) translated 207 (40%) constraints
12.00/4.46 c (3,3) translated 259 (50%) constraints
13.22/4.85 c (4,4) translated 311 (60%) constraints
13.93/5.15 c (4,4) translated 362 (70%) constraints
14.27/5.41 c (4,4) translated 414 (80%) constraints
14.60/5.66 c (5,5) translated 466 (90%) constraints
14.84/5.89 c (5,5) translated 517 (100%) constraints
15.67/6.23 c (5,5) STATISTICS1:HOME/instance-4305709-1534092116.xml,ExtensionConflict:ExtensionSupport:IntVar,306,67248,-1,25,26,1,,25:255661;2:3574,26:10;4:57917;3:8675;2:646,1:259235;0:10,
15.67/6.23 c (5,5) ==========================================
15.67/6.23 c (5,5) Both Encoding selects:
15.67/6.23 c (5,5) Order
15.67/6.23 c (5,5) ==========================================
16.20/6.45 c (5,5) translated 6725 (10%) constraints
16.52/6.58 c (5,5) translated 13450 (20%) constraints
16.91/6.71 c (6,6) translated 20175 (30%) constraints
17.02/6.82 c (6,6) translated 26900 (40%) constraints
17.11/6.94 c (6,6) translated 33624 (50%) constraints
17.23/7.06 c (6,6) translated 40349 (60%) constraints
17.33/7.17 c (6,6) translated 47074 (70%) constraints
17.41/7.29 c (6,6) translated 53799 (80%) constraints
17.62/7.41 c (6,6) translated 60524 (90%) constraints
17.73/7.53 c (6,6) translated 67248 (100%) constraints
17.73/7.53 c (6,6) CSP to CSPinCNF End
17.73/7.53 c (6,6) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
17.73/7.53 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.73/7.53 c (6,6) CSPinCNF Propagation Begin
19.04/8.06 c (7,7) 0 values, 6157 unsatisfiable literals, and 0 valid clauses are removed
19.04/8.06 c (7,7) CSPinCNF Propagation End
19.04/8.06 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
19.04/8.06 c (7,7) Heap : 328 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.04/8.06 c (7,7) Simplify CSPinCNF Begin
19.26/8.19 c (7,7) Simplify CSPinCNF End
19.26/8.19 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
19.26/8.19 c (7,7) Heap : 438 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.26/8.19 c (7,7) Calculate Precise Domain Begin
19.26/8.19 c (7,7) 0 values are removed by re-calculation
19.26/8.19 c (7,7) Calculate Precise Domain End
19.26/8.19 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
19.26/8.19 c (7,7) Heap : 438 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.26/8.19 c (7,7) CSPinCNF to SatSolver Begin
19.66/8.36 c (7,7) 6725 (10 %) CSP clauses are encoded (1594 SAT variables, 8012 SAT clauses)
19.96/8.42 c (7,7) 13450 (20 %) CSP clauses are encoded (1594 SAT variables, 14737 SAT clauses)
19.96/8.47 c (7,7) 20175 (30 %) CSP clauses are encoded (1594 SAT variables, 21462 SAT clauses)
20.18/8.51 c (7,7) 26900 (40 %) CSP clauses are encoded (1594 SAT variables, 28187 SAT clauses)
20.18/8.55 c (7,7) 33624 (50 %) CSP clauses are encoded (1594 SAT variables, 34911 SAT clauses)
20.18/8.58 c (7,7) 40349 (60 %) CSP clauses are encoded (1594 SAT variables, 41636 SAT clauses)
20.28/8.62 c (8,7) 47074 (70 %) CSP clauses are encoded (1594 SAT variables, 48361 SAT clauses)
20.28/8.66 c (8,7) 53799 (80 %) CSP clauses are encoded (1594 SAT variables, 55086 SAT clauses)
20.38/8.70 c (8,7) 60524 (90 %) CSP clauses are encoded (1594 SAT variables, 61811 SAT clauses)
20.38/8.74 c (8,7) 67248 (100 %) CSP clauses are encoded (1594 SAT variables, 68535 SAT clauses)
20.38/8.74 c (8,7) Launch Command will be: minisat_release
20.38/8.74 c (8,7) CSPinCNF to SatSolver End
20.38/8.74 c (8,7) Heap : 820 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.88/8.97 c (8,8) STATISTICS2:HOME/instance-4305709-1534092116.xml,ExtensionConflict:ExtensionSupport:IntVar,306,67248,-1,25,25,1,,25:249514;2:3574,25:10;4:52208;3:13946;2:1084,1:253088,
20.88/8.98 c (8,8) 1594 bool, 68536 clause
20.88/8.98 c (8,8) Export Begin
21.03/9.06 c (8,8) Export to HOME/scop-27299-serial-file.bin
21.03/9.06 c (8,8) Export End
21.03/9.06 c (8,8) Export File Size: 0.01 MB
21.03/9.06 c (8,8) 0,0,6,7,7,7,8,STOP-AFTER(DIMACS)
21.03/9.06 c END-Prog: Sun Aug 12 18:42:05 CEST 2018
21.03/9.08 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-27299-serial-file.bin
21.17/9.57 c (0,0) Read Serial File Begin
21.17/9.57 c (0,0) HOME/scop-27299-serial-file.bin
21.17/9.74 c (0,0) Read Serial File End
21.17/9.76
21.17/9.76 scop order+minisat_release (2018-07-31)
21.17/9.76 (Solving Process)
21.17/9.76
21.17/9.78 c BEGIN-Prog: Sun Aug 12 18:42:06 CEST 2018
21.17/9.78 c PID: 27318
21.17/9.78 c IP: 172.20.3.103
21.17/9.78 c HOST: node103.alineos.net
21.17/9.78 c (0,0) SatSolver.solve Begin
21.17/9.78 c (0,0) 0 bool, 0 clause
21.17/9.78 c (0,0) minisat_release HOME/instance-4305709-1534092116.xml-scop-27302.cnf
2520.09/2506.30 c (2496,0) SatSolver is killed by some reasons.
2520.09/2506.30 c (2496,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.09/2506.30 s UNKNOWN
2520.09/2506.30 c END-Prog: Sun Aug 12 19:23:42 CEST 2018
2520.09/2506.31 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2506.31 c (scop.sh) Killing background jobs.
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10586 MiB free)
memory of node 1: 16384 MiB (13674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305709-1534092116/watcher-4305709-1534092116 -o /tmp/evaluation-result-4305709-1534092116/solver-4305709-1534092116 -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-4305709-1534092116.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=27299, runsolver pid=27296
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 2.00 2.08 2.08 3/223 27317
/proc/meminfo: memFree=24782396/32770624 swapFree=67058900/67108860
[pid=27299] ppid=27296 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27299/stat : 27299 (scop.sh) S 27296 27299 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226774793 115843072 349 33554432000 4194304 5098028 140731783445008 140731783442264 139888344863356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30760960 140731783451713 140731783451911 140731783451911 140731783454669 0
/proc/27299/statm: 28282 349 296 221 0 87 0
[pid=27302] ppid=27299 vsize=15012476 memory=73308 CPUtime=0.11 cores=1,3,5,7
/proc/27302/stat : 27302 (java) S 27299 27299 20606 0 -1 1077944320 6485 0 0 0 9 2 0 0 20 0 15 0 226774793 15372775424 18327 33554432000 4194304 4196468 140728679153568 140728679136112 139716088020727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
/proc/27302/statm: 3753119 18327 2743 1 0 3715579 0
[pid=27302/tid=27303] ppid=27299 vsize=15012476 memory=-6148396199699595205 CPUtime=0.08 cores=1,3,5,7
/proc/27302/task/27303/stat : 27303 (java) R 27299 27299 20606 0 -1 4202560 4580 0 0 0 7 1 0 0 20 0 15 0 226774794 15372775424 18327 33554432000 4194304 4196468 140728679153568 139716059797808 139716071207553 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27304] ppid=27299 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27304/stat : 27304 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226774795 15372775424 18327 33554432000 4194304 4196468 140728679153568 139716092262800 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27305] ppid=27299 vsize=15012476 memory=140714171106944 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27305/stat : 27305 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774795 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715548272912 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27306] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27306/stat : 27306 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715547220624 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27307] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27307/stat : 27307 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715546167824 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27308] ppid=27299 vsize=15012476 memory=140714171106944 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27308/stat : 27308 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226774797 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715058555504 139716088031874 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27309] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27309/stat : 27309 (java) S 27299 27299 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226774797 15372775424 18327 33554432000 4194304 4196468 140728679153568 139714682152224 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27310] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27310/stat : 27310 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774798 15372775424 18327 33554432000 4194304 4196468 140728679153568 139714413717104 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27311] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27311/stat : 27311 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 18327 33554432000 4194304 4196468 140728679153568 139714039208528 139716088039323 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27312] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27312/stat : 27312 (java) S 27299 27299 20606 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715057502320 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27313] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27313/stat : 27313 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715056449520 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27314] ppid=27299 vsize=15012476 memory=140714171106944 CPUtime=0.01 cores=1,3,5,7
/proc/27302/task/27314/stat : 27314 (java) S 27299 27299 20606 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 226774800 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715055397232 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27315] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27315/stat : 27315 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 18327 33554432000 4194304 4196468 140728679153568 139713541302752 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27316] ppid=27299 vsize=15012476 memory=140714171106944 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27316/stat : 27316 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 18327 33554432000 4194304 4196468 140728679153568 139715054345136 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74704 KiB
[startup+0.210668 s]*
/proc/loadavg: 2.00 2.08 2.08 4/223 27317
/proc/meminfo: memFree=24777604/32770624 swapFree=67058900/67108860
[pid=27299] ppid=27296 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27299/stat : 27299 (scop.sh) S 27296 27299 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226774793 115843072 349 33554432000 4194304 5098028 140731783445008 140731783442264 139888344863356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30760960 140731783451713 140731783451911 140731783451911 140731783454669 0
/proc/27299/statm: 28282 349 296 221 0 87 0
[pid=27302] ppid=27299 vsize=15012476 memory=78928 CPUtime=0.13 cores=1,3,5,7
/proc/27302/stat : 27302 (java) S 27299 27299 20606 0 -1 1077944320 8564 0 0 0 11 2 0 0 20 0 15 0 226774793 15372775424 19732 33554432000 4194304 4196468 140728679153568 140728679136112 139716088020727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
/proc/27302/statm: 3753119 19732 2830 1 0 3715579 0
[pid=27302/tid=27303] ppid=27299 vsize=15012476 memory=7022364632946311227 CPUtime=0.1 cores=1,3,5,7
/proc/27302/task/27303/stat : 27303 (java) R 27299 27299 20606 0 -1 4202560 6528 0 0 0 9 1 0 0 20 0 15 0 226774794 15372775424 19732 33554432000 4194304 4196468 140728679153568 139716059817360 139716072101214 0 4 2 16800973 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27304] ppid=27299 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27304/stat : 27304 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226774795 15372775424 19732 33554432000 4194304 4196468 140728679153568 139716092262800 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27305] ppid=27299 vsize=15012476 memory=288371090322818688 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27305/stat : 27305 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774795 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715548272912 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27306] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27306/stat : 27306 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715547220624 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27307] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27307/stat : 27307 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715546167824 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27308] ppid=27299 vsize=15012476 memory=140714171106944 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27308/stat : 27308 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226774797 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715058555504 139716088031874 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27309] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27309/stat : 27309 (java) S 27299 27299 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226774797 15372775424 19732 33554432000 4194304 4196468 140728679153568 139714682152224 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27310] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27310/stat : 27310 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774798 15372775424 19732 33554432000 4194304 4196468 140728679153568 139714413717104 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27311] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27311/stat : 27311 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 19732 33554432000 4194304 4196468 140728679153568 139714039208528 139716088039323 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27312] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27312/stat : 27312 (java) S 27299 27299 20606 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715057502320 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27313] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27313/stat : 27313 (java) R 27299 27299 20606 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715056449520 139716088031874 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27314] ppid=27299 vsize=15012476 memory=140714171106944 CPUtime=0.01 cores=1,3,5,7
/proc/27302/task/27314/stat : 27314 (java) S 27299 27299 20606 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 226774800 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715055397232 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27315] ppid=27299 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27315/stat : 27315 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 19732 33554432000 4194304 4196468 140728679153568 139713541302752 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27316] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27316/stat : 27316 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 19732 33554432000 4194304 4196468 140728679153568 139715054345136 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 80324 KiB
[startup+0.310459 s]*
/proc/loadavg: 2.00 2.08 2.08 3/223 27317
/proc/meminfo: memFree=24768124/32770624 swapFree=67058900/67108860
[pid=27299] ppid=27296 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27299/stat : 27299 (scop.sh) S 27296 27299 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226774793 115843072 349 33554432000 4194304 5098028 140731783445008 140731783442264 139888344863356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30760960 140731783451713 140731783451911 140731783451911 140731783454669 0
/proc/27299/statm: 28282 349 296 221 0 87 0
[pid=27302] ppid=27299 vsize=15012476 memory=86908 CPUtime=0.26 cores=1,3,5,7
/proc/27302/stat : 27302 (java) S 27299 27299 20606 0 -1 1077944320 10029 0 0 0 24 2 0 0 20 0 15 0 226774793 15372775424 21727 33554432000 4194304 4196468 140728679153568 140728679136112 139716088020727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
/proc/27302/statm: 3753119 21727 2923 1 0 3715579 0
[pid=27302/tid=27303] ppid=27299 vsize=15012476 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/27302/task/27303/stat : 27303 (java) R 27299 27299 20606 0 -1 4202560 7925 0 0 0 18 2 0 0 20 0 15 0 226774794 15372775424 21727 33554432000 4194304 4196468 140728679153568 139716059847120 139716088042653 0 4 2 16800973 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27304] ppid=27299 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27304/stat : 27304 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226774795 15372775424 21727 33554432000 4194304 4196468 140728679153568 139716092262800 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27305] ppid=27299 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27305/stat : 27305 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774795 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715548272912 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27306] ppid=27299 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27306/stat : 27306 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715547220624 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27307] ppid=27299 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27307/stat : 27307 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715546167824 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27308] ppid=27299 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27308/stat : 27308 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226774797 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715058555504 139716088031874 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27309] ppid=27299 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27309/stat : 27309 (java) S 27299 27299 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226774797 15372775424 21727 33554432000 4194304 4196468 140728679153568 139714682152224 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27310] ppid=27299 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27310/stat : 27310 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774798 15372775424 21727 33554432000 4194304 4196468 140728679153568 139714413717104 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27311] ppid=27299 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27311/stat : 27311 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 21727 33554432000 4194304 4196468 140728679153568 139714039208528 139716088039323 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27312] ppid=27299 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27302/task/27312/stat : 27312 (java) S 27299 27299 20606 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 226774800 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715057502320 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27313] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27313/stat : 27313 (java) S 27299 27299 20606 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715056449520 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27314] ppid=27299 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27302/task/27314/stat : 27314 (java) R 27299 27299 20606 0 -1 4202560 283 0 0 0 3 0 0 0 20 0 15 0 226774800 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715055397232 139716088042074 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27315] ppid=27299 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27315/stat : 27315 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 21727 33554432000 4194304 4196468 140728679153568 139713541302752 139716088030933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27316] ppid=27299 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27316/stat : 27316 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15372775424 21727 33554432000 4194304 4196468 140728679153568 139715054345136 139716088031874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88304 KiB
[startup+0.71013 s]
/proc/loadavg: 2.00 2.08 2.08 3/223 27317
/proc/meminfo: memFree=24761424/32770624 swapFree=67058900/67108860
[pid=27299] ppid=27296 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27299/stat : 27299 (scop.sh) S 27296 27299 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226774793 115843072 349 33554432000 4194304 5098028 140731783445008 140731783442264 139888344863356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30760960 140731783451713 140731783451911 140731783451911 140731783454669 0
/proc/27299/statm: 28282 349 296 221 0 87 0
[pid=27302] ppid=27299 vsize=15018748 memory=124144 CPUtime=0.81 cores=1,3,5,7
/proc/27302/stat : 27302 (java) S 27299 27299 20606 0 -1 1077944320 16637 0 0 0 76 5 0 0 20 0 15 0 226774793 15379197952 31036 33554432000 4194304 4196468 140728679153568 140728679136112 139716088020727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
/proc/27302/statm: 3754687 31036 3102 1 0 3716091 0
[pid=27302/tid=27303] ppid=27299 vsize=15018748 memory=33 CPUtime=0.58 cores=1,3,5,7
/proc/27302/task/27303/stat : 27303 (java) R 27299 27299 20606 0 -1 4202560 14176 0 0 0 54 4 0 0 20 0 15 0 226774794 15379197952 31036 33554432000 4194304 4196468 140728679153568 139716059846632 139716072101214 0 4 2 25189581 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27304] ppid=27299 vsize=15018748 memory=288230377057956186 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27304/stat : 27304 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226774795 15379197952 31036 33554432000 4194304 4196468 140728679153568 139716092262800 139716088030933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27305] ppid=27299 vsize=15018748 memory=14408211646139281 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27305/stat : 27305 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774795 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715548272912 139716088030933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27306] ppid=27299 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27306/stat : 27306 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715547220624 139716088030933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27307] ppid=27299 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27307/stat : 27307 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774796 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715546167824 139716088030933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27308] ppid=27299 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27308/stat : 27308 (java) S 27299 27299 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226774797 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715058555504 139716088031874 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27309] ppid=27299 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27309/stat : 27309 (java) S 27299 27299 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226774797 15379197952 31036 33554432000 4194304 4196468 140728679153568 139714682152224 139716088030933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27310] ppid=27299 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27310/stat : 27310 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226774798 15379197952 31036 33554432000 4194304 4196468 140728679153568 139714413717104 139716088030933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27311] ppid=27299 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27311/stat : 27311 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15379197952 31036 33554432000 4194304 4196468 140728679153568 139714039208528 139716088039323 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27312] ppid=27299 vsize=15018748 memory=281428134723824 CPUtime=0.04 cores=1,3,5,7
/proc/27302/task/27312/stat : 27312 (java) S 27299 27299 20606 0 -1 1077944384 409 0 0 0 4 0 0 0 20 0 15 0 226774800 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715057502320 139716088031874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27313] ppid=27299 vsize=15018748 memory=7234030490512222553 CPUtime=0.04 cores=1,3,5,7
/proc/27302/task/27313/stat : 27313 (java) R 27299 27299 20606 0 -1 4202560 367 0 0 0 4 0 0 0 20 0 15 0 226774800 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715056430536 139716067272559 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27314] ppid=27299 vsize=15018748 memory=7594587674001172330 CPUtime=0.12 cores=1,3,5,7
/proc/27302/task/27314/stat : 27314 (java) S 27299 27299 20606 0 -1 1077944384 349 0 0 0 12 0 0 0 20 0 15 0 226774800 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715055397232 139716088031874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27315] ppid=27299 vsize=15018748 memory=7649399375624615730 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27315/stat : 27315 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15379197952 31036 33554432000 4194304 4196468 140728679153568 139713541302752 139716088030933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
[pid=27302/tid=27316] ppid=27299 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27302/task/27316/stat : 27316 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226774800 15379197952 31036 33554432000 4194304 4196468 140728679153568 139715054345136 139716088031874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31805440 140728679154695 140728679154993 140728679154993 140728679157711 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 125540 KiB
[startup+1.50081 s]
/proc/loadavg: 2.00 2.07 2.08 5/223 27317
/proc/meminfo: memFree=24684124/32770624 swapFree=67058900/67108860
[pid=27299] ppid=27296 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27299/stat : 27299 (scop.sh) S 27296 27299 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226774793 115843072 349 33554432000 4194304 5098028 140731783445008 140731783442264 139888344863356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30760960 140731783451713 140731783451911 140731783451911 140731783454669 0
/proc/27299/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=27318/tid=27321] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27321/stat : 27321 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217866352912 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27322] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27322/stat : 27322 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217523321488 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27323] ppid=27299 vsize=8068220 memory=1860 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27323/stat : 27323 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217522268688 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27324] ppid=27299 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/27318/task/27324/stat : 27324 (java) S 27299 27299 20606 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 226775705 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217486035568 140218039626370 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27325] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27325/stat : 27325 (java) S 27299 27299 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226775705 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216857781536 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27326] ppid=27299 vsize=8068220 memory=97068 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27326/stat : 27326 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775706 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216589346416 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27327] ppid=27299 vsize=8068220 memory=3469799466796398403 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27327/stat : 27327 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216214837840 140218039633819 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27328] ppid=27299 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/27318/task/27328/stat : 27328 (java) S 27299 27299 20606 0 -1 1077944384 355 0 0 0 9 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217484982384 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27329] ppid=27299 vsize=8068220 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/27318/task/27329/stat : 27329 (java) S 27299 27299 20606 0 -1 1077944384 587 0 0 0 8 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217483929584 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27330] ppid=27299 vsize=8068220 memory=1472 CPUtime=0.21 cores=1,3,5,7
/proc/27318/task/27330/stat : 27330 (java) S 27299 27299 20606 0 -1 1077944384 528 0 0 0 21 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217482877296 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27331] ppid=27299 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27331/stat : 27331 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215716932064 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27332] ppid=27299 vsize=8068220 memory=1472 CPUtime=1.17 cores=1,3,5,7
/proc/27318/task/27332/stat : 27332 (java) S 27299 27299 20606 0 -1 1077944384 165 0 0 0 56 61 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217481825200 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27334] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27334/stat : 27334 (java) S 27299 27299 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226775774 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217474016704 140218039639833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27336] ppid=27299 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27336/stat : 27336 (java) S 27299 27299 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226775774 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215180046352 140218039637149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27337] ppid=27299 vsize=8068220 memory=60492 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27337/stat : 27337 (java) S 27299 27299 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226775775 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215314267536 140218039637149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27338] ppid=27299 vsize=8068220 memory=780 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27338/stat : 27338 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775777 8261857280 29171 33554432000 4194304 4196468 140728798245072 140214911622048 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
Current children cumulated CPU time: 2516.09 s
Current children cumulated vsize: 8295308 KiB
Current children cumulated memory: 215224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.3 s]
/proc/loadavg: 1.23 1.15 1.33 2/200 27584
/proc/meminfo: memFree=24854376/32770624 swapFree=67058900/67108860
[pid=27299] ppid=27296 vsize=113128 memory=1472 CPUtime=21.17 cores=1,3,5,7
/proc/27299/stat : 27299 (scop.sh) S 27296 27299 20606 0 -1 4202496 591 33594 0 0 0 0 2051 66 20 0 1 0 226774793 115843072 368 33554432000 4194304 5098028 140731783445008 140731783441752 139888344863356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30760960 140731783451713 140731783451911 140731783451911 140731783454669 0
/proc/27299/statm: 28282 368 311 221 0 87 0
[pid=27318] ppid=27299 vsize=8068220 memory=116684 CPUtime=2.38 cores=1,3,5,7
/proc/27318/stat : 27318 (java) S 27299 27299 20606 0 -1 1077944320 18116 0 0 0 172 66 0 0 20 0 19 0 226775702 8261857280 29171 33554432000 4194304 4196468 140728798245072 140728798227616 140218039615223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
/proc/27318/statm: 2017055 29171 3142 1 0 1978454 0
[pid=27333] ppid=27318 vsize=113960 memory=97068 CPUtime=2496.54 cores=1,3,5,7
/proc/27333/stat : 27333 (minisat_release) R 27318 27299 20606 0 -1 4202496 154114 0 0 0 249639 15 0 0 20 0 1 0 226775774 116695040 24267 33554432000 4194304 4308513 140731966576480 140731966573480 4275992 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 9773056 140731966583924 140731966584022 140731966584022 140731966586821 0
/proc/27333/statm: 28490 24267 340 28 0 24730 0
[pid=27318/tid=27319] ppid=27299 vsize=8068220 memory=116684 CPUtime=0.74 cores=1,3,5,7
/proc/27318/task/27319/stat : 27319 (java) S 27299 27299 20606 0 -1 1077944384 15069 0 0 0 69 5 0 0 20 0 19 0 226775702 8261857280 29171 33554432000 4194304 4196468 140728798245072 140218011455376 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27320] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27320/stat : 27320 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140218043857296 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27321] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27321/stat : 27321 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217866352912 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27322] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27322/stat : 27322 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217523321488 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27323] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27323/stat : 27323 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217522268688 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27324] ppid=27299 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/27318/task/27324/stat : 27324 (java) S 27299 27299 20606 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 226775705 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217486035568 140218039626370 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27325] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27325/stat : 27325 (java) S 27299 27299 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226775705 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216857781536 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27326] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27326/stat : 27326 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775706 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216589346416 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27327] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27327/stat : 27327 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216214837840 140218039633819 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27328] ppid=27299 vsize=8068220 memory=116684 CPUtime=0.09 cores=1,3,5,7
/proc/27318/task/27328/stat : 27328 (java) S 27299 27299 20606 0 -1 1077944384 355 0 0 0 9 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217484982384 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27329] ppid=27299 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/27318/task/27329/stat : 27329 (java) S 27299 27299 20606 0 -1 1077944384 587 0 0 0 8 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217483929584 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27330] ppid=27299 vsize=8068220 memory=116684 CPUtime=0.21 cores=1,3,5,7
/proc/27318/task/27330/stat : 27330 (java) S 27299 27299 20606 0 -1 1077944384 528 0 0 0 21 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217482877296 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27331] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27331/stat : 27331 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215716932064 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27332] ppid=27299 vsize=8068220 memory=116684 CPUtime=1.17 cores=1,3,5,7
/proc/27318/task/27332/stat : 27332 (java) S 27299 27299 20606 0 -1 1077944384 167 0 0 0 56 61 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217481825200 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27334] ppid=27299 vsize=8068220 memory=97068 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27334/stat : 27334 (java) S 27299 27299 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226775774 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217474016704 140218039639833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27336] ppid=27299 vsize=8068220 memory=3469799466796398403 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27336/stat : 27336 (java) S 27299 27299 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226775774 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215180046352 140218039637149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27337] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27337/stat : 27337 (java) S 27299 27299 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226775775 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215314267536 140218039637149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27338] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27338/stat : 27338 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775777 8261857280 29171 33554432000 4194304 4196468 140728798245072 140214911622048 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8295308 KiB
Current children cumulated memory: 215224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.32 s]
# the end of solver process 27299 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.5122 s, system=0.665513 s
[startup+2506.32 s]
# the end of solver process 27318 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.64 s, system=1.50237 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+2506.3 s]
/proc/loadavg: 1.23 1.15 1.33 2/200 27584
/proc/meminfo: memFree=24854376/32770624 swapFree=67058900/67108860
[pid=27299] ppid=27296 vsize=113128 memory=1472 CPUtime=21.17 cores=1,3,5,7
/proc/27299/stat : 27299 (scop.sh) S 27296 27299 20606 0 -1 4202496 591 33594 0 0 0 0 2051 66 20 0 1 0 226774793 115843072 368 33554432000 4194304 5098028 140731783445008 140731783441752 139888344863356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30760960 140731783451713 140731783451911 140731783451911 140731783454669 0
/proc/27299/statm: 28282 368 311 221 0 87 0
[pid=27318] ppid=27299 vsize=8068220 memory=116684 CPUtime=2.38 cores=1,3,5,7
/proc/27318/stat : 27318 (java) S 27299 27299 20606 0 -1 1077944320 18116 0 0 0 172 66 0 0 20 0 19 0 226775702 8261857280 29171 33554432000 4194304 4196468 140728798245072 140728798227616 140218039615223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
/proc/27318/statm: 2017055 29171 3142 1 0 1978454 0
[pid=27333] ppid=27318 vsize=113960 memory=97068 CPUtime=2496.54 cores=1,3,5,7
/proc/27333/stat : 27333 (minisat_release) R 27318 27299 20606 0 -1 4202496 154114 0 0 0 249639 15 0 0 20 0 1 0 226775774 116695040 24267 33554432000 4194304 4308513 140731966576480 140731966573480 4275992 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 9773056 140731966583924 140731966584022 140731966584022 140731966586821 0
/proc/27333/statm: 28490 24267 340 28 0 24730 0
[pid=27318/tid=27319] ppid=27299 vsize=8068220 memory=116684 CPUtime=0.74 cores=1,3,5,7
/proc/27318/task/27319/stat : 27319 (java) S 27299 27299 20606 0 -1 1077944384 15069 0 0 0 69 5 0 0 20 0 19 0 226775702 8261857280 29171 33554432000 4194304 4196468 140728798245072 140218011455376 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27320] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27320/stat : 27320 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140218043857296 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27321] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27321/stat : 27321 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217866352912 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27322] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27322/stat : 27322 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217523321488 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27323] ppid=27299 vsize=8068220 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27323/stat : 27323 (java) S 27299 27299 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226775703 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217522268688 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27324] ppid=27299 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/27318/task/27324/stat : 27324 (java) S 27299 27299 20606 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 226775705 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217486035568 140218039626370 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27325] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27325/stat : 27325 (java) S 27299 27299 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226775705 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216857781536 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27326] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27326/stat : 27326 (java) S 27299 27299 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226775706 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216589346416 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27327] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27327/stat : 27327 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140216214837840 140218039633819 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27328] ppid=27299 vsize=8068220 memory=116684 CPUtime=0.09 cores=1,3,5,7
/proc/27318/task/27328/stat : 27328 (java) S 27299 27299 20606 0 -1 1077944384 355 0 0 0 9 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217484982384 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27329] ppid=27299 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/27318/task/27329/stat : 27329 (java) S 27299 27299 20606 0 -1 1077944384 587 0 0 0 8 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217483929584 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27330] ppid=27299 vsize=8068220 memory=116684 CPUtime=0.21 cores=1,3,5,7
/proc/27318/task/27330/stat : 27330 (java) S 27299 27299 20606 0 -1 1077944384 528 0 0 0 21 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217482877296 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27331] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27331/stat : 27331 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215716932064 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27332] ppid=27299 vsize=8068220 memory=116684 CPUtime=1.17 cores=1,3,5,7
/proc/27318/task/27332/stat : 27332 (java) S 27299 27299 20606 0 -1 1077944384 167 0 0 0 56 61 0 0 20 0 19 0 226775708 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217481825200 140218039626370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27334] ppid=27299 vsize=8068220 memory=97068 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27334/stat : 27334 (java) S 27299 27299 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226775774 8261857280 29171 33554432000 4194304 4196468 140728798245072 140217474016704 140218039639833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27336] ppid=27299 vsize=8068220 memory=3469799466796398403 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27336/stat : 27336 (java) S 27299 27299 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226775774 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215180046352 140218039637149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27337] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27337/stat : 27337 (java) S 27299 27299 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226775775 8261857280 29171 33554432000 4194304 4196468 140728798245072 140215314267536 140218039637149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
[pid=27318/tid=27338] ppid=27299 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27318/task/27338/stat : 27338 (java) S 27299 27299 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226775777 8261857280 29171 33554432000 4194304 4196468 140728798245072 140214911622048 140218039625429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29687808 140728798246069 140728798246193 140728798246193 140728798248911 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8295308 KiB
Current children cumulated memory: 215224 KiB
Child status: 1
Real time (s): 2506.32
CPU time (s): 2520.14
CPU user time (s): 2518.64
CPU system time (s): 1.50237
CPU usage (%): 100.552
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3109436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.64
system time used= 1.50237
maximum resident set size= 3109300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60222
involuntary context switches= 678
# summary of solver processes directly reported to runsolver:
# pid: 27299,27318
# total CPU time (s): 2520.14
# total CPU user time (s): 2518.64
# total CPU system time (s): 1.50237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1273 second user time and 29.7823 second system time
The end