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-21556-serial-file.bin HOME/instance-4305547-1534072394.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:13:15 CEST 2018
0.67/0.54 c PID: 21559
0.67/0.54 c IP: 172.20.3.135
0.67/0.54 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.00/1.17 c (0,0) Parsing End
2.00/1.18 c (0,0) CSP: 0 int (0 aux), 726 bool (0 aux), 287 ctr, max domain size 2
2.00/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.00/1.18 c (0,0) Constraint Name Generate Begin
2.33/1.20 c (0,0) Ctr:HOME/instance-4305547-1534072394.xml,IntVar:LexMatrix:Num:WeightedSum
2.33/1.20 c (0,0) Constraint Name Generate End
2.33/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.33/1.20 c (0,0) CSP to CSPinCNF Begin
2.91/1.41 c (0,0) translated 29 (10%) constraints
3.24/1.57 c (1,1) translated 58 (20%) constraints
4.88/2.08 c (1,1) translated 87 (30%) constraints
6.06/2.41 c (1,1) translated 115 (40%) constraints
6.67/2.69 c (2,2) translated 144 (50%) constraints
7.57/2.95 c (2,2) translated 173 (60%) constraints
8.14/3.16 c (2,2) translated 201 (70%) constraints
8.64/3.37 c (2,2) translated 230 (80%) constraints
9.02/3.57 c (3,3) translated 259 (90%) constraints
9.35/3.75 c (3,3) translated 287 (100%) constraints
13.19/5.63 c (5,5) STATISTICS1:HOME/instance-4305547-1534072394.xml,IntVar:LexMatrix:Num:WeightedSum,17263,33466,4294967296,2,4,33,4294967296:506;2097152:66;2:2741,2:87037,4:1291;3:15299;2:16537;1:339,33:506;22:66;2:2741;1:80103,
13.19/5.63 c (5,5) ==========================================
13.19/5.63 c (5,5) Both Encoding selects:
13.19/5.63 c (5,5) Order
13.19/5.63 c (5,5) ==========================================
14.56/6.01 c (5,5) translated 3347 (10%) constraints
15.22/6.21 c (5,5) translated 6694 (20%) constraints
15.83/6.41 c (5,5) translated 10040 (30%) constraints
16.12/6.58 c (6,6) translated 13387 (40%) constraints
16.69/6.74 c (6,6) translated 16733 (50%) constraints
16.84/6.89 c (6,6) translated 20080 (60%) constraints
17.16/7.07 c (6,6) translated 23427 (70%) constraints
17.44/7.21 c (6,6) translated 26773 (80%) constraints
17.55/7.36 c (6,6) translated 30120 (90%) constraints
17.67/7.49 c (6,6) translated 33466 (100%) constraints
17.92/7.50 c (6,6) CSP to CSPinCNF End
17.92/7.51 c (6,6) CSP: 3135 int (3135 aux), 24886 bool (24160 aux), 55268 ctr, max domain size 12
17.92/7.51 c (6,6) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.92/7.51 c (6,6) CSPinCNF Propagation Begin
19.42/8.02 c (7,7) 0 values, 7623 unsatisfiable literals, and 7623 valid clauses are removed
19.42/8.02 c (7,7) CSPinCNF Propagation End
19.42/8.03 c (7,7) CSP: 3135 int (3135 aux), 24886 bool (24160 aux), 47645 ctr, max domain size 12
19.42/8.03 c (7,7) Heap : 226 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.42/8.03 c (7,7) Simplify CSPinCNF Begin
19.66/8.20 c (7,7) Simplify CSPinCNF End
19.88/8.20 c (7,7) CSP: 3135 int (3135 aux), 27627 bool (26901 aux), 50386 ctr, max domain size 12
19.88/8.20 c (7,7) Heap : 336 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.88/8.20 c (7,7) Calculate Precise Domain Begin
20.10/8.31 c (7,7) 0 values are removed by re-calculation
20.10/8.31 c (7,7) Calculate Precise Domain End
20.10/8.32 c (7,7) CSP: 3135 int (3135 aux), 27627 bool (26901 aux), 50386 ctr, max domain size 12
20.10/8.32 c (7,7) Heap : 336 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.10/8.32 c (7,7) CSPinCNF to SatSolver Begin
21.63/8.81 c (8,8) 5039 (10 %) CSP clauses are encoded (41223 SAT variables, 80773 SAT clauses)
21.63/8.90 c (8,8) 10078 (20 %) CSP clauses are encoded (41223 SAT variables, 97368 SAT clauses)
21.90/8.97 c (8,8) 15116 (30 %) CSP clauses are encoded (41223 SAT variables, 113534 SAT clauses)
22.13/9.05 c (8,8) 20155 (40 %) CSP clauses are encoded (41223 SAT variables, 130129 SAT clauses)
22.31/9.11 c (8,8) 25193 (50 %) CSP clauses are encoded (41223 SAT variables, 146295 SAT clauses)
22.31/9.17 c (8,8) 30232 (60 %) CSP clauses are encoded (41223 SAT variables, 162462 SAT clauses)
22.41/9.22 c (8,8) 35271 (70 %) CSP clauses are encoded (41223 SAT variables, 179057 SAT clauses)
22.41/9.27 c (8,8) 40309 (80 %) CSP clauses are encoded (41223 SAT variables, 195223 SAT clauses)
22.51/9.33 c (8,8) 45348 (90 %) CSP clauses are encoded (41223 SAT variables, 210727 SAT clauses)
22.69/9.44 c (8,8) 50386 (100 %) CSP clauses are encoded (41223 SAT variables, 218260 SAT clauses)
22.69/9.44 c (8,8) Launch Command will be: minisat_release
22.69/9.44 c (8,8) CSPinCNF to SatSolver End
22.69/9.44 c (8,8) Heap : 999 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
23.27/9.65 c (9,8) STATISTICS2:HOME/instance-4305547-1534072394.xml,IntVar:LexMatrix:Num:WeightedSum,30762,50386,256,12,4,9,256:66;144:44;128:132;72:132;64:66;40:1386;25:1980;16:3036;2:4085,12:264;9:396;8:264;5:11616;2:119528,4:1291;3:7676;2:34524;1:6895,9:66;8:132;5:4554;3:2090;2:4085;1:93208,
23.27/9.65 c (9,8) 41223 bool, 218261 clause
23.27/9.65 c (9,8) Export Begin
23.51/9.77 c (9,9) Export to HOME/scop-21556-serial-file.bin
23.51/9.77 c (9,9) Export End
23.51/9.77 c (9,9) Export File Size: 0.12 MB
23.51/9.77 c (9,9) 0,0,6,7,7,7,8,STOP-AFTER(DIMACS)
23.51/9.77 c END-Prog: Sun Aug 12 13:13:24 CEST 2018
0.00/9.80 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21556-serial-file.bin
24.23/10.29 c (0,0) Read Serial File Begin
24.23/10.29 c (0,0) HOME/scop-21556-serial-file.bin
24.77/10.50 c (0,0) Read Serial File End
24.77/10.52
24.77/10.52 scop order+minisat_release (2018-07-31)
24.77/10.52 (Solving Process)
24.77/10.52
24.77/10.54 c BEGIN-Prog: Sun Aug 12 13:13:25 CEST 2018
24.77/10.54 c PID: 21574
24.77/10.54 c IP: 172.20.3.135
24.77/10.54 c HOST: node135.alineos.net
24.77/10.54 c (0,0) SatSolver.solve Begin
24.77/10.54 c (0,0) 0 bool, 0 clause
24.77/10.54 c (0,0) minisat_release HOME/instance-4305547-1534072394.xml-scop-21559.cnf
2520.09/2504.60 c (2494,0) SatSolver is killed by some reasons.
2520.09/2504.60 c (2494,0) receiving signal SIGTERM
2520.09/2504.60 s UNKNOWN
2520.09/2504.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2504.61 c (scop.sh) Killing background jobs.
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 (6643 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-4305547-1534072394/watcher-4305547-1534072394 -o /tmp/evaluation-result-4305547-1534072394/solver-4305547-1534072394 -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-4305547-1534072394.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=21556, runsolver pid=21553
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 2.08 2.03 2.05 4/227 21573
/proc/meminfo: memFree=11494292/32770624 swapFree=67108860/67108860
[pid=21556] ppid=21553 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21556/stat : 21556 (scop.sh) S 21553 21556 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224802571 115843072 349 33554432000 4194304 5098028 140732720653424 140732720650680 140531529814652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16121856 140732720661569 140732720661767 140732720661767 140732720664525 0
/proc/21556/statm: 28282 349 296 221 0 87 0
[pid=21559] ppid=21556 vsize=15012476 memory=71040 CPUtime=0.11 cores=1,3,5,7
/proc/21559/stat : 21559 (java) S 21556 21556 19383 0 -1 1077944320 6966 0 0 0 9 2 0 0 20 0 15 0 224802571 15372775424 17760 33554432000 4194304 4196468 140731693003232 140731692985776 140527401336567 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
/proc/21559/statm: 3753119 17760 2755 1 0 3715579 0
[pid=21559/tid=21560] ppid=21556 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=1,3,5,7
/proc/21559/task/21560/stat : 21560 (java) R 21556 21556 19383 0 -1 4202560 5039 0 0 0 7 1 0 0 20 0 15 0 224802572 15372775424 17826 33554432000 4194304 4196468 140731693003232 140527373113648 140527381612288 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21561] ppid=21556 vsize=15012476 memory=3472468813365765808 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21561/stat : 21561 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 17826 33554432000 4194304 4196468 140731693003232 140527405578512 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21562] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21562/stat : 21562 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 17826 33554432000 4194304 4196468 140731693003232 140526861965712 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21563] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21563/stat : 21563 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 17826 33554432000 4194304 4196468 140731693003232 140526860913168 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21564] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21564/stat : 21564 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 17826 33554432000 4194304 4196468 140731693003232 140526859860624 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21565] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21565/stat : 21565 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 17826 33554432000 4194304 4196468 140731693003232 140526237596144 140527401347714 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21566] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21566/stat : 21566 (java) S 21556 21556 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 17826 33554432000 4194304 4196468 140731693003232 140526028318112 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21567] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21567/stat : 21567 (java) S 21556 21556 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 17892 33554432000 4194304 4196468 140731693003232 140525894096368 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21568] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21568/stat : 21568 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 17892 33554432000 4194304 4196468 140731693003232 140525519592144 140527401355163 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21569] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21569/stat : 21569 (java) S 21556 21556 19383 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 17892 33554432000 4194304 4196468 140731693003232 140526236542960 140527401347714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21570] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21570/stat : 21570 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 17892 33554432000 4194304 4196468 140731693003232 140526235490416 140527401347714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21571] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0.01 cores=1,3,5,7
/proc/21559/task/21571/stat : 21571 (java) S 21556 21556 19383 0 -1 1077944384 301 0 0 0 1 0 0 0 20 0 15 0 224802578 15372775424 17892 33554432000 4194304 4196468 140731693003232 140526234437872 140527401347714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21572] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21572/stat : 21572 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 17892 33554432000 4194304 4196468 140731693003232 140525021686368 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21573] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21573/stat : 21573 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 17892 33554432000 4194304 4196468 140731693003232 140526233385776 140527401347714 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72436 KiB
[startup+0.210808 s]*
/proc/loadavg: 2.08 2.03 2.05 3/227 21573
/proc/meminfo: memFree=11480836/32770624 swapFree=67108860/67108860
[pid=21556] ppid=21553 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21556/stat : 21556 (scop.sh) S 21553 21556 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224802571 115843072 349 33554432000 4194304 5098028 140732720653424 140732720650680 140531529814652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16121856 140732720661569 140732720661767 140732720661767 140732720664525 0
/proc/21556/statm: 28282 349 296 221 0 87 0
[pid=21559] ppid=21556 vsize=15012476 memory=83312 CPUtime=0.26 cores=1,3,5,7
/proc/21559/stat : 21559 (java) S 21556 21556 19383 0 -1 1077944320 10172 0 0 0 23 3 0 0 20 0 15 0 224802571 15372775424 20828 33554432000 4194304 4196468 140731693003232 140731692985776 140527401336567 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
/proc/21559/statm: 3753119 20828 2917 1 0 3715579 0
[pid=21559/tid=21560] ppid=21556 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=1,3,5,7
/proc/21559/task/21560/stat : 21560 (java) R 21556 21556 19383 0 -1 4202560 7977 0 0 0 18 2 0 0 20 0 15 0 224802572 15372775424 20828 33554432000 4194304 4196468 140731693003232 140527373159632 140527387073858 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21561] ppid=21556 vsize=15012476 memory=3472468813365765808 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21561/stat : 21561 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 20828 33554432000 4194304 4196468 140731693003232 140527405578512 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21562] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21562/stat : 21562 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526861965712 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21563] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21563/stat : 21563 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526860913168 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21564] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21564/stat : 21564 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526859860624 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21565] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21565/stat : 21565 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526237596144 140527401347714 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21566] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21566/stat : 21566 (java) S 21556 21556 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526028318112 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21567] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21567/stat : 21567 (java) S 21556 21556 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 20828 33554432000 4194304 4196468 140731693003232 140525894096368 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21568] ppid=21556 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21568/stat : 21568 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 20828 33554432000 4194304 4196468 140731693003232 140525519592144 140527401355163 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21569] ppid=21556 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21559/task/21569/stat : 21569 (java) R 21556 21556 19383 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 15 0 224802578 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526236543056 140527379204384 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21570] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21570/stat : 21570 (java) R 21556 21556 19383 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526235490416 140527401347714 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21571] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0.03 cores=1,3,5,7
/proc/21559/task/21571/stat : 21571 (java) S 21556 21556 19383 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 15 0 224802578 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526234437872 140527401347714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21572] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21572/stat : 21572 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 20828 33554432000 4194304 4196468 140731693003232 140525021686368 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21573] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21573/stat : 21573 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 20828 33554432000 4194304 4196468 140731693003232 140526233385776 140527401347714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84708 KiB
[startup+0.310924 s]*
/proc/loadavg: 2.08 2.03 2.05 3/227 21573
/proc/meminfo: memFree=11476804/32770624 swapFree=67108860/67108860
[pid=21556] ppid=21553 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21556/stat : 21556 (scop.sh) S 21553 21556 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224802571 115843072 349 33554432000 4194304 5098028 140732720653424 140732720650680 140531529814652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16121856 140732720661569 140732720661767 140732720661767 140732720664525 0
/proc/21556/statm: 28282 349 296 221 0 87 0
[pid=21559] ppid=21556 vsize=15012476 memory=87144 CPUtime=0.43 cores=1,3,5,7
/proc/21559/stat : 21559 (java) S 21556 21556 19383 0 -1 1077944320 10805 0 0 0 40 3 0 0 20 0 15 0 224802571 15372775424 21786 33554432000 4194304 4196468 140731693003232 140731692985776 140527401336567 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
/proc/21559/statm: 3753119 21786 2998 1 0 3715579 0
[pid=21559/tid=21560] ppid=21556 vsize=15012476 memory=8514701219881124769 CPUtime=0.3 cores=1,3,5,7
/proc/21559/task/21560/stat : 21560 (java) R 21556 21556 19383 0 -1 4202560 8365 0 0 0 27 3 0 0 20 0 15 0 224802572 15372775424 21786 33554432000 4194304 4196468 140731693003232 140527373160448 140527382900096 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21561] ppid=21556 vsize=15012476 memory=3472468813365765808 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21561/stat : 21561 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 21786 33554432000 4194304 4196468 140731693003232 140527405578512 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21562] ppid=21556 vsize=15012476 memory=281034173938560 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21562/stat : 21562 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526861965712 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21563] ppid=21556 vsize=15012476 memory=281034071736096 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21563/stat : 21563 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526860913168 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21564] ppid=21556 vsize=15012476 memory=140517035853071 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21564/stat : 21564 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224802573 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526859860624 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21565] ppid=21556 vsize=15012476 memory=281034173947744 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21565/stat : 21565 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526237596144 140527401347714 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21566] ppid=21556 vsize=15012476 memory=140517035857679 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21566/stat : 21566 (java) S 21556 21556 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526028318112 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21567] ppid=21556 vsize=15012476 memory=281034071745312 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21567/stat : 21567 (java) S 21556 21556 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224802575 15372775424 21786 33554432000 4194304 4196468 140731693003232 140525894096368 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21568] ppid=21556 vsize=15012476 memory=140517035883610 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21568/stat : 21568 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 21786 33554432000 4194304 4196468 140731693003232 140525519592144 140527401355163 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21569] ppid=21556 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21559/task/21569/stat : 21569 (java) R 21556 21556 19383 0 -1 4202560 425 0 0 0 2 0 0 0 20 0 15 0 224802578 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526236542960 140527393626016 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21570] ppid=21556 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21559/task/21570/stat : 21570 (java) R 21556 21556 19383 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 15 0 224802578 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526235490416 140527401347714 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21571] ppid=21556 vsize=15012476 memory=140517138085504 CPUtime=0.07 cores=1,3,5,7
/proc/21559/task/21571/stat : 21571 (java) R 21556 21556 19383 0 -1 4202560 440 0 0 0 7 0 0 0 20 0 15 0 224802578 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526234437872 140527380145535 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21572] ppid=21556 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21572/stat : 21572 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 21786 33554432000 4194304 4196468 140731693003232 140525021686368 140527401346773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21573] ppid=21556 vsize=15012476 memory=140517138086900 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21573/stat : 21573 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802578 15372775424 21786 33554432000 4194304 4196468 140731693003232 140526233385776 140527401347714 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88540 KiB
[startup+0.70683 s]
/proc/loadavg: 2.08 2.03 2.05 3/227 21573
/proc/meminfo: memFree=11452372/32770624 swapFree=67108860/67108860
[pid=21556] ppid=21553 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21556/stat : 21556 (scop.sh) S 21553 21556 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224802571 115843072 349 33554432000 4194304 5098028 140732720653424 140732720650680 140531529814652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16121856 140732720661569 140732720661767 140732720661767 140732720664525 0
/proc/21556/statm: 28282 349 296 221 0 87 0
[pid=21559] ppid=21556 vsize=15020872 memory=126936 CPUtime=1.03 cores=1,3,5,7
/proc/21559/stat : 21559 (java) S 21556 21556 19383 0 -1 1077944320 17956 0 0 0 97 6 0 0 20 0 15 0 224802571 15381372928 31734 33554432000 4194304 4196468 140731693003232 140731692985776 140527401336567 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
/proc/21559/statm: 3755218 31734 3158 1 0 3716603 0
[pid=21559/tid=21560] ppid=21556 vsize=15020872 memory=57 CPUtime=0.67 cores=1,3,5,7
/proc/21559/task/21560/stat : 21560 (java) R 21556 21556 19383 0 -1 4202560 14961 0 0 0 62 5 0 0 20 0 15 0 224802572 15381372928 31734 33554432000 4194304 4196468 140731693003232 140527373173088 140526906334015 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21561] ppid=21556 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21561/stat : 21561 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15381372928 31734 33554432000 4194304 4196468 140731693003232 140527405578512 140527401346773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21562] ppid=21556 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21562/stat : 21562 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526861965712 140527401346773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21563] ppid=21556 vsize=15020872 memory=7518566443438921825 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21563/stat : 21563 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802573 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526860913168 140527401346773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21564] ppid=21556 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21564/stat : 21564 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224802573 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526859860624 140527401346773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21565] ppid=21556 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21565/stat : 21565 (java) S 21556 21556 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224802575 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526237596144 140527401347714 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21566] ppid=21556 vsize=15020872 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21566/stat : 21566 (java) S 21556 21556 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224802575 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526028318112 140527401346773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21567] ppid=21556 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21567/stat : 21567 (java) S 21556 21556 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224802575 15381372928 31734 33554432000 4194304 4196468 140731693003232 140525894096368 140527401346773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21568] ppid=21556 vsize=15020872 memory=968 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21568/stat : 21568 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15381372928 31734 33554432000 4194304 4196468 140731693003232 140525519592144 140527401355163 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21569] ppid=21556 vsize=15020872 memory=12144 CPUtime=0.1 cores=1,3,5,7
/proc/21559/task/21569/stat : 21569 (java) R 21556 21556 19383 0 -1 4202560 680 0 0 0 10 0 0 0 20 0 15 0 224802578 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526236532752 140527401357914 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21570] ppid=21556 vsize=15020872 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/21559/task/21570/stat : 21570 (java) R 21556 21556 19383 0 -1 4202560 305 0 0 0 7 0 0 0 20 0 15 0 224802578 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526235476960 140527385002755 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21571] ppid=21556 vsize=15020872 memory=8812 CPUtime=0.17 cores=1,3,5,7
/proc/21559/task/21571/stat : 21571 (java) R 21556 21556 19383 0 -1 4202560 656 0 0 0 17 0 0 0 20 0 15 0 224802578 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526234434240 140527401348502 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21572] ppid=21556 vsize=15020872 memory=4576 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21572/stat : 21572 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224802578 15381372928 31734 33554432000 4194304 4196468 140731693003232 140525021686368 140527401346773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
[pid=21559/tid=21573] ppid=21556 vsize=15020872 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/21559/task/21573/stat : 21573 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224802578 15381372928 31734 33554432000 4194304 4196468 140731693003232 140526233385776 140527401347714 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140731693011975 140731693012273 140731693012273 140731693014991 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128332 KiB
[startup+1.50074 s]
/proc/loadavg: 2.08 2.03 2.05 5/227 21573
/proc/meminfo: memFree=11424816/32770624 swapFree=67108860/67108860
[pid=21556] ppid=21553 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21556/stat : 21556 (scop.sh) S 21553 21556 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224802571 115843072 349 33554432000 4194304 5098028 140732720653424 140732720650680 140531529814652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16121856 140732720661569 140732720661767 140732720661767 140732720664525 0
/proc/21556/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=21574/tid=21577] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21577/stat : 21577 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140449123158288 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21578] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21578/stat : 21578 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448776145552 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21579] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21579/stat : 21579 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448775092752 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21580] ppid=21556 vsize=8068220 memory=1472 CPUtime=0.03 cores=1,3,5,7
/proc/21574/task/21580/stat : 21580 (java) S 21556 21556 19383 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224803555 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448738536048 140449292110466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21581] ppid=21556 vsize=8068220 memory=143440 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21581/stat : 21581 (java) S 21556 21556 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224803555 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448182035744 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21582] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21582/stat : 21582 (java) S 21556 21556 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224803556 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448047814256 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21583] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21583/stat : 21583 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140447673309776 140449292117915 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21584] ppid=21556 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/21574/task/21584/stat : 21584 (java) S 21556 21556 19383 0 -1 1077944384 971 0 0 0 15 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448737482864 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21585] ppid=21556 vsize=8068220 memory=116784 CPUtime=0.16 cores=1,3,5,7
/proc/21574/task/21585/stat : 21585 (java) S 21556 21556 19383 0 -1 1077944384 497 0 0 0 16 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448736430064 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21586] ppid=21556 vsize=8068220 memory=143440 CPUtime=0.22 cores=1,3,5,7
/proc/21574/task/21586/stat : 21586 (java) S 21556 21556 19383 0 -1 1077944384 526 0 0 0 22 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448735377776 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21587] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21587/stat : 21587 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140447175404000 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21588] ppid=21556 vsize=8068220 memory=1472 CPUtime=0.89 cores=1,3,5,7
/proc/21574/task/21588/stat : 21588 (java) S 21556 21556 19383 0 -1 1077944384 163 0 0 0 42 47 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448734325680 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21590] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21590/stat : 21590 (java) S 21556 21556 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448726517184 140449292123929 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21592] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21592/stat : 21592 (java) S 21556 21556 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446638518320 140449292121245 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21593] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21593/stat : 21593 (java) S 21556 21556 19383 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446772739504 140449292121245 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21594] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21594/stat : 21594 (java) S 21556 21556 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224803631 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446370093984 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
Current children cumulated CPU time: 2457.78 s
Current children cumulated vsize: 8343528 KiB
Current children cumulated memory: 261696 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/231 22364
/proc/meminfo: memFree=11526684/32770624 swapFree=67108860/67108860
[pid=21556] ppid=21553 vsize=113128 memory=1472 CPUtime=23.71 cores=1,3,5,7
/proc/21556/stat : 21556 (scop.sh) S 21553 21556 19383 0 -1 4202496 590 39678 0 0 0 0 2298 73 20 0 1 0 224802571 115843072 368 33554432000 4194304 5098028 140732720653424 140732720650168 140531529814652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16121856 140732720661569 140732720661767 140732720661767 140732720664525 0
/proc/21556/statm: 28282 368 311 221 0 87 0
[pid=21574] ppid=21556 vsize=8068220 memory=116784 CPUtime=2.31 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21556 21556 19383 0 -1 1077944320 19103 0 0 0 176 55 0 0 20 0 19 0 224803552 8261857280 29196 33554432000 4194304 4196468 140723441165760 140723441148304 140449292099319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
/proc/21574/statm: 2017055 29196 3159 1 0 1978454 0
[pid=21589] ppid=21574 vsize=162180 memory=143440 CPUtime=2491.77 cores=1,3,5,7
/proc/21589/stat : 21589 (minisat_release) R 21574 21556 19383 0 -1 4202496 374985 0 0 0 249148 29 0 0 20 0 1 0 224803628 166072320 35860 33554432000 4194304 4308513 140725055132160 140725055129160 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 9064448 140725055136884 140725055136982 140725055136982 140725055139781 0
/proc/21589/statm: 40545 35860 341 28 0 36785 0
[pid=21574/tid=21575] ppid=21556 vsize=8068220 memory=1472 CPUtime=0.78 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) S 21556 21556 19383 0 -1 1077944384 15513 0 0 0 72 6 0 0 20 0 19 0 224803552 8261857280 29196 33554432000 4194304 4196468 140723441165760 140449263939472 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21576] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21576/stat : 21576 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140449296341392 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21577] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21577/stat : 21577 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140449123158288 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21578] ppid=21556 vsize=8068220 memory=143440 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21578/stat : 21578 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448776145552 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21579] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21579/stat : 21579 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448775092752 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21580] ppid=21556 vsize=8068220 memory=143440 CPUtime=0.03 cores=1,3,5,7
/proc/21574/task/21580/stat : 21580 (java) S 21556 21556 19383 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224803555 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448738536048 140449292110466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21581] ppid=21556 vsize=8068220 memory=116784 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21581/stat : 21581 (java) S 21556 21556 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224803555 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448182035744 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21582] ppid=21556 vsize=8068220 memory=143440 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21582/stat : 21582 (java) S 21556 21556 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224803556 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448047814256 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21583] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21583/stat : 21583 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140447673309776 140449292117915 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21584] ppid=21556 vsize=8068220 memory=-7824251494390781542 CPUtime=0.15 cores=1,3,5,7
/proc/21574/task/21584/stat : 21584 (java) S 21556 21556 19383 0 -1 1077944384 971 0 0 0 15 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448737482864 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21585] ppid=21556 vsize=8068220 memory=644 CPUtime=0.16 cores=1,3,5,7
/proc/21574/task/21585/stat : 21585 (java) S 21556 21556 19383 0 -1 1077944384 497 0 0 0 16 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448736430064 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21586] ppid=21556 vsize=8068220 memory=116784 CPUtime=0.22 cores=1,3,5,7
/proc/21574/task/21586/stat : 21586 (java) S 21556 21556 19383 0 -1 1077944384 526 0 0 0 22 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448735377776 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21587] ppid=21556 vsize=8068220 memory=3560 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21587/stat : 21587 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140447175404000 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21588] ppid=21556 vsize=8068220 memory=1472 CPUtime=0.91 cores=1,3,5,7
/proc/21574/task/21588/stat : 21588 (java) S 21556 21556 19383 0 -1 1077944384 167 0 0 0 43 48 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448734325680 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21590] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21590/stat : 21590 (java) S 21556 21556 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448726517184 140449292123929 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21592] ppid=21556 vsize=8068220 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21592/stat : 21592 (java) S 21556 21556 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446638518320 140449292121245 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21593] ppid=21556 vsize=8068220 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21593/stat : 21593 (java) S 21556 21556 19383 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446772739504 140449292121245 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21594] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21594/stat : 21594 (java) S 21556 21556 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224803631 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446370093984 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
Current children cumulated CPU time: 2517.79 s
Current children cumulated vsize: 8343528 KiB
Current children cumulated memory: 261696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/231 22364
/proc/meminfo: memFree=11526684/32770624 swapFree=67108860/67108860
[pid=21556] ppid=21553 vsize=113128 memory=1472 CPUtime=23.71 cores=1,3,5,7
/proc/21556/stat : 21556 (scop.sh) S 21553 21556 19383 0 -1 4202496 590 39678 0 0 0 0 2298 73 20 0 1 0 224802571 115843072 368 33554432000 4194304 5098028 140732720653424 140732720650168 140531529814652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16121856 140732720661569 140732720661767 140732720661767 140732720664525 0
/proc/21556/statm: 28282 368 311 221 0 87 0
[pid=21574] ppid=21556 vsize=8068220 memory=116784 CPUtime=2.31 cores=1,3,5,7
/proc/21574/stat : 21574 (java) S 21556 21556 19383 0 -1 1077944320 19103 0 0 0 176 55 0 0 20 0 19 0 224803552 8261857280 29196 33554432000 4194304 4196468 140723441165760 140723441148304 140449292099319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
/proc/21574/statm: 2017055 29196 3159 1 0 1978454 0
[pid=21589] ppid=21574 vsize=162180 memory=143440 CPUtime=2494.07 cores=1,3,5,7
/proc/21589/stat : 21589 (minisat_release) R 21574 21556 19383 0 -1 4202496 374987 0 0 0 249378 29 0 0 20 0 1 0 224803628 166072320 35860 33554432000 4194304 4308513 140725055132160 140725055129160 4275961 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 9064448 140725055136884 140725055136982 140725055136982 140725055139781 0
/proc/21589/statm: 40545 35860 341 28 0 36785 0
[pid=21574/tid=21575] ppid=21556 vsize=8068220 memory=952 CPUtime=0.78 cores=1,3,5,7
/proc/21574/task/21575/stat : 21575 (java) S 21556 21556 19383 0 -1 1077944384 15513 0 0 0 72 6 0 0 20 0 19 0 224803552 8261857280 29196 33554432000 4194304 4196468 140723441165760 140449263939472 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21576] ppid=21556 vsize=8068220 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21576/stat : 21576 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140449296341392 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21577] ppid=21556 vsize=8068220 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21577/stat : 21577 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140449123158288 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21578] ppid=21556 vsize=8068220 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21578/stat : 21578 (java) S 21556 21556 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448776145552 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21579] ppid=21556 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21579/stat : 21579 (java) S 21556 21556 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224803553 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448775092752 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21580] ppid=21556 vsize=8068220 memory=4132 CPUtime=0.03 cores=1,3,5,7
/proc/21574/task/21580/stat : 21580 (java) S 21556 21556 19383 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224803555 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448738536048 140449292110466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21581] ppid=21556 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21581/stat : 21581 (java) S 21556 21556 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224803555 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448182035744 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21582] ppid=21556 vsize=8068220 memory=968 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21582/stat : 21582 (java) S 21556 21556 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224803556 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448047814256 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21583] ppid=21556 vsize=8068220 memory=12144 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21583/stat : 21583 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140447673309776 140449292117915 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21584] ppid=21556 vsize=8068220 memory=1712 CPUtime=0.15 cores=1,3,5,7
/proc/21574/task/21584/stat : 21584 (java) S 21556 21556 19383 0 -1 1077944384 971 0 0 0 15 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448737482864 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21585] ppid=21556 vsize=8068220 memory=8812 CPUtime=0.16 cores=1,3,5,7
/proc/21574/task/21585/stat : 21585 (java) S 21556 21556 19383 0 -1 1077944384 497 0 0 0 16 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448736430064 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21586] ppid=21556 vsize=8068220 memory=4576 CPUtime=0.22 cores=1,3,5,7
/proc/21574/task/21586/stat : 21586 (java) S 21556 21556 19383 0 -1 1077944384 526 0 0 0 22 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448735377776 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21587] ppid=21556 vsize=8068220 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21587/stat : 21587 (java) S 21556 21556 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140447175404000 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21588] ppid=21556 vsize=8068220 memory=4012 CPUtime=0.91 cores=1,3,5,7
/proc/21574/task/21588/stat : 21588 (java) S 21556 21556 19383 0 -1 1077944384 167 0 0 0 43 48 0 0 20 0 19 0 224803558 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448734325680 140449292110466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21590] ppid=21556 vsize=8068220 memory=34996 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21590/stat : 21590 (java) S 21556 21556 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140448726517184 140449292123929 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21592] ppid=21556 vsize=8068220 memory=18220 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21592/stat : 21592 (java) S 21556 21556 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446638518320 140449292121245 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21593] ppid=21556 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21593/stat : 21593 (java) S 21556 21556 19383 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224803628 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446772739504 140449292121245 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
[pid=21574/tid=21594] ppid=21556 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21574/task/21594/stat : 21594 (java) S 21556 21556 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224803631 8261857280 29196 33554432000 4194304 4196468 140723441165760 140446370093984 140449292109525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140723441173685 140723441173809 140723441173809 140723441176527 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8343528 KiB
Current children cumulated memory: 261696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.61 s]
# the end of solver process 21556 was just reported to runsolver
# cumulated CPU time of all completed processes: user=22.9843 s, system=0.742171 s
[startup+2504.62 s]
# the end of solver process 21574 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.54 s, system=1.60781 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2504.62
CPU time (s): 2520.15
CPU user time (s): 2518.54
CPU system time (s): 1.60781
CPU usage (%): 100.62
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3129712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.54
system time used= 1.60781
maximum resident set size= 3129232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60996
involuntary context switches= 1606
# summary of solver processes directly reported to runsolver:
# pid: 21556,21574
# total CPU time (s): 2520.15
# total CPU user time (s): 2518.54
# total CPU system time (s): 1.60781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5436 second user time and 26.2024 second system time
The end