| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop both+glucose-syrup (2018-07-31) | SAT | 8.01762 | 3.34209 |
| Name | SocialGolfers/ SocialGolfers-4-4-4-cp_c18.xml |
| MD5SUM | 323265c27f21e70af41ff0037033f3ab |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 6.99933 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 64 |
| Number of constraints | 726 |
| Number of domains | 1 |
| Minimum domain size | 4 |
| Maximum domain size | 4 |
| Distribution of domain sizes | [{"size":4,"count":64}] |
| Minimum variable degree | 47 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":47,"count":48},{"degree":48,"count":16}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 64 |
| Distribution of constraint arities | [{"arity":4,"count":720},{"arity":16,"count":5},{"arity":64,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 720 |
| Distribution of constraint types | [{"type":"intension","count":720},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-16319-serial-file.bin HOME/instance-4307420-1534191868.xml 0.66/0.52 0.66/0.53 scop both+glucose-syrup (2018-07-31) 0.79/0.67 (Encoding Process) 0.79/0.67 0.79/0.67 c BEGIN-Prog: Mon Aug 13 22:24:29 CEST 2018 0.79/0.67 c PID: 16322 0.79/0.67 c IP: 172.20.3.105 0.79/0.67 c HOST: node105.alineos.net 0.79/0.67 c (0,0) Parsing Begin 2.53/1.21 c (0,0) Parsing End 2.53/1.22 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 726 ctr, max domain size 4 2.53/1.22 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.53/1.22 c (0,0) Constraint Name Generate Begin 2.53/1.23 c (0,0) Ctr:HOME/instance-4307420-1534191868.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or 2.53/1.23 c (0,0) Constraint Name Generate End 2.53/1.23 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.53/1.23 c (0,0) CSP to CSPinCNF Begin 2.72/1.35 c (0,0) translated 73 (10%) constraints 2.72/1.38 c (0,0) translated 146 (20%) constraints 2.96/1.40 c (0,0) translated 218 (30%) constraints 2.96/1.42 c (0,0) translated 291 (40%) constraints 2.96/1.44 c (0,0) translated 363 (50%) constraints 2.96/1.45 c (0,0) translated 436 (60%) constraints 2.96/1.47 c (0,0) translated 509 (70%) constraints 2.96/1.48 c (0,0) translated 581 (80%) constraints 2.96/1.49 c (0,0) translated 654 (90%) constraints 3.52/1.66 c (1,1) translated 726 (100%) constraints 4.23/1.81 c (1,1) STATISTICS1:HOME/instance-4307420-1534191868.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,392,1444,32768,4,4,16,32768:32;4:1217;1:421,4:2849;2:984;1:955,4:792;3:274;2:328;1:50,16:32;2:1638;1:1528, 4.23/1.81 c (1,1) ========================================== 4.23/1.81 c (1,1) Both Encoding selects: 4.23/1.81 c (1,1) Order 4.23/1.81 c (1,1) ========================================== 4.23/1.84 c (1,1) translated 145 (10%) constraints 4.23/1.85 c (1,1) translated 289 (20%) constraints 4.23/1.87 c (1,1) translated 434 (30%) constraints 4.23/1.88 c (1,1) translated 578 (40%) constraints 4.57/1.91 c (1,1) translated 722 (50%) constraints 4.57/1.94 c (1,1) translated 867 (60%) constraints 4.57/1.97 c (1,1) translated 1011 (70%) constraints 4.57/1.99 c (1,1) translated 1156 (80%) constraints 4.57/2.01 c (1,1) translated 1300 (90%) constraints 5.04/2.02 c (1,1) translated 1444 (100%) constraints 5.04/2.02 c (1,1) CSP to CSPinCNF End 5.04/2.02 c (1,1) CSP: 112 int (48 aux), 584 bool (584 aux), 2084 ctr, max domain size 5 5.04/2.02 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 5.04/2.02 c (1,1) CSPinCNF Propagation Begin 5.04/2.09 c (1,1) 188 values, 858 unsatisfiable literals, and 738 valid clauses are removed 5.04/2.09 c (1,1) CSPinCNF Propagation End 5.04/2.09 c (1,1) CSP: 252 int (188 aux), 444 bool (444 aux), 1346 ctr, max domain size 5 5.04/2.09 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 5.04/2.09 c (1,1) Simplify CSPinCNF Begin 5.48/2.14 c (1,1) Simplify CSPinCNF End 5.48/2.14 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5 5.48/2.14 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 5.48/2.14 c (1,1) Calculate Precise Domain Begin 5.48/2.18 c (1,1) 0 values are removed by re-calculation 5.48/2.18 c (1,1) Calculate Precise Domain End 5.48/2.18 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5 5.48/2.18 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 5.48/2.18 c (1,1) CSPinCNF to SatSolver Begin 5.77/2.25 c (1,1) 217 (10 %) CSP clauses are encoded (1547 SAT variables, 852 SAT clauses) 5.77/2.27 c (1,1) 433 (20 %) CSP clauses are encoded (1547 SAT variables, 1572 SAT clauses) 5.77/2.29 c (1,1) 649 (30 %) CSP clauses are encoded (1547 SAT variables, 2283 SAT clauses) 5.77/2.30 c (1,1) 865 (40 %) CSP clauses are encoded (1547 SAT variables, 2928 SAT clauses) 6.07/2.30 c (1,1) 1081 (50 %) CSP clauses are encoded (1547 SAT variables, 3444 SAT clauses) 6.07/2.32 c (1,1) 1297 (60 %) CSP clauses are encoded (1547 SAT variables, 4612 SAT clauses) 6.07/2.33 c (1,1) 1513 (70 %) CSP clauses are encoded (1547 SAT variables, 5780 SAT clauses) 6.07/2.35 c (1,1) 1729 (80 %) CSP clauses are encoded (1547 SAT variables, 6948 SAT clauses) 6.07/2.35 c (1,1) 1945 (90 %) CSP clauses are encoded (1547 SAT variables, 7164 SAT clauses) 6.07/2.36 c (1,1) 2161 (100 %) CSP clauses are encoded (1547 SAT variables, 7712 SAT clauses) 6.07/2.36 c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 6.07/2.36 c (1,1) CSPinCNF to SatSolver End 6.07/2.36 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 6.07/2.39 c (1,1) STATISTICS2:HOME/instance-4307420-1534191868.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1511,2161,64,5,4,7,64:24;32:48;25:24;4:857;1:35,5:144;4:2325;2:3976;1:35,4:414;3:116;2:1521;1:110,7:24;6:48;3:24;2:892;1:4168, 6.07/2.39 c (1,1) 1547 bool, 7715 clause 6.07/2.39 c (1,1) Export Begin 6.48/2.47 c (1,1) Export to HOME/scop-16319-serial-file.bin 6.48/2.47 c (1,1) Export End 6.48/2.47 c (1,1) Export File Size: 0.01 MB 6.48/2.47 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 6.48/2.47 c END-Prog: Mon Aug 13 22:24:31 CEST 2018 6.48/2.49 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-16319-serial-file.bin 6.71/2.98 c (0,0) Read Serial File Begin 6.71/2.98 c (0,0) HOME/scop-16319-serial-file.bin 7.53/3.14 c (0,0) Read Serial File End 7.53/3.15 7.53/3.15 scop order+glucose-syrup (2018-07-31) 7.53/3.15 (Solving Process) 7.53/3.15 7.53/3.18 c BEGIN-Prog: Mon Aug 13 22:24:31 CEST 2018 7.53/3.18 c PID: 16342 7.53/3.18 c IP: 172.20.3.105 7.53/3.18 c HOST: node105.alineos.net 7.53/3.18 c (0,0) SatSolver.solve Begin 7.53/3.18 c (0,0) 0 bool, 0 clause 7.53/3.18 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307420-1534191868.xml-scop-16322.cnf 7.70/3.22 c (0,0) c 7.70/3.22 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 7.70/3.22 c (0,0) c 7.70/3.22 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 7.70/3.22 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 7.70/3.22 c (0,0) c ========================================[ Problem Statistics ]=========================================== 7.70/3.22 c (0,0) c | | 7.70/3.22 c (0,0) c | Number of variables: 1547 | 7.70/3.22 c (0,0) c | Number of clauses: 7715 | 7.70/3.22 c (0,0) c | Parse time: 0.00 s | 7.70/3.22 c (0,0) c | | 7.70/3.22 c (0,0) c | Eliminated clauses: 0.01 Mb | 7.70/3.22 c (0,0) c | Simplification time: 0.00 s | 7.70/3.22 c (0,0) c | | 7.70/3.22 c (0,0) c | Generating clones | 7.70/3.22 c (0,0) c | all clones generated. Memory = 30.77Mb. | 7.70/3.22 c (0,0) c ========================================================================================================| 7.70/3.22 c (0,0) c last restart ## conflicts : 53 57 7.70/3.22 c (0,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer). 7.70/3.22 c (0,0) c Total Memory so far : 606.80Mb 7.70/3.22 c (0,0) c 7.70/3.22 c (0,0) c real time : 0.0158029 s 7.70/3.22 c (0,0) c cpu time : 0.021429 s 7.70/3.22 c (0,0) c 7.70/3.22 c (0,0) c 7.70/3.22 c (0,0) c 7.70/3.22 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 7.70/3.22 c (0,0) c 7.70/3.22 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.22 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.70/3.22 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.22 c (0,0) c | Conflicts | 293 | 53 | 29 | 59 | 22 | 45 | 54 | 12 | 19 | 7.70/3.22 c (0,0) c | Decisions | 3003 | 533 | 397 | 418 | 362 | 427 | 446 | 207 | 213 | 7.70/3.22 c (0,0) c | Propagations | 23492 | 3732 | 2493 | 3758 | 2134 | 3845 | 4201 | 1440 | 1889 | 7.70/3.22 c (0,0) c | Avg_Trail | | 542 | 742 | 785 | 680 | 743 | 799 | 664 | 742 | 7.70/3.22 c (0,0) c | Avg_DL | | 23 | 87 | 79 | 80 | 38 | 90 | 89 | 93 | 7.70/3.22 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.70/3.22 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.70/3.22 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.22 c (0,0) c | Exported | 6 | 4 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 7.70/3.23 c (0,0) c | Imported | 14 | 0 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 7.70/3.23 c (0,0) c | Good | 7 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 7.70/3.23 c (0,0) c | Purge | 7 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 7.70/3.23 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.70/3.23 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.70/3.23 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.70/3.23 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.23 c (0,0) c | Unaries | | 12 | 4 | 5 | 4 | 6 | 5 | 1 | 1 | 7.70/3.23 c (0,0) c | Binaries | | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.70/3.23 c (0,0) c | Glues | | 4 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 7.70/3.23 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.23 c (0,0) c | Orig_Seen | 3 % | 299 | 297 | 425 | 191 | 300 | 474 | 80 | 219 | 7.70/3.23 c (0,0) c | Diff Orig seen| | X | - 2 | 126 | - 108 | 1 | 175 | - 219 | - 80 | 7.70/3.23 c (0,0) c | Hamming | 18 % | X | 280 | 284 | 284 | 295 | 283 | 269 | 306 | 7.70/3.23 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.23 c (0,0) 7.70/3.23 c (0,0) s SATISFIABLE 7.70/3.25 c (0,0) SatSolver.solve End 7.70/3.25 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 7.70/3.25 c (0,0) Show results Begin 7.95/3.31 s SATISFIABLE 7.95/3.32 v <instantiation> 7.95/3.32 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15]</list> 7.95/3.32 v <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 1 0 3 2 2 3 0 1 3 2 1 0 0 3 1 2 2 1 3 0 3 0 2 1 1 2 0 3</values> 7.95/3.32 v </instantiation> 7.95/3.32 c (0,0) Show results End 7.95/3.32 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 7.95/3.32 c (0,0) 0,0,STOP-AFTER(ALL) 7.95/3.32 c END-Prog: Mon Aug 13 22:24:32 CEST 2018
OK
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 (13112 MiB free)
memory of node 1: 16384 MiB (13473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307420-1534191868/watcher-4307420-1534191868 -o /tmp/evaluation-result-4307420-1534191868/solver-4307420-1534191868 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534191843-15695 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307420-1534191868.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16319, runsolver pid=16316
[startup+0.100154 s]*
/proc/loadavg: 1.21 1.06 1.06 2/202 16341
/proc/meminfo: memFree=27127312/32770624 swapFree=67108804/67108860
[pid=16319] ppid=16316 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16319/stat : 16319 (scop.sh) S 16316 16319 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749991 115843072 349 33554432000 4194304 5098028 140725769414000 140725769411256 140345158570620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140725769421859 140725769422083 140725769422083 140725769424845 0
/proc/16319/statm: 28282 349 296 221 0 87 0
[pid=16322] ppid=16319 vsize=27313900 memory=109992 CPUtime=0.1 cores=0-7
/proc/16322/stat : 16322 (java) S 16319 16319 15668 0 -1 1077944320 6418 0 0 0 8 2 0 0 20 0 20 0 236749991 27969433600 27498 33554432000 4194304 4196468 140735138568176 140735138550720 140278790418167 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
/proc/16322/statm: 6828475 27498 2739 1 0 6790935 0
[pid=16322/tid=16323] ppid=16319 vsize=27313900 memory=7897794704663550873 CPUtime=0.08 cores=0-7
/proc/16322/task/16323/stat : 16323 (java) R 16319 16319 15668 0 -1 4202560 4549 0 0 0 7 1 0 0 20 0 20 0 236749992 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278762241600 140278774498684 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16324] ppid=16319 vsize=27313900 memory=732370164273527781 CPUtime=0 cores=0-7
/proc/16322/task/16324/stat : 16324 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278794660752 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16325] ppid=16319 vsize=27313900 memory=140025936074368 CPUtime=0 cores=0-7
/proc/16322/task/16325/stat : 16325 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278608816912 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16326] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16326/stat : 16326 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278607764624 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16327] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16327/stat : 16327 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278606711824 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16328] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16328/stat : 16328 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278605658512 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16329] ppid=16319 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16322/task/16329/stat : 16329 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278604605712 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16330] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16330/stat : 16330 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278603553424 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16331] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16331/stat : 16331 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 27498 33554432000 4194304 4196468 140735138568176 140278602500624 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16332] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16332/stat : 16332 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276908636784 140278790429314 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16333] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16333/stat : 16333 (java) S 16319 16319 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276718888224 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16334] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16334/stat : 16334 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276450453104 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16335] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16335/stat : 16335 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276075944528 140278790436763 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16336] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16336/stat : 16336 (java) S 16319 16319 15668 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276907583600 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16337] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16337/stat : 16337 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276906530800 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16338] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16338/stat : 16338 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276905478512 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16339] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16339/stat : 16339 (java) S 16319 16319 15668 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276904425712 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16340] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16340/stat : 16340 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 27498 33554432000 4194304 4196468 140735138568176 140275578039136 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16341] ppid=16319 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16322/task/16341/stat : 16341 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 27498 33554432000 4194304 4196468 140735138568176 140276903373616 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 111388 KiB
[startup+0.210534 s]*
/proc/loadavg: 1.21 1.06 1.06 2/202 16341
/proc/meminfo: memFree=27111188/32770624 swapFree=67108804/67108860
[pid=16319] ppid=16316 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16319/stat : 16319 (scop.sh) S 16316 16319 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749991 115843072 349 33554432000 4194304 5098028 140725769414000 140725769411256 140345158570620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140725769421859 140725769422083 140725769422083 140725769424845 0
/proc/16319/statm: 28282 349 296 221 0 87 0
[pid=16322] ppid=16319 vsize=27313900 memory=124376 CPUtime=0.24 cores=0-7
/proc/16322/stat : 16322 (java) S 16319 16319 15668 0 -1 1077944320 10222 0 0 0 21 3 0 0 20 0 20 0 236749991 27969433600 31094 33554432000 4194304 4196468 140735138568176 140735138550720 140278790418167 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
/proc/16322/statm: 6828475 31094 2882 1 0 6790935 0
[pid=16322/tid=16323] ppid=16319 vsize=27313900 memory=0 CPUtime=0.2 cores=0-7
/proc/16322/task/16323/stat : 16323 (java) R 16319 16319 15668 0 -1 4202560 8141 0 0 0 17 3 0 0 20 0 20 0 236749992 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278762207872 140278790430102 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16324] ppid=16319 vsize=27313900 memory=280051734927096 CPUtime=0 cores=0-7
/proc/16322/task/16324/stat : 16324 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278794660752 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16325] ppid=16319 vsize=27313900 memory=140025936074368 CPUtime=0 cores=0-7
/proc/16322/task/16325/stat : 16325 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278608816912 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16326] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16326/stat : 16326 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278607764624 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16327] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16327/stat : 16327 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278606711824 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16328] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16328/stat : 16328 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278605658512 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16329] ppid=16319 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16322/task/16329/stat : 16329 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278604605712 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16330] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16330/stat : 16330 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278603553424 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16331] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16331/stat : 16331 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31094 33554432000 4194304 4196468 140735138568176 140278602500624 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16332] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16332/stat : 16332 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276908636784 140278790429314 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16333] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16333/stat : 16333 (java) S 16319 16319 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276718888224 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16334] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16334/stat : 16334 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276450453104 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16335] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16335/stat : 16335 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276075944528 140278790436763 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16336] ppid=16319 vsize=27313900 memory=0 CPUtime=0.01 cores=0-7
/proc/16322/task/16336/stat : 16336 (java) S 16319 16319 15668 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 236749999 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276907583600 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16337] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16337/stat : 16337 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276906530800 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16338] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16338/stat : 16338 (java) S 16319 16319 15668 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276905478512 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16339] ppid=16319 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/16322/task/16339/stat : 16339 (java) S 16319 16319 15668 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 20 0 236749999 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276904425712 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16340] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16340/stat : 16340 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31094 33554432000 4194304 4196468 140735138568176 140275578039136 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16341] ppid=16319 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16322/task/16341/stat : 16341 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31094 33554432000 4194304 4196468 140735138568176 140276903373616 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125772 KiB
[startup+0.310417 s]*
/proc/loadavg: 1.21 1.06 1.06 2/202 16341
/proc/meminfo: memFree=27107612/32770624 swapFree=67108804/67108860
[pid=16319] ppid=16316 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16319/stat : 16319 (scop.sh) S 16316 16319 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749991 115843072 349 33554432000 4194304 5098028 140725769414000 140725769411256 140345158570620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140725769421859 140725769422083 140725769422083 140725769424845 0
/proc/16319/statm: 28282 349 296 221 0 87 0
[pid=16322] ppid=16319 vsize=27313900 memory=127656 CPUtime=0.42 cores=0-7
/proc/16322/stat : 16322 (java) S 16319 16319 15668 0 -1 1077944320 10764 0 0 0 38 4 0 0 20 0 20 0 236749991 27969433600 31914 33554432000 4194304 4196468 140735138568176 140735138550720 140278790418167 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
/proc/16322/statm: 6828475 31914 2936 1 0 6790935 0
[pid=16322/tid=16323] ppid=16319 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16322/task/16323/stat : 16323 (java) R 16319 16319 15668 0 -1 4202560 8516 0 0 0 26 3 0 0 20 0 20 0 236749992 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278762213168 140278771791936 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16324] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16324/stat : 16324 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278794660752 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16325] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16325/stat : 16325 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278608816912 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16326] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16326/stat : 16326 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278607764624 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16327] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16327/stat : 16327 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278606711824 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16328] ppid=16319 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/16322/task/16328/stat : 16328 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278605658512 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16329] ppid=16319 vsize=27313900 memory=140025798947759 CPUtime=0 cores=0-7
/proc/16322/task/16329/stat : 16329 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278604605712 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16330] ppid=16319 vsize=27313900 memory=140025798950064 CPUtime=0 cores=0-7
/proc/16322/task/16330/stat : 16330 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278603553424 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16331] ppid=16319 vsize=27313900 memory=140025798952368 CPUtime=0 cores=0-7
/proc/16322/task/16331/stat : 16331 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27969433600 31914 33554432000 4194304 4196468 140735138568176 140278602500624 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16332] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16332/stat : 16332 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276908636784 140278790429314 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16333] ppid=16319 vsize=27313900 memory=280051597911696 CPUtime=0 cores=0-7
/proc/16322/task/16333/stat : 16333 (java) S 16319 16319 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276718888224 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16334] ppid=16319 vsize=27313900 memory=280051597918608 CPUtime=0 cores=0-7
/proc/16322/task/16334/stat : 16334 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749996 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276450453104 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16335] ppid=16319 vsize=27313900 memory=280051597859888 CPUtime=0 cores=0-7
/proc/16322/task/16335/stat : 16335 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276075944528 140278790436763 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16336] ppid=16319 vsize=27313900 memory=280051597932432 CPUtime=0.02 cores=0-7
/proc/16322/task/16336/stat : 16336 (java) S 16319 16319 15668 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 20 0 236749999 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276907583600 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16337] ppid=16319 vsize=27313900 memory=280051597939344 CPUtime=0 cores=0-7
/proc/16322/task/16337/stat : 16337 (java) S 16319 16319 15668 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276906530800 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16338] ppid=16319 vsize=27313900 memory=280051597937040 CPUtime=0.01 cores=0-7
/proc/16322/task/16338/stat : 16338 (java) S 16319 16319 15668 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 236749999 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276905478512 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16339] ppid=16319 vsize=27313900 memory=280051597953200 CPUtime=0.07 cores=0-7
/proc/16322/task/16339/stat : 16339 (java) S 16319 16319 15668 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 20 0 236749999 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276904425712 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16340] ppid=16319 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16340/stat : 16340 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31914 33554432000 4194304 4196468 140735138568176 140275578039136 140278790428373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16341] ppid=16319 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16322/task/16341/stat : 16341 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749999 27969433600 31914 33554432000 4194304 4196468 140735138568176 140276903373616 140278790429314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129052 KiB
[startup+0.700992 s]
/proc/loadavg: 1.21 1.06 1.06 3/202 16341
/proc/meminfo: memFree=27083428/32770624 swapFree=67108804/67108860
[pid=16319] ppid=16316 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16319/stat : 16319 (scop.sh) S 16316 16319 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749991 115843072 349 33554432000 4194304 5098028 140725769414000 140725769411256 140345158570620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140725769421859 140725769422083 140725769422083 140725769424845 0
/proc/16319/statm: 28282 349 296 221 0 87 0
[pid=16322] ppid=16319 vsize=27322296 memory=165088 CPUtime=1.02 cores=0-7
/proc/16322/stat : 16322 (java) S 16319 16319 15668 0 -1 1077944320 17783 0 0 0 96 6 0 0 20 0 20 0 236749991 27978031104 41272 33554432000 4194304 4196468 140735138568176 140735138550720 140278790418167 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
/proc/16322/statm: 6830574 41272 3138 1 0 6791959 0
[pid=16322/tid=16323] ppid=16319 vsize=27322296 memory=280051598248064 CPUtime=0.66 cores=0-7
/proc/16322/task/16323/stat : 16323 (java) R 16319 16319 15668 0 -1 4202560 15026 0 0 0 62 4 0 0 20 0 20 0 236749992 27978031104 41272 33554432000 4194304 4196468 140735138568176 140278762250064 140278776598096 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16324] ppid=16319 vsize=27322296 memory=5072356377741 CPUtime=0 cores=0-7
/proc/16322/task/16324/stat : 16324 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27978031104 41272 33554432000 4194304 4196468 140735138568176 140278794660752 140278790428373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16325] ppid=16319 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16325/stat : 16325 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749994 27978031104 41272 33554432000 4194304 4196468 140735138568176 140278608816912 140278790428373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
[pid=16322/tid=16326] ppid=16319 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/16322/task/16326/stat : 16326 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749994 27978031104 41272 33554432000 4194304 4196468 140735138568176 140278607764624 140278790428373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140735138575337 140735138575661 140735138575661 140735138578383 0
################
# More data... #
################
/proc/loadavg: 1.21 1.06 1.06 2/202 16361
/proc/meminfo: memFree=27146504/32770624 swapFree=67108804/67108860
[pid=16319] ppid=16316 vsize=113128 memory=1472 CPUtime=6.71 cores=0-7
/proc/16319/stat : 16319 (scop.sh) S 16316 16319 15668 0 -1 4202496 590 26855 0 0 0 0 656 15 20 0 1 0 236749991 115843072 368 33554432000 4194304 5098028 140725769414000 140725769410744 140345158570620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24850432 140725769421859 140725769422083 140725769422083 140725769424845 0
/proc/16319/statm: 28282 368 311 221 0 87 0
[pid=16342] ppid=16319 vsize=7752068 memory=96192 CPUtime=0.82 cores=0-7
/proc/16342/stat : 16342 (java) S 16319 16319 15668 0 -1 1077944320 17362 0 0 0 77 5 0 0 20 0 20 0 236750240 7938117632 24048 33554432000 4194304 4196468 140730698403056 140730698385600 140332385394423 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
/proc/16342/statm: 1938017 24048 3030 1 0 1899951 0
[pid=16342/tid=16343] ppid=16319 vsize=7752068 memory=3708 CPUtime=0.59 cores=0-7
/proc/16342/task/16343/stat : 16343 (java) R 16319 16319 15668 0 -1 4202560 14680 0 0 0 56 3 0 0 20 0 20 0 236750241 7938117632 24048 33554432000 4194304 4196468 140730698403056 140332357229296 140332385416349 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16344] ppid=16319 vsize=7752068 memory=64056 CPUtime=0 cores=0-7
/proc/16342/task/16344/stat : 16344 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140332389636496 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16345] ppid=16319 vsize=7752068 memory=2080 CPUtime=0 cores=0-7
/proc/16342/task/16345/stat : 16345 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331870226704 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16346] ppid=16319 vsize=7752068 memory=1036 CPUtime=0 cores=0-7
/proc/16342/task/16346/stat : 16346 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331869174416 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16347] ppid=16319 vsize=7752068 memory=1736 CPUtime=0 cores=0-7
/proc/16342/task/16347/stat : 16347 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331868121616 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16348] ppid=16319 vsize=7752068 memory=752 CPUtime=0 cores=0-7
/proc/16342/task/16348/stat : 16348 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331867069328 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16349] ppid=16319 vsize=7752068 memory=280051597894784 CPUtime=0 cores=0-7
/proc/16342/task/16349/stat : 16349 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331866016528 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16350] ppid=16319 vsize=7752068 memory=2462291330817 CPUtime=0 cores=0-7
/proc/16342/task/16350/stat : 16350 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331864964240 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16351] ppid=16319 vsize=7752068 memory=2479471200001 CPUtime=0 cores=0-7
/proc/16342/task/16351/stat : 16351 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331863911440 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16352] ppid=16319 vsize=7752068 memory=2483766167041 CPUtime=0 cores=0-7
/proc/16342/task/16352/stat : 16352 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750243 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331277342832 140332385405570 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16353] ppid=16319 vsize=7752068 memory=2492356101633 CPUtime=0 cores=0-7
/proc/16342/task/16353/stat : 16353 (java) S 16319 16319 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236750244 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331009958688 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16354] ppid=16319 vsize=7752068 memory=2522420872449 CPUtime=0 cores=0-7
/proc/16342/task/16354/stat : 16354 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750244 7938117632 24048 33554432000 4194304 4196468 140730698403056 140330741523568 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16355] ppid=16319 vsize=7752068 memory=56 CPUtime=0 cores=0-7
/proc/16342/task/16355/stat : 16355 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750246 7938117632 24048 33554432000 4194304 4196468 140730698403056 140330367014992 140332385413019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16356] ppid=16319 vsize=7752068 memory=-8813412931113164149 CPUtime=0.01 cores=0-7
/proc/16342/task/16356/stat : 16356 (java) S 16319 16319 15668 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 20 0 236750247 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331276290672 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16357] ppid=16319 vsize=7752068 memory=8514726395715218844 CPUtime=0.03 cores=0-7
/proc/16342/task/16357/stat : 16357 (java) R 16319 16319 15668 0 -1 1077944384 163 0 0 0 3 0 0 0 20 0 20 0 236750247 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331275237872 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16358] ppid=16319 vsize=7752068 memory=5450916479948256810 CPUtime=0.03 cores=0-7
/proc/16342/task/16358/stat : 16358 (java) S 16319 16319 15668 0 -1 1077944384 87 0 0 0 3 0 0 0 20 0 20 0 236750247 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331274185584 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16359] ppid=16319 vsize=7752068 memory=6935649255759568960 CPUtime=0.13 cores=0-7
/proc/16342/task/16359/stat : 16359 (java) R 16319 16319 15668 0 -1 4202560 648 0 0 0 13 0 0 0 20 0 20 0 236750247 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331273132912 140332369474910 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16360] ppid=16319 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16360/stat : 16360 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236750247 7938117632 24048 33554432000 4194304 4196468 140730698403056 140329869109600 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16361] ppid=16319 vsize=7752068 memory=1060 CPUtime=0 cores=0-7
/proc/16342/task/16361/stat : 16361 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750247 7938117632 24048 33554432000 4194304 4196468 140730698403056 140331272079664 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 7865196 KiB
Current children cumulated memory: 97664 KiB
[startup+3.34203 s]
# the end of solver process 16319 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.76595 s, system=0.251673 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20138 s]
/proc/loadavg: 1.21 1.06 1.06 2/202 16361
/proc/meminfo: memFree=27146504/32770624 swapFree=67108804/67108860
[pid=16319] ppid=16316 vsize=113128 memory=1472 CPUtime=6.71 cores=0-7
/proc/16319/stat : 16319 (scop.sh) S 16316 16319 15668 0 -1 4202496 590 26855 0 0 0 0 656 15 20 0 1 0 236749991 115843072 368 33554432000 4194304 5098028 140725769414000 140725769410744 140345158570620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24850432 140725769421859 140725769422083 140725769422083 140725769424845 0
/proc/16319/statm: 28282 368 311 221 0 87 0
[pid=16342] ppid=16319 vsize=7756256 memory=101280 CPUtime=0.99 cores=0-7
/proc/16342/stat : 16342 (java) S 16319 16319 15668 0 -1 1077944320 18250 0 0 0 93 6 0 0 20 0 20 0 236750240 7942406144 25320 33554432000 4194304 4196468 140730698403056 140730698385600 140332385394423 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
/proc/16342/statm: 1939064 25320 3093 1 0 1900463 0
[pid=16342/tid=16343] ppid=16319 vsize=7756256 memory=1260 CPUtime=0.68 cores=0-7
/proc/16342/task/16343/stat : 16343 (java) R 16319 16319 15668 0 -1 4202560 15268 0 0 0 64 4 0 0 20 0 20 0 236750241 7942406144 25320 33554432000 4194304 4196468 140730698403056 140332357227776 140332385416349 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16344] ppid=16319 vsize=7756256 memory=14872 CPUtime=0 cores=0-7
/proc/16342/task/16344/stat : 16344 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140332389636496 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16345] ppid=16319 vsize=7756256 memory=3296 CPUtime=0 cores=0-7
/proc/16342/task/16345/stat : 16345 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331870226704 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16346] ppid=16319 vsize=7756256 memory=15292 CPUtime=0 cores=0-7
/proc/16342/task/16346/stat : 16346 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331869174416 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16347] ppid=16319 vsize=7756256 memory=35572 CPUtime=0 cores=0-7
/proc/16342/task/16347/stat : 16347 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331868121616 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16348] ppid=16319 vsize=7756256 memory=496 CPUtime=0 cores=0-7
/proc/16342/task/16348/stat : 16348 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331867069328 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16349] ppid=16319 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16349/stat : 16349 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331866016528 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16350] ppid=16319 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16350/stat : 16350 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331864964240 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16351] ppid=16319 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16351/stat : 16351 (java) S 16319 16319 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236750242 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331863911440 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16352] ppid=16319 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16352/stat : 16352 (java) S 16319 16319 15668 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 236750243 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331277342832 140332385405570 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16353] ppid=16319 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16353/stat : 16353 (java) S 16319 16319 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236750244 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331009958688 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16354] ppid=16319 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16354/stat : 16354 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750244 7942406144 25320 33554432000 4194304 4196468 140730698403056 140330741523568 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16355] ppid=16319 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/16342/task/16355/stat : 16355 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750246 7942406144 25320 33554432000 4194304 4196468 140730698403056 140330367014992 140332385413019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16356] ppid=16319 vsize=7756256 memory=0 CPUtime=0.01 cores=0-7
/proc/16342/task/16356/stat : 16356 (java) S 16319 16319 15668 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 236750247 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331276290672 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16357] ppid=16319 vsize=7756256 memory=0 CPUtime=0.05 cores=0-7
/proc/16342/task/16357/stat : 16357 (java) R 16319 16319 15668 0 -1 4202560 245 0 0 0 5 0 0 0 20 0 20 0 236750247 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331275223952 140332366570244 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16358] ppid=16319 vsize=7756256 memory=10 CPUtime=0.05 cores=0-7
/proc/16342/task/16358/stat : 16358 (java) R 16319 16319 15668 0 -1 4202560 227 0 0 0 5 0 0 0 20 0 20 0 236750247 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331274173456 140332366094720 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16359] ppid=16319 vsize=7756256 memory=9 CPUtime=0.16 cores=0-7
/proc/16342/task/16359/stat : 16359 (java) R 16319 16319 15668 0 -1 4202560 718 0 0 0 16 0 0 0 20 0 20 0 236750247 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331273132784 140332369474910 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16360] ppid=16319 vsize=7756256 memory=6 CPUtime=0 cores=0-7
/proc/16342/task/16360/stat : 16360 (java) S 16319 16319 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236750247 7942406144 25320 33554432000 4194304 4196468 140730698403056 140329869109600 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16361] ppid=16319 vsize=7756256 memory=1616 CPUtime=0 cores=0-7
/proc/16342/task/16361/stat : 16361 (java) S 16319 16319 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236750247 7942406144 25320 33554432000 4194304 4196468 140730698403056 140331272079664 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
Current children cumulated CPU time: 7.7 s
Current children cumulated vsize: 7869384 KiB
Current children cumulated memory: 102752 KiB
[startup+3.30091 s]
/proc/loadavg: 1.21 1.06 1.06 2/202 16361
/proc/meminfo: memFree=27146504/32770624 swapFree=67108804/67108860
[pid=16319] ppid=16316 vsize=113128 memory=1472 CPUtime=6.71 cores=0-7
/proc/16319/stat : 16319 (scop.sh) S 16316 16319 15668 0 -1 4202496 590 26855 0 0 0 0 656 15 20 0 1 0 236749991 115843072 368 33554432000 4194304 5098028 140725769414000 140725769410744 140345158570620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24850432 140725769421859 140725769422083 140725769422083 140725769424845 0
/proc/16319/statm: 28282 368 311 221 0 87 0
[pid=16342] ppid=16319 vsize=8217292 memory=117540 CPUtime=1.24 cores=0-7
/proc/16342/stat : 16342 (java) S 16319 16319 15668 0 -1 1077944320 19161 2042 0 0 114 7 2 1 20 0 22 0 236750240 8414507008 29385 33554432000 4194304 4196468 140730698403056 140730698385600 140332385394423 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
/proc/16342/statm: 2054323 29385 3156 1 0 2015722 0
[pid=16342/tid=16343] ppid=16319 vsize=8217292 memory=96192 CPUtime=0.8 cores=0-7
/proc/16342/task/16343/stat : 16343 (java) R 16319 16319 15668 0 -1 4202560 15784 2042 0 0 73 4 2 1 20 0 22 0 236750241 8414507008 29385 33554432000 4194304 4196468 140730698403056 140332357231776 140332369474910 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16344] ppid=16319 vsize=8217292 memory=3708 CPUtime=0.03 cores=0-7
/proc/16342/task/16344/stat : 16344 (java) S 16319 16319 15668 0 -1 1077944384 2 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140332389636496 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16345] ppid=16319 vsize=8217292 memory=64056 CPUtime=0.03 cores=0-7
/proc/16342/task/16345/stat : 16345 (java) S 16319 16319 15668 0 -1 1077944384 3 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331870226704 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16346] ppid=16319 vsize=8217292 memory=2080 CPUtime=0.03 cores=0-7
/proc/16342/task/16346/stat : 16346 (java) S 16319 16319 15668 0 -1 1077944384 1 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331869174416 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16347] ppid=16319 vsize=8217292 memory=1036 CPUtime=0.03 cores=0-7
/proc/16342/task/16347/stat : 16347 (java) S 16319 16319 15668 0 -1 1077944384 1 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331868121616 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16348] ppid=16319 vsize=8217292 memory=1736 CPUtime=0.03 cores=0-7
/proc/16342/task/16348/stat : 16348 (java) S 16319 16319 15668 0 -1 1077944384 2 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331867069328 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16349] ppid=16319 vsize=8217292 memory=752 CPUtime=0.03 cores=0-7
/proc/16342/task/16349/stat : 16349 (java) S 16319 16319 15668 0 -1 1077944384 2 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331866016528 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16350] ppid=16319 vsize=8217292 memory=280051597894784 CPUtime=0.03 cores=0-7
/proc/16342/task/16350/stat : 16350 (java) S 16319 16319 15668 0 -1 1077944384 1 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331864964240 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16351] ppid=16319 vsize=8217292 memory=2462291330817 CPUtime=0.03 cores=0-7
/proc/16342/task/16351/stat : 16351 (java) S 16319 16319 15668 0 -1 1077944384 2 2042 0 0 0 0 2 1 20 0 22 0 236750242 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331863911440 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16352] ppid=16319 vsize=8217292 memory=2479471200001 CPUtime=0.03 cores=0-7
/proc/16342/task/16352/stat : 16352 (java) S 16319 16319 15668 0 -1 1077944384 5 2042 0 0 0 0 2 1 20 0 22 0 236750243 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331277342832 140332385405570 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16353] ppid=16319 vsize=8217292 memory=2483766167041 CPUtime=0.03 cores=0-7
/proc/16342/task/16353/stat : 16353 (java) S 16319 16319 15668 0 -1 1077944384 13 2042 0 0 0 0 2 1 20 0 22 0 236750244 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331009958688 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16354] ppid=16319 vsize=8217292 memory=2492356101633 CPUtime=0.03 cores=0-7
/proc/16342/task/16354/stat : 16354 (java) S 16319 16319 15668 0 -1 1077944384 1 2042 0 0 0 0 2 1 20 0 22 0 236750244 8414507008 29385 33554432000 4194304 4196468 140730698403056 140330741523568 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16355] ppid=16319 vsize=8217292 memory=2522420872449 CPUtime=0.03 cores=0-7
/proc/16342/task/16355/stat : 16355 (java) S 16319 16319 15668 0 -1 1077944384 1 2042 0 0 0 0 2 1 20 0 22 0 236750246 8414507008 29385 33554432000 4194304 4196468 140730698403056 140330367014992 140332385413019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16356] ppid=16319 vsize=8217292 memory=56 CPUtime=0.06 cores=0-7
/proc/16342/task/16356/stat : 16356 (java) S 16319 16319 15668 0 -1 1077944384 538 2042 0 0 3 0 2 1 20 0 22 0 236750247 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331276290672 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16357] ppid=16319 vsize=8217292 memory=-8813412931113164149 CPUtime=0.09 cores=0-7
/proc/16342/task/16357/stat : 16357 (java) S 16319 16319 15668 0 -1 1077944384 251 2042 0 0 6 0 2 1 20 0 22 0 236750247 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331275237872 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16358] ppid=16319 vsize=8217292 memory=8514726395715218844 CPUtime=0.1 cores=0-7
/proc/16342/task/16358/stat : 16358 (java) S 16319 16319 15668 0 -1 1077944384 313 2042 0 0 7 0 2 1 20 0 22 0 236750247 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331274185584 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16359] ppid=16319 vsize=8217292 memory=5450916479948256810 CPUtime=0.23 cores=0-7
/proc/16342/task/16359/stat : 16359 (java) S 16319 16319 15668 0 -1 1077944384 820 2042 0 0 20 0 2 1 20 0 22 0 236750247 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331273132784 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16360] ppid=16319 vsize=8217292 memory=6935649255759568960 CPUtime=0.03 cores=0-7
/proc/16342/task/16360/stat : 16360 (java) S 16319 16319 15668 0 -1 1077944384 3 2042 0 0 0 0 2 1 20 0 22 0 236750247 8414507008 29385 33554432000 4194304 4196468 140730698403056 140329869109600 140332385404629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
[pid=16342/tid=16361] ppid=16319 vsize=8217292 memory=0 CPUtime=0.03 cores=0-7
/proc/16342/task/16361/stat : 16361 (java) S 16319 16319 15668 0 -1 1077944384 1 2042 0 0 0 0 2 1 20 0 22 0 236750247 8414507008 29385 33554432000 4194304 4196468 140730698403056 140331272079664 140332385405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140730698405041 140730698405165 140730698405165 140730698407887 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 8330420 KiB
Current children cumulated memory: 119012 KiB
Child status: 0
Real time (s): 3.34209
CPU time (s): 8.01762
CPU user time (s): 7.76595
CPU system time (s): 0.251673
CPU usage (%): 239.899
Max. virtual memory (cumulated for all children) (KiB): 27441636
Max. memory (cumulated for all children) (KiB): 369260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.76595
system time used= 0.251673
maximum resident set size= 374296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48800
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8890
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 16319
# total CPU time (s): 8.01762
# total CPU user time (s): 7.76595
# total CPU system time (s): 0.251673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043364 second user time and 0.08579 second system time
The end
Begin job on node105 at 2018-08-13 22:24:28 IDJOB=4307420 IDBENCH=141378 IDSOLVER=2789 FILE ID=node105/4307420-1534191868 RUNJOBID= node105-1534191843-15695 PBS_JOBID= 21037996 Free space on /tmp= 41072 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-4-cp_c18.xml COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307420-1534191868/watcher-4307420-1534191868 -o /tmp/evaluation-result-4307420-1534191868/solver-4307420-1534191868 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534191843-15695 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307420-1534191868.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 323265c27f21e70af41ff0037033f3ab RANDOM SEED=1839314660 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27224712 kB MemAvailable: 31905992 kB Buffers: 181864 kB Cached: 4756268 kB SwapCached: 16 kB Active: 1990572 kB Inactive: 2999420 kB Active(anon): 3812 kB Inactive(anon): 100492 kB Active(file): 1986760 kB Inactive(file): 2898928 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108860 kB SwapFree: 67108804 kB Dirty: 9008 kB Writeback: 8 kB AnonPages: 58876 kB Mapped: 52004 kB Shmem: 49748 kB Slab: 250292 kB SReclaimable: 222852 kB SUnreclaim: 27440 kB KernelStack: 3216 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 41064 MiB End job on node105 at 2018-08-13 22:24:32