Trace number 4305314

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-07-31)UNSAT 110.197 96.6166

General information on the benchmark

NameCarSequencing/
CarSequencing-06-76_c18.xml
MD5SUMb12b47f7e650fdaeab738d4a819b9f4b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark110.197
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints727
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":500},{"size":22,"count":100}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":19},{"degree":16,"count":19},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":49},{"degree":20,"count":14},{"degree":21,"count":14},{"degree":22,"count":14},{"degree":23,"count":14},{"degree":24,"count":19},{"degree":25,"count":8},{"degree":26,"count":8},"...",{"degree":29,"count":31}, {"degree":30,"count":5}, {"degree":31,"count":5}, {"degree":32,"count":5}, {"degree":33,"count":5}, {"degree":34,"count":5}, {"degree":35,"count":6}, {"degree":36,"count":6}, {"degree":37,"count":4}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":2},{"arity":5,"count":192},{"arity":6,"count":101},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":2},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":2},{"arity":22,"count":2},{"arity":24,"count":1},{"arity":25,"count":2},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":2},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"sum","count":626},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-9973-serial-file.bin HOME/instance-4305314-1534077544.xml
0.54/0.51	
0.54/0.51	scop order+minisat_release (2018-07-31)
0.54/0.51	(Encoding Process)
0.54/0.51	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 14:39:05 CEST 2018
0.66/0.54	c PID: 9976
0.66/0.54	c IP: 172.20.3.151
0.66/0.54	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.27/1.21	c (0,0) Parsing End
2.27/1.22	c (0,0) CSP: 100 int (0 aux), 500 bool (0 aux), 727 ctr, max domain size 22
2.27/1.22	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.27/1.22	c (0,0) Constraint Name Generate Begin
2.27/1.24	c (0,0) Ctr:HOME/instance-4305314-1534077544.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
2.27/1.24	c (0,0) Constraint Name Generate End
2.27/1.24	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.27/1.24	c (0,0) CSP to CSPinCNF Begin
8.52/3.20	c (2,2) translated 73 (10%) constraints
9.07/3.49	c (2,2) translated 146 (20%) constraints
9.40/3.50	c (2,2) translated 219 (30%) constraints
9.40/3.51	c (2,2) translated 291 (40%) constraints
9.40/3.53	c (3,2) translated 364 (50%) constraints
9.40/3.54	c (3,3) translated 437 (60%) constraints
9.40/3.56	c (3,3) translated 509 (70%) constraints
9.40/3.57	c (3,3) translated 582 (80%) constraints
10.60/3.92	c (3,3) translated 655 (90%) constraints
10.92/4.03	c (3,3) translated 727 (100%) constraints
11.86/4.32	c (3,3) STATISTICS1:HOME/instance-4305314-1534077544.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,7400,25348,9223372036854775807,22,23,100,9223372036854775807:105;2305843009213693952:1;1152921504606846976:2;576460752303423488:3;144115188075855872:3;36028797018963968:1;18014398509481984:4;9007199254740992:1;2251799813685248:3;562949953421312:3;281474976710656:2;140737488355328:1;35184372088832:3;17592186044416:2;8796093022208:1;4398046511104:2;2199023255552:1;549755813888:5;137438953472:1;68719476736:2;34359738368:1;17179869184:1;8589934592:3;2147483648:1;1073741824:2;536870912:2;134217728:3;33554432:1;16777216:2;8388608:1;2097152:2;524288:2;262144:1;131072:1;32768:2;16384:1;8192:1;4096:1;2048:1;512:2;128:1;64:1;32:1;16:192;8:2;4:196;2:100,22:8600;2:65357,23:100;3:13000;2:11600;1:648,100:49;98:1;97:2;96:1;95:2;94:3;92:1;91:2;90:3;88:3;86:1;85:4;84:1;82:3;80:3;79:2;78:1;76:3;75:2;74:1;73:2;72:1;70:5;68:1;67:2;66:1;65:2;64:3;62:1;61:2;60:3;58:3;56:1;55:4;54:1;52:3;50:3;49:2;48:1;46:3;45:2;44:1;43:2;42:1;40:5;38:1;37:2;36:1;35:1;34:3;32:1;31:2;30:2;28:3;26:1;25:2;24:1;22:2;20:2;19:1;18:1;16:2;15:1;14:1;13:1;12:1;10:2;8:1;7:1;6:1;5:192;4:2;3:196;2:100;1:64400;0:100,4356:49;4225:1;4096:3;3969:2;3844:3;3721:1;3600:5;3364:3;3249:1;3136:5;2916:3;2809:3;2704:3;2500:5;2401:1;2304:3;2116:5;2025:1;1936:3;1849:2;1764:3
11.86/4.32	c (3,3) ==========================================
11.86/4.32	c (3,3) Order
11.86/4.32	c (3,3) ==========================================
12.85/4.69	c (4,4) translated 2535 (10%) constraints
13.53/4.82	c (4,4) translated 5070 (20%) constraints
13.83/4.90	c (4,4) translated 7605 (30%) constraints
13.83/4.97	c (4,4) translated 10140 (40%) constraints
14.17/5.04	c (4,4) translated 12674 (50%) constraints
14.17/5.10	c (4,4) translated 15209 (60%) constraints
14.46/5.15	c (4,4) translated 17744 (70%) constraints
14.46/5.19	c (4,4) translated 20279 (80%) constraints
14.70/5.24	c (4,4) translated 22814 (90%) constraints
15.98/5.76	c (5,5) translated 25348 (100%) constraints
15.98/5.76	c (5,5) CSP to CSPinCNF End
15.98/5.76	c (5,5) CSP: 1513 int (1413 aux), 9563 bool (9063 aux), 32528 ctr, max domain size 35
15.98/5.76	c (5,5) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.98/5.76	c (5,5) CSPinCNF Propagation Begin
16.73/6.01	c (5,5) 0 values, 300 unsatisfiable literals, and 200 valid clauses are removed
16.73/6.01	c (5,5) CSPinCNF Propagation End
16.73/6.01	c (5,5) CSP: 1513 int (1413 aux), 9563 bool (9063 aux), 32328 ctr, max domain size 35
16.73/6.01	c (5,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.73/6.01	c (5,5) Simplify CSPinCNF Begin
16.73/6.09	c (5,5) Simplify CSPinCNF End
16.73/6.10	c (5,5) CSP: 1513 int (1413 aux), 9563 bool (9063 aux), 32328 ctr, max domain size 35
16.73/6.10	c (5,5) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.73/6.10	c (5,5) Calculate Precise Domain Begin
16.95/6.13	c (5,5) 0 values are removed by re-calculation
16.95/6.13	c (5,5) Calculate Precise Domain End
16.95/6.14	c (5,5) CSP: 1513 int (1413 aux), 9563 bool (9063 aux), 32328 ctr, max domain size 35
16.95/6.14	c (5,5) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.95/6.14	c (5,5) CSPinCNF to SatSolver Begin
19.10/7.21	c (6,6) 3233 (10 %) CSP clauses are encoded (27779 SAT variables, 208939 SAT clauses)
19.10/7.25	c (6,6) 6466 (20 %) CSP clauses are encoded (27779 SAT variables, 212172 SAT clauses)
19.10/7.29	c (6,6) 9699 (30 %) CSP clauses are encoded (27779 SAT variables, 215405 SAT clauses)
19.40/7.35	c (6,6) 12932 (40 %) CSP clauses are encoded (27779 SAT variables, 218638 SAT clauses)
19.40/7.37	c (6,6) 16164 (50 %) CSP clauses are encoded (27779 SAT variables, 221870 SAT clauses)
19.40/7.39	c (6,6) 19397 (60 %) CSP clauses are encoded (27779 SAT variables, 225103 SAT clauses)
19.66/7.41	c (6,6) 22630 (70 %) CSP clauses are encoded (27779 SAT variables, 228336 SAT clauses)
19.66/7.43	c (6,6) 25863 (80 %) CSP clauses are encoded (27779 SAT variables, 231569 SAT clauses)
19.66/7.45	c (6,6) 29096 (90 %) CSP clauses are encoded (27779 SAT variables, 234802 SAT clauses)
21.24/8.86	c (8,8) 32328 (100 %) CSP clauses are encoded (27779 SAT variables, 591217 SAT clauses)
21.74/9.04	c (8,8) Launch Command will be: minisat_release
21.74/9.04	c (8,8) CSPinCNF to SatSolver End
21.74/9.04	c (8,8) Heap : 627 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
21.74/9.04	c (8,8) STATISTICS2:HOME/instance-4305314-1534077544.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,11076,32328,1156,35,22,11,1156:5;1122:1;1089:3;1056:2;1024:75;992:1;961:5;900:3;870:1;841:5;784:3;756:3;729:3;676:5;650:1;625:3;576:5;552:1;529:3;512:268;506:2;484:3;462:1;441:5;400:3;380:1;361:5;324:8;306:17;289:18;272:12;256:634;240:13;225:18;210:14;196:26;182:17;169:32;156:15;144:18;132:13;128:292;121:21;110:12;100:18;96:67;90:63;81:124;72:86;64:297;63:12;56:72;54:24;49:79;45:24;36:31;32:11;30:1;27:36;25:85;18:84;16:340;9:24;8:2;4:252;2:100,35:10;34:28;33:30;32:24;31:34;30:24;29:30;28:28;27:26;26:32;25:26;24:28;23:30;22:12624;21:34;20:24;19:30;18:76;17:138;16:148;15:138;14:176;13:210;12:268;11:144;10:532;9:1296;8:618;7:470;6:92;5:352;4:36;3:108;2:74209,22:100;3:12800;2:16000;1:3428,11:72;10:268;9:612;8:292;7:218;6:11;5:399;4:2;3:1454;2:100;1:72600,
21.74/9.04	c (8,8) 27779 bool, 591272 clause
21.74/9.04	c (8,8) Export Begin
21.97/9.16	c (8,8) Export to HOME/scop-9973-serial-file.bin
21.97/9.16	c (8,8) Export End
21.97/9.17	c (8,8) Export File Size: 0.12 MB
21.97/9.17	c (8,8) 0,0,5,5,5,5,8,STOP-AFTER(DIMACS)
21.97/9.17	c END-Prog: Sun Aug 12 14:39:13 CEST 2018
0.00/9.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9973-serial-file.bin
22.22/9.71	c (0,0) Read Serial File Begin
22.22/9.72	c (0,0) HOME/scop-9973-serial-file.bin
22.22/9.93	c (0,0) Read Serial File End
22.22/9.94	
22.22/9.94	scop order+minisat_release (2018-07-31)
22.22/9.94	(Solving Process)
22.22/9.94	
22.22/9.96	c BEGIN-Prog: Sun Aug 12 14:39:14 CEST 2018
22.22/9.96	c PID: 9991
22.22/9.96	c IP: 172.20.3.151
22.22/9.96	c HOST: node151.alineos.net
22.22/9.97	c (0,0) SatSolver.solve Begin
22.22/9.97	c (0,0) 0 bool, 0 clause
22.22/9.97	c (0,0) minisat_release HOME/instance-4305314-1534077544.xml-scop-9976.cnf
110.04/96.59	c (86,0) c This is COMiniSatPS.
110.04/96.59	c (86,0) c WARNING: for repeatability, setting FPU to use double precision
110.04/96.59	c (86,0) c ============================[ Problem Statistics ]=============================
110.04/96.59	c (86,0) c |                                                                             |
110.04/96.59	c (86,0) c |  Number of variables:         27779                                         |
110.04/96.59	c (86,0) c |  Number of clauses:          591060                                         |
110.04/96.59	c (86,0) c |  Parse time:                   0.18 s                                       |
110.04/96.59	c (86,0) c |  Eliminated clauses:           0.14 Mb                                      |
110.04/96.59	c (86,0) c Reduced to 21192 vars, 326400 cls (grow=0)
110.04/96.59	c (86,0) c No iterative elimination performed. (vars=21192, c/v ratio=15.4)
110.04/96.59	c (86,0) c |  Simplification time:          0.73 s                                       |
110.04/96.59	c (86,0) c |                                                                             |
110.04/96.59	c (86,0) c ============================[ Search Statistics ]==============================
110.04/96.59	c (86,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
110.04/96.59	c (86,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
110.04/96.59	c (86,0) c ===============================================================================
110.04/96.59	c (86,0) c ===============================================================================
110.04/96.59	c (86,0) c restarts              : 1058
110.04/96.60	c (86,0) c conflicts             : 461948         (5338 /sec)
110.04/96.60	c (86,0) c decisions             : 613103         (0.00 % random) (7084 /sec)
110.04/96.60	c (86,0) c propagations          : 278319511      (3215855 /sec)
110.04/96.60	c (86,0) c conflict literals     : 13994535       (47.84 % deleted)
110.04/96.60	c (86,0) c CPU time              : 86.546 s
110.04/96.60	c (86,0) 
110.04/96.60	c (86,0) s UNSATISFIABLE
23.55/96.60	c (86,0) SatSolver.solve End
23.55/96.60	c (86,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.55/96.60	c (86,0) Show results Begin
23.55/96.60	s UNSATISFIABLE
23.55/96.60	c (86,0) Show results End
23.55/96.60	c (86,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.55/96.60	c (86,0) 86,86,STOP-AFTER(ALL)
23.55/96.60	c END-Prog: Sun Aug 12 14:40:41 CEST 2018

Verifier Data


Watcher Data 

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 (810 MiB free)
  memory of node 1: 16384 MiB (2769 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305314-1534077544/watcher-4305314-1534077544 -o /tmp/evaluation-result-4305314-1534077544/solver-4305314-1534077544 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305314-1534077544.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=9973, runsolver pid=9970
Current StackSize limit: 8192 KiB


[startup+0.100995 s]*
/proc/loadavg: 3.07 3.11 3.25 6/217 9990
/proc/meminfo: memFree=3605980/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225317590 115843072 348 33554432000 4194304 5098028 140720441246736 140720441243992 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 348 296 221 0 87 0
[pid=9976] ppid=9973 vsize=15012476 memory=71556 CPUtime=0.11 cores=1,3,5,7
/proc/9976/stat : 9976 (java) S 9973 9973 3762 0 -1 1077944320 6526 0 0 0 9 2 0 0 20 0 15 0 225317590 15372775424 17889 33554432000 4194304 4196468 140724032425008 140724032407552 139766719471351 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
/proc/9976/statm: 3753119 17889 2769 1 0 3715579 0
[pid=9976/tid=9977] ppid=9973 vsize=15012476 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/9976/task/9977/stat : 9977 (java) R 9973 9973 3762 0 -1 4202560 4742 0 0 0 7 1 0 0 20 0 15 0 225317590 15372775424 18021 33554432000 4194304 4196468 140724032425008 139766691283336 139766699747058 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9978] ppid=9973 vsize=15012476 memory=3472467781649614032 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9978/stat : 9978 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 18021 33554432000 4194304 4196468 140724032425008 139766723714192 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9979] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9979/stat : 9979 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 18021 33554432000 4194304 4196468 140724032425008 139766499417104 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9980] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9980/stat : 9980 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 18021 33554432000 4194304 4196468 140724032425008 139766498364304 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9981] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9981/stat : 9981 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 18087 33554432000 4194304 4196468 140724032425008 139766497311504 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9982] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9982/stat : 9982 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317593 15372775424 18087 33554432000 4194304 4196468 140724032425008 139765757053296 139766719482498 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9983] ppid=9973 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9983/stat : 9983 (java) S 9973 9973 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225317594 15372775424 18087 33554432000 4194304 4196468 140724032425008 139765349344288 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9984] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9984/stat : 9984 (java) S 9973 9973 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225317594 15372775424 18087 33554432000 4194304 4196468 140724032425008 139765215122288 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9985] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9985/stat : 9985 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317596 15372775424 18087 33554432000 4194304 4196468 140724032425008 139764840617808 139766719489947 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9986] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9986/stat : 9986 (java) S 9973 9973 3762 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 225317596 15372775424 18087 33554432000 4194304 4196468 140724032425008 139765756001136 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9987] ppid=9973 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9987/stat : 9987 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317596 15372775424 18087 33554432000 4194304 4196468 140724032425008 139765754948336 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9988] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0.01 cores=1,3,5,7
/proc/9976/task/9988/stat : 9988 (java) S 9973 9973 3762 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 225317596 15372775424 18087 33554432000 4194304 4196468 140724032425008 139765753895536 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9989] ppid=9973 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9989/stat : 9989 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317597 15372775424 18087 33554432000 4194304 4196468 140724032425008 139764342713056 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9990] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9990/stat : 9990 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317597 15372775424 18087 33554432000 4194304 4196468 140724032425008 139765080902320 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72948 KiB

[startup+0.210484 s]*
/proc/loadavg: 3.07 3.11 3.25 6/217 9990
/proc/meminfo: memFree=3592400/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225317590 115843072 348 33554432000 4194304 5098028 140720441246736 140720441243992 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 348 296 221 0 87 0
[pid=9976] ppid=9973 vsize=15012476 memory=84572 CPUtime=0.25 cores=1,3,5,7
/proc/9976/stat : 9976 (java) S 9973 9973 3762 0 -1 1077944320 10030 0 0 0 22 3 0 0 20 0 15 0 225317590 15372775424 21143 33554432000 4194304 4196468 140724032425008 140724032407552 139766719471351 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
/proc/9976/statm: 3753119 21143 2883 1 0 3715579 0
[pid=9976/tid=9977] ppid=9973 vsize=15012476 memory=4716008030661157272 CPUtime=0.19 cores=1,3,5,7
/proc/9976/task/9977/stat : 9977 (java) R 9973 9973 3762 0 -1 4202560 7908 0 0 0 17 2 0 0 20 0 15 0 225317590 15372775424 21143 33554432000 4194304 4196468 140724032425008 139766691297744 139766171512466 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9978] ppid=9973 vsize=15012476 memory=3472467781649614032 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9978/stat : 9978 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 21143 33554432000 4194304 4196468 140724032425008 139766723714192 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9979] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9979/stat : 9979 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 21143 33554432000 4194304 4196468 140724032425008 139766499417104 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9980] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9980/stat : 9980 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 21143 33554432000 4194304 4196468 140724032425008 139766498364304 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9981] ppid=9973 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9981/stat : 9981 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 21143 33554432000 4194304 4196468 140724032425008 139766497311504 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9982] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9982/stat : 9982 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317593 15372775424 21143 33554432000 4194304 4196468 140724032425008 139765757053296 139766719482498 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9983] ppid=9973 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9983/stat : 9983 (java) S 9973 9973 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225317594 15372775424 21143 33554432000 4194304 4196468 140724032425008 139765349344288 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9984] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9984/stat : 9984 (java) S 9973 9973 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225317594 15372775424 21143 33554432000 4194304 4196468 140724032425008 139765215122288 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9985] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9985/stat : 9985 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317596 15372775424 21143 33554432000 4194304 4196468 140724032425008 139764840617808 139766719489947 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9986] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9986/stat : 9986 (java) S 9973 9973 3762 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 225317596 15372775424 21143 33554432000 4194304 4196468 140724032425008 139765756001136 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9987] ppid=9973 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9987/stat : 9987 (java) S 9973 9973 3762 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 225317596 15372775424 21143 33554432000 4194304 4196468 140724032425008 139765754948336 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9988] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0.03 cores=1,3,5,7
/proc/9976/task/9988/stat : 9988 (java) R 9973 9973 3762 0 -1 4202560 310 0 0 0 3 0 0 0 20 0 15 0 225317596 15372775424 21143 33554432000 4194304 4196468 140724032425008 139765753895536 139766702823093 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9989] ppid=9973 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9989/stat : 9989 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317597 15372775424 21143 33554432000 4194304 4196468 140724032425008 139764342713056 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9990] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9990/stat : 9990 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317597 15372775424 21143 33554432000 4194304 4196468 140724032425008 139765080902320 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85964 KiB

[startup+0.310592 s]*
/proc/loadavg: 3.07 3.11 3.25 6/217 9990
/proc/meminfo: memFree=3589112/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225317590 115843072 348 33554432000 4194304 5098028 140720441246736 140720441243992 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 348 296 221 0 87 0
[pid=9976] ppid=9973 vsize=15012476 memory=88356 CPUtime=0.42 cores=1,3,5,7
/proc/9976/stat : 9976 (java) S 9973 9973 3762 0 -1 1077944320 10570 0 0 0 39 3 0 0 20 0 15 0 225317590 15372775424 22089 33554432000 4194304 4196468 140724032425008 140724032407552 139766719471351 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
/proc/9976/statm: 3753119 22089 2981 1 0 3715579 0
[pid=9976/tid=9977] ppid=9973 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/9976/task/9977/stat : 9977 (java) R 9973 9973 3762 0 -1 4202560 8289 0 0 0 27 2 0 0 20 0 15 0 225317590 15372775424 22089 33554432000 4194304 4196468 140724032425008 139766691266352 139766699747175 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9978] ppid=9973 vsize=15012476 memory=3472467781649614032 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9978/stat : 9978 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 22089 33554432000 4194304 4196468 140724032425008 139766723714192 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9979] ppid=9973 vsize=15012476 memory=139652754462336 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9979/stat : 9979 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 22089 33554432000 4194304 4196468 140724032425008 139766499417104 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9980] ppid=9973 vsize=15012476 memory=10 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9980/stat : 9980 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 22089 33554432000 4194304 4196468 140724032425008 139766498364304 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9981] ppid=9973 vsize=15012476 memory=139652606601247 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9981/stat : 9981 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15372775424 22089 33554432000 4194304 4196468 140724032425008 139766497311504 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9982] ppid=9973 vsize=15012476 memory=279305213163264 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9982/stat : 9982 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317593 15372775424 22089 33554432000 4194304 4196468 140724032425008 139765757053296 139766719482498 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9983] ppid=9973 vsize=15012476 memory=139652606578191 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9983/stat : 9983 (java) S 9973 9973 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225317594 15372775424 22089 33554432000 4194304 4196468 140724032425008 139765349344288 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9984] ppid=9973 vsize=15012476 memory=279305361049696 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9984/stat : 9984 (java) S 9973 9973 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225317594 15372775424 22089 33554432000 4194304 4196468 140724032425008 139765215122288 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9985] ppid=9973 vsize=15012476 memory=139652606582799 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9985/stat : 9985 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317596 15372775424 22089 33554432000 4194304 4196468 140724032425008 139764840617808 139766719489947 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9986] ppid=9973 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9976/task/9986/stat : 9986 (java) R 9973 9973 3762 0 -1 4202560 509 0 0 0 2 0 0 0 20 0 15 0 225317596 15372775424 22089 33554432000 4194304 4196468 140724032425008 139765755999536 139766702858245 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9987] ppid=9973 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9976/task/9987/stat : 9987 (java) R 9973 9973 3762 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 225317596 15372775424 22089 33554432000 4194304 4196468 140724032425008 139765754948432 139766719481557 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9988] ppid=9973 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9976/task/9988/stat : 9988 (java) R 9973 9973 3762 0 -1 4202560 332 0 0 0 7 0 0 0 20 0 15 0 225317596 15372775424 22089 33554432000 4194304 4196468 140724032425008 139765753895536 139766711708478 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9989] ppid=9973 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9989/stat : 9989 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317597 15372775424 22089 33554432000 4194304 4196468 140724032425008 139764342713056 139766719481557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9990] ppid=9973 vsize=15012476 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9990/stat : 9990 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317597 15372775424 22089 33554432000 4194304 4196468 140724032425008 139765080902320 139766719482498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89748 KiB

[startup+0.704976 s]
/proc/loadavg: 3.07 3.11 3.25 6/217 9990
/proc/meminfo: memFree=3564308/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225317590 115843072 348 33554432000 4194304 5098028 140720441246736 140720441243992 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 348 296 221 0 87 0
[pid=9976] ppid=9973 vsize=15020872 memory=128056 CPUtime=1.03 cores=1,3,5,7
/proc/9976/stat : 9976 (java) S 9973 9973 3762 0 -1 1077944320 17654 0 0 0 97 6 0 0 20 0 15 0 225317590 15381372928 32014 33554432000 4194304 4196468 140724032425008 140724032407552 139766719471351 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
/proc/9976/statm: 3755218 32014 3165 1 0 3716603 0
[pid=9976/tid=9977] ppid=9973 vsize=15020872 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/9976/task/9977/stat : 9977 (java) R 9973 9973 3762 0 -1 4202560 14886 0 0 0 62 5 0 0 20 0 15 0 225317590 15381372928 32014 33554432000 4194304 4196468 140724032425008 139766691305968 139766703551838 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9978] ppid=9973 vsize=15020872 memory=7372786582024121444 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9978/stat : 9978 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15381372928 32014 33554432000 4194304 4196468 140724032425008 139766723714192 139766719481557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9979] ppid=9973 vsize=15020872 memory=4638778398333091936 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9979/stat : 9979 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317592 15381372928 32014 33554432000 4194304 4196468 140724032425008 139766499417104 139766719481557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9980] ppid=9973 vsize=15020872 memory=-8820188211957838939 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9980/stat : 9980 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15381372928 32014 33554432000 4194304 4196468 140724032425008 139766498364304 139766719481557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9981] ppid=9973 vsize=15020872 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9981/stat : 9981 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225317592 15381372928 32014 33554432000 4194304 4196468 140724032425008 139766497311504 139766719481557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9982] ppid=9973 vsize=15020872 memory=-9181546051567709026 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9982/stat : 9982 (java) S 9973 9973 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225317593 15381372928 32014 33554432000 4194304 4196468 140724032425008 139765757053296 139766719482498 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9983] ppid=9973 vsize=15020872 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9983/stat : 9983 (java) S 9973 9973 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225317594 15381372928 32014 33554432000 4194304 4196468 140724032425008 139765349344288 139766719481557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9984] ppid=9973 vsize=15020872 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9984/stat : 9984 (java) S 9973 9973 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225317594 15381372928 32014 33554432000 4194304 4196468 140724032425008 139765215122288 139766719481557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9985] ppid=9973 vsize=15020872 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9985/stat : 9985 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317596 15381372928 32014 33554432000 4194304 4196468 140724032425008 139764840617808 139766719489947 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9986] ppid=9973 vsize=15020872 memory=61180 CPUtime=0.1 cores=1,3,5,7
/proc/9976/task/9986/stat : 9986 (java) R 9973 9973 3762 0 -1 4202560 741 0 0 0 10 0 0 0 20 0 15 0 225317596 15381372928 32014 33554432000 4194304 4196468 140724032425008 139765755987680 139766699135712 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9987] ppid=9973 vsize=15020872 memory=1240 CPUtime=0.05 cores=1,3,5,7
/proc/9976/task/9987/stat : 9987 (java) R 9973 9973 3762 0 -1 4202560 171 0 0 0 5 0 0 0 20 0 15 0 225317596 15381372928 32014 33554432000 4194304 4196468 140724032425008 139765754937008 139766700171648 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9988] ppid=9973 vsize=15020872 memory=2196 CPUtime=0.18 cores=1,3,5,7
/proc/9976/task/9988/stat : 9988 (java) R 9973 9973 3762 0 -1 4202560 512 0 0 0 18 0 0 0 20 0 15 0 225317596 15381372928 32014 33554432000 4194304 4196468 140724032425008 139765753895536 139766712571051 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9989] ppid=9973 vsize=15020872 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9989/stat : 9989 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225317597 15381372928 32014 33554432000 4194304 4196468 140724032425008 139764342713056 139766719481557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
[pid=9976/tid=9990] ppid=9973 vsize=15020872 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/9976/task/9990/stat : 9990 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225317597 15381372928 32014 33554432000 4194304 4196468 140724032425008 139765080902320 139766719482498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724032427015 140724032427313 140724032427313 140724032430031 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129448 KiB

[startup+1.50123 s]
/proc/loadavg: 3.07 3.11 3.25 7/217 9990
/proc/meminfo: memFree=3534240/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225317590 115843072 348 33554432000 4194304 5098028 140720441246736 140720441243992 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 348 296 221 0 87 0

################
# More data... #
################

/proc/9991/task/10009/stat : 10009 (java) S 9973 9973 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945066868912 139947899212957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10010] ppid=9973 vsize=8068220 memory=8448 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10010/stat : 10010 (java) S 9973 9973 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945201089840 139947899212957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10011] ppid=9973 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10011/stat : 10011 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225318592 8261857280 29678 33554432000 4194304 4196468 140730776845408 139944798444576 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
Current children cumulated CPU time: 107.93 s
Current children cumulated vsize: 8273712 KiB
Current children cumulated memory: 193652 KiB

[startup+96.0009 s]*
/proc/loadavg: 3.75 3.36 3.33 6/222 10019
/proc/meminfo: memFree=3278800/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1472 CPUtime=22.22 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 590 166706 0 0 0 0 2131 91 20 0 1 0 225317590 115843072 368 33554432000 4194304 5098028 140720441246736 140720441243480 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 368 311 221 0 87 0
[pid=9991] ppid=9973 vsize=8068220 memory=118712 CPUtime=1.33 cores=1,3,5,7
/proc/9991/stat : 9991 (java) S 9973 9973 3762 0 -1 1077944320 18449 0 0 0 124 9 0 0 20 0 19 0 225318513 8261857280 29678 33554432000 4194304 4196468 140730776845408 140730776827952 139947899191031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
/proc/9991/statm: 2017055 29678 3155 1 0 1978454 0
[pid=10006] ppid=9991 vsize=92364 memory=73468 CPUtime=86 cores=1,3,5,7
/proc/10006/stat : 10006 (minisat_release) R 9991 9973 3762 0 -1 4202496 64757 0 0 0 8595 5 0 0 20 0 1 0 225318589 94580736 18367 33554432000 4194304 4308513 140725359404704 140725359401704 4276872 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 35295232 140725359412341 140725359412438 140725359412438 140725359415237 0
/proc/10006/statm: 23091 18367 342 28 0 19331 0
[pid=9991/tid=9992] ppid=9973 vsize=8068220 memory=8039887049847964075 CPUtime=0.78 cores=1,3,5,7
/proc/9991/task/9992/stat : 9992 (java) S 9973 9973 3762 0 -1 1077944384 15039 0 0 0 72 6 0 0 20 0 19 0 225318513 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947871031184 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9993] ppid=9973 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9993/stat : 9993 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947903432976 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9994] ppid=9973 vsize=8068220 memory=45086016539114 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9994/stat : 9994 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947703601552 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9995] ppid=9973 vsize=8068220 memory=45086016539114 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9995/stat : 9995 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947702549008 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9996] ppid=9973 vsize=8068220 memory=45086016538858 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9996/stat : 9996 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947701496464 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9997] ppid=9973 vsize=8068220 memory=8039887049847964075 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9997/stat : 9997 (java) S 9973 9973 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225318516 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947143047664 139947899202178 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9998] ppid=9973 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9998/stat : 9998 (java) S 9973 9973 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225318516 8261857280 29678 33554432000 4194304 4196468 140730776845408 139946744604064 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9999] ppid=9973 vsize=8068220 memory=15541829625973996 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9999/stat : 9999 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225318516 8261857280 29678 33554432000 4194304 4196468 140730776845408 139946476168688 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10000] ppid=9973 vsize=8068220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10000/stat : 10000 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139946101660368 139947899209627 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10001] ppid=9973 vsize=8068220 memory=11764 CPUtime=0.1 cores=1,3,5,7
/proc/9991/task/10001/stat : 10001 (java) S 9973 9973 3762 0 -1 1077944384 755 0 0 0 10 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947141994480 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10002] ppid=9973 vsize=8068220 memory=5712 CPUtime=0.14 cores=1,3,5,7
/proc/9991/task/10002/stat : 10002 (java) S 9973 9973 3762 0 -1 1077944384 614 0 0 0 14 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947140941936 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10003] ppid=9973 vsize=8068220 memory=792 CPUtime=0.22 cores=1,3,5,7
/proc/9991/task/10003/stat : 10003 (java) S 9973 9973 3762 0 -1 1077944384 623 0 0 0 22 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947139889392 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10004] ppid=9973 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10004/stat : 10004 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945603754592 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10005] ppid=9973 vsize=8068220 memory=1944 CPUtime=0.03 cores=1,3,5,7
/proc/9991/task/10005/stat : 10005 (java) S 9973 9973 3762 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947138837296 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10007] ppid=9973 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10007/stat : 10007 (java) S 9973 9973 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947684423232 139947899215641 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10009] ppid=9973 vsize=8068220 memory=4536 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10009/stat : 10009 (java) S 9973 9973 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945066868912 139947899212957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10010] ppid=9973 vsize=8068220 memory=8448 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10010/stat : 10010 (java) S 9973 9973 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945201089840 139947899212957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10011] ppid=9973 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10011/stat : 10011 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225318592 8261857280 29678 33554432000 4194304 4196468 140730776845408 139944798444576 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
Current children cumulated CPU time: 109.55 s
Current children cumulated vsize: 8273712 KiB
Current children cumulated memory: 193652 KiB

[startup+96.4009 s]
/proc/loadavg: 3.75 3.36 3.33 6/222 10019
/proc/meminfo: memFree=3278800/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1472 CPUtime=22.22 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 590 166706 0 0 0 0 2131 91 20 0 1 0 225317590 115843072 368 33554432000 4194304 5098028 140720441246736 140720441243480 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 368 311 221 0 87 0
[pid=9991] ppid=9973 vsize=8068220 memory=118712 CPUtime=1.33 cores=1,3,5,7
/proc/9991/stat : 9991 (java) S 9973 9973 3762 0 -1 1077944320 18449 0 0 0 124 9 0 0 20 0 19 0 225318513 8261857280 29678 33554432000 4194304 4196468 140730776845408 140730776827952 139947899191031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
/proc/9991/statm: 2017055 29678 3155 1 0 1978454 0
[pid=10006] ppid=9991 vsize=92364 memory=73468 CPUtime=86.39 cores=1,3,5,7
/proc/10006/stat : 10006 (minisat_release) R 9991 9973 3762 0 -1 4202496 64760 0 0 0 8634 5 0 0 20 0 1 0 225318589 94580736 18367 33554432000 4194304 4308513 140725359404704 140725359401704 4269580 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 35295232 140725359412341 140725359412438 140725359412438 140725359415237 0
/proc/10006/statm: 23091 18367 342 28 0 19331 0
[pid=9991/tid=9992] ppid=9973 vsize=8068220 memory=73468 CPUtime=0.78 cores=1,3,5,7
/proc/9991/task/9992/stat : 9992 (java) S 9973 9973 3762 0 -1 1077944384 15039 0 0 0 72 6 0 0 20 0 19 0 225318513 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947871031184 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9993] ppid=9973 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9993/stat : 9993 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947903432976 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9994] ppid=9973 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9994/stat : 9994 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947703601552 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9995] ppid=9973 vsize=8068220 memory=8039887049847964075 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9995/stat : 9995 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947702549008 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9996] ppid=9973 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9996/stat : 9996 (java) S 9973 9973 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947701496464 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9997] ppid=9973 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9997/stat : 9997 (java) S 9973 9973 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225318516 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947143047664 139947899202178 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9998] ppid=9973 vsize=8068220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9998/stat : 9998 (java) S 9973 9973 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225318516 8261857280 29678 33554432000 4194304 4196468 140730776845408 139946744604064 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9999] ppid=9973 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9991/task/9999/stat : 9999 (java) S 9973 9973 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225318516 8261857280 29678 33554432000 4194304 4196468 140730776845408 139946476168688 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10000] ppid=9973 vsize=8068220 memory=4536 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10000/stat : 10000 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139946101660368 139947899209627 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10001] ppid=9973 vsize=8068220 memory=8448 CPUtime=0.1 cores=1,3,5,7
/proc/9991/task/10001/stat : 10001 (java) S 9973 9973 3762 0 -1 1077944384 755 0 0 0 10 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947141994480 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10002] ppid=9973 vsize=8068220 memory=1240 CPUtime=0.14 cores=1,3,5,7
/proc/9991/task/10002/stat : 10002 (java) S 9973 9973 3762 0 -1 1077944384 614 0 0 0 14 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947140941936 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10003] ppid=9973 vsize=8068220 memory=2196 CPUtime=0.22 cores=1,3,5,7
/proc/9991/task/10003/stat : 10003 (java) S 9973 9973 3762 0 -1 1077944384 623 0 0 0 22 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947139889392 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10004] ppid=9973 vsize=8068220 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10004/stat : 10004 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945603754592 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10005] ppid=9973 vsize=8068220 memory=18232 CPUtime=0.03 cores=1,3,5,7
/proc/9991/task/10005/stat : 10005 (java) S 9973 9973 3762 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 225318519 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947138837296 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10007] ppid=9973 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10007/stat : 10007 (java) S 9973 9973 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947684423232 139947899215641 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10009] ppid=9973 vsize=8068220 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10009/stat : 10009 (java) S 9973 9973 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945066868912 139947899212957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10010] ppid=9973 vsize=8068220 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10010/stat : 10010 (java) S 9973 9973 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225318589 8261857280 29678 33554432000 4194304 4196468 140730776845408 139945201089840 139947899212957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10011] ppid=9973 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/9991/task/10011/stat : 10011 (java) S 9973 9973 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225318592 8261857280 29678 33554432000 4194304 4196468 140730776845408 139944798444576 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
Current children cumulated CPU time: 109.94 s
Current children cumulated vsize: 8273712 KiB
Current children cumulated memory: 193652 KiB

[startup+96.6011 s]
/proc/loadavg: 3.75 3.36 3.33 6/222 10019
/proc/meminfo: memFree=3278800/32770624 swapFree=67108860/67108860
[pid=9973] ppid=9970 vsize=113128 memory=1472 CPUtime=22.22 cores=1,3,5,7
/proc/9973/stat : 9973 (scop.sh) S 9970 9973 3762 0 -1 4202496 590 166706 0 0 0 0 2131 91 20 0 1 0 225317590 115843072 368 33554432000 4194304 5098028 140720441246736 140720441243480 140066322195068 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32251904 140720441254976 140720441255175 140720441255175 140720441257933 0
/proc/9973/statm: 28282 368 311 221 0 87 0
[pid=9991] ppid=9973 vsize=8068220 memory=118712 CPUtime=1.33 cores=1,3,5,7
/proc/9991/stat : 9991 (java) S 9973 9973 3762 0 -1 1077944320 18459 0 0 0 124 9 0 0 20 0 19 0 225318513 8261857280 29678 33554432000 4194304 4196468 140730776845408 140730776827952 139947899191031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
/proc/9991/statm: 2017055 29678 3155 1 0 1978454 0
[pid=9991/tid=9992] ppid=9973 vsize=8068220 memory=2244 CPUtime=87.37 cores=1,3,5,7
/proc/9991/task/9992/stat : 9992 (java) S 9973 9973 3762 0 -1 1077944384 15039 64781 0 0 72 6 8654 5 20 0 19 0 225318513 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947871031184 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9993] ppid=9973 vsize=8068220 memory=4124 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/9993/stat : 9993 (java) S 9973 9973 3762 0 -1 1077944384 2 64781 0 0 0 0 8654 5 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947903432976 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9994] ppid=9973 vsize=8068220 memory=2092 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/9994/stat : 9994 (java) S 9973 9973 3762 0 -1 1077944384 2 64781 0 0 0 0 8654 5 20 0 19 0 225318514 8261857280 29678 33554432000 4194304 4196468 140730776845408 139947703601552 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9995] ppid=9973 vsize=8068220 memory=8148 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/9995/stat : 9995 (java) S 9973 9973 3762 0 -1 1077944384 1 64781 0 0 0 0 8654 5 20 0 19 0 225318514 8261857280 29688 33554432000 4194304 4196468 140730776845408 139947702549008 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9996] ppid=9973 vsize=8068220 memory=844 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/9996/stat : 9996 (java) S 9973 9973 3762 0 -1 1077944384 2 64781 0 0 0 0 8654 5 20 0 18 0 225318514 8261857280 29688 33554432000 4194304 4196468 140730776845408 139947701496464 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9997] ppid=9973 vsize=8068220 memory=1696 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/9997/stat : 9997 (java) S 9973 9973 3762 0 -1 1077944384 5 64781 0 0 0 0 8654 5 20 0 18 0 225318516 8261857280 29688 33554432000 4194304 4196468 140730776845408 139947143047664 139947899202178 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9998] ppid=9973 vsize=8068220 memory=920 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/9998/stat : 9998 (java) S 9973 9973 3762 0 -1 1077944384 13 64781 0 0 0 0 8654 5 20 0 18 0 225318516 8261857280 29688 33554432000 4194304 4196468 140730776845408 139946744604064 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=9999] ppid=9973 vsize=8068220 memory=288230574492221466 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/9999/stat : 9999 (java) S 9973 9973 3762 0 -1 1077944384 1 64781 0 0 0 0 8654 5 20 0 18 0 225318516 8261857280 29688 33554432000 4194304 4196468 140730776845408 139946476168688 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10000] ppid=9973 vsize=8068220 memory=301741373374332954 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/10000/stat : 10000 (java) S 9973 9973 3762 0 -1 1077944384 3 64781 0 0 0 0 8654 5 20 0 18 0 225318519 8261857280 29688 33554432000 4194304 4196468 140730776845408 139946101660368 139947899209627 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10001] ppid=9973 vsize=8068220 memory=303711719770030395 CPUtime=86.69 cores=1,3,5,7
/proc/9991/task/10001/stat : 10001 (java) S 9973 9973 3762 0 -1 1077944384 755 64781 0 0 10 0 8654 5 20 0 18 0 225318519 8261857280 29688 33554432000 4194304 4196468 140730776845408 139947141994480 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10002] ppid=9973 vsize=8068220 memory=15541829625973996 CPUtime=86.73 cores=1,3,5,7
/proc/9991/task/10002/stat : 10002 (java) S 9973 9973 3762 0 -1 1077944384 614 64781 0 0 14 0 8654 5 20 0 18 0 225318519 8261857280 29688 33554432000 4194304 4196468 140730776845408 139947140941936 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10003] ppid=9973 vsize=8068220 memory=1944 CPUtime=86.82 cores=1,3,5,7
/proc/9991/task/10003/stat : 10003 (java) S 9973 9973 3762 0 -1 1077944384 626 64781 0 0 23 0 8654 5 20 0 18 0 225318519 8261857280 29688 33554432000 4194304 4196468 140730776845408 139947139889392 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10004] ppid=9973 vsize=8068220 memory=1384 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/10004/stat : 10004 (java) S 9973 9973 3762 0 -1 1077944384 3 64781 0 0 0 0 8654 5 20 0 18 0 225318519 8261857280 29688 33554432000 4194304 4196468 140730776845408 139945603754592 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10005] ppid=9973 vsize=8068220 memory=1696 CPUtime=86.62 cores=1,3,5,7
/proc/9991/task/10005/stat : 10005 (java) S 9973 9973 3762 0 -1 1077944384 7 64781 0 0 2 1 8654 5 20 0 18 0 225318519 8261857280 29688 33554432000 4194304 4196468 140730776845408 139947138837296 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10007] ppid=9973 vsize=8068220 memory=920 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/10007/stat : 10007 (java) R 9973 9973 3762 0 -1 4202560 22 64781 0 0 0 0 8654 5 20 0 18 0 225318589 8261857280 30200 33554432000 4194304 4196468 140730776845408 139947684423232 139947899213053 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10010] ppid=9973 vsize=8068220 memory=2928 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/10010/stat : 10010 (java) S 9973 9973 3762 0 -1 1077944384 21 64781 0 0 0 0 8654 5 20 0 18 0 225318589 8261857280 30200 33554432000 4194304 4196468 140730776845408 139945201098832 139947899202178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
[pid=9991/tid=10011] ppid=9973 vsize=8068220 memory=2904 CPUtime=86.59 cores=1,3,5,7
/proc/9991/task/10011/stat : 10011 (java) S 9973 9973 3762 0 -1 1077944384 3 64781 0 0 0 0 8654 5 20 0 18 0 225318592 8261857280 30200 33554432000 4194304 4196468 140730776845408 139944798444336 139947899201237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140730776851638 140730776851761 140730776851761 140730776854479 0
Current children cumulated CPU time: 23.55 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 120184 KiB

Child status: 0
Real time (s): 96.6166
CPU time (s): 110.197
CPU user time (s): 109.117
CPU system time (s): 1.0807
CPU usage (%): 114.056
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3062000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.117
system time used= 1.0807
maximum resident set size= 3062056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8880
involuntary context switches= 146


# summary of solver processes directly reported to runsolver:
#   pid: 9973
#   total CPU time (s): 110.197
#   total CPU user time (s): 109.117
#   total CPU system time (s): 1.0807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.92639 second user time and 0.843024 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 14:39:04
IDJOB=4305314
IDBENCH=141452
IDSOLVER=2782
FILE ID=node151/4305314-1534077544
RUNJOBID= node151-1534062410-3794
PBS_JOBID= 21036982
Free space on /tmp= 41244 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-06-76_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305314-1534077544/watcher-4305314-1534077544 -o /tmp/evaluation-result-4305314-1534077544/solver-4305314-1534077544 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305314-1534077544.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b12b47f7e650fdaeab738d4a819b9f4b
RANDOM SEED=2114758580

node151.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.87
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.87
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.87
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.87
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:         3665932 kB
MemAvailable:   20034344 kB
Buffers:          257492 kB
Cached:         16184444 kB
SwapCached:            0 kB
Active:         17859360 kB
Inactive:       10485104 kB
Active(anon):    9905528 kB
Inactive(anon):  2049328 kB
Active(file):    7953832 kB
Inactive(file):  8435776 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8112 kB
Writeback:             0 kB
AnonPages:      11909904 kB
Mapped:            72132 kB
Shmem:             49800 kB
Slab:             436016 kB
SReclaimable:     407264 kB
SUnreclaim:        28752 kB
KernelStack:        3552 kB
PageTables:        28764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13046288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11264000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41236 MiB
End job on node151 at 2018-08-12 14:40:41