0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-4503-serial-file.bin HOME/instance-4305376-1534132320.xml
0.67/0.52
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Aug 13 05:52:01 CEST 2018
0.67/0.55 c PID: 4506
0.67/0.55 c IP: 172.20.3.137
0.67/0.55 c HOST: node137.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.64/0.91 c (0,0) Parsing End
1.64/0.91 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 33 ctr, max domain size 16
1.64/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.64/0.92 c (0,0) Constraint Name Generate Begin
1.64/0.92 c (0,0) Ctr:HOME/instance-4305376-1534132320.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
1.64/0.92 c (0,0) Constraint Name Generate End
1.64/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.64/0.92 c (0,0) CSP to CSPinCNF Begin
3.51/1.55 c (1,1) translated 4 (10%) constraints
4.12/1.73 c (1,1) translated 7 (20%) constraints
4.45/1.87 c (1,1) translated 10 (30%) constraints
5.08/2.02 c (1,1) translated 14 (40%) constraints
5.38/2.12 c (1,1) translated 17 (50%) constraints
5.38/2.16 c (1,1) translated 20 (60%) constraints
5.38/2.16 c (1,1) translated 24 (70%) constraints
5.38/2.16 c (1,1) translated 27 (80%) constraints
5.38/2.16 c (1,1) translated 30 (90%) constraints
5.38/2.16 c (1,1) translated 33 (100%) constraints
5.70/2.28 c (1,1) STATISTICS1:HOME/instance-4305376-1534132320.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,1576,8842,16,16,17,2,16:120,16:752;6:7632;2:15520;1:2560,17:16;16:2;5:64;4:2912;3:2528;2:3304;1:16,2:120;1:26240;0:16,
5.70/2.28 c (1,1) ==========================================
5.70/2.28 c (1,1) Order
5.70/2.28 c (1,1) ==========================================
6.03/2.35 c (1,1) translated 885 (10%) constraints
6.03/2.38 c (1,1) translated 1769 (20%) constraints
6.38/2.41 c (1,1) translated 2653 (30%) constraints
6.38/2.44 c (1,1) translated 3537 (40%) constraints
6.38/2.46 c (1,1) translated 4421 (50%) constraints
6.38/2.49 c (1,1) translated 5306 (60%) constraints
6.68/2.51 c (1,1) translated 6190 (70%) constraints
6.68/2.53 c (2,1) translated 7074 (80%) constraints
6.68/2.56 c (2,2) translated 7958 (90%) constraints
6.68/2.58 c (2,2) translated 8842 (100%) constraints
6.68/2.58 c (2,2) CSP to CSPinCNF End
6.68/2.59 c (2,2) CSP: 56 int (0 aux), 1520 bool (1520 aux), 8858 ctr, max domain size 16
6.68/2.59 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.68/2.59 c (2,2) CSPinCNF Propagation Begin
7.70/2.83 c (2,2) 685 values, 3989 unsatisfiable literals, and 3921 valid clauses are removed
7.70/2.83 c (2,2) CSPinCNF Propagation End
7.70/2.83 c (2,2) CSP: 661 int (605 aux), 915 bool (915 aux), 4937 ctr, max domain size 16
7.70/2.83 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.70/2.83 c (2,2) Simplify CSPinCNF Begin
7.70/2.87 c (2,2) Simplify CSPinCNF End
7.70/2.87 c (2,2) CSP: 661 int (605 aux), 1155 bool (1155 aux), 5177 ctr, max domain size 16
7.70/2.87 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.70/2.87 c (2,2) Calculate Precise Domain Begin
7.70/2.87 c (2,2) 0 values are removed by re-calculation
7.70/2.87 c (2,2) Calculate Precise Domain End
7.70/2.87 c (2,2) CSP: 661 int (605 aux), 1155 bool (1155 aux), 5177 ctr, max domain size 16
7.70/2.87 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.70/2.87 c (2,2) CSPinCNF to SatSolver Begin
8.04/2.97 c (2,2) 518 (10 %) CSP clauses are encoded (1435 SAT variables, 2581 SAT clauses)
8.04/2.98 c (2,2) 1036 (20 %) CSP clauses are encoded (1435 SAT variables, 3099 SAT clauses)
8.04/2.99 c (2,2) 1554 (30 %) CSP clauses are encoded (1435 SAT variables, 3617 SAT clauses)
8.04/3.00 c (2,2) 2071 (40 %) CSP clauses are encoded (1435 SAT variables, 4134 SAT clauses)
8.40/3.01 c (2,2) 2589 (50 %) CSP clauses are encoded (1435 SAT variables, 4652 SAT clauses)
8.40/3.01 c (2,2) 3107 (60 %) CSP clauses are encoded (1435 SAT variables, 5170 SAT clauses)
8.40/3.02 c (2,2) 3624 (70 %) CSP clauses are encoded (1435 SAT variables, 5687 SAT clauses)
8.40/3.03 c (2,2) 4142 (80 %) CSP clauses are encoded (1435 SAT variables, 6205 SAT clauses)
8.40/3.03 c (2,2) 4660 (90 %) CSP clauses are encoded (1435 SAT variables, 6723 SAT clauses)
8.40/3.04 c (2,2) 5177 (100 %) CSP clauses are encoded (1435 SAT variables, 7240 SAT clauses)
8.40/3.04 c (2,2) Launch Command will be: minisat_release
8.40/3.04 c (2,2) CSPinCNF to SatSolver End
8.40/3.04 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.40/3.08 c (2,2) STATISTICS2:HOME/instance-4305376-1534132320.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,1816,5177,16,16,16,2,16:12;12:120;4:108,16:248;12:424;6:5243;4:148;2:8790,16:5;12:8;5:24;4:1371;3:1295;2:2474,2:240;1:14373,
8.40/3.08 c (2,2) 1435 bool, 7241 clause
8.40/3.08 c (2,2) Export Begin
8.72/3.17 c (2,2) Export to HOME/scop-4503-serial-file.bin
8.72/3.17 c (2,2) Export End
8.72/3.17 c (2,2) Export File Size: 0.01 MB
8.72/3.17 c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
8.72/3.17 c END-Prog: Mon Aug 13 05:52:03 CEST 2018
8.99/3.20 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4503-serial-file.bin
8.99/3.69 c (0,0) Read Serial File Begin
8.99/3.69 c (0,0) HOME/scop-4503-serial-file.bin
8.99/3.86 c (0,0) Read Serial File End
8.99/3.88
8.99/3.88 scop order+minisat_release (2018-07-31)
8.99/3.88 (Solving Process)
8.99/3.88
8.99/3.90 c BEGIN-Prog: Mon Aug 13 05:52:04 CEST 2018
8.99/3.90 c PID: 4521
8.99/3.90 c IP: 172.20.3.137
8.99/3.90 c HOST: node137.alineos.net
8.99/3.90 c (0,0) SatSolver.solve Begin
8.99/3.90 c (0,0) 0 bool, 0 clause
8.99/3.90 c (0,0) minisat_release HOME/instance-4305376-1534132320.xml-scop-4506.cnf
8.99/3.94 c (0,0) c This is COMiniSatPS.
8.99/3.94 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.99/3.94 c (0,0) c ============================[ Problem Statistics ]=============================
8.99/3.94 c (0,0) c | |
8.99/3.94 c (0,0) c | Number of variables: 1435 |
8.99/3.94 c (0,0) c | Number of clauses: 7241 |
8.99/3.94 c (0,0) c | Parse time: 0.00 s |
8.99/3.94 c (0,0) c | Eliminated clauses: 0.02 Mb |
8.99/3.94 c (0,0) c Reduced to 777 vars, 4961 cls (grow=0)
8.99/3.94 c (0,0) c No iterative elimination performed. (vars=777, c/v ratio=6.4)
8.99/3.94 c (0,0) c | Simplification time: 0.01 s |
8.99/3.94 c (0,0) c | |
8.99/3.94 c (0,0) c ============================[ Search Statistics ]==============================
8.99/3.94 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
8.99/3.94 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.99/3.94 c (0,0) c ===============================================================================
8.99/3.94 c (0,0) c ===============================================================================
8.99/3.94 c (0,0) c restarts : 1
8.99/3.94 c (0,0) c conflicts : 9 (865 /sec)
8.99/3.94 c (0,0) c decisions : 24 (0.00 % random) (2306 /sec)
8.99/3.94 c (0,0) c propagations : 1470 (141265 /sec)
8.99/3.94 c (0,0) c conflict literals : 155 (6.06 % deleted)
8.99/3.94 c (0,0) c CPU time : 0.010406 s
8.99/3.94 c (0,0)
8.99/3.94 c (0,0) s SATISFIABLE
8.99/3.97 c (0,0) SatSolver.solve End
8.99/3.97 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.99/3.97 c (0,0) Show results Begin
10.20/4.03 s SATISFIABLE
10.20/4.04 v <instantiation>
10.20/4.04 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[1][0] id[1][1] id[1][2] id[1][3] id[2][0] id[2][1] id[2][2] id[2][3] id[3][0] id[3][1] id[3][2] id[3][3] top[0][0] top[0][1] top[0][2] top[0][3] top[1][0] top[1][1] top[1][2] top[1][3] top[2][0] top[2][1] top[2][2] top[2][3] top[3][0] top[3][1] top[3][2] top[3][3] left[0][0] left[0][1] left[0][2] left[0][3] left[1][0] left[1][1] left[1][2] left[1][3] left[2][0] left[2][1] left[2][2] left[2][3] left[3][0] left[3][1] left[3][2] left[3][3] bot[0] bot[1] bot[2] bot[3] right[0] right[1] right[2] right[3]</list>
10.20/4.04 v <values>0 10 5 2 4 15 13 9 6 14 12 11 1 8 7 3 0 0 0 0 1 5 3 2 1 4 3 2 1 4 5 2 0 1 2 1 0 3 5 4 0 4 3 5 0 2 1 2 0 0 0 0 0 0 0 0</values>
10.20/4.04 v </instantiation>
10.27/4.27 c (0,0) Show results End
10.27/4.27 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.27/4.27 c (0,0) 0,0,STOP-AFTER(ALL)
10.27/4.27 c END-Prog: Mon Aug 13 05:52:04 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 (12155 MiB free)
memory of node 1: 16384 MiB (10915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305376-1534132320/watcher-4305376-1534132320 -o /tmp/evaluation-result-4305376-1534132320/solver-4305376-1534132320 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534130784-3991 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305376-1534132320.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
solver pid=4503, runsolver pid=4500
Current StackSize limit: 8192 KiB
[startup+0.100244 s]*
/proc/loadavg: 2.20 2.13 1.83 3/223 4520
/proc/meminfo: memFree=23565428/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230795193 115843072 349 33554432000 4194304 5098028 140730282792704 140730282789960 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 349 296 221 0 87 0
[pid=4506] ppid=4503 vsize=15012476 memory=72088 CPUtime=0.11 cores=0,2,4,6
/proc/4506/stat : 4506 (java) S 4503 4503 3960 0 -1 1077944320 6121 0 0 0 10 1 0 0 20 0 15 0 230795193 15372775424 18022 33554432000 4194304 4196468 140732470912448 140732470894992 139708148977399 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
/proc/4506/statm: 3753119 18022 2771 1 0 3715579 0
[pid=4506/tid=4507] ppid=4503 vsize=15012476 memory=-2843873993432024222 CPUtime=0.09 cores=0,2,4,6
/proc/4506/task/4507/stat : 4507 (java) R 4503 4503 3960 0 -1 4202560 4406 0 0 0 8 1 0 0 20 0 15 0 230795194 15372775424 18220 33554432000 4194304 4196468 140732470912448 139708120789384 139708141214526 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4508] ppid=4503 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4508/stat : 4508 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 18220 33554432000 4194304 4196468 140732470912448 139708153219984 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4509] ppid=4503 vsize=15012476 memory=140681243358848 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4509/stat : 4509 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 18220 33554432000 4194304 4196468 140732470912448 139707610114832 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4510] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4510/stat : 4510 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 18220 33554432000 4194304 4196468 140732470912448 139707609062544 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4511] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4511/stat : 4511 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 18220 33554432000 4194304 4196468 140732470912448 139707608009744 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4512] ppid=4503 vsize=15012476 memory=140681243358848 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4512/stat : 4512 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 18220 33554432000 4194304 4196468 140732470912448 139707186612336 139708148988546 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4513] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4513/stat : 4513 (java) S 4503 4503 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 18220 33554432000 4194304 4196468 140732470912448 139706696196896 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4514] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4514/stat : 4514 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 18220 33554432000 4194304 4196468 140732470912448 139706427761776 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4515] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4515/stat : 4515 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 18286 33554432000 4194304 4196468 140732470912448 139706053253200 139708148995995 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4516] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4516/stat : 4516 (java) S 4503 4503 3960 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 18286 33554432000 4194304 4196468 140732470912448 139707185560176 139708148988546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4517] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4517/stat : 4517 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 18286 33554432000 4194304 4196468 140732470912448 139707184507376 139708148988546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4518] ppid=4503 vsize=15012476 memory=140681243358848 CPUtime=0.01 cores=0,2,4,6
/proc/4506/task/4518/stat : 4518 (java) S 4503 4503 3960 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 230795200 15372775424 18286 33554432000 4194304 4196468 140732470912448 139707183455088 139708148988546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4519] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4519/stat : 4519 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 18286 33554432000 4194304 4196468 140732470912448 139705555348448 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4520] ppid=4503 vsize=15012476 memory=140681243358848 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4520/stat : 4520 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 18286 33554432000 4194304 4196468 140732470912448 139707182401968 139708148988546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73484 KiB
[startup+0.210813 s]*
/proc/loadavg: 2.20 2.13 1.83 3/223 4520
/proc/meminfo: memFree=23551104/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230795193 115843072 349 33554432000 4194304 5098028 140730282792704 140730282789960 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 349 296 221 0 87 0
[pid=4506] ppid=4503 vsize=15012476 memory=85676 CPUtime=0.25 cores=0,2,4,6
/proc/4506/stat : 4506 (java) S 4503 4503 3960 0 -1 1077944320 9764 0 0 0 23 2 0 0 20 0 15 0 230795193 15372775424 21419 33554432000 4194304 4196468 140732470912448 140732470894992 139708148977399 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
/proc/4506/statm: 3753119 21419 2880 1 0 3715579 0
[pid=4506/tid=4507] ppid=4503 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/4506/task/4507/stat : 4507 (java) S 4503 4503 3960 0 -1 1077944384 7656 0 0 0 18 2 0 0 20 0 15 0 230795194 15372775424 21419 33554432000 4194304 4196468 140732470912448 139708120800464 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4508] ppid=4503 vsize=15012476 memory=404 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4508/stat : 4508 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 21419 33554432000 4194304 4196468 140732470912448 139708153219984 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4509] ppid=4503 vsize=15012476 memory=3544811362214311584 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4509/stat : 4509 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707610114832 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4510] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4510/stat : 4510 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707609062544 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4511] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4511/stat : 4511 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707608009744 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4512] ppid=4503 vsize=15012476 memory=140681243358848 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4512/stat : 4512 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707186612336 139708148988546 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4513] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4513/stat : 4513 (java) S 4503 4503 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 21419 33554432000 4194304 4196468 140732470912448 139706696196896 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4514] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4514/stat : 4514 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 21419 33554432000 4194304 4196468 140732470912448 139706427761776 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4515] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4515/stat : 4515 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 21419 33554432000 4194304 4196468 140732470912448 139706053253200 139708148995995 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4516] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4516/stat : 4516 (java) R 4503 4503 3960 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707185560176 139708148988546 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4517] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4517/stat : 4517 (java) R 4503 4503 3960 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707184507376 139708141962441 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4518] ppid=4503 vsize=15012476 memory=140681243358848 CPUtime=0.03 cores=0,2,4,6
/proc/4506/task/4518/stat : 4518 (java) R 4503 4503 3960 0 -1 4202560 314 0 0 0 3 0 0 0 20 0 15 0 230795200 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707183455088 139708148989334 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4519] ppid=4503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4519/stat : 4519 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 21419 33554432000 4194304 4196468 140732470912448 139705555348448 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4520] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4520/stat : 4520 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 21419 33554432000 4194304 4196468 140732470912448 139707182401968 139708148988546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87072 KiB
[startup+0.310707 s]*
/proc/loadavg: 2.20 2.13 1.83 3/223 4520
/proc/meminfo: memFree=23547336/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230795193 115843072 349 33554432000 4194304 5098028 140730282792704 140730282789960 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 349 296 221 0 87 0
[pid=4506] ppid=4503 vsize=15012476 memory=89632 CPUtime=0.43 cores=0,2,4,6
/proc/4506/stat : 4506 (java) S 4503 4503 3960 0 -1 1077944320 10385 0 0 0 40 3 0 0 20 0 15 0 230795193 15372775424 22408 33554432000 4194304 4196468 140732470912448 140732470894992 139708148977399 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
/proc/4506/statm: 3753119 22408 2980 1 0 3715579 0
[pid=4506/tid=4507] ppid=4503 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4506/task/4507/stat : 4507 (java) R 4503 4503 3960 0 -1 4202560 8091 0 0 0 27 2 0 0 20 0 15 0 230795194 15372775424 22408 33554432000 4194304 4196468 140732470912448 139708120772400 139707971367908 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4508] ppid=4503 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4508/stat : 4508 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 22408 33554432000 4194304 4196468 140732470912448 139708153219984 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4509] ppid=4503 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4509/stat : 4509 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707610114832 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4510] ppid=4503 vsize=15012476 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4510/stat : 4510 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707609062544 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4511] ppid=4503 vsize=15012476 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4511/stat : 4511 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707608009744 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4512] ppid=4503 vsize=15012476 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4512/stat : 4512 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707186612336 139708148988546 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4513] ppid=4503 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4513/stat : 4513 (java) S 4503 4503 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 22408 33554432000 4194304 4196468 140732470912448 139706696196896 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4514] ppid=4503 vsize=15012476 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4514/stat : 4514 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795197 15372775424 22408 33554432000 4194304 4196468 140732470912448 139706427761776 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4515] ppid=4503 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4515/stat : 4515 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 22408 33554432000 4194304 4196468 140732470912448 139706053253200 139708148995995 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4516] ppid=4503 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4506/task/4516/stat : 4516 (java) R 4503 4503 3960 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 15 0 230795200 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707185560176 139708148988546 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4517] ppid=4503 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4506/task/4517/stat : 4517 (java) R 4503 4503 3960 0 -1 4202560 177 0 0 0 2 0 0 0 20 0 15 0 230795200 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707184507376 139708135017744 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4518] ppid=4503 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4506/task/4518/stat : 4518 (java) R 4503 4503 3960 0 -1 4202560 355 0 0 0 7 0 0 0 20 0 15 0 230795200 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707183455088 139708127927240 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4519] ppid=4503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4519/stat : 4519 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 22408 33554432000 4194304 4196468 140732470912448 139705555348448 139708148987605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4520] ppid=4503 vsize=15012476 memory=4123387618286253871 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4520/stat : 4520 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795200 15372775424 22408 33554432000 4194304 4196468 140732470912448 139707182401968 139708148988546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91028 KiB
[startup+0.701681 s]
/proc/loadavg: 2.20 2.13 1.83 3/223 4520
/proc/meminfo: memFree=23523400/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230795193 115843072 349 33554432000 4194304 5098028 140730282792704 140730282789960 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 349 296 221 0 87 0
[pid=4506] ppid=4503 vsize=15020872 memory=129688 CPUtime=1.02 cores=0,2,4,6
/proc/4506/stat : 4506 (java) S 4503 4503 3960 0 -1 1077944320 17618 0 0 0 96 6 0 0 20 0 15 0 230795193 15381372928 32422 33554432000 4194304 4196468 140732470912448 140732470894992 139708148977399 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
/proc/4506/statm: 3755218 32422 3147 1 0 3716603 0
[pid=4506/tid=4507] ppid=4503 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/4506/task/4507/stat : 4507 (java) R 4503 4503 3960 0 -1 4202560 14829 0 0 0 63 4 0 0 20 0 15 0 230795194 15381372928 32422 33554432000 4194304 4196468 140732470912448 139708120810128 139708133057886 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4508] ppid=4503 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4508/stat : 4508 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15381372928 32422 33554432000 4194304 4196468 140732470912448 139708153219984 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4509] ppid=4503 vsize=15020872 memory=11742 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4509/stat : 4509 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707610114832 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4510] ppid=4503 vsize=15020872 memory=26079 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4510/stat : 4510 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707609062544 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4511] ppid=4503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4511/stat : 4511 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707608009744 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4512] ppid=4503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4512/stat : 4512 (java) S 4503 4503 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230795197 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707186612336 139708148988546 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4513] ppid=4503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4513/stat : 4513 (java) S 4503 4503 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795197 15381372928 32422 33554432000 4194304 4196468 140732470912448 139706696196896 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4514] ppid=4503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4514/stat : 4514 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795197 15381372928 32422 33554432000 4194304 4196468 140732470912448 139706427761776 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4515] ppid=4503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4515/stat : 4515 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15381372928 32422 33554432000 4194304 4196468 140732470912448 139706053253200 139708148995995 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4516] ppid=4503 vsize=15020872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4506/task/4516/stat : 4516 (java) R 4503 4503 3960 0 -1 4202560 648 0 0 0 8 0 0 0 20 0 15 0 230795200 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707185548848 139708128221170 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4517] ppid=4503 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4506/task/4517/stat : 4517 (java) R 4503 4503 3960 0 -1 4202560 303 0 0 0 7 0 0 0 20 0 15 0 230795200 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707184500568 139708134586064 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4518] ppid=4503 vsize=15020872 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/4506/task/4518/stat : 4518 (java) R 4503 4503 3960 0 -1 4202560 501 0 0 0 16 0 0 0 20 0 15 0 230795200 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707183449440 139708133057886 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4519] ppid=4503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4519/stat : 4519 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15381372928 32422 33554432000 4194304 4196468 140732470912448 139705555348448 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4520] ppid=4503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4520/stat : 4520 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795200 15381372928 32422 33554432000 4194304 4196468 140732470912448 139707182401968 139708148988546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131084 KiB
[startup+1.50082 s]
/proc/loadavg: 2.20 2.13 1.83 4/223 4520
/proc/meminfo: memFree=23487600/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230795193 115843072 349 33554432000 4194304 5098028 140730282792704 140730282789960 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/4506/task/4517/stat : 4517 (java) R 4503 4503 3960 0 -1 4202560 1100 0 0 0 57 0 0 0 20 0 15 0 230795200 15385567232 45276 33554432000 4194304 4196468 140732470912448 139707184507376 139708128694252 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4518] ppid=4503 vsize=15024968 memory=1472 CPUtime=0.7 cores=0,2,4,6
/proc/4506/task/4518/stat : 4518 (java) S 4503 4503 3960 0 -1 1077944384 2706 0 0 0 70 0 0 0 20 0 15 0 230795200 15385567232 45276 33554432000 4194304 4196468 140732470912448 139707183455088 139708148988546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4519] ppid=4503 vsize=15024968 memory=116132 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4519/stat : 4519 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15385567232 45276 33554432000 4194304 4196468 140732470912448 139705555348448 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4520] ppid=4503 vsize=15024968 memory=74476 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4520/stat : 4520 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795200 15385567232 45276 33554432000 4194304 4196468 140732470912448 139707182401968 139708148988546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 182500 KiB
[startup+3.11067 s]
/proc/loadavg: 2.20 2.13 1.83 5/223 4520
/proc/meminfo: memFree=23106880/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230795193 115843072 349 33554432000 4194304 5098028 140730282792704 140730282789960 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 349 296 221 0 87 0
[pid=4506] ppid=4503 vsize=15029152 memory=568188 CPUtime=8.72 cores=0,2,4,6
/proc/4506/stat : 4506 (java) S 4503 4503 3960 0 -1 1077944320 28933 0 0 0 857 15 0 0 20 0 15 0 230795193 15389851648 142047 33554432000 4194304 4196468 140732470912448 140732470894992 139708148977399 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
/proc/4506/statm: 3757288 142047 3214 1 0 3718139 0
[pid=4506/tid=4507] ppid=4503 vsize=15029152 memory=3812 CPUtime=3.07 cores=0,2,4,6
/proc/4506/task/4507/stat : 4507 (java) R 4503 4503 3960 0 -1 4202560 16902 0 0 0 295 12 0 0 20 0 15 0 230795194 15389851648 142047 33554432000 4194304 4196468 140732470912448 139708120810848 139708148989334 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4508] ppid=4503 vsize=15029152 memory=62740 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4508/stat : 4508 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15389851648 142047 33554432000 4194304 4196468 140732470912448 139708153219984 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4509] ppid=4503 vsize=15029152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4509/stat : 4509 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707610114832 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4510] ppid=4503 vsize=15029152 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4510/stat : 4510 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707609062544 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4511] ppid=4503 vsize=15029152 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4511/stat : 4511 (java) S 4503 4503 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795195 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707608009744 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4512] ppid=4503 vsize=15029152 memory=3472468977344729840 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4512/stat : 4512 (java) S 4503 4503 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230795197 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707186612336 139708148988546 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4513] ppid=4503 vsize=15029152 memory=140681117049632 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4513/stat : 4513 (java) S 4503 4503 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795197 15389851648 142047 33554432000 4194304 4196468 140732470912448 139706696196896 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4514] ppid=4503 vsize=15029152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4514/stat : 4514 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795197 15389851648 142047 33554432000 4194304 4196468 140732470912448 139706427761776 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4515] ppid=4503 vsize=15029152 memory=90 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4515/stat : 4515 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15389851648 142047 33554432000 4194304 4196468 140732470912448 139706053253200 139708148995995 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4516] ppid=4503 vsize=15029152 memory=74 CPUtime=2.29 cores=0,2,4,6
/proc/4506/task/4516/stat : 4516 (java) R 4503 4503 3960 0 -1 4202560 3352 0 0 0 229 0 0 0 20 0 15 0 230795200 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707185547456 139708132967680 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4517] ppid=4503 vsize=15029152 memory=78 CPUtime=2.16 cores=0,2,4,6
/proc/4506/task/4517/stat : 4517 (java) R 4503 4503 3960 0 -1 4202560 2735 0 0 0 215 1 0 0 20 0 15 0 230795200 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707184488576 139708128663504 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4518] ppid=4503 vsize=15029152 memory=1396 CPUtime=1.18 cores=0,2,4,6
/proc/4506/task/4518/stat : 4518 (java) R 4503 4503 3960 0 -1 1077944384 4606 0 0 0 117 1 0 0 20 0 15 0 230795200 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707183455088 139708148988546 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4519] ppid=4503 vsize=15029152 memory=434212 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4519/stat : 4519 (java) S 4503 4503 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795200 15389851648 142047 33554432000 4194304 4196468 140732470912448 139705555348448 139708148987605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
[pid=4506/tid=4520] ppid=4503 vsize=15029152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4520/stat : 4520 (java) S 4503 4503 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795200 15389851648 142047 33554432000 4194304 4196468 140732470912448 139707182401968 139708148988546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140732470920199 140732470920497 140732470920497 140732470923215 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 15142280 KiB
Current children cumulated memory: 569584 KiB
[startup+4.28269 s]
# the end of solver process 4503 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.049 s, system=0.251081 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20122 s]
/proc/loadavg: 2.20 2.13 1.83 5/223 4520
/proc/meminfo: memFree=23106880/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1396 CPUtime=8.99 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) R 4500 4503 3960 0 -1 4202496 560 30207 0 0 0 0 882 17 20 0 1 0 230795193 115843072 349 33554432000 4194304 5098028 140730282792704 140730282789960 139963144672093 0 0 4100 81923 0 0 0 17 0 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 349 296 221 0 87 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1396 KiB
[startup+4.0002 s]*
/proc/loadavg: 2.20 2.13 1.83 5/225 4541
/proc/meminfo: memFree=23519076/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1472 CPUtime=8.99 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 591 30207 0 0 0 0 882 17 20 0 1 0 230795193 115843072 368 33554432000 4194304 5098028 140730282792704 140730282789448 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 368 311 221 0 87 0
[pid=4521] ppid=4503 vsize=7871608 memory=117500 CPUtime=1.21 cores=0,2,4,6
/proc/4521/stat : 4521 (java) S 4503 4503 3960 0 -1 1077944320 18174 764 0 0 114 6 1 0 20 0 17 0 230795513 8060526592 29375 33554432000 4194304 4196468 140727763350560 140727763333104 139769238310647 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
/proc/4521/statm: 1967902 29375 3144 1 0 1929301 0
[pid=4521/tid=4522] ppid=4503 vsize=7871608 memory=5869123123791497619 CPUtime=0.78 cores=0,2,4,6
/proc/4521/task/4522/stat : 4522 (java) R 4503 4503 3960 0 -1 4202560 15139 764 0 0 73 4 1 0 20 0 17 0 230795514 8060526592 29375 33554432000 4194304 4196468 140727763350560 139769210148224 139769238322582 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4523] ppid=4503 vsize=7871608 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4523/stat : 4523 (java) S 4503 4503 3960 0 -1 1077944384 1 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 29375 33554432000 4194304 4196468 140727763350560 139769242553360 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4524] ppid=4503 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4524/stat : 4524 (java) S 4503 4503 3960 0 -1 1077944384 2 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 29375 33554432000 4194304 4196468 140727763350560 139769042721936 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4525] ppid=4503 vsize=7871608 memory=4580 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4525/stat : 4525 (java) S 4503 4503 3960 0 -1 1077944384 2 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 29375 33554432000 4194304 4196468 140727763350560 139769041668880 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4526] ppid=4503 vsize=7871608 memory=6944656425123290226 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4526/stat : 4526 (java) S 4503 4503 3960 0 -1 1077944384 1 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768721566608 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4527] ppid=4503 vsize=7871608 memory=-7233780906022716832 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4527/stat : 4527 (java) S 4503 4503 3960 0 -1 1077944384 5 764 0 0 0 0 1 0 20 0 17 0 230795516 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768483358960 139769238321794 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4528] ppid=4503 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4528/stat : 4528 (java) S 4503 4503 3960 0 -1 1077944384 13 764 0 0 0 0 1 0 20 0 17 0 230795517 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768100807840 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4529] ppid=4503 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4529/stat : 4529 (java) S 4503 4503 3960 0 -1 1077944384 1 764 0 0 0 0 1 0 20 0 17 0 230795517 8060526592 29375 33554432000 4194304 4196468 140727763350560 139767832371952 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4530] ppid=4503 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4530/stat : 4530 (java) S 4503 4503 3960 0 -1 1077944384 3 764 0 0 0 0 1 0 20 0 17 0 230795519 8060526592 29375 33554432000 4194304 4196468 140727763350560 139767457863632 139769238329243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4531] ppid=4503 vsize=7871608 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4521/task/4531/stat : 4531 (java) R 4503 4503 3960 0 -1 1077944384 774 764 0 0 8 0 1 0 20 0 17 0 230795519 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768482306800 139769238321794 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4532] ppid=4503 vsize=7871608 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4521/task/4532/stat : 4532 (java) S 4503 4503 3960 0 -1 1077944384 178 764 0 0 8 0 1 0 20 0 17 0 230795519 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768481254256 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4533] ppid=4503 vsize=7871608 memory=3472468977471039148 CPUtime=0.22 cores=0,2,4,6
/proc/4521/task/4533/stat : 4533 (java) R 4503 4503 3960 0 -1 4202560 612 764 0 0 21 0 1 0 20 0 17 0 230795519 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768480201200 139769231407483 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4534] ppid=4503 vsize=7871608 memory=664970774370808936 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4534/stat : 4534 (java) S 4503 4503 3960 0 -1 1077944384 3 764 0 0 0 0 1 0 20 0 17 0 230795520 8060526592 29375 33554432000 4194304 4196468 140727763350560 139766959958880 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4535] ppid=4503 vsize=7871608 memory=3756195753995512244 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4535/stat : 4535 (java) S 4503 4503 3960 0 -1 1077944384 1 764 0 0 0 0 1 0 20 0 17 0 230795520 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768479148592 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4537] ppid=4503 vsize=7871608 memory=3256112677255342443 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4537/stat : 4537 (java) S 4503 4503 3960 0 -1 1077944384 25 764 0 0 0 0 1 0 20 0 17 0 230795586 8060526592 29375 33554432000 4194304 4196468 140727763350560 139768471339536 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4541] ppid=4503 vsize=7871608 memory=3472468977470777008 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4541/stat : 4541 (java) S 4503 4503 3960 0 -1 1077944384 22 764 0 0 0 0 1 0 20 0 17 0 230795588 8060526592 29375 33554432000 4194304 4196468 140727763350560 139766557304368 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 7984736 KiB
Current children cumulated memory: 118972 KiB
[startup+4.20084 s]
/proc/loadavg: 2.20 2.13 1.83 5/225 4541
/proc/meminfo: memFree=23519076/32770624 swapFree=67108372/67108860
[pid=4503] ppid=4500 vsize=113128 memory=1472 CPUtime=8.99 cores=0,2,4,6
/proc/4503/stat : 4503 (scop.sh) S 4500 4503 3960 0 -1 4202496 591 30207 0 0 0 0 882 17 20 0 1 0 230795193 115843072 368 33554432000 4194304 5098028 140730282792704 140730282789448 139963145233020 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23629824 140730282796096 140730282796295 140730282796295 140730282799053 0
/proc/4503/statm: 28282 368 311 221 0 87 0
[pid=4521] ppid=4503 vsize=7871608 memory=122560 CPUtime=1.28 cores=0,2,4,6
/proc/4521/stat : 4521 (java) S 4503 4503 3960 0 -1 1077944320 18349 764 0 0 121 6 1 0 20 0 17 0 230795513 8060526592 30640 33554432000 4194304 4196468 140727763350560 140727763333104 139769238310647 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
/proc/4521/statm: 1967902 30640 3148 1 0 1929301 0
[pid=4521/tid=4522] ppid=4503 vsize=7871608 memory=4132774494331964790 CPUtime=0.81 cores=0,2,4,6
/proc/4521/task/4522/stat : 4522 (java) D 4503 4503 3960 0 -1 4202560 15258 764 0 0 76 4 1 0 20 0 17 0 230795514 8060526592 30640 33554432000 4194304 4196468 140727763350560 139769210152424 139769230996279 0 4 2 25189581 18446744072100383877 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4523] ppid=4503 vsize=7871608 memory=8992725908130199082 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4523/stat : 4523 (java) S 4503 4503 3960 0 -1 1077944384 1 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 30640 33554432000 4194304 4196468 140727763350560 139769242553360 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4524] ppid=4503 vsize=7871608 memory=-6524718041957717406 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4524/stat : 4524 (java) S 4503 4503 3960 0 -1 1077944384 2 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 30640 33554432000 4194304 4196468 140727763350560 139769042721936 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4525] ppid=4503 vsize=7871608 memory=2961 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4525/stat : 4525 (java) S 4503 4503 3960 0 -1 1077944384 2 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 30640 33554432000 4194304 4196468 140727763350560 139769041668880 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4526] ppid=4503 vsize=7871608 memory=11722 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4526/stat : 4526 (java) S 4503 4503 3960 0 -1 1077944384 1 764 0 0 0 0 1 0 20 0 17 0 230795515 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768721566608 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4527] ppid=4503 vsize=7871608 memory=24562 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4527/stat : 4527 (java) S 4503 4503 3960 0 -1 1077944384 5 764 0 0 0 0 1 0 20 0 17 0 230795516 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768483358960 139769238321794 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4528] ppid=4503 vsize=7871608 memory=-4266093328290194108 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4528/stat : 4528 (java) S 4503 4503 3960 0 -1 1077944384 13 764 0 0 0 0 1 0 20 0 17 0 230795517 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768100807840 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4529] ppid=4503 vsize=7871608 memory=-7028383565733676177 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4529/stat : 4529 (java) S 4503 4503 3960 0 -1 1077944384 1 764 0 0 0 0 1 0 20 0 17 0 230795517 8060526592 30640 33554432000 4194304 4196468 140727763350560 139767832371952 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4530] ppid=4503 vsize=7871608 memory=4627829655977429107 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4530/stat : 4530 (java) S 4503 4503 3960 0 -1 1077944384 3 764 0 0 0 0 1 0 20 0 17 0 230795519 8060526592 30640 33554432000 4194304 4196468 140727763350560 139767457863632 139769238329243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4531] ppid=4503 vsize=7871608 memory=-6526411401870300574 CPUtime=0.09 cores=0,2,4,6
/proc/4521/task/4531/stat : 4531 (java) S 4503 4503 3960 0 -1 1077944384 779 764 0 0 8 0 1 0 20 0 17 0 230795519 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768482306800 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4532] ppid=4503 vsize=7871608 memory=-7323849743365162655 CPUtime=0.1 cores=0,2,4,6
/proc/4521/task/4532/stat : 4532 (java) S 4503 4503 3960 0 -1 1077944384 188 764 0 0 9 0 1 0 20 0 17 0 230795519 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768481254256 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4533] ppid=4503 vsize=7871608 memory=1470779796084662706 CPUtime=0.24 cores=0,2,4,6
/proc/4521/task/4533/stat : 4533 (java) S 4503 4503 3960 0 -1 1077944384 649 764 0 0 23 0 1 0 20 0 17 0 230795519 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768480201200 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4534] ppid=4503 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4534/stat : 4534 (java) S 4503 4503 3960 0 -1 1077944384 3 764 0 0 0 0 1 0 20 0 17 0 230795520 8060526592 30640 33554432000 4194304 4196468 140727763350560 139766959958880 139769238320853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4535] ppid=4503 vsize=7871608 memory=5795117241467496816 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4535/stat : 4535 (java) S 4503 4503 3960 0 -1 1077944384 2 764 0 0 0 0 1 0 20 0 17 0 230795520 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768479148592 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4537] ppid=4503 vsize=7871608 memory=7019212294091662956 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4537/stat : 4537 (java) S 4503 4503 3960 0 -1 1077944384 25 764 0 0 0 0 1 0 20 0 17 0 230795586 8060526592 30640 33554432000 4194304 4196468 140727763350560 139768471339536 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
[pid=4521/tid=4541] ppid=4503 vsize=7871608 memory=7235147594880805952 CPUtime=0.01 cores=0,2,4,6
/proc/4521/task/4541/stat : 4541 (java) S 4503 4503 3960 0 -1 1077944384 22 764 0 0 0 0 1 0 20 0 17 0 230795588 8060526592 30640 33554432000 4194304 4196468 140727763350560 139766557304368 139769238321794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140727763358902 140727763359025 140727763359025 140727763361743 0
Current children cumulated CPU time: 10.27 s
Current children cumulated vsize: 7984736 KiB
Current children cumulated memory: 124032 KiB
Child status: 0
Real time (s): 4.28274
CPU time (s): 10.3001
CPU user time (s): 10.049
CPU system time (s): 0.251081
CPU usage (%): 240.502
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 569584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.049
system time used= 0.251081
maximum resident set size= 578440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49926
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4598
involuntary context switches= 68
# summary of solver processes directly reported to runsolver:
# pid: 4503
# total CPU time (s): 10.3001
# total CPU user time (s): 10.049
# total CPU system time (s): 0.251081
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048033 second user time and 0.092105 second system time
The end