0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21855-serial-file.bin HOME/instance-4305579-1534072601.xml
0.54/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:16:41 CEST 2018
0.66/0.54 c PID: 21858
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.19/0.83 c (0,0) Parsing End
1.19/0.84 c (0,0) CSP: 28 int (0 aux), 0 bool (0 aux), 21 ctr, max domain size 14
1.19/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.19/0.84 c (0,0) Constraint Name Generate Begin
1.19/0.84 c (0,0) Ctr:HOME/instance-4305579-1534072601.xml,Add:Element:Eq:IntVar:Num
1.19/0.84 c (0,0) Constraint Name Generate End
1.19/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.84 c (0,0) CSP to CSPinCNF Begin
1.35/0.98 c (0,0) translated 3 (10%) constraints
1.35/1.01 c (0,0) translated 5 (20%) constraints
1.56/1.02 c (0,0) translated 7 (30%) constraints
1.56/1.04 c (0,0) translated 9 (40%) constraints
1.56/1.05 c (0,0) translated 11 (50%) constraints
1.56/1.07 c (0,0) translated 13 (60%) constraints
1.56/1.08 c (0,0) translated 15 (70%) constraints
1.56/1.09 c (0,0) translated 17 (80%) constraints
1.56/1.09 c (0,0) translated 19 (90%) constraints
1.56/1.09 c (0,0) translated 21 (100%) constraints
1.82/1.12 c (0,0) STATISTICS1:HOME/instance-4305579-1534072601.xml,Add:Element:Eq:IntVar:Num,28,203,12,12,3,2,12:2;11:2;10:2;9:2;8:2;7:2;6:2,12:30;11:30;10:30;9:30;8:30;7:226;6:30,3:196;1:7,2:14;1:588,
1.82/1.12 c (0,0) ==========================================
1.82/1.12 c (0,0) Both Encoding selects:
1.82/1.12 c (0,0) Order
1.82/1.12 c (0,0) ==========================================
1.82/1.16 c (0,0) translated 21 (10%) constraints
1.82/1.18 c (0,0) translated 41 (20%) constraints
2.02/1.20 c (0,0) translated 61 (30%) constraints
2.02/1.21 c (0,0) translated 82 (40%) constraints
2.02/1.22 c (0,0) translated 102 (50%) constraints
2.02/1.23 c (0,0) translated 122 (60%) constraints
2.02/1.23 c (0,0) translated 143 (70%) constraints
2.02/1.24 c (0,0) translated 163 (80%) constraints
2.02/1.25 c (0,0) translated 183 (90%) constraints
2.02/1.25 c (0,0) translated 203 (100%) constraints
2.02/1.26 c (0,0) CSP to CSPinCNF End
2.02/1.26 c (0,0) CSP: 28 int (0 aux), 98 bool (98 aux), 602 ctr, max domain size 12
2.02/1.26 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.26 c (0,0) CSPinCNF Propagation Begin
2.02/1.30 c (0,0) 0 values, 98 unsatisfiable literals, and 126 valid clauses are removed
2.02/1.30 c (0,0) CSPinCNF Propagation End
2.02/1.30 c (0,0) CSP: 28 int (0 aux), 98 bool (98 aux), 476 ctr, max domain size 12
2.02/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.30 c (0,0) Simplify CSPinCNF Begin
2.29/1.30 c (0,0) Simplify CSPinCNF End
2.29/1.30 c (0,0) CSP: 28 int (0 aux), 98 bool (98 aux), 476 ctr, max domain size 12
2.29/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.29/1.30 c (0,0) Calculate Precise Domain Begin
2.29/1.31 c (0,0) 0 values are removed by re-calculation
2.29/1.31 c (0,0) Calculate Precise Domain End
2.29/1.31 c (0,0) CSP: 28 int (0 aux), 98 bool (98 aux), 476 ctr, max domain size 12
2.29/1.31 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.29/1.31 c (0,0) CSPinCNF to SatSolver Begin
2.29/1.34 c (0,0) 48 (10 %) CSP clauses are encoded (294 SAT variables, 215 SAT clauses)
2.29/1.34 c (0,0) 96 (20 %) CSP clauses are encoded (294 SAT variables, 263 SAT clauses)
2.29/1.35 c (0,0) 143 (30 %) CSP clauses are encoded (294 SAT variables, 310 SAT clauses)
2.29/1.35 c (0,0) 191 (40 %) CSP clauses are encoded (294 SAT variables, 358 SAT clauses)
2.29/1.36 c (0,0) 238 (50 %) CSP clauses are encoded (294 SAT variables, 405 SAT clauses)
2.29/1.36 c (0,0) 286 (60 %) CSP clauses are encoded (294 SAT variables, 453 SAT clauses)
2.29/1.36 c (0,0) 334 (70 %) CSP clauses are encoded (294 SAT variables, 501 SAT clauses)
2.29/1.37 c (0,0) 381 (80 %) CSP clauses are encoded (294 SAT variables, 548 SAT clauses)
2.29/1.37 c (0,0) 429 (90 %) CSP clauses are encoded (294 SAT variables, 596 SAT clauses)
2.29/1.38 c (0,0) 476 (100 %) CSP clauses are encoded (294 SAT variables, 737 SAT clauses)
2.29/1.38 c (0,0) Launch Command will be: minisat_release
2.29/1.38 c (0,0) CSPinCNF to SatSolver End
2.29/1.38 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.29/1.40 c (0,0) STATISTICS2:HOME/instance-4305579-1534072601.xml,Add:Element:Eq:IntVar:Num,126,476,12,12,3,2,12:2;11:2;10:2;9:2;8:2;7:2;6:2,12:48;11:44;10:40;9:36;8:32;7:364;6:24;2:462,3:98;2:364;1:14,2:14;1:1022,
2.29/1.40 c (0,0) 294 bool, 742 clause
2.29/1.40 c (0,0) Export Begin
2.56/1.47 c (0,0) Export to HOME/scop-21855-serial-file.bin
2.56/1.47 c (0,0) Export End
2.56/1.47 c (0,0) Export File Size: 0.01 MB
2.56/1.47 c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.56/1.47 c END-Prog: Sun Aug 12 13:16:42 CEST 2018
2.56/1.48 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21855-serial-file.bin
2.71/1.97 c (0,0) Read Serial File Begin
2.71/1.97 c (0,0) HOME/scop-21855-serial-file.bin
3.56/2.12 c (0,0) Read Serial File End
3.56/2.13
3.56/2.13 scop order+minisat_release (2018-07-31)
3.56/2.13 (Solving Process)
3.56/2.13
3.56/2.15 c BEGIN-Prog: Sun Aug 12 13:16:43 CEST 2018
3.56/2.15 c PID: 21873
3.56/2.15 c IP: 172.20.3.135
3.56/2.15 c HOST: node135.alineos.net
3.56/2.16 c (0,0) SatSolver.solve Begin
3.56/2.16 c (0,0) 0 bool, 0 clause
3.56/2.16 c (0,0) minisat_release HOME/instance-4305579-1534072601.xml-scop-21858.cnf
3.56/2.19 c (0,0) c This is COMiniSatPS.
3.56/2.19 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.56/2.19 c (0,0) c ============================[ Problem Statistics ]=============================
3.56/2.19 c (0,0) c | |
3.56/2.19 c (0,0) c | Number of variables: 294 |
3.56/2.19 c (0,0) c | Number of clauses: 742 |
3.56/2.19 c (0,0) c | Parse time: 0.00 s |
3.56/2.19 c (0,0) c | Eliminated clauses: 0.00 Mb |
3.56/2.19 c (0,0) c Reduced to 145 vars, 471 cls (grow=0)
3.56/2.19 c (0,0) c No iterative elimination performed. (vars=145, c/v ratio=3.2)
3.56/2.19 c (0,0) c | Simplification time: 0.00 s |
3.56/2.19 c (0,0) c | |
3.56/2.19 c (0,0) c ============================[ Search Statistics ]==============================
3.56/2.19 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.56/2.19 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.56/2.19 c (0,0) c ===============================================================================
3.56/2.19 c (0,0) c ===============================================================================
3.56/2.19 c (0,0) c restarts : 1
3.56/2.19 c (0,0) c conflicts : 25 (12031 /sec)
3.56/2.19 c (0,0) c decisions : 57 (0.00 % random) (27430 /sec)
3.56/2.19 c (0,0) c propagations : 843 (405679 /sec)
3.56/2.19 c (0,0) c conflict literals : 221 (10.89 % deleted)
3.56/2.19 c (0,0) c CPU time : 0.002078 s
3.56/2.19 c (0,0)
3.56/2.19 c (0,0) s SATISFIABLE
3.74/2.23 c (0,0) SatSolver.solve End
3.74/2.23 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.74/2.23 c (0,0) Show results Begin
3.74/2.29 s SATISFIABLE
3.74/2.29 v <instantiation>
3.74/2.29 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13]</list>
3.74/2.29 v <values>1 5 1 7 3 4 6 5 3 2 4 7 2 6 2 0 12 9 8 4 10 5 7 1 13 6 11 3</values>
3.74/2.29 v </instantiation>
3.74/2.29 c (0,0) Show results End
3.74/2.30 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
3.74/2.30 c (0,0) 0,0,STOP-AFTER(ALL)
3.74/2.30 c END-Prog: Sun Aug 12 13:16:43 CEST 2018
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 (6885 MiB free)
memory of node 1: 16384 MiB (4467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305579-1534072601/watcher-4305579-1534072601 -o /tmp/evaluation-result-4305579-1534072601/solver-4305579-1534072601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305579-1534072601.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21855, runsolver pid=21852
[startup+0.100166 s]*
/proc/loadavg: 2.01 2.03 2.05 3/225 21872
/proc/meminfo: memFree=11565340/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224823230 115843072 349 33554432000 4194304 5098028 140732864739120 140732864736376 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 349 296 221 0 87 0
[pid=21858] ppid=21855 vsize=15012476 memory=72436 CPUtime=0.11 cores=0,2,4,6
/proc/21858/stat : 21858 (java) S 21855 21855 19383 0 -1 1077944320 6733 0 0 0 9 2 0 0 20 0 15 0 224823231 15372775424 18109 33554432000 4194304 4196468 140737255112128 140737255094672 139855563718391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
/proc/21858/statm: 3753119 18109 2770 1 0 3715579 0
[pid=21858/tid=21859] ppid=21855 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=0,2,4,6
/proc/21858/task/21859/stat : 21859 (java) R 21855 21855 19383 0 -1 4202560 4827 0 0 0 7 1 0 0 20 0 15 0 224823231 15372775424 18109 33554432000 4194304 4196468 140737255112128 139855535530376 139855545281943 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21860] ppid=21855 vsize=15012476 memory=3472468496656639664 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21860/stat : 21860 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 18109 33554432000 4194304 4196468 140737255112128 139855567960976 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21861] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21861/stat : 21861 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 18109 33554432000 4194304 4196468 140737255112128 139855343663888 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21862] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21862/stat : 21862 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 18109 33554432000 4194304 4196468 140737255112128 139855023565968 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21863] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21863/stat : 21863 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 18109 33554432000 4194304 4196468 140737255112128 139855022513168 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21864] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21864/stat : 21864 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823234 15372775424 18109 33554432000 4194304 4196468 140737255112128 139854533867632 139855563729538 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21865] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21865/stat : 21865 (java) S 21855 21855 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823235 15372775424 18109 33554432000 4194304 4196468 140737255112128 139854134371104 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21866] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21866/stat : 21866 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823235 15372775424 18109 33554432000 4194304 4196468 140737255112128 139853865935984 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21867] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21867/stat : 21867 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823237 15372775424 18109 33554432000 4194304 4196468 140737255112128 139853491427408 139855563736987 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21868] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21868/stat : 21868 (java) S 21855 21855 19383 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224823237 15372775424 18109 33554432000 4194304 4196468 140737255112128 139854532815472 139855563729538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21869] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21869/stat : 21869 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823237 15372775424 18109 33554432000 4194304 4196468 140737255112128 139854531762672 139855563729538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21870] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0.01 cores=0,2,4,6
/proc/21858/task/21870/stat : 21870 (java) S 21855 21855 19383 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 224823237 15372775424 18109 33554432000 4194304 4196468 140737255112128 139854530710384 139855563729538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21871] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21871/stat : 21871 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823238 15372775424 18109 33554432000 4194304 4196468 140737255112128 139852993522656 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21872] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21872/stat : 21872 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823238 15372775424 18109 33554432000 4194304 4196468 140737255112128 139854529657264 139855563729538 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73832 KiB
[startup+0.211845 s]*
/proc/loadavg: 2.01 2.03 2.05 3/225 21872
/proc/meminfo: memFree=11551604/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224823230 115843072 349 33554432000 4194304 5098028 140732864739120 140732864736376 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 349 296 221 0 87 0
[pid=21858] ppid=21855 vsize=15012476 memory=85504 CPUtime=0.26 cores=0,2,4,6
/proc/21858/stat : 21858 (java) S 21855 21855 19383 0 -1 1077944320 10275 0 0 0 23 3 0 0 20 0 15 0 224823231 15372775424 21376 33554432000 4194304 4196468 140737255112128 140737255094672 139855563718391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
/proc/21858/statm: 3753119 21376 2877 1 0 3715579 0
[pid=21858/tid=21859] ppid=21855 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/21858/task/21859/stat : 21859 (java) R 21855 21855 19383 0 -1 4202560 8185 0 0 0 18 2 0 0 20 0 15 0 224823231 15372775424 21376 33554432000 4194304 4196468 140737255112128 139855535527136 139855563730326 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21860] ppid=21855 vsize=15012476 memory=3472468496656639664 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21860/stat : 21860 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 21376 33554432000 4194304 4196468 140737255112128 139855567960976 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21861] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21861/stat : 21861 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 21376 33554432000 4194304 4196468 140737255112128 139855343663888 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21862] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21862/stat : 21862 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 21376 33554432000 4194304 4196468 140737255112128 139855023565968 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21863] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21863/stat : 21863 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 21376 33554432000 4194304 4196468 140737255112128 139855022513168 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21864] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21864/stat : 21864 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823234 15372775424 21376 33554432000 4194304 4196468 140737255112128 139854533867632 139855563729538 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21865] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21865/stat : 21865 (java) S 21855 21855 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823235 15372775424 21376 33554432000 4194304 4196468 140737255112128 139854134371104 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21866] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21866/stat : 21866 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823235 15372775424 21376 33554432000 4194304 4196468 140737255112128 139853865935984 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21867] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21867/stat : 21867 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823237 15372775424 21376 33554432000 4194304 4196468 140737255112128 139853491427408 139855563736987 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21868] ppid=21855 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21868/stat : 21868 (java) R 21855 21855 19383 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 15 0 224823237 15372775424 21376 33554432000 4194304 4196468 140737255112128 139854532807120 139855542867080 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21869] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21869/stat : 21869 (java) R 21855 21855 19383 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224823237 15372775424 21376 33554432000 4194304 4196468 140737255112128 139854531762768 139855563728597 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21870] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0.03 cores=0,2,4,6
/proc/21858/task/21870/stat : 21870 (java) R 21855 21855 19383 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 224823237 15372775424 21376 33554432000 4194304 4196468 140737255112128 139854530710384 139855563730326 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21871] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21871/stat : 21871 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823238 15372775424 21376 33554432000 4194304 4196468 140737255112128 139852993522656 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21872] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21872/stat : 21872 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823238 15372775424 21376 33554432000 4194304 4196468 140737255112128 139854529657264 139855563729538 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86900 KiB
[startup+0.310934 s]*
/proc/loadavg: 2.01 2.03 2.05 3/225 21872
/proc/meminfo: memFree=11547976/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224823230 115843072 349 33554432000 4194304 5098028 140732864739120 140732864736376 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 349 296 221 0 87 0
[pid=21858] ppid=21855 vsize=15012476 memory=89708 CPUtime=0.43 cores=0,2,4,6
/proc/21858/stat : 21858 (java) S 21855 21855 19383 0 -1 1077944320 10896 0 0 0 40 3 0 0 20 0 15 0 224823231 15372775424 22427 33554432000 4194304 4196468 140737255112128 140737255094672 139855563718391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
/proc/21858/statm: 3753119 22427 2979 1 0 3715579 0
[pid=21858/tid=21859] ppid=21855 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/21858/task/21859/stat : 21859 (java) R 21855 21855 19383 0 -1 4202560 8621 0 0 0 27 2 0 0 20 0 15 0 224823231 15372775424 22427 33554432000 4194304 4196468 140737255112128 139855535513392 139855547798878 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21860] ppid=21855 vsize=15012476 memory=3472468496656639664 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21860/stat : 21860 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 22427 33554432000 4194304 4196468 140737255112128 139855567960976 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21861] ppid=21855 vsize=15012476 memory=280400710974336 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21861/stat : 21861 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 22427 33554432000 4194304 4196468 140737255112128 139855343663888 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21862] ppid=21855 vsize=15012476 memory=280400564062240 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21862/stat : 21862 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 22427 33554432000 4194304 4196468 140737255112128 139855023565968 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21863] ppid=21855 vsize=15012476 memory=140200282014991 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21863/stat : 21863 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15372775424 22427 33554432000 4194304 4196468 140737255112128 139855022513168 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21864] ppid=21855 vsize=15012476 memory=280400710981248 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21864/stat : 21864 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823234 15372775424 22427 33554432000 4194304 4196468 140737255112128 139854533867632 139855563729538 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21865] ppid=21855 vsize=15012476 memory=140200282019599 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21865/stat : 21865 (java) S 21855 21855 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823235 15372775424 22427 33554432000 4194304 4196468 140737255112128 139854134371104 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21866] ppid=21855 vsize=15012476 memory=140200282043456 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21866/stat : 21866 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823235 15372775424 22427 33554432000 4194304 4196468 140737255112128 139853865935984 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21867] ppid=21855 vsize=15012476 memory=280400564071456 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21867/stat : 21867 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823237 15372775424 22427 33554432000 4194304 4196468 140737255112128 139853491427408 139855563736987 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21868] ppid=21855 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21858/task/21868/stat : 21868 (java) R 21855 21855 19383 0 -1 4202560 499 0 0 0 2 0 0 0 20 0 15 0 224823237 15372775424 22427 33554432000 4194304 4196468 140737255112128 139854532815472 139855548115074 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21869] ppid=21855 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21858/task/21869/stat : 21869 (java) R 21855 21855 19383 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 15 0 224823237 15372775424 22427 33554432000 4194304 4196468 140737255112128 139854531762672 139855563729538 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21870] ppid=21855 vsize=15012476 memory=140200428959360 CPUtime=0.07 cores=0,2,4,6
/proc/21858/task/21870/stat : 21870 (java) R 21855 21855 19383 0 -1 4202560 332 0 0 0 7 0 0 0 20 0 15 0 224823237 15372775424 22427 33554432000 4194304 4196468 140737255112128 139854530710384 139855542587677 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21871] ppid=21855 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21871/stat : 21871 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823238 15372775424 22427 33554432000 4194304 4196468 140737255112128 139852993522656 139855563728597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21872] ppid=21855 vsize=15012476 memory=140200428960756 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21872/stat : 21872 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823238 15372775424 22427 33554432000 4194304 4196468 140737255112128 139854529657264 139855563729538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91104 KiB
[startup+0.70074 s]
/proc/loadavg: 2.01 2.03 2.05 3/225 21872
/proc/meminfo: memFree=11523816/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224823230 115843072 349 33554432000 4194304 5098028 140732864739120 140732864736376 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 349 296 221 0 87 0
[pid=21858] ppid=21855 vsize=15020872 memory=129788 CPUtime=1.01 cores=0,2,4,6
/proc/21858/stat : 21858 (java) S 21855 21855 19383 0 -1 1077944320 18108 0 0 0 96 5 0 0 20 0 15 0 224823231 15381372928 32447 33554432000 4194304 4196468 140737255112128 140737255094672 139855563718391 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
/proc/21858/statm: 3755218 32447 3155 1 0 3716603 0
[pid=21858/tid=21859] ppid=21855 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/21858/task/21859/stat : 21859 (java) R 21855 21855 19383 0 -1 4202560 15400 0 0 0 63 4 0 0 20 0 15 0 224823231 15381372928 32447 33554432000 4194304 4196468 140737255112128 139855535551920 139855563739738 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21860] ppid=21855 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21860/stat : 21860 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15381372928 32447 33554432000 4194304 4196468 140737255112128 139855567960976 139855563728597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21861] ppid=21855 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21861/stat : 21861 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15381372928 32447 33554432000 4194304 4196468 140737255112128 139855343663888 139855563728597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21862] ppid=21855 vsize=15020872 memory=7518566443438921825 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21862/stat : 21862 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823233 15381372928 32447 33554432000 4194304 4196468 140737255112128 139855023565968 139855563728597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21863] ppid=21855 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21863/stat : 21863 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823233 15381372928 32447 33554432000 4194304 4196468 140737255112128 139855022513168 139855563728597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21864] ppid=21855 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21864/stat : 21864 (java) S 21855 21855 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224823234 15381372928 32447 33554432000 4194304 4196468 140737255112128 139854533867632 139855563729538 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21865] ppid=21855 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21865/stat : 21865 (java) S 21855 21855 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823235 15381372928 32447 33554432000 4194304 4196468 140737255112128 139854134371104 139855563728597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21866] ppid=21855 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21866/stat : 21866 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823235 15381372928 32447 33554432000 4194304 4196468 140737255112128 139853865935984 139855563728597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21867] ppid=21855 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21867/stat : 21867 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823237 15381372928 32447 33554432000 4194304 4196468 140737255112128 139853491427408 139855563736987 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21868] ppid=21855 vsize=15020872 memory=12144 CPUtime=0.09 cores=0,2,4,6
/proc/21858/task/21868/stat : 21868 (java) S 21855 21855 19383 0 -1 1077944384 751 0 0 0 9 0 0 0 20 0 15 0 224823237 15381372928 32447 33554432000 4194304 4196468 140737255112128 139854532815472 139855563729538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21869] ppid=21855 vsize=15020872 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/21858/task/21869/stat : 21869 (java) R 21855 21855 19383 0 -1 1077944384 181 0 0 0 7 0 0 0 20 0 15 0 224823237 15381372928 32447 33554432000 4194304 4196468 140737255112128 139854531762672 139855563729538 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21870] ppid=21855 vsize=15020872 memory=8812 CPUtime=0.15 cores=0,2,4,6
/proc/21858/task/21870/stat : 21870 (java) R 21855 21855 19383 0 -1 4202560 441 0 0 0 15 0 0 0 20 0 15 0 224823237 15381372928 32447 33554432000 4194304 4196468 140737255112128 139854530710384 139855547798878 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21871] ppid=21855 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21871/stat : 21871 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823238 15381372928 32447 33554432000 4194304 4196468 140737255112128 139852993522656 139855563728597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
[pid=21858/tid=21872] ppid=21855 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/21858/task/21872/stat : 21872 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823238 15381372928 32447 33554432000 4194304 4196468 140737255112128 139854529657264 139855563729538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31965184 140737255117831 140737255118129 140737255118129 140737255120847 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131184 KiB
[startup+1.50089 s]
/proc/loadavg: 2.01 2.03 2.05 3/225 21872
/proc/meminfo: memFree=11494908/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1472 CPUtime=2.71 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 591 22679 0 0 0 0 263 8 20 0 1 0 224823230 115843072 368 33554432000 4194304 5098028 140732864739120 140732864735864 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.30695 s]
# the end of solver process 21855 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.77136 s, system=0.171232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60047 s]
/proc/loadavg: 2.01 2.03 2.05 3/225 21872
/proc/meminfo: memFree=11494908/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1472 CPUtime=2.71 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 591 22679 0 0 0 0 263 8 20 0 1 0 224823230 115843072 368 33554432000 4194304 5098028 140732864739120 140732864735864 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.00023 s]*
/proc/loadavg: 2.01 2.03 2.05 3/225 21887
/proc/meminfo: memFree=11546644/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1472 CPUtime=2.71 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 591 22679 0 0 0 0 263 8 20 0 1 0 224823230 115843072 368 33554432000 4194304 5098028 140732864739120 140732864735864 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 368 311 221 0 87 0
[pid=21873] ppid=21855 vsize=7406384 memory=91044 CPUtime=0.7 cores=0,2,4,6
/proc/21873/stat : 21873 (java) S 21855 21855 19383 0 -1 1077944320 16439 0 0 0 65 5 0 0 20 0 15 0 224823379 7584137216 22761 33554432000 4194304 4196468 140722634661440 140722634643984 140344114093815 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
/proc/21873/statm: 1851596 22761 3054 1 0 1813530 0
[pid=21873/tid=21874] ppid=21855 vsize=7406384 memory=96043723131626 CPUtime=0.5 cores=0,2,4,6
/proc/21873/task/21874/stat : 21874 (java) R 21855 21855 19383 0 -1 4202560 14079 0 0 0 46 4 0 0 20 0 15 0 224823379 7584137216 22826 33554432000 4194304 4196468 140722634661440 140344085921184 140344098174302 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21875] ppid=21855 vsize=7406384 memory=280400563802096 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21875/stat : 21875 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823381 7584137216 22826 33554432000 4194304 4196468 140722634661440 140344118336528 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21876] ppid=21855 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21876/stat : 21876 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823381 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343918505104 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21877] ppid=21855 vsize=7406384 memory=280400563798256 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21877/stat : 21877 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823381 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343917452048 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21878] ppid=21855 vsize=7406384 memory=280400563802096 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21878/stat : 21878 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823381 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343916399504 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21879] ppid=21855 vsize=7406384 memory=280400563802096 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21879/stat : 21879 (java) S 21855 21855 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823382 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343492208880 140344114104962 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21880] ppid=21855 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (java) S 21855 21855 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823382 7584137216 22826 33554432000 4194304 4196468 140722634661440 140342955336864 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21881] ppid=21855 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21881/stat : 21881 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823383 7584137216 22826 33554432000 4194304 4196468 140722634661440 140342686900976 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21882] ppid=21855 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21882/stat : 21882 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823385 7584137216 22826 33554432000 4194304 4196468 140722634661440 140342312392656 140344114112411 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21883] ppid=21855 vsize=7406384 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21873/task/21883/stat : 21883 (java) S 21855 21855 19383 0 -1 1077944384 485 0 0 0 3 0 0 0 20 0 15 0 224823385 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343491156720 140344114104962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21884] ppid=21855 vsize=7406384 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21873/task/21884/stat : 21884 (java) S 21855 21855 19383 0 -1 1077944384 151 0 0 0 3 0 0 0 20 0 15 0 224823385 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343490104176 140344114104962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21885] ppid=21855 vsize=7406384 memory=-1088251628401078322 CPUtime=0.11 cores=0,2,4,6
/proc/21873/task/21885/stat : 21885 (java) S 21855 21855 19383 0 -1 1077944384 394 0 0 0 11 0 0 0 20 0 15 0 224823385 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343489051120 140344114104962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21886] ppid=21855 vsize=7406384 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21886/stat : 21886 (java) S 21855 21855 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823385 7584137216 22826 33554432000 4194304 4196468 140722634661440 140341814487904 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21887] ppid=21855 vsize=7406384 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21887/stat : 21887 (java) S 21855 21855 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823385 7584137216 22826 33554432000 4194304 4196468 140722634661440 140343487998512 140344114104962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 92516 KiB
[startup+2.20072 s]
/proc/loadavg: 2.01 2.03 2.05 3/225 21887
/proc/meminfo: memFree=11546644/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1472 CPUtime=2.71 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 591 22679 0 0 0 0 263 8 20 0 1 0 224823230 115843072 368 33554432000 4194304 5098028 140732864739120 140732864735864 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 368 311 221 0 87 0
[pid=21873] ppid=21855 vsize=7935096 memory=113476 CPUtime=1.03 cores=0,2,4,6
/proc/21873/stat : 21873 (java) S 21855 21855 19383 0 -1 1077944320 18093 456 0 0 97 6 0 0 20 0 17 0 224823379 8125538304 28369 33554432000 4194304 4196468 140722634661440 140722634643984 140344114093815 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
/proc/21873/statm: 1983774 28369 3143 1 0 1945173 0
[pid=21873/tid=21874] ppid=21855 vsize=7935096 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/21873/task/21874/stat : 21874 (java) R 21855 21855 19383 0 -1 4202560 15202 456 0 0 63 5 0 0 20 0 17 0 224823379 8125538304 28369 33554432000 4194304 4196468 140722634661440 140344085913928 140344098174302 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21875] ppid=21855 vsize=7935096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21875/stat : 21875 (java) S 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 17 0 224823381 8125538304 28369 33554432000 4194304 4196468 140722634661440 140344118336528 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21876] ppid=21855 vsize=7935096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21876/stat : 21876 (java) S 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 17 0 224823381 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343918505104 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21877] ppid=21855 vsize=7935096 memory=3472468495701239248 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21877/stat : 21877 (java) S 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 17 0 224823381 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343917452048 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21878] ppid=21855 vsize=7935096 memory=288230617492240660 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21878/stat : 21878 (java) S 21855 21855 19383 0 -1 1077944384 2 456 0 0 0 0 0 0 20 0 17 0 224823381 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343916399504 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21879] ppid=21855 vsize=7935096 memory=14128944282620519 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21879/stat : 21879 (java) S 21855 21855 19383 0 -1 1077944384 5 456 0 0 0 0 0 0 20 0 17 0 224823382 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343492208880 140344114104962 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21880] ppid=21855 vsize=7935096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (java) S 21855 21855 19383 0 -1 1077944384 13 456 0 0 0 0 0 0 20 0 17 0 224823382 8125538304 28369 33554432000 4194304 4196468 140722634661440 140342955336864 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21881] ppid=21855 vsize=7935096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21881/stat : 21881 (java) S 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 17 0 224823383 8125538304 28369 33554432000 4194304 4196468 140722634661440 140342686900976 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21882] ppid=21855 vsize=7935096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21882/stat : 21882 (java) S 21855 21855 19383 0 -1 1077944384 3 456 0 0 0 0 0 0 20 0 17 0 224823385 8125538304 28369 33554432000 4194304 4196468 140722634661440 140342312392656 140344114112411 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21883] ppid=21855 vsize=7935096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21873/task/21883/stat : 21883 (java) S 21855 21855 19383 0 -1 1077944384 701 456 0 0 8 0 0 0 20 0 17 0 224823385 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343491156720 140344114104962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21884] ppid=21855 vsize=7935096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21873/task/21884/stat : 21884 (java) S 21855 21855 19383 0 -1 1077944384 246 456 0 0 7 0 0 0 20 0 17 0 224823385 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343490104176 140344114104962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21885] ppid=21855 vsize=7935096 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/21873/task/21885/stat : 21885 (java) R 21855 21855 19383 0 -1 1077944384 510 456 0 0 16 0 0 0 20 0 17 0 224823385 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343489051120 140344114104962 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21886] ppid=21855 vsize=7935096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21886/stat : 21886 (java) S 21855 21855 19383 0 -1 1077944384 3 456 0 0 0 0 0 0 20 0 17 0 224823385 8125538304 28369 33554432000 4194304 4196468 140722634661440 140341814487904 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21887] ppid=21855 vsize=7935096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21887/stat : 21887 (java) S 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 17 0 224823385 8125538304 28369 33554432000 4194304 4196468 140722634661440 140343487998512 140344114104962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 8048224 KiB
Current children cumulated memory: 114948 KiB
[startup+2.30069 s]
/proc/loadavg: 2.01 2.03 2.05 3/225 21887
/proc/meminfo: memFree=11546644/32770624 swapFree=67108860/67108860
[pid=21855] ppid=21852 vsize=113128 memory=1472 CPUtime=2.71 cores=0,2,4,6
/proc/21855/stat : 21855 (scop.sh) S 21852 21855 19383 0 -1 4202496 591 22679 0 0 0 0 263 8 20 0 1 0 224823230 115843072 368 33554432000 4194304 5098028 140732864739120 140732864735864 139651262161532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140732864742465 140732864742663 140732864742663 140732864745421 0
/proc/21855/statm: 28282 368 311 221 0 87 0
[pid=21873] ppid=21855 vsize=7806068 memory=120088 CPUtime=1.2 cores=0,2,4,6
/proc/21873/stat : 21873 (java) S 21855 21855 19383 0 -1 1077944320 18757 456 0 0 113 7 0 0 20 0 16 0 224823379 7993413632 30022 33554432000 4194304 4196468 140722634661440 140722634643984 140344114093815 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
/proc/21873/statm: 1951517 30022 3155 1 0 1912916 0
[pid=21873/tid=21874] ppid=21855 vsize=0 memory=1472 CPUtime=0.78 cores=0,2,4,6
/proc/21873/task/21874/stat : 21874 (java) R 21855 21855 19383 0 -1 4194372 15744 456 0 0 72 6 0 0 20 0 15 0 224823379 0 0 33554432000 0 0 0 0 0 0 0 2 25189581 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=21873/tid=21875] ppid=21855 vsize=7672936 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21875/stat : 21875 (java) S 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 14 0 224823381 7857086464 30000 33554432000 4194304 4196468 140722634661440 140344118336528 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21876] ppid=21855 vsize=7672936 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21876/stat : 21876 (java) S 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 14 0 224823381 7857086464 30000 33554432000 4194304 4196468 140722634661440 140343918505104 140344114104021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21877] ppid=21855 vsize=7672936 memory=97216 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21877/stat : 21877 (java) R 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 14 0 224823381 7857086464 30005 33554432000 4194304 4196468 140722634661440 140343917452048 140344114104021 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21878] ppid=21855 vsize=7672936 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21878/stat : 21878 (java) R 21855 21855 19383 0 -1 1077944384 2 456 0 0 0 0 0 0 20 0 13 0 224823381 7857086464 30022 33554432000 4194304 4196468 140722634661440 140343916399504 140344114104021 256 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
[pid=21873/tid=21881] ppid=21855 vsize=7672936 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21881/stat : 21881 (java) R 21855 21855 19383 0 -1 1077944384 1 456 0 0 0 0 0 0 20 0 6 0 224823383 7857086464 30110 33554432000 4194304 4196468 140722634661440 140342686900976 140344114104021 256 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28934144 140722634667189 140722634667313 140722634667313 140722634670031 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 7919196 KiB
Current children cumulated memory: 121560 KiB
Child status: 0
Real time (s): 2.307
CPU time (s): 3.94259
CPU user time (s): 3.77136
CPU system time (s): 0.171232
CPU usage (%): 170.897
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 172620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.77136
system time used= 0.171232
maximum resident set size= 177880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4632
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 21855
# total CPU time (s): 3.94259
# total CPU user time (s): 3.77136
# total CPU system time (s): 0.171232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041408 second user time and 0.069207 second system time
The end