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-20645-serial-file.bin HOME/instance-4305628-1534067320.xml
0.55/0.51
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 11:48:41 CEST 2018
0.66/0.54 c PID: 20648
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.20/0.83 c (0,0) Parsing End
1.20/0.84 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 17 ctr, max domain size 16
1.20/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.20/0.84 c (0,0) Constraint Name Generate Begin
1.20/0.84 c (0,0) Ctr:HOME/instance-4305628-1534067320.xml,AllDifferent:Dist:Eq:IntVar
1.20/0.84 c (0,0) Constraint Name Generate End
1.20/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.84 c (0,0) CSP to CSPinCNF Begin
1.37/0.94 c (0,0) translated 2 (10%) constraints
1.37/0.95 c (0,0) translated 4 (20%) constraints
1.37/0.96 c (0,0) translated 6 (30%) constraints
1.37/0.97 c (0,0) translated 7 (40%) constraints
1.37/0.97 c (0,0) translated 9 (50%) constraints
1.37/0.98 c (0,0) translated 11 (60%) constraints
1.37/0.98 c (0,0) translated 12 (70%) constraints
1.37/0.99 c (0,0) translated 14 (80%) constraints
1.37/1.00 c (0,0) translated 16 (90%) constraints
1.57/1.03 c (0,0) translated 17 (100%) constraints
1.81/1.15 c (0,0) STATISTICS1:HOME/instance-4305628-1534067320.xml,AllDifferent:Dist:Eq:IntVar,24,190,240,16,15,3,240:60;16:36;15:105,16:210;15:300,15:2;9:2;2:156;1:30,3:60;2:141;1:48,
1.81/1.15 c (0,0) ==========================================
1.81/1.15 c (0,0) Both Encoding selects:
1.81/1.15 c (0,0) Order
1.81/1.15 c (0,0) ==========================================
1.81/1.17 c (0,0) translated 19 (10%) constraints
1.81/1.18 c (0,0) translated 38 (20%) constraints
1.81/1.18 c (0,0) translated 57 (30%) constraints
1.81/1.19 c (0,0) translated 76 (40%) constraints
1.81/1.20 c (0,0) translated 95 (50%) constraints
2.04/1.20 c (0,0) translated 114 (60%) constraints
2.04/1.21 c (0,0) translated 133 (70%) constraints
2.04/1.21 c (0,0) translated 152 (80%) constraints
2.04/1.22 c (0,0) translated 171 (90%) constraints
2.04/1.22 c (0,0) translated 190 (100%) constraints
2.04/1.23 c (0,0) CSP to CSPinCNF End
2.04/1.23 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 16
2.04/1.23 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.04/1.23 c (0,0) CSPinCNF Propagation Begin
2.04/1.24 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.04/1.24 c (0,0) CSPinCNF Propagation End
2.04/1.24 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 16
2.04/1.24 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.04/1.24 c (0,0) Simplify CSPinCNF Begin
2.28/1.30 c (0,0) Simplify CSPinCNF End
2.28/1.31 c (0,0) CSP: 24 int (0 aux), 312 bool (312 aux), 502 ctr, max domain size 16
2.28/1.31 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.28/1.31 c (0,0) Calculate Precise Domain Begin
2.28/1.31 c (0,0) 0 values are removed by re-calculation
2.28/1.31 c (0,0) Calculate Precise Domain End
2.28/1.31 c (0,0) CSP: 24 int (0 aux), 312 bool (312 aux), 502 ctr, max domain size 16
2.28/1.31 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.28/1.31 c (0,0) CSPinCNF to SatSolver Begin
2.53/1.44 c (0,0) 51 (10 %) CSP clauses are encoded (657 SAT variables, 5131 SAT clauses)
2.53/1.46 c (0,0) 101 (20 %) CSP clauses are encoded (657 SAT variables, 7801 SAT clauses)
2.53/1.47 c (0,0) 151 (30 %) CSP clauses are encoded (657 SAT variables, 8361 SAT clauses)
2.53/1.48 c (0,0) 201 (40 %) CSP clauses are encoded (657 SAT variables, 8881 SAT clauses)
2.53/1.48 c (0,0) 251 (50 %) CSP clauses are encoded (657 SAT variables, 9393 SAT clauses)
2.53/1.49 c (0,0) 302 (60 %) CSP clauses are encoded (657 SAT variables, 9920 SAT clauses)
2.53/1.49 c (0,0) 352 (70 %) CSP clauses are encoded (657 SAT variables, 10432 SAT clauses)
2.88/1.50 c (0,0) 402 (80 %) CSP clauses are encoded (657 SAT variables, 10958 SAT clauses)
2.88/1.50 c (0,0) 452 (90 %) CSP clauses are encoded (657 SAT variables, 11470 SAT clauses)
2.88/1.50 c (0,0) 502 (100 %) CSP clauses are encoded (657 SAT variables, 11982 SAT clauses)
2.88/1.50 c (0,0) Launch Command will be: minisat_release
2.88/1.50 c (0,0) CSPinCNF to SatSolver End
2.88/1.50 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.88/1.53 c (1,0) STATISTICS2:HOME/instance-4305628-1534067320.xml,AllDifferent:Dist:Eq:IntVar,336,502,240,16,15,3,240:60;16:72;15:210,16:282;15:510;2:624,15:2;9:2;2:468;1:30,3:60;2:282;1:672,
2.88/1.53 c (1,0) 657 bool, 11983 clause
2.88/1.53 c (1,0) Export Begin
3.20/1.60 c (1,1) Export to HOME/scop-20645-serial-file.bin
3.20/1.60 c (1,1) Export End
3.20/1.60 c (1,1) Export File Size: 0.01 MB
3.20/1.60 c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
3.20/1.60 c END-Prog: Sun Aug 12 11:48:42 CEST 2018
3.20/1.62 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20645-serial-file.bin
3.85/2.11 c (0,0) Read Serial File Begin
3.85/2.11 c (0,0) HOME/scop-20645-serial-file.bin
3.99/2.26 c (0,0) Read Serial File End
3.99/2.28
3.99/2.28 scop order+minisat_release (2018-07-31)
3.99/2.28 (Solving Process)
3.99/2.28
4.13/2.30 c BEGIN-Prog: Sun Aug 12 11:48:43 CEST 2018
4.13/2.30 c PID: 20663
4.13/2.30 c IP: 172.20.3.135
4.13/2.30 c HOST: node135.alineos.net
4.13/2.31 c (0,0) SatSolver.solve Begin
4.13/2.31 c (0,0) 0 bool, 0 clause
4.13/2.31 c (0,0) minisat_release HOME/instance-4305628-1534067320.xml-scop-20648.cnf
4.13/2.35 c (0,0) c This is COMiniSatPS.
4.13/2.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.13/2.36 c (0,0) c ============================[ Problem Statistics ]=============================
4.13/2.36 c (0,0) c | |
4.13/2.36 c (0,0) c | Number of variables: 657 |
4.13/2.36 c (0,0) c | Number of clauses: 11983 |
4.13/2.36 c (0,0) c | Parse time: 0.00 s |
4.13/2.36 c (0,0) c | Eliminated clauses: 0.00 Mb |
4.13/2.36 c (0,0) c Reduced to 501 vars, 11827 cls (grow=0)
4.13/2.36 c (0,0) c No iterative elimination performed. (vars=501, c/v ratio=23.6)
4.13/2.36 c (0,0) c | Simplification time: 0.01 s |
4.13/2.36 c (0,0) c | |
4.13/2.36 c (0,0) c ============================[ Search Statistics ]==============================
4.13/2.36 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.13/2.36 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.13/2.36 c (0,0) c ===============================================================================
4.13/2.36 c (0,0) c ===============================================================================
4.13/2.36 c (0,0) c restarts : 1
4.13/2.36 c (0,0) c conflicts : 589 (22155 /sec)
4.13/2.36 c (0,0) c decisions : 794 (0.00 % random) (29865 /sec)
4.13/2.36 c (0,0) c propagations : 44243 (1664147 /sec)
4.13/2.36 c (0,0) c conflict literals : 8076 (22.26 % deleted)
4.13/2.36 c (0,0) c CPU time : 0.026586 s
4.13/2.36 c (0,0)
4.13/2.36 c (0,0) s SATISFIABLE
4.13/2.38 c (0,0) SatSolver.solve End
4.13/2.38 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.13/2.38 c (0,0) Show results Begin
4.38/2.43 s SATISFIABLE
4.38/2.44 v <instantiation>
4.38/2.44 v <list>cn[0][0] cn[0][1] cn[0][2] cn[1][0] cn[1][1] cn[1][2] cn[2][0] cn[2][1] cn[2][2] ce[0][0][1] ce[0][0][2] ce[0][1][2] ce[1][0][1] ce[1][0][2] ce[1][1][2] ce[2][0][1] ce[2][0][2] ce[2][1][2] cie[0][0] cie[0][1] cie[0][2] cie[1][0] cie[1][1] cie[1][2]</list>
4.38/2.44 v <values>0 15 14 13 4 7 1 9 11 15 14 1 9 6 3 8 10 2 13 11 7 12 5 4</values>
4.38/2.44 v </instantiation>
4.38/2.44 c (0,0) Show results End
4.38/2.44 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
4.38/2.44 c (0,0) 0,0,STOP-AFTER(ALL)
4.38/2.44 c END-Prog: Sun Aug 12 11:48: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 (6724 MiB free)
memory of node 1: 16384 MiB (4638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305628-1534067320/watcher-4305628-1534067320 -o /tmp/evaluation-result-4305628-1534067320/solver-4305628-1534067320 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305628-1534067320.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=20645, runsolver pid=20642
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.00 2.03 2.02 4/226 20662
/proc/meminfo: memFree=11575864/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224295197 115843072 349 33554432000 4194304 5098028 140721213080256 140721213077512 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 349 296 221 0 87 0
[pid=20648] ppid=20645 vsize=15012476 memory=72336 CPUtime=0.11 cores=1,3,5,7
/proc/20648/stat : 20648 (java) S 20645 20645 19383 0 -1 1077944320 6218 0 0 0 10 1 0 0 20 0 15 0 224295198 15372775424 18084 33554432000 4194304 4196468 140726254449600 140726254432144 139657282457335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
/proc/20648/statm: 3753119 18084 2772 1 0 3715579 0
[pid=20648/tid=20649] ppid=20645 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/20648/task/20649/stat : 20649 (java) R 20645 20645 19383 0 -1 4202560 4337 0 0 0 8 1 0 0 20 0 15 0 224295198 15372775424 18150 33554432000 4194304 4196468 140726254449600 139657254269320 139657262733095 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20650] ppid=20645 vsize=15012476 memory=3472468188703520432 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20650/stat : 20650 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 18150 33554432000 4194304 4196468 140726254449600 139657286700176 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20651] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20651/stat : 20651 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 18150 33554432000 4194304 4196468 140726254449600 139657104788496 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20652] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20652/stat : 20652 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 18150 33554432000 4194304 4196468 140726254449600 139656741596048 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20653] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20653/stat : 20653 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 18150 33554432000 4194304 4196468 140726254449600 139656740543248 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20654] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20654/stat : 20654 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295201 15372775424 18150 33554432000 4194304 4196468 140726254449600 139656621918576 139657282468482 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20655] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20655/stat : 20655 (java) S 20645 20645 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224295201 15372775424 18150 33554432000 4194304 4196468 140726254449600 139655861232672 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20656] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20656/stat : 20656 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295202 15372775424 18150 33554432000 4194304 4196468 140726254449600 139655626351472 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20657] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20657/stat : 20657 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 18216 33554432000 4194304 4196468 140726254449600 139655251842896 139657282475931 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20658] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20658/stat : 20658 (java) S 20645 20645 19383 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 18216 33554432000 4194304 4196468 140726254449600 139656620866416 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20659] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20659/stat : 20659 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 18216 33554432000 4194304 4196468 140726254449600 139656619813616 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20660] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0.01 cores=1,3,5,7
/proc/20648/task/20660/stat : 20660 (java) S 20645 20645 19383 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 224295204 15372775424 18216 33554432000 4194304 4196468 140726254449600 139656618760816 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20661] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20661/stat : 20661 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 18216 33554432000 4194304 4196468 140726254449600 139654753938144 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20662] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20662/stat : 20662 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 18216 33554432000 4194304 4196468 140726254449600 139656617708208 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73732 KiB
[startup+0.210926 s]*
/proc/loadavg: 2.00 2.03 2.02 4/226 20662
/proc/meminfo: memFree=11562036/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224295197 115843072 349 33554432000 4194304 5098028 140721213080256 140721213077512 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 349 296 221 0 87 0
[pid=20648] ppid=20645 vsize=15012476 memory=85892 CPUtime=0.26 cores=1,3,5,7
/proc/20648/stat : 20648 (java) S 20645 20645 19383 0 -1 1077944320 9762 0 0 0 24 2 0 0 20 0 15 0 224295198 15372775424 21473 33554432000 4194304 4196468 140726254449600 140726254432144 139657282457335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
/proc/20648/statm: 3753119 21473 2926 1 0 3715579 0
[pid=20648/tid=20649] ppid=20645 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=1,3,5,7
/proc/20648/task/20649/stat : 20649 (java) R 20645 20645 19383 0 -1 4202560 7643 0 0 0 18 2 0 0 20 0 15 0 224295198 15372775424 21473 33554432000 4194304 4196468 140726254449600 139657254283728 139657282469270 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20650] ppid=20645 vsize=15012476 memory=3472468188703520432 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20650/stat : 20650 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 21473 33554432000 4194304 4196468 140726254449600 139657286700176 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20651] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20651/stat : 20651 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 21473 33554432000 4194304 4196468 140726254449600 139657104788496 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20652] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20652/stat : 20652 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 21473 33554432000 4194304 4196468 140726254449600 139656741596048 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20653] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20653/stat : 20653 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 21473 33554432000 4194304 4196468 140726254449600 139656740543248 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20654] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20654/stat : 20654 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295201 15372775424 21473 33554432000 4194304 4196468 140726254449600 139656621918576 139657282468482 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20655] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20655/stat : 20655 (java) S 20645 20645 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224295201 15372775424 21473 33554432000 4194304 4196468 140726254449600 139655861232672 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20656] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20656/stat : 20656 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295202 15372775424 21473 33554432000 4194304 4196468 140726254449600 139655626351472 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20657] ppid=20645 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20657/stat : 20657 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 21473 33554432000 4194304 4196468 140726254449600 139655251842896 139657282475931 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20658] ppid=20645 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20648/task/20658/stat : 20658 (java) S 20645 20645 19383 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 224295204 15372775424 21473 33554432000 4194304 4196468 140726254449600 139656620866416 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20659] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20659/stat : 20659 (java) S 20645 20645 19383 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 21473 33554432000 4194304 4196468 140726254449600 139656619813616 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20660] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0.03 cores=1,3,5,7
/proc/20648/task/20660/stat : 20660 (java) R 20645 20645 19383 0 -1 4202560 311 0 0 0 3 0 0 0 20 0 15 0 224295204 15372775424 21473 33554432000 4194304 4196468 140726254449600 139656618760816 139657274694462 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20661] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20661/stat : 20661 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 21473 33554432000 4194304 4196468 140726254449600 139654753938144 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20662] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20662/stat : 20662 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 21473 33554432000 4194304 4196468 140726254449600 139656617708208 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87288 KiB
[startup+0.310886 s]*
/proc/loadavg: 2.00 2.03 2.02 3/226 20662
/proc/meminfo: memFree=11557880/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224295197 115843072 349 33554432000 4194304 5098028 140721213080256 140721213077512 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 349 296 221 0 87 0
[pid=20648] ppid=20645 vsize=15012476 memory=89844 CPUtime=0.42 cores=1,3,5,7
/proc/20648/stat : 20648 (java) S 20645 20645 19383 0 -1 1077944320 10384 0 0 0 40 2 0 0 20 0 15 0 224295198 15372775424 22461 33554432000 4194304 4196468 140726254449600 140726254432144 139657282457335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
/proc/20648/statm: 3753119 22461 3011 1 0 3715579 0
[pid=20648/tid=20649] ppid=20645 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/20648/task/20649/stat : 20649 (java) R 20645 20645 19383 0 -1 4202560 8078 0 0 0 27 2 0 0 20 0 15 0 224295198 15372775424 22461 33554432000 4194304 4196468 140726254449600 139657254284288 139657282469270 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20650] ppid=20645 vsize=15012476 memory=3472468188703520432 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20650/stat : 20650 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 22461 33554432000 4194304 4196468 140726254449600 139657286700176 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20651] ppid=20645 vsize=15012476 memory=279784795278208 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20651/stat : 20651 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 22461 33554432000 4194304 4196468 140726254449600 139657104788496 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20652] ppid=20645 vsize=15012476 memory=279784638908448 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20652/stat : 20652 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 22461 33554432000 4194304 4196468 140726254449600 139656741596048 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20653] ppid=20645 vsize=15012476 memory=139892319438095 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20653/stat : 20653 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295200 15372775424 22461 33554432000 4194304 4196468 140726254449600 139656740543248 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20654] ppid=20645 vsize=15012476 memory=279784795285120 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20654/stat : 20654 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295201 15372775424 22461 33554432000 4194304 4196468 140726254449600 139656621918576 139657282468482 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20655] ppid=20645 vsize=15012476 memory=139892319442703 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20655/stat : 20655 (java) S 20645 20645 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224295201 15372775424 22461 33554432000 4194304 4196468 140726254449600 139655861232672 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20656] ppid=20645 vsize=15012476 memory=139892319464695 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20656/stat : 20656 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295202 15372775424 22461 33554432000 4194304 4196468 140726254449600 139655626351472 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20657] ppid=20645 vsize=15012476 memory=279784638917664 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20657/stat : 20657 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 22461 33554432000 4194304 4196468 140726254449600 139655251842896 139657282475931 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20658] ppid=20645 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20648/task/20658/stat : 20658 (java) R 20645 20645 19383 0 -1 4202560 403 0 0 0 2 0 0 0 20 0 15 0 224295204 15372775424 22461 33554432000 4194304 4196468 140726254449600 139656620866416 139657263157989 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20659] ppid=20645 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20648/task/20659/stat : 20659 (java) R 20645 20645 19383 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 224295204 15372775424 22461 33554432000 4194304 4196468 140726254449600 139656619813616 139657282468482 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20660] ppid=20645 vsize=15012476 memory=139892475840128 CPUtime=0.07 cores=1,3,5,7
/proc/20648/task/20660/stat : 20660 (java) R 20645 20645 19383 0 -1 4202560 353 0 0 0 7 0 0 0 20 0 15 0 224295204 15372775424 22461 33554432000 4194304 4196468 140726254449600 139656618760816 139657266569537 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20661] ppid=20645 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20661/stat : 20661 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 22461 33554432000 4194304 4196468 140726254449600 139654753938144 139657282467541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20662] ppid=20645 vsize=15012476 memory=139892475841524 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20662/stat : 20662 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295204 15372775424 22461 33554432000 4194304 4196468 140726254449600 139656617708208 139657282468482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91240 KiB
[startup+0.70072 s]
/proc/loadavg: 2.00 2.03 2.02 3/226 20662
/proc/meminfo: memFree=11533572/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224295197 115843072 349 33554432000 4194304 5098028 140721213080256 140721213077512 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 349 296 221 0 87 0
[pid=20648] ppid=20645 vsize=15020872 memory=129664 CPUtime=1 cores=1,3,5,7
/proc/20648/stat : 20648 (java) S 20645 20645 19383 0 -1 1077944320 17622 0 0 0 96 4 0 0 20 0 15 0 224295198 15381372928 32416 33554432000 4194304 4196468 140726254449600 140726254432144 139657282457335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
/proc/20648/statm: 3755218 32416 3152 1 0 3716603 0
[pid=20648/tid=20649] ppid=20645 vsize=15020872 memory=57 CPUtime=0.67 cores=1,3,5,7
/proc/20648/task/20649/stat : 20649 (java) R 20645 20645 19383 0 -1 4202560 14866 0 0 0 63 4 0 0 20 0 15 0 224295198 15381372928 32416 33554432000 4194304 4196468 140726254449600 139657254295456 139657282479261 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20650] ppid=20645 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20650/stat : 20650 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15381372928 32416 33554432000 4194304 4196468 140726254449600 139657286700176 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20651] ppid=20645 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20651/stat : 20651 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15381372928 32416 33554432000 4194304 4196468 140726254449600 139657104788496 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20652] ppid=20645 vsize=15020872 memory=7518566439143952992 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20652/stat : 20652 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15381372928 32416 33554432000 4194304 4196468 140726254449600 139656741596048 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20653] ppid=20645 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20653/stat : 20653 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295200 15381372928 32416 33554432000 4194304 4196468 140726254449600 139656740543248 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20654] ppid=20645 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20654/stat : 20654 (java) S 20645 20645 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224295201 15381372928 32416 33554432000 4194304 4196468 140726254449600 139656621918576 139657282468482 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20655] ppid=20645 vsize=15020872 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20655/stat : 20655 (java) S 20645 20645 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224295201 15381372928 32416 33554432000 4194304 4196468 140726254449600 139655861232672 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20656] ppid=20645 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20656/stat : 20656 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295202 15381372928 32416 33554432000 4194304 4196468 140726254449600 139655626351472 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20657] ppid=20645 vsize=15020872 memory=968 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20657/stat : 20657 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15381372928 32416 33554432000 4194304 4196468 140726254449600 139655251842896 139657282475931 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20658] ppid=20645 vsize=15020872 memory=12144 CPUtime=0.1 cores=1,3,5,7
/proc/20648/task/20658/stat : 20658 (java) S 20645 20645 19383 0 -1 1077944384 656 0 0 0 10 0 0 0 20 0 15 0 224295204 15381372928 32416 33554432000 4194304 4196468 140726254449600 139656620866416 139657282468482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20659] ppid=20645 vsize=15020872 memory=1712 CPUtime=0.06 cores=1,3,5,7
/proc/20648/task/20659/stat : 20659 (java) S 20645 20645 19383 0 -1 1077944384 310 0 0 0 6 0 0 0 20 0 15 0 224295204 15381372928 32416 33554432000 4194304 4196468 140726254449600 139656619813616 139657282468482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20660] ppid=20645 vsize=15020872 memory=8812 CPUtime=0.15 cores=1,3,5,7
/proc/20648/task/20660/stat : 20660 (java) R 20645 20645 19383 0 -1 4202560 457 0 0 0 15 0 0 0 20 0 15 0 224295204 15381372928 32416 33554432000 4194304 4196468 140726254449600 139656618760816 139657266537822 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20661] ppid=20645 vsize=15020872 memory=4576 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20661/stat : 20661 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15381372928 32416 33554432000 4194304 4196468 140726254449600 139654753938144 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20662] ppid=20645 vsize=15020872 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20662/stat : 20662 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295204 15381372928 32416 33554432000 4194304 4196468 140726254449600 139656617708208 139657282468482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131060 KiB
[startup+1.50214 s]
/proc/loadavg: 2.00 2.03 2.02 4/226 20662
/proc/meminfo: memFree=11507132/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224295197 115843072 349 33554432000 4194304 5098028 140721213080256 140721213077512 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/20648/task/20650/stat : 20650 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15387734016 48136 33554432000 4194304 4196468 140726254449600 139657286700176 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20651] ppid=20645 vsize=15027084 memory=279784638726816 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20651/stat : 20651 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15387734016 48136 33554432000 4194304 4196468 140726254449600 139657104788496 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20652] ppid=20645 vsize=15027084 memory=57 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20652/stat : 20652 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15387734016 48136 33554432000 4194304 4196468 140726254449600 139656741596048 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20653] ppid=20645 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20653/stat : 20653 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295200 15387734016 48136 33554432000 4194304 4196468 140726254449600 139656740543248 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20654] ppid=20645 vsize=15027084 memory=279784638935616 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20654/stat : 20654 (java) S 20645 20645 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224295201 15387734016 48136 33554432000 4194304 4196468 140726254449600 139656621918576 139657282468482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20655] ppid=20645 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20655/stat : 20655 (java) S 20645 20645 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224295201 15387734016 48136 33554432000 4194304 4196468 140726254449600 139655861232672 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20656] ppid=20645 vsize=15027084 memory=279784638954784 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20656/stat : 20656 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295202 15387734016 48136 33554432000 4194304 4196468 140726254449600 139655626351472 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20657] ppid=20645 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20657/stat : 20657 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15387734016 48136 33554432000 4194304 4196468 140726254449600 139655251842896 139657282475931 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20658] ppid=20645 vsize=15027084 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/20648/task/20658/stat : 20658 (java) R 20645 20645 19383 0 -1 4202560 978 0 0 0 40 1 0 0 20 0 15 0 224295204 15387734016 48136 33554432000 4194304 4196468 140726254449600 139656620857744 139657261704135 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20659] ppid=20645 vsize=15027084 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/20648/task/20659/stat : 20659 (java) R 20645 20645 19383 0 -1 4202560 831 0 0 0 30 0 0 0 20 0 15 0 224295204 15387734016 48136 33554432000 4194304 4196468 140726254449600 139656619797088 139657266850032 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20660] ppid=20645 vsize=15027084 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20648/task/20660/stat : 20660 (java) S 20645 20645 19383 0 -1 1077944384 2671 0 0 0 66 1 0 0 20 0 15 0 224295204 15387734016 48136 33554432000 4194304 4196468 140726254449600 139656618760816 139657282468482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20661] ppid=20645 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20661/stat : 20661 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15387734016 48136 33554432000 4194304 4196468 140726254449600 139654753938144 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20662] ppid=20645 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20662/stat : 20662 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295204 15387734016 48136 33554432000 4194304 4196468 140726254449600 139656617708208 139657282468482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 193940 KiB
[startup+2.44895 s]
# the end of solver process 20645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.31964 s, system=0.171642 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60167 s]
/proc/loadavg: 2.00 2.03 2.02 4/226 20662
/proc/meminfo: memFree=11507132/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224295197 115843072 349 33554432000 4194304 5098028 140721213080256 140721213077512 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 349 296 221 0 87 0
[pid=20648] ppid=20645 vsize=15027104 memory=202152 CPUtime=3.2 cores=1,3,5,7
/proc/20648/stat : 20648 (java) S 20645 20645 19383 0 -1 1077944320 22854 0 0 0 312 8 0 0 20 0 15 0 224295198 15387754496 50538 33554432000 4194304 4196468 140726254449600 140726254432144 139657282457335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
/proc/20648/statm: 3756776 50538 3217 1 0 3717627 0
[pid=20648/tid=20649] ppid=20645 vsize=15027104 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/20648/task/20649/stat : 20649 (java) R 20645 20645 19383 0 -1 4202560 16695 0 0 0 151 5 0 0 20 0 15 0 224295198 15387754496 50538 33554432000 4194304 4196468 140726254449600 139657254290352 139657266500965 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20650] ppid=20645 vsize=15027104 memory=83540 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20650/stat : 20650 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15387754496 50538 33554432000 4194304 4196468 140726254449600 139657286700176 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20651] ppid=20645 vsize=15027104 memory=85812 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20651/stat : 20651 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15387754496 50538 33554432000 4194304 4196468 140726254449600 139657104788496 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20652] ppid=20645 vsize=15027104 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20652/stat : 20652 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295200 15387754496 50538 33554432000 4194304 4196468 140726254449600 139656741596048 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20653] ppid=20645 vsize=15027104 memory=139892319624016 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20653/stat : 20653 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295200 15387754496 50538 33554432000 4194304 4196468 140726254449600 139656740543248 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20654] ppid=20645 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20654/stat : 20654 (java) S 20645 20645 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224295201 15387754496 50538 33554432000 4194304 4196468 140726254449600 139656621918576 139657282468482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20655] ppid=20645 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20655/stat : 20655 (java) S 20645 20645 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224295201 15387754496 50538 33554432000 4194304 4196468 140726254449600 139655861232672 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20656] ppid=20645 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20656/stat : 20656 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295202 15387754496 50538 33554432000 4194304 4196468 140726254449600 139655626351472 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20657] ppid=20645 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20657/stat : 20657 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15387754496 50538 33554432000 4194304 4196468 140726254449600 139655251842896 139657282475931 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20658] ppid=20645 vsize=15027104 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/20648/task/20658/stat : 20658 (java) R 20645 20645 19383 0 -1 4202560 1018 0 0 0 48 1 0 0 20 0 15 0 224295204 15387754496 50538 33554432000 4194304 4196468 140726254449600 139656620866416 139657263975236 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20659] ppid=20645 vsize=15027104 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/20648/task/20659/stat : 20659 (java) R 20645 20645 19383 0 -1 4202560 1053 0 0 0 40 0 0 0 20 0 15 0 224295204 15387754496 50538 33554432000 4194304 4196468 140726254449600 139656619794024 139657265868136 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20660] ppid=20645 vsize=15027104 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/20648/task/20660/stat : 20660 (java) S 20645 20645 19383 0 -1 1077944384 2754 0 0 0 71 1 0 0 20 0 15 0 224295204 15387754496 50538 33554432000 4194304 4196468 140726254449600 139656618760816 139657282468482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20661] ppid=20645 vsize=15027104 memory=7664634419783231589 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20661/stat : 20661 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295204 15387754496 50538 33554432000 4194304 4196468 140726254449600 139654753938144 139657282467541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
[pid=20648/tid=20662] ppid=20645 vsize=15027104 memory=7446811305292361581 CPUtime=0 cores=1,3,5,7
/proc/20648/task/20662/stat : 20662 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295204 15387754496 50538 33554432000 4194304 4196468 140726254449600 139656617708208 139657282468482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20463616 140726254453767 140726254454065 140726254454065 140726254456783 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 15140232 KiB
Current children cumulated memory: 203548 KiB
[startup+2.00023 s]*
/proc/loadavg: 2.08 2.04 2.02 4/226 20677
/proc/meminfo: memFree=11578812/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1472 CPUtime=3.23 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 592 23215 0 0 0 0 314 9 20 0 1 0 224295197 115843072 368 33554432000 4194304 5098028 140721213080256 140721213077000 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 368 311 221 0 87 0
[pid=20663] ppid=20645 vsize=7406364 memory=69164 CPUtime=0.51 cores=1,3,5,7
/proc/20663/stat : 20663 (java) S 20645 20645 19383 0 -1 1077944320 10882 0 0 0 48 3 0 0 20 0 15 0 224295360 7584116736 17291 33554432000 4194304 4196468 140726957934096 140726957916640 139874658950903 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
/proc/20663/statm: 1851591 17291 3014 1 0 1813530 0
[pid=20663/tid=20664] ppid=20645 vsize=7406364 memory=6791534058613427641 CPUtime=0.36 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (java) R 20645 20645 19383 0 -1 4202560 8563 0 0 0 34 2 0 0 20 0 15 0 224295360 7584116736 17291 33554432000 4194304 4196468 140726957934096 139874630779560 139874658972829 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20665] ppid=20645 vsize=7406364 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295362 7584116736 17291 33554432000 4194304 4196468 140726957934096 139874663192848 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20666] ppid=20645 vsize=7406364 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295362 7584116736 17291 33554432000 4194304 4196468 140726957934096 139874143996304 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20667] ppid=20645 vsize=7406364 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20667/stat : 20667 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295362 7584116736 17291 33554432000 4194304 4196468 140726957934096 139874142943760 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20668] ppid=20645 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20668/stat : 20668 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295362 7584116736 17291 33554432000 4194304 4196468 140726957934096 139874141891216 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20669] ppid=20645 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20669/stat : 20669 (java) S 20645 20645 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224295363 7584116736 17291 33554432000 4194304 4196468 140726957934096 139873971116528 139874658962050 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20670] ppid=20645 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20670/stat : 20670 (java) S 20645 20645 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224295364 7584116736 17291 33554432000 4194304 4196468 140726957934096 139873461724576 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20671] ppid=20645 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20671/stat : 20671 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295364 7584116736 17291 33554432000 4194304 4196468 140726957934096 139873193289200 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20672] ppid=20645 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20672/stat : 20672 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295366 7584116736 17291 33554432000 4194304 4196468 140726957934096 139872818780880 139874658969499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20673] ppid=20645 vsize=7406364 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20673/stat : 20673 (java) S 20645 20645 19383 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 15 0 224295366 7584116736 17291 33554432000 4194304 4196468 140726957934096 139873970063344 139874658962050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20674] ppid=20645 vsize=7406364 memory=2319670674143064607 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20674/stat : 20674 (java) S 20645 20645 19383 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 15 0 224295366 7584116736 17291 33554432000 4194304 4196468 140726957934096 139873969010800 139874658962050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20675] ppid=20645 vsize=7406364 memory=3978148759375130675 CPUtime=0.08 cores=1,3,5,7
/proc/20663/task/20675/stat : 20675 (java) R 20645 20645 19383 0 -1 4202560 363 0 0 0 8 0 0 0 20 0 15 0 224295366 7584116736 17291 33554432000 4194304 4196468 140726957934096 139873967958256 139874637935680 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20676] ppid=20645 vsize=7406364 memory=3756177304052846522 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20676/stat : 20676 (java) S 20645 20645 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224295366 7584116736 17291 33554432000 4194304 4196468 140726957934096 139872320875104 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20677] ppid=20645 vsize=7406364 memory=3400227864743209298 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20677/stat : 20677 (java) S 20645 20645 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224295367 7584116736 17291 33554432000 4194304 4196468 140726957934096 139873966906160 139874658962050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 70636 KiB
[startup+2.40072 s]
/proc/loadavg: 2.08 2.04 2.02 4/226 20677
/proc/meminfo: memFree=11578812/32770624 swapFree=67108860/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1472 CPUtime=3.23 cores=1,3,5,7
/proc/20645/stat : 20645 (scop.sh) S 20642 20645 19383 0 -1 4202496 592 23215 0 0 0 0 314 9 20 0 1 0 224295197 115843072 368 33554432000 4194304 5098028 140721213080256 140721213077000 139894266253948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14028800 140721213088833 140721213089031 140721213089031 140721213091789 0
/proc/20645/statm: 28282 368 311 221 0 87 0
[pid=20663] ppid=20645 vsize=7937144 memory=116984 CPUtime=1.15 cores=1,3,5,7
/proc/20663/stat : 20663 (java) S 20645 20645 19383 0 -1 1077944320 18070 940 0 0 107 6 2 0 20 0 17 0 224295360 8127635456 29246 33554432000 4194304 4196468 140726957934096 140726957916640 139874658950903 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
/proc/20663/statm: 1984286 29246 3152 1 0 1945685 0
[pid=20663/tid=20664] ppid=20645 vsize=7937144 memory=7595995220564863340 CPUtime=0.76 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (java) R 20645 20645 19383 0 -1 4202560 15082 940 0 0 69 5 2 0 20 0 17 0 224295360 8127635456 29246 33554432000 4194304 4196468 140726957934096 139874630744800 139874643031390 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20665] ppid=20645 vsize=7937144 memory=7590655979367786604 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (java) S 20645 20645 19383 0 -1 1077944384 2 940 0 0 0 0 2 0 20 0 17 0 224295362 8127635456 29246 33554432000 4194304 4196468 140726957934096 139874663192848 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20666] ppid=20645 vsize=7937144 memory=7590655979367786604 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (java) S 20645 20645 19383 0 -1 1077944384 1 940 0 0 0 0 2 0 20 0 17 0 224295362 8127635456 29246 33554432000 4194304 4196468 140726957934096 139874143996304 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20667] ppid=20645 vsize=7937144 memory=6299802978650451056 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20667/stat : 20667 (java) S 20645 20645 19383 0 -1 1077944384 2 940 0 0 0 0 2 0 20 0 17 0 224295362 8127635456 29246 33554432000 4194304 4196468 140726957934096 139874142943760 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20668] ppid=20645 vsize=7937144 memory=7590655979367786604 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20668/stat : 20668 (java) S 20645 20645 19383 0 -1 1077944384 1 940 0 0 0 0 2 0 20 0 17 0 224295362 8127635456 29246 33554432000 4194304 4196468 140726957934096 139874141891216 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20669] ppid=20645 vsize=7937144 memory=7590655979367786604 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20669/stat : 20669 (java) S 20645 20645 19383 0 -1 1077944384 5 940 0 0 0 0 2 0 20 0 17 0 224295363 8127635456 29246 33554432000 4194304 4196468 140726957934096 139873971116528 139874658962050 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20670] ppid=20645 vsize=7937144 memory=5937503940876124257 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20670/stat : 20670 (java) S 20645 20645 19383 0 -1 1077944384 13 940 0 0 0 0 2 0 20 0 17 0 224295364 8127635456 29246 33554432000 4194304 4196468 140726957934096 139873461724576 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20671] ppid=20645 vsize=7937144 memory=7882828121784479853 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20671/stat : 20671 (java) S 20645 20645 19383 0 -1 1077944384 1 940 0 0 0 0 2 0 20 0 17 0 224295364 8127635456 29246 33554432000 4194304 4196468 140726957934096 139873193289200 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20672] ppid=20645 vsize=7937144 memory=7308895142485716329 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20672/stat : 20672 (java) S 20645 20645 19383 0 -1 1077944384 3 940 0 0 0 0 2 0 20 0 17 0 224295366 8127635456 29246 33554432000 4194304 4196468 140726957934096 139872818780880 139874658969499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20673] ppid=20645 vsize=7937144 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/20663/task/20673/stat : 20673 (java) S 20645 20645 19383 0 -1 1077944384 593 940 0 0 7 0 2 0 20 0 17 0 224295366 8127635456 29246 33554432000 4194304 4196468 140726957934096 139873970063344 139874658962050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20674] ppid=20645 vsize=7937144 memory=89512 CPUtime=0.11 cores=1,3,5,7
/proc/20663/task/20674/stat : 20674 (java) S 20645 20645 19383 0 -1 1077944384 360 940 0 0 9 0 2 0 20 0 17 0 224295366 8127635456 29246 33554432000 4194304 4196468 140726957934096 139873969010800 139874658962050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20675] ppid=20645 vsize=7937144 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/20663/task/20675/stat : 20675 (java) S 20645 20645 19383 0 -1 1077944384 570 940 0 0 19 0 2 0 20 0 17 0 224295366 8127635456 29246 33554432000 4194304 4196468 140726957934096 139873967958256 139874658962050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20676] ppid=20645 vsize=7937144 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20676/stat : 20676 (java) S 20645 20645 19383 0 -1 1077944384 3 940 0 0 0 0 2 0 20 0 17 0 224295366 8127635456 29246 33554432000 4194304 4196468 140726957934096 139872320875104 139874658961109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
[pid=20663/tid=20677] ppid=20645 vsize=7937144 memory=7378779014849330064 CPUtime=0.02 cores=1,3,5,7
/proc/20663/task/20677/stat : 20677 (java) S 20645 20645 19383 0 -1 1077944384 1 940 0 0 0 0 2 0 20 0 17 0 224295367 8127635456 29246 33554432000 4194304 4196468 140726957934096 139873966906160 139874658962050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140726957941941 140726957942065 140726957942065 140726957944783 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 118456 KiB
Child status: 0
Real time (s): 2.449
CPU time (s): 4.49128
CPU user time (s): 4.31964
CPU system time (s): 0.171642
CPU usage (%): 183.392
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 203548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.31964
system time used= 0.171642
maximum resident set size= 204552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4748
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 20645
# total CPU time (s): 4.49128
# total CPU user time (s): 4.31964
# total CPU system time (s): 0.171642
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037588 second user time and 0.074133 second system time
The end