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-22782-serial-file.bin HOME/instance-4305409-1534132223.xml
0.65/0.52
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Mon Aug 13 05:50:24 CEST 2018
0.65/0.55 c PID: 22785
0.65/0.55 c IP: 172.20.3.104
0.65/0.55 c HOST: node104.alineos.net
0.65/0.55 c (0,0) Parsing Begin
3.28/1.51 c (0,0) Parsing End
3.28/1.52 c (1,0) CSP: 780 int (0 aux), 0 bool (0 aux), 762 ctr, max domain size 400
3.28/1.53 c (1,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.28/1.53 c (1,0) Constraint Name Generate Begin
3.57/1.62 c (1,1) Ctr:HOME/instance-4305409-1534132223.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
3.57/1.62 c (1,1) Constraint Name Generate End
3.57/1.62 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.57/1.62 c (1,1) CSP to CSPinCNF Begin
7.69/3.31 c (2,2) translated 77 (10%) constraints
8.51/4.12 c (3,3) translated 153 (20%) constraints
9.32/4.92 c (4,4) translated 229 (30%) constraints
10.14/5.71 c (5,5) translated 305 (40%) constraints
10.94/6.51 c (5,5) translated 381 (50%) constraints
10.94/6.54 c (6,6) translated 458 (60%) constraints
10.94/6.56 c (6,6) translated 534 (70%) constraints
10.94/6.58 c (6,6) translated 610 (80%) constraints
10.94/6.58 c (6,6) translated 686 (90%) constraints
10.94/6.58 c (6,6) translated 762 (100%) constraints
12.78/7.22 c (6,6) STATISTICS1:HOME/instance-4305409-1534132223.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,780,160080,400,400,20,3,400:760;20:6840;1:760,400:152380;20:161120;1:8460,20:80;3:152000;2:7600;1:400,3:760;2:7600;1:457640,
12.78/7.22 c (6,6) ==========================================
12.78/7.22 c (6,6) Order
12.78/7.22 c (6,6) ==========================================
16.55/8.42 c (7,7) translated 16008 (10%) constraints
17.54/9.25 c (8,8) translated 32016 (20%) constraints
18.39/10.06 c (9,9) translated 48024 (30%) constraints
19.25/10.87 c (10,10) translated 64032 (40%) constraints
20.08/11.68 c (11,10) translated 80040 (50%) constraints
20.98/12.48 c (11,11) translated 96048 (60%) constraints
21.78/13.28 c (12,12) translated 112056 (70%) constraints
22.64/14.09 c (13,13) translated 128064 (80%) constraints
23.49/14.89 c (14,14) translated 144072 (90%) constraints
26.08/16.12 c (15,15) translated 160080 (100%) constraints
26.08/16.13 c (15,15) CSP to CSPinCNF End
26.08/16.13 c (15,15) CSP: 780 int (0 aux), 8000 bool (8000 aux), 464480 ctr, max domain size 400
26.08/16.13 c (15,15) Heap : 539 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.08/16.13 c (15,15) CSPinCNF Propagation Begin
29.37/18.19 c (17,17) 1300 values, 20988 unsatisfiable literals, and 35280 valid clauses are removed
29.37/18.19 c (17,17) CSPinCNF Propagation End
29.37/18.20 c (17,17) CSP: 1240 int (460 aux), 7540 bool (7540 aux), 429200 ctr, max domain size 398
29.37/18.20 c (17,17) Heap : 2220 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.37/18.20 c (17,17) Simplify CSPinCNF Begin
31.05/19.09 c (18,17) Simplify CSPinCNF End
31.05/19.09 c (18,17) CSP: 1240 int (460 aux), 22580 bool (22580 aux), 444240 ctr, max domain size 398
31.05/19.09 c (18,17) Heap : 2663 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
31.05/19.09 c (18,17) Calculate Precise Domain Begin
31.05/19.09 c (18,17) 0 values are removed by re-calculation
31.05/19.09 c (18,17) Calculate Precise Domain End
31.05/19.10 c (18,17) CSP: 1240 int (460 aux), 22580 bool (22580 aux), 444240 ctr, max domain size 398
31.05/19.10 c (18,17) Heap : 2663 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
31.05/19.10 c (18,17) CSPinCNF to SatSolver Begin
35.11/20.60 c (20,19) 44424 (10 %) CSP clauses are encoded (178864 SAT variables, 455475 SAT clauses)
35.23/20.78 c (20,19) 88848 (20 %) CSP clauses are encoded (178864 SAT variables, 499899 SAT clauses)
35.43/20.96 c (20,19) 133272 (30 %) CSP clauses are encoded (178864 SAT variables, 544323 SAT clauses)
35.64/21.13 c (20,19) 177696 (40 %) CSP clauses are encoded (178864 SAT variables, 588747 SAT clauses)
35.84/21.31 c (20,19) 222120 (50 %) CSP clauses are encoded (178864 SAT variables, 633171 SAT clauses)
35.94/21.48 c (20,20) 266544 (60 %) CSP clauses are encoded (178864 SAT variables, 677595 SAT clauses)
36.14/21.66 c (21,20) 310968 (70 %) CSP clauses are encoded (178864 SAT variables, 722019 SAT clauses)
36.34/21.83 c (21,20) 355392 (80 %) CSP clauses are encoded (178864 SAT variables, 766443 SAT clauses)
36.44/22.00 c (21,20) 399816 (90 %) CSP clauses are encoded (178864 SAT variables, 810867 SAT clauses)
37.68/22.63 c (22,21) 444240 (100 %) CSP clauses are encoded (178864 SAT variables, 1150402 SAT clauses)
37.68/22.63 c (22,21) Launch Command will be: minisat_release
37.68/22.63 c (22,21) CSPinCNF to SatSolver End
37.68/22.63 c (22,21) Heap : 2556 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.85/23.73 c (23,22) STATISTICS2:HOME/instance-4305409-1534132223.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,23820,444240,400,398,18,3,400:612;361:136;324:12;20:9792;19:3464;18:424;1:1360,398:216512;397:26996;377:49764;376:1504;356:4272;20:246636;19:51952;18:4340;2:443788;1:1360,18:76;3:141628;2:301776;1:760,3:760;2:15040;1:1014764,
39.85/23.73 c (23,22) 178864 bool, 1150724 clause
39.85/23.73 c (23,22) Export Begin
40.13/23.86 c (23,22) Export to HOME/scop-22782-serial-file.bin
40.13/23.86 c (23,22) Export End
40.13/23.86 c (23,22) Export File Size: 0.14 MB
40.13/23.86 c (23,22) 1,1,15,17,18,18,22,STOP-AFTER(DIMACS)
40.13/23.86 c END-Prog: Mon Aug 13 05:50:47 CEST 2018
0.00/23.90 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22782-serial-file.bin
40.89/24.39 c (0,0) Read Serial File Begin
40.89/24.39 c (0,0) HOME/scop-22782-serial-file.bin
41.31/24.84 c (0,0) Read Serial File End
41.31/24.85
41.31/24.85 scop order+minisat_release (2018-07-31)
41.31/24.85 (Solving Process)
41.31/24.85
41.31/24.87 c BEGIN-Prog: Mon Aug 13 05:50:48 CEST 2018
41.31/24.87 c PID: 22821
41.31/24.87 c IP: 172.20.3.104
41.31/24.87 c HOST: node104.alineos.net
41.31/24.88 c (0,0) SatSolver.solve Begin
41.31/24.88 c (0,0) 0 bool, 0 clause
41.31/24.88 c (0,0) minisat_release HOME/instance-4305409-1534132223.xml-scop-22785.cnf
2520.09/2501.40 c (2477,0) receiving signal SIGTERM
2520.09/2501.40 s UNKNOWN
2520.09/2501.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2501.41 c (scop.sh) Remove HOME/scop-22782-serial-file.bin.
2520.09/2501.41 c (scop.sh) Killing background jobs.
2520.09/2501.41 c (2477,0) receiving signal SIGTERM
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 (5292 MiB free)
memory of node 1: 16384 MiB (9392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305409-1534132223/watcher-4305409-1534132223 -o /tmp/evaluation-result-4305409-1534132223/solver-4305409-1534132223 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534132218-22637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305409-1534132223.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
Current StackSize limit: 8192 KiB
solver pid=22782, runsolver pid=22779
[startup+0.100283 s]*
/proc/loadavg: 0.96 0.69 0.77 3/219 22799
/proc/meminfo: memFree=14937468/32770624 swapFree=67108504/67108860
[pid=22782] ppid=22779 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22782/stat : 22782 (scop.sh) S 22779 22782 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230785481 115843072 349 33554432000 4194304 5098028 140730026890544 140730026887800 140222852465276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10420224 140730026894400 140730026894599 140730026894599 140730026897357 0
/proc/22782/statm: 28282 349 296 221 0 87 0
[pid=22785] ppid=22782 vsize=15012476 memory=72196 CPUtime=0.11 cores=1,3,5,7
/proc/22785/stat : 22785 (java) S 22782 22782 22605 0 -1 1077944320 6153 0 0 0 9 2 0 0 20 0 15 0 230785482 15372775424 18049 33554432000 4194304 4196468 140733534500816 140733534483360 140315480407799 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
/proc/22785/statm: 3753119 18049 2769 1 0 3715579 0
[pid=22785/tid=22786] ppid=22782 vsize=15012476 memory=-6601833317647732518 CPUtime=0.08 cores=1,3,5,7
/proc/22785/task/22786/stat : 22786 (java) R 22782 22782 22605 0 -1 4202560 4232 0 0 0 7 1 0 0 20 0 15 0 230785482 15372775424 18049 33554432000 4194304 4196468 140733534500816 140315452203848 140315461971374 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22787] ppid=22782 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22787/stat : 22787 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 18049 33554432000 4194304 4196468 140733534500816 140315484650512 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22788] ppid=22782 vsize=15012476 memory=140047572956800 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22788/stat : 22788 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314940927120 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22789] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22789/stat : 22789 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314939874064 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22790] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22790/stat : 22790 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785484 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314938821520 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22791] ppid=22782 vsize=15012476 memory=140047572956800 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22791/stat : 22791 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785485 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314518042864 140315480418946 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22792] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22792/stat : 22792 (java) S 22782 22782 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230785485 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314031416480 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22793] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22793/stat : 22793 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785486 15372775424 18049 33554432000 4194304 4196468 140733534500816 140313762980592 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22794] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22794/stat : 22794 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 18049 33554432000 4194304 4196468 140733534500816 140313388472272 140315480426395 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22795] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22795/stat : 22795 (java) S 22782 22782 22605 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314516990704 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22796] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22796/stat : 22796 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314515938160 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22797] ppid=22782 vsize=15012476 memory=140047572956800 CPUtime=0.01 cores=1,3,5,7
/proc/22785/task/22797/stat : 22797 (java) S 22782 22782 22605 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 230785488 15372775424 18049 33554432000 4194304 4196468 140733534500816 140314514885104 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22798] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22798/stat : 22798 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 18049 33554432000 4194304 4196468 140733534500816 140312890567520 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22799] ppid=22782 vsize=15012476 memory=140047572956800 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22799/stat : 22799 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 18115 33554432000 4194304 4196468 140733534500816 140314513832496 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73592 KiB
[startup+0.210629 s]*
/proc/loadavg: 0.96 0.69 0.77 4/219 22799
/proc/meminfo: memFree=14879020/32770624 swapFree=67108504/67108860
[pid=22782] ppid=22779 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22782/stat : 22782 (scop.sh) S 22779 22782 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230785481 115843072 349 33554432000 4194304 5098028 140730026890544 140730026887800 140222852465276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10420224 140730026894400 140730026894599 140730026894599 140730026897357 0
/proc/22782/statm: 28282 349 296 221 0 87 0
[pid=22785] ppid=22782 vsize=15012476 memory=85528 CPUtime=0.25 cores=1,3,5,7
/proc/22785/stat : 22785 (java) S 22782 22782 22605 0 -1 1077944320 9792 0 0 0 23 2 0 0 20 0 15 0 230785482 15372775424 21382 33554432000 4194304 4196468 140733534500816 140733534483360 140315480407799 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
/proc/22785/statm: 3753119 21382 2865 1 0 3715579 0
[pid=22785/tid=22786] ppid=22782 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22785/task/22786/stat : 22786 (java) R 22782 22782 22605 0 -1 4202560 7683 0 0 0 18 2 0 0 20 0 15 0 230785482 15372775424 21448 33554432000 4194304 4196468 140733534500816 140315452223856 140315464488286 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22787] ppid=22782 vsize=15012476 memory=11619 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22787/stat : 22787 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 21448 33554432000 4194304 4196468 140733534500816 140315484650512 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22788] ppid=22782 vsize=15012476 memory=140047572979694 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22788/stat : 22788 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314940927120 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22789] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22789/stat : 22789 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314939874064 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22790] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22790/stat : 22790 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785484 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314938821520 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22791] ppid=22782 vsize=15012476 memory=140047572956800 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22791/stat : 22791 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785485 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314518042864 140315480418946 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22792] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22792/stat : 22792 (java) S 22782 22782 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230785485 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314031416480 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22793] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22793/stat : 22793 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785486 15372775424 21448 33554432000 4194304 4196468 140733534500816 140313762980592 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22794] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22794/stat : 22794 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 21448 33554432000 4194304 4196468 140733534500816 140313388472272 140315480426395 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22795] ppid=22782 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22785/task/22795/stat : 22795 (java) S 22782 22782 22605 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 230785488 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314516990704 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22796] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22796/stat : 22796 (java) S 22782 22782 22605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314515938160 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22797] ppid=22782 vsize=15012476 memory=140047572956800 CPUtime=0.03 cores=1,3,5,7
/proc/22785/task/22797/stat : 22797 (java) S 22782 22782 22605 0 -1 1077944384 302 0 0 0 3 0 0 0 20 0 15 0 230785488 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314514885104 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22798] ppid=22782 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22798/stat : 22798 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 21448 33554432000 4194304 4196468 140733534500816 140312890567520 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22799] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22799/stat : 22799 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 21448 33554432000 4194304 4196468 140733534500816 140314513832496 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86924 KiB
[startup+0.310637 s]*
/proc/loadavg: 0.96 0.69 0.77 3/219 22799
/proc/meminfo: memFree=14838372/32770624 swapFree=67108504/67108860
[pid=22782] ppid=22779 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22782/stat : 22782 (scop.sh) S 22779 22782 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230785481 115843072 349 33554432000 4194304 5098028 140730026890544 140730026887800 140222852465276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10420224 140730026894400 140730026894599 140730026894599 140730026897357 0
/proc/22782/statm: 28282 349 296 221 0 87 0
[pid=22785] ppid=22782 vsize=15012476 memory=90004 CPUtime=0.41 cores=1,3,5,7
/proc/22785/stat : 22785 (java) S 22782 22782 22605 0 -1 1077944320 10409 0 0 0 39 2 0 0 20 0 15 0 230785482 15372775424 22501 33554432000 4194304 4196468 140733534500816 140733534483360 140315480407799 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
/proc/22785/statm: 3753119 22501 3007 1 0 3715579 0
[pid=22785/tid=22786] ppid=22782 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22785/task/22786/stat : 22786 (java) R 22782 22782 22605 0 -1 4202560 8113 0 0 0 27 2 0 0 20 0 15 0 230785482 15372775424 22501 33554432000 4194304 4196468 140733534500816 140315452203248 140315480419734 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22787] ppid=22782 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22787/stat : 22787 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 22501 33554432000 4194304 4196468 140733534500816 140315484650512 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22788] ppid=22782 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22788/stat : 22788 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314940927120 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22789] ppid=22782 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22789/stat : 22789 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314939874064 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22790] ppid=22782 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22790/stat : 22790 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785484 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314938821520 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22791] ppid=22782 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22791/stat : 22791 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785485 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314518042864 140315480418946 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22792] ppid=22782 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22792/stat : 22792 (java) S 22782 22782 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230785485 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314031416480 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22793] ppid=22782 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22793/stat : 22793 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785486 15372775424 22501 33554432000 4194304 4196468 140733534500816 140313762980592 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22794] ppid=22782 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22794/stat : 22794 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 22501 33554432000 4194304 4196468 140733534500816 140313388472272 140315480426395 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22795] ppid=22782 vsize=15012476 memory=4426078206164241782 CPUtime=0.02 cores=1,3,5,7
/proc/22785/task/22795/stat : 22795 (java) R 22782 22782 22605 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 230785488 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314516990704 140315480418946 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22796] ppid=22782 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22785/task/22796/stat : 22796 (java) S 22782 22782 22605 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 230785488 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314515938160 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22797] ppid=22782 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22785/task/22797/stat : 22797 (java) R 22782 22782 22605 0 -1 4202560 340 0 0 0 7 0 0 0 20 0 15 0 230785488 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314514885104 140315480429146 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22798] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22798/stat : 22798 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 22501 33554432000 4194304 4196468 140733534500816 140312890567520 140315480418005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22799] ppid=22782 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22799/stat : 22799 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785488 15372775424 22501 33554432000 4194304 4196468 140733534500816 140314513832496 140315480418946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91400 KiB
[startup+0.700828 s]
/proc/loadavg: 0.96 0.69 0.77 3/219 22799
/proc/meminfo: memFree=14735612/32770624 swapFree=67108504/67108860
[pid=22782] ppid=22779 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22782/stat : 22782 (scop.sh) S 22779 22782 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230785481 115843072 349 33554432000 4194304 5098028 140730026890544 140730026887800 140222852465276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10420224 140730026894400 140730026894599 140730026894599 140730026897357 0
/proc/22782/statm: 28282 349 296 221 0 87 0
[pid=22785] ppid=22782 vsize=15020872 memory=127520 CPUtime=1.02 cores=1,3,5,7
/proc/22785/stat : 22785 (java) S 22782 22782 22605 0 -1 1077944320 17472 0 0 0 97 5 0 0 20 0 15 0 230785482 15381372928 31880 33554432000 4194304 4196468 140733534500816 140733534483360 140315480407799 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
/proc/22785/statm: 3755218 31880 3147 1 0 3716603 0
[pid=22785/tid=22786] ppid=22782 vsize=15020872 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/22785/task/22786/stat : 22786 (java) R 22782 22782 22605 0 -1 4202560 14747 0 0 0 63 4 0 0 20 0 15 0 230785482 15381372928 31880 33554432000 4194304 4196468 140733534500816 140315452239696 140315480429725 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22787] ppid=22782 vsize=15020872 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22787/stat : 22787 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15381372928 31880 33554432000 4194304 4196468 140733534500816 140315484650512 140315480418005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22788] ppid=22782 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22788/stat : 22788 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314940927120 140315480418005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22789] ppid=22782 vsize=15020872 memory=62592 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22789/stat : 22789 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230785483 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314939874064 140315480418005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22790] ppid=22782 vsize=15020872 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22790/stat : 22790 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785484 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314938821520 140315480418005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22791] ppid=22782 vsize=15020872 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22791/stat : 22791 (java) S 22782 22782 22605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230785485 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314518042864 140315480418946 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22792] ppid=22782 vsize=15020872 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22792/stat : 22792 (java) S 22782 22782 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230785485 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314031416480 140315480418005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22793] ppid=22782 vsize=15020872 memory=748 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22793/stat : 22793 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785486 15381372928 31880 33554432000 4194304 4196468 140733534500816 140313762980592 140315480418005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22794] ppid=22782 vsize=15020872 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22794/stat : 22794 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15381372928 31880 33554432000 4194304 4196468 140733534500816 140313388472272 140315480426395 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22795] ppid=22782 vsize=15020872 memory=4552 CPUtime=0.09 cores=1,3,5,7
/proc/22785/task/22795/stat : 22795 (java) S 22782 22782 22605 0 -1 1077944384 764 0 0 0 9 0 0 0 20 0 15 0 230785488 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314516990704 140315480418946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22796] ppid=22782 vsize=15020872 memory=3732 CPUtime=0.06 cores=1,3,5,7
/proc/22785/task/22796/stat : 22796 (java) S 22782 22782 22605 0 -1 1077944384 148 0 0 0 6 0 0 0 20 0 15 0 230785488 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314515938160 140315480418946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22797] ppid=22782 vsize=15020872 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/22785/task/22797/stat : 22797 (java) S 22782 22782 22605 0 -1 1077944384 476 0 0 0 17 0 0 0 20 0 15 0 230785488 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314514885104 140315480418946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22798] ppid=22782 vsize=15020872 memory=10624 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22798/stat : 22798 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230785488 15381372928 31880 33554432000 4194304 4196468 140733534500816 140312890567520 140315480418005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
[pid=22785/tid=22799] ppid=22782 vsize=15020872 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/22785/task/22799/stat : 22799 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230785488 15381372928 31880 33554432000 4194304 4196468 140733534500816 140314513832496 140315480418946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140733534503942 140733534504241 140733534504241 140733534506959 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128916 KiB
[startup+1.51029 s]
/proc/loadavg: 0.96 0.69 0.77 3/219 22799
/proc/meminfo: memFree=14498684/32770624 swapFree=67108504/67108860
[pid=22782] ppid=22779 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22782/stat : 22782 (scop.sh) S 22779 22782 22605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230785481 115843072 349 33554432000 4194304 5098028 140730026890544 140730026887800 140222852465276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10420224 140730026894400 140730026894599 140730026894599 140730026897357 0
/proc/22782/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=22821/tid=22824] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22824/stat : 22824 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660729424528 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22825] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22825/stat : 22825 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660728371472 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22826] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22826/stat : 22826 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660389939600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22827] ppid=22782 vsize=8068220 memory=118468 CPUtime=0.05 cores=1,3,5,7
/proc/22821/task/22827/stat : 22827 (java) S 22782 22782 22605 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660353518320 139660907104898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22828] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22828/stat : 22828 (java) S 22782 22782 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659787101856 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22829] ppid=22782 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22829/stat : 22829 (java) S 22782 22782 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659652879600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22830] ppid=22782 vsize=8068220 memory=15 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22830/stat : 22830 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659278375376 139660907112347 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22831] ppid=22782 vsize=8068220 memory=118468 CPUtime=0.15 cores=1,3,5,7
/proc/22821/task/22831/stat : 22831 (java) S 22782 22782 22605 0 -1 1077944384 999 0 0 0 15 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660352465136 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22832] ppid=22782 vsize=8068220 memory=33 CPUtime=0.16 cores=1,3,5,7
/proc/22821/task/22832/stat : 22832 (java) S 22782 22782 22605 0 -1 1077944384 382 0 0 0 16 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660351412592 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22833] ppid=22782 vsize=8068220 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/22821/task/22833/stat : 22833 (java) S 22782 22782 22605 0 -1 1077944384 614 0 0 0 22 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660350359536 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22834] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22834/stat : 22834 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658780469600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22835] ppid=22782 vsize=8068220 memory=748 CPUtime=1.46 cores=1,3,5,7
/proc/22821/task/22835/stat : 22835 (java) S 22782 22782 22605 0 -1 1077944384 156 0 0 0 65 81 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660349307952 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22837] ppid=22782 vsize=8068220 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22837/stat : 22837 (java) S 22782 22782 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660341499712 139660907118361 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22839] ppid=22782 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22839/stat : 22839 (java) S 22782 22782 22605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658243583920 139660907115677 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22840] ppid=22782 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22840/stat : 22840 (java) S 22782 22782 22605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658109361712 139660907115677 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22841] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22841/stat : 22841 (java) S 22782 22782 22605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230787974 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658377813280 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
Current children cumulated CPU time: 2400.89 s
Current children cumulated vsize: 8453232 KiB
Current children cumulated memory: 353444 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 1.97 3/228 22940
/proc/meminfo: memFree=15841364/32770624 swapFree=67108504/67108860
[pid=22782] ppid=22779 vsize=113128 memory=1472 CPUtime=40.37 cores=1,3,5,7
/proc/22782/stat : 22782 (scop.sh) S 22779 22782 22605 0 -1 4202496 591 54095 0 0 0 0 3899 138 20 0 1 0 230785481 115843072 368 33554432000 4194304 5098028 140730026890544 140730026887288 140222852465276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10420224 140730026894400 140730026894599 140730026894599 140730026897357 0
/proc/22782/statm: 28282 368 311 221 0 87 0
[pid=22821] ppid=22782 vsize=8068220 memory=118468 CPUtime=2.92 cores=1,3,5,7
/proc/22821/stat : 22821 (java) S 22782 22782 22605 0 -1 1077944320 18518 0 0 0 203 89 0 0 20 0 19 0 230787872 8261857280 29617 33554432000 4194304 4196468 140721504821600 140721504804144 139660907093751 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
/proc/22821/statm: 2017055 29617 3160 1 0 1978454 0
[pid=22836] ppid=22821 vsize=241064 memory=218900 CPUtime=2417.64 cores=1,3,5,7
/proc/22836/stat : 22836 (minisat_release) R 22821 22782 22605 0 -1 4202496 1663153 0 0 0 241564 200 0 0 20 0 1 0 230787972 246849536 54725 33554432000 4194304 4308513 140723547057088 140723547054536 4275601 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33099776 140723547059316 140723547059414 140723547059414 140723547062213 0
/proc/22836/statm: 60266 54725 342 28 0 56506 0
[pid=22821/tid=22822] ppid=22782 vsize=8068220 memory=118468 CPUtime=0.77 cores=1,3,5,7
/proc/22821/task/22822/stat : 22822 (java) S 22782 22782 22605 0 -1 1077944384 14948 0 0 0 72 5 0 0 20 0 19 0 230787872 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660878933904 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22823] ppid=22782 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22823/stat : 22823 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660911335952 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22824] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22824/stat : 22824 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660729424528 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22825] ppid=22782 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22825/stat : 22825 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660728371472 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22826] ppid=22782 vsize=8068220 memory=7380386492160561252 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22826/stat : 22826 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660389939600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22827] ppid=22782 vsize=8068220 memory=1472 CPUtime=0.05 cores=1,3,5,7
/proc/22821/task/22827/stat : 22827 (java) S 22782 22782 22605 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660353518320 139660907104898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22828] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22828/stat : 22828 (java) S 22782 22782 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659787101856 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22829] ppid=22782 vsize=8068220 memory=218900 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22829/stat : 22829 (java) S 22782 22782 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659652879600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22830] ppid=22782 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22830/stat : 22830 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659278375376 139660907112347 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22831] ppid=22782 vsize=8068220 memory=748 CPUtime=0.15 cores=1,3,5,7
/proc/22821/task/22831/stat : 22831 (java) S 22782 22782 22605 0 -1 1077944384 999 0 0 0 15 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660352465136 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22832] ppid=22782 vsize=8068220 memory=1820 CPUtime=0.16 cores=1,3,5,7
/proc/22821/task/22832/stat : 22832 (java) S 22782 22782 22605 0 -1 1077944384 382 0 0 0 16 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660351412592 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22833] ppid=22782 vsize=8068220 memory=118468 CPUtime=0.23 cores=1,3,5,7
/proc/22821/task/22833/stat : 22833 (java) S 22782 22782 22605 0 -1 1077944384 614 0 0 0 22 1 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660350359536 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22834] ppid=22782 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22834/stat : 22834 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658780469600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22835] ppid=22782 vsize=8068220 memory=1472 CPUtime=1.49 cores=1,3,5,7
/proc/22821/task/22835/stat : 22835 (java) S 22782 22782 22605 0 -1 1077944384 160 0 0 0 66 83 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660349307952 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22837] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22837/stat : 22837 (java) S 22782 22782 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660341499712 139660907118361 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22839] ppid=22782 vsize=8068220 memory=15084 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22839/stat : 22839 (java) S 22782 22782 22605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658243583920 139660907115677 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22840] ppid=22782 vsize=8068220 memory=35560 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22840/stat : 22840 (java) S 22782 22782 22605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658109361712 139660907115677 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22841] ppid=22782 vsize=8068220 memory=-7824251494390979427 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22841/stat : 22841 (java) S 22782 22782 22605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230787974 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658377813280 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
Current children cumulated CPU time: 2460.93 s
Current children cumulated vsize: 8422412 KiB
Current children cumulated memory: 338840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.4 s]
/proc/loadavg: 2.00 2.04 1.97 2/206 22944
/proc/meminfo: memFree=16078596/32770624 swapFree=67108504/67108860
[pid=22782] ppid=22779 vsize=113128 memory=1472 CPUtime=40.37 cores=1,3,5,7
/proc/22782/stat : 22782 (scop.sh) S 22779 22782 22605 0 -1 4202496 591 54095 0 0 0 0 3899 138 20 0 1 0 230785481 115843072 368 33554432000 4194304 5098028 140730026890544 140730026887288 140222852465276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10420224 140730026894400 140730026894599 140730026894599 140730026897357 0
/proc/22782/statm: 28282 368 311 221 0 87 0
[pid=22821] ppid=22782 vsize=8068220 memory=118468 CPUtime=2.97 cores=1,3,5,7
/proc/22821/stat : 22821 (java) S 22782 22782 22605 0 -1 1077944320 18522 0 0 0 205 92 0 0 20 0 19 0 230787872 8261857280 29617 33554432000 4194304 4196468 140721504821600 140721504804144 139660907093751 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
/proc/22821/statm: 2017055 29617 3160 1 0 1978454 0
[pid=22836] ppid=22821 vsize=271884 memory=223264 CPUtime=2476.75 cores=1,3,5,7
/proc/22836/stat : 22836 (minisat_release) R 22821 22782 22605 0 -1 4202496 1703483 0 0 0 247470 205 0 0 20 0 1 0 230787972 278409216 55816 33554432000 4194304 4308513 140723547057088 140723547054504 4275772 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33099776 140723547059316 140723547059414 140723547059414 140723547062213 0
/proc/22836/statm: 67971 55816 342 28 0 64211 0
[pid=22821/tid=22822] ppid=22782 vsize=8068220 memory=288230596050944315 CPUtime=0.77 cores=1,3,5,7
/proc/22821/task/22822/stat : 22822 (java) S 22782 22782 22605 0 -1 1077944384 14948 0 0 0 72 5 0 0 20 0 19 0 230787872 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660878933904 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22823] ppid=22782 vsize=8068220 memory=14127849082719526 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22823/stat : 22823 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660911335952 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22824] ppid=22782 vsize=8068220 memory=3532 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22824/stat : 22824 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660729424528 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22825] ppid=22782 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22825/stat : 22825 (java) S 22782 22782 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660728371472 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22826] ppid=22782 vsize=8068220 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22826/stat : 22826 (java) S 22782 22782 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230787873 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660389939600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22827] ppid=22782 vsize=8068220 memory=3492 CPUtime=0.06 cores=1,3,5,7
/proc/22821/task/22827/stat : 22827 (java) S 22782 22782 22605 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660353518320 139660907104898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22828] ppid=22782 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22828/stat : 22828 (java) S 22782 22782 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659787101856 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22829] ppid=22782 vsize=8068220 memory=120428 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22829/stat : 22829 (java) S 22782 22782 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230787875 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659652879600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22830] ppid=22782 vsize=8068220 memory=126248 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22830/stat : 22830 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139659278375376 139660907112347 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22831] ppid=22782 vsize=8068220 memory=118468 CPUtime=0.15 cores=1,3,5,7
/proc/22821/task/22831/stat : 22831 (java) S 22782 22782 22605 0 -1 1077944384 999 0 0 0 15 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660352465136 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22832] ppid=22782 vsize=8068220 memory=218968 CPUtime=0.16 cores=1,3,5,7
/proc/22821/task/22832/stat : 22832 (java) S 22782 22782 22605 0 -1 1077944384 382 0 0 0 16 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660351412592 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22833] ppid=22782 vsize=8068220 memory=-7824251494390979427 CPUtime=0.23 cores=1,3,5,7
/proc/22821/task/22833/stat : 22833 (java) S 22782 22782 22605 0 -1 1077944384 614 0 0 0 22 1 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660350359536 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22834] ppid=22782 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22834/stat : 22834 (java) S 22782 22782 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658780469600 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22835] ppid=22782 vsize=8068220 memory=157196 CPUtime=1.53 cores=1,3,5,7
/proc/22821/task/22835/stat : 22835 (java) S 22782 22782 22605 0 -1 1077944384 164 0 0 0 68 85 0 0 20 0 19 0 230787878 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660349307952 139660907104898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22837] ppid=22782 vsize=8068220 memory=118468 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22837/stat : 22837 (java) S 22782 22782 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139660341499712 139660907118361 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22839] ppid=22782 vsize=8068220 memory=223148 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22839/stat : 22839 (java) S 22782 22782 22605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658243583920 139660907115677 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22840] ppid=22782 vsize=8068220 memory=-7824251494390979427 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22840/stat : 22840 (java) S 22782 22782 22605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230787972 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658109361712 139660907115677 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
[pid=22821/tid=22841] ppid=22782 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22841/stat : 22841 (java) S 22782 22782 22605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230787974 8261857280 29617 33554432000 4194304 4196468 140721504821600 139658377813280 139660907103957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21565440 140721504826549 140721504826673 140721504826673 140721504829391 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8453232 KiB
Current children cumulated memory: 343204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.41 s]
# the end of solver process 22782 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.9978 s, system=1.38225 s
[startup+2501.43 s]
# the end of solver process 22821 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.76 s, system=4.377 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): 2501.43
CPU time (s): 2520.14
CPU user time (s): 2515.76
CPU system time (s): 4.377
CPU usage (%): 100.748
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3689624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.76
system time used= 4.377
maximum resident set size= 3688768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1777255
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61186
involuntary context switches= 2046
# summary of solver processes directly reported to runsolver:
# pid: 22782,22821
# total CPU time (s): 2520.14
# total CPU user time (s): 2515.76
# total CPU system time (s): 4.377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6937 second user time and 24.7118 second system time
The end