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-26710-serial-file.bin HOME/instance-4305713-1534091017.xml
0.67/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Sun Aug 12 18:23:37 CEST 2018
0.67/0.55 c PID: 26713
0.67/0.55 c IP: 172.20.3.135
0.67/0.55 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.00/1.34 c (0,0) Parsing End
3.00/1.35 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 549 ctr, max domain size 26
3.00/1.35 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.00/1.35 c (0,0) Constraint Name Generate Begin
3.00/1.36 c (0,0) Ctr:HOME/instance-4305713-1534091017.xml,ExtensionConflict:ExtensionSupport:IntVar
3.00/1.36 c (0,0) Constraint Name Generate End
3.00/1.36 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.00/1.36 c (0,0) CSP to CSPinCNF Begin
6.64/2.56 c (2,2) translated 55 (10%) constraints
8.20/3.08 c (2,2) translated 110 (20%) constraints
9.70/3.59 c (3,3) translated 165 (30%) constraints
11.24/4.07 c (3,3) translated 220 (40%) constraints
12.73/4.57 c (4,4) translated 275 (50%) constraints
13.93/4.99 c (4,4) translated 330 (60%) constraints
15.44/5.41 c (4,4) translated 385 (70%) constraints
16.05/5.70 c (5,5) translated 440 (80%) constraints
16.28/5.98 c (5,5) translated 495 (90%) constraints
16.63/6.24 c (5,5) translated 549 (100%) constraints
17.55/6.65 c (6,6) STATISTICS1:HOME/instance-4305713-1534091017.xml,ExtensionConflict:ExtensionSupport:IntVar,501,78050,-1,26,27,1,,26:292081;2:6730,27:17;4:65335;3:11633;2:1065,1:298811;0:17,
17.55/6.65 c (6,6) ==========================================
17.55/6.65 c (6,6) Both Encoding selects:
17.55/6.65 c (6,6) Order
17.55/6.65 c (6,6) ==========================================
18.07/6.87 c (6,6) translated 7805 (10%) constraints
18.65/7.02 c (6,6) translated 15610 (20%) constraints
18.75/7.15 c (6,6) translated 23415 (30%) constraints
18.85/7.28 c (6,6) translated 31220 (40%) constraints
19.08/7.41 c (6,6) translated 39025 (50%) constraints
19.18/7.54 c (7,7) translated 46830 (60%) constraints
19.92/7.81 c (7,7) translated 54635 (70%) constraints
20.02/7.93 c (7,7) translated 62440 (80%) constraints
20.13/8.06 c (7,7) translated 70245 (90%) constraints
20.23/8.18 c (7,7) translated 78050 (100%) constraints
20.23/8.18 c (7,7) CSP to CSPinCNF End
20.23/8.19 c (7,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
20.23/8.19 c (7,7) Heap : 407 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.23/8.19 c (7,7) CSPinCNF Propagation Begin
21.22/8.61 c (8,7) 0 values, 6651 unsatisfiable literals, and 0 valid clauses are removed
21.22/8.61 c (8,7) CSPinCNF Propagation End
21.22/8.61 c (8,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.22/8.61 c (8,7) Heap : 790 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.22/8.61 c (8,7) Simplify CSPinCNF Begin
21.46/8.76 c (8,8) Simplify CSPinCNF End
21.46/8.76 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.46/8.76 c (8,8) Heap : 844 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.46/8.76 c (8,8) Calculate Precise Domain Begin
21.46/8.76 c (8,8) 0 values are removed by re-calculation
21.46/8.76 c (8,8) Calculate Precise Domain End
21.46/8.76 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.46/8.76 c (8,8) Heap : 844 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.46/8.76 c (8,8) CSPinCNF to SatSolver Begin
21.91/8.92 c (8,8) 7805 (10 %) CSP clauses are encoded (1917 SAT variables, 9220 SAT clauses)
21.91/8.99 c (8,8) 15610 (20 %) CSP clauses are encoded (1917 SAT variables, 17025 SAT clauses)
22.23/9.04 c (8,8) 23415 (30 %) CSP clauses are encoded (1917 SAT variables, 24830 SAT clauses)
22.23/9.08 c (8,8) 31220 (40 %) CSP clauses are encoded (1917 SAT variables, 32635 SAT clauses)
22.43/9.13 c (8,8) 39025 (50 %) CSP clauses are encoded (1917 SAT variables, 40440 SAT clauses)
22.43/9.17 c (8,8) 46830 (60 %) CSP clauses are encoded (1917 SAT variables, 48245 SAT clauses)
22.52/9.22 c (8,8) 54635 (70 %) CSP clauses are encoded (1917 SAT variables, 56050 SAT clauses)
22.52/9.26 c (8,8) 62440 (80 %) CSP clauses are encoded (1917 SAT variables, 63855 SAT clauses)
22.63/9.31 c (8,8) 70245 (90 %) CSP clauses are encoded (1917 SAT variables, 71660 SAT clauses)
22.63/9.36 c (8,8) 78050 (100 %) CSP clauses are encoded (1917 SAT variables, 79465 SAT clauses)
22.63/9.36 c (8,8) Launch Command will be: minisat_release
22.63/9.36 c (8,8) CSPinCNF to SatSolver End
22.63/9.36 c (8,8) Heap : 1336 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.19/9.62 c (9,8) STATISTICS2:HOME/instance-4305713-1534091017.xml,ExtensionConflict:ExtensionSupport:IntVar,501,78050,-1,26,26,1,,26:285447;2:6730,26:17;4:59112;3:17445;2:1476,1:292177,
23.19/9.62 c (9,8) 1917 bool, 79466 clause
23.19/9.62 c (9,8) Export Begin
23.35/9.71 c (9,9) Export to HOME/scop-26710-serial-file.bin
23.35/9.71 c (9,9) Export End
23.35/9.71 c (9,9) Export File Size: 0.01 MB
23.35/9.71 c (9,9) 0,0,7,8,8,8,8,STOP-AFTER(DIMACS)
23.35/9.71 c END-Prog: Sun Aug 12 18:23:47 CEST 2018
23.35/9.73 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26710-serial-file.bin
24.01/10.22 c (0,0) Read Serial File Begin
24.01/10.22 c (0,0) HOME/scop-26710-serial-file.bin
24.17/10.39 c (0,0) Read Serial File End
24.31/10.40
24.31/10.40 scop order+minisat_release (2018-07-31)
24.31/10.40 (Solving Process)
24.31/10.40
24.31/10.42 c BEGIN-Prog: Sun Aug 12 18:23:47 CEST 2018
24.31/10.42 c PID: 26728
24.31/10.42 c IP: 172.20.3.135
24.31/10.42 c HOST: node135.alineos.net
24.31/10.43 c (0,0) SatSolver.solve Begin
24.31/10.43 c (0,0) 0 bool, 0 clause
24.31/10.43 c (0,0) minisat_release HOME/instance-4305713-1534091017.xml-scop-26713.cnf
2520.01/2505.11 c (2495,0) SatSolver is killed by some reasons.
2520.01/2505.11 c (2495,0) receiving signal SIGTERM
2520.01/2505.11 s UNKNOWN
2520.01/2505.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2505.12 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 (7620 MiB free)
memory of node 1: 16384 MiB (4972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305713-1534091017/watcher-4305713-1534091017 -o /tmp/evaluation-result-4305713-1534091017/solver-4305713-1534091017 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305713-1534091017.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26710, runsolver pid=26707
[startup+0.100171 s]*
/proc/loadavg: 2.22 2.09 2.07 3/227 26727
/proc/meminfo: memFree=12835848/32770624 swapFree=67108860/67108860
[pid=26710] ppid=26707 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26710/stat : 26710 (scop.sh) S 26707 26710 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226664851 115843072 349 33554432000 4194304 5098028 140729728810656 140729728807912 140101789520508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12148736 140729728816193 140729728816391 140729728816391 140729728819149 0
/proc/26710/statm: 28282 349 296 221 0 87 0
[pid=26713] ppid=26710 vsize=15012476 memory=72112 CPUtime=0.11 cores=0,2,4,6
/proc/26713/stat : 26713 (java) S 26710 26710 19383 0 -1 1077944320 6625 0 0 0 9 2 0 0 20 0 15 0 226664851 15372775424 18028 33554432000 4194304 4196468 140724531004848 140724530987392 140033966661367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
/proc/26713/statm: 3753119 18028 2768 1 0 3715579 0
[pid=26713/tid=26714] ppid=26710 vsize=15012476 memory=-6150928374978363333 CPUtime=0.09 cores=0,2,4,6
/proc/26713/task/26714/stat : 26714 (java) R 26710 26710 19383 0 -1 4202560 4723 0 0 0 8 1 0 0 20 0 15 0 226664851 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033938473352 140033948224905 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26715] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26715/stat : 26715 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033970904080 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26716] ppid=26710 vsize=15012476 memory=140519452821120 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26716/stat : 26716 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033427582096 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26717] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26717/stat : 26717 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033426529040 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26718] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26718/stat : 26718 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033425476496 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26719] ppid=26710 vsize=15012476 memory=140519452821120 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26719/stat : 26719 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664854 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033004214512 140033966672514 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26720] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26720/stat : 26720 (java) S 26710 26710 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226664855 15372775424 18028 33554432000 4194304 4196468 140724531004848 140032509732000 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26721] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26721/stat : 26721 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664855 15372775424 18028 33554432000 4194304 4196468 140724531004848 140032241296112 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26722] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26722/stat : 26722 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664857 15372775424 18028 33554432000 4194304 4196468 140724531004848 140031866787792 140033966679963 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26723] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26723/stat : 26723 (java) S 26710 26710 19383 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 226664857 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033003162352 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26724] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26724/stat : 26724 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664857 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033002109808 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26725] ppid=26710 vsize=15012476 memory=140519452821120 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26725/stat : 26725 (java) S 26710 26710 19383 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 226664858 15372775424 18028 33554432000 4194304 4196468 140724531004848 140033001056752 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26726] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26726/stat : 26726 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664858 15372775424 18028 33554432000 4194304 4196468 140724531004848 140031368883040 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26727] ppid=26710 vsize=15012476 memory=140519452821120 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26727/stat : 26727 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664858 15372775424 18094 33554432000 4194304 4196468 140724531004848 140033000004144 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73508 KiB
[startup+0.210895 s]*
/proc/loadavg: 2.22 2.09 2.07 4/227 26727
/proc/meminfo: memFree=12821716/32770624 swapFree=67108860/67108860
[pid=26710] ppid=26707 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26710/stat : 26710 (scop.sh) S 26707 26710 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226664851 115843072 349 33554432000 4194304 5098028 140729728810656 140729728807912 140101789520508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12148736 140729728816193 140729728816391 140729728816391 140729728819149 0
/proc/26710/statm: 28282 349 296 221 0 87 0
[pid=26713] ppid=26710 vsize=15012476 memory=85448 CPUtime=0.25 cores=0,2,4,6
/proc/26713/stat : 26713 (java) S 26710 26710 19383 0 -1 1077944320 10268 0 0 0 23 2 0 0 20 0 15 0 226664851 15372775424 21362 33554432000 4194304 4196468 140724531004848 140724530987392 140033966661367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
/proc/26713/statm: 3753119 21362 2884 1 0 3715579 0
[pid=26713/tid=26714] ppid=26710 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/26713/task/26714/stat : 26714 (java) R 26710 26710 19383 0 -1 4202560 8173 0 0 0 18 2 0 0 20 0 15 0 226664851 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033938487760 140033950741854 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26715] ppid=26710 vsize=15012476 memory=550 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26715/stat : 26715 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033970904080 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26716] ppid=26710 vsize=15012476 memory=140519452845969 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26716/stat : 26716 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033427582096 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26717] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26717/stat : 26717 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033426529040 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26718] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26718/stat : 26718 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033425476496 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26719] ppid=26710 vsize=15012476 memory=140519452821120 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26719/stat : 26719 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664854 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033004214512 140033966672514 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26720] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26720/stat : 26720 (java) S 26710 26710 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226664855 15372775424 21362 33554432000 4194304 4196468 140724531004848 140032509732000 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26721] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26721/stat : 26721 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664855 15372775424 21362 33554432000 4194304 4196468 140724531004848 140032241296112 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26722] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26722/stat : 26722 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664857 15372775424 21362 33554432000 4194304 4196468 140724531004848 140031866787792 140033966679963 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26723] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26723/stat : 26723 (java) S 26710 26710 19383 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 226664857 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033003162352 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26724] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26724/stat : 26724 (java) S 26710 26710 19383 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 226664857 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033002109808 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26725] ppid=26710 vsize=15012476 memory=140519452821120 CPUtime=0.03 cores=0,2,4,6
/proc/26713/task/26725/stat : 26725 (java) R 26710 26710 19383 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 226664858 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033001056752 140033966682714 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26726] ppid=26710 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26726/stat : 26726 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664858 15372775424 21362 33554432000 4194304 4196468 140724531004848 140031368883040 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26727] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26727/stat : 26727 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664858 15372775424 21362 33554432000 4194304 4196468 140724531004848 140033000004144 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86844 KiB
[startup+0.310895 s]*
/proc/loadavg: 2.22 2.09 2.07 3/227 26727
/proc/meminfo: memFree=12818340/32770624 swapFree=67108860/67108860
[pid=26710] ppid=26707 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26710/stat : 26710 (scop.sh) S 26707 26710 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226664851 115843072 349 33554432000 4194304 5098028 140729728810656 140729728807912 140101789520508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12148736 140729728816193 140729728816391 140729728816391 140729728819149 0
/proc/26710/statm: 28282 349 296 221 0 87 0
[pid=26713] ppid=26710 vsize=15012476 memory=89920 CPUtime=0.42 cores=0,2,4,6
/proc/26713/stat : 26713 (java) S 26710 26710 19383 0 -1 1077944320 10889 0 0 0 40 2 0 0 20 0 15 0 226664851 15372775424 22480 33554432000 4194304 4196468 140724531004848 140724530987392 140033966661367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
/proc/26713/statm: 3753119 22480 3022 1 0 3715579 0
[pid=26713/tid=26714] ppid=26710 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/26713/task/26714/stat : 26714 (java) R 26710 26710 19383 0 -1 4202560 8607 0 0 0 28 2 0 0 20 0 15 0 226664851 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033938456368 140033948530155 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26715] ppid=26710 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26715/stat : 26715 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033970904080 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26716] ppid=26710 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26716/stat : 26716 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033427582096 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26717] ppid=26710 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26717/stat : 26717 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033426529040 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26718] ppid=26710 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26718/stat : 26718 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033425476496 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26719] ppid=26710 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26719/stat : 26719 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664854 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033004214512 140033966672514 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26720] ppid=26710 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26720/stat : 26720 (java) S 26710 26710 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226664855 15372775424 22480 33554432000 4194304 4196468 140724531004848 140032509732000 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26721] ppid=26710 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26721/stat : 26721 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664855 15372775424 22480 33554432000 4194304 4196468 140724531004848 140032241296112 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26722] ppid=26710 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26722/stat : 26722 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664857 15372775424 22480 33554432000 4194304 4196468 140724531004848 140031866787792 140033966679963 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26723] ppid=26710 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26713/task/26723/stat : 26723 (java) S 26710 26710 19383 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 15 0 226664857 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033003162352 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26724] ppid=26710 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26713/task/26724/stat : 26724 (java) R 26710 26710 19383 0 -1 4202560 75 0 0 0 2 0 0 0 20 0 15 0 226664857 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033002109808 140033959646409 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26725] ppid=26710 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26713/task/26725/stat : 26725 (java) R 26710 26710 19383 0 -1 4202560 345 0 0 0 7 0 0 0 20 0 15 0 226664858 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033001056752 140033966673302 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26726] ppid=26710 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26726/stat : 26726 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664858 15372775424 22480 33554432000 4194304 4196468 140724531004848 140031368883040 140033966671573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26727] ppid=26710 vsize=15012476 memory=3617014130905522225 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26727/stat : 26727 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664858 15372775424 22480 33554432000 4194304 4196468 140724531004848 140033000004144 140033966672514 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91316 KiB
[startup+0.70515 s]
/proc/loadavg: 2.22 2.09 2.07 3/227 26727
/proc/meminfo: memFree=12793784/32770624 swapFree=67108860/67108860
[pid=26710] ppid=26707 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26710/stat : 26710 (scop.sh) S 26707 26710 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226664851 115843072 349 33554432000 4194304 5098028 140729728810656 140729728807912 140101789520508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12148736 140729728816193 140729728816391 140729728816391 140729728819149 0
/proc/26710/statm: 28282 349 296 221 0 87 0
[pid=26713] ppid=26710 vsize=15018748 memory=133588 CPUtime=1.06 cores=0,2,4,6
/proc/26713/stat : 26713 (java) S 26710 26710 19383 0 -1 1077944320 17995 0 0 0 101 5 0 0 20 0 15 0 226664851 15379197952 33397 33554432000 4194304 4196468 140724531004848 140724530987392 140033966661367 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
/proc/26713/statm: 3754687 33397 3130 1 0 3716091 0
[pid=26713/tid=26714] ppid=26710 vsize=15018748 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/26713/task/26714/stat : 26714 (java) R 26710 26710 19383 0 -1 4202560 15107 0 0 0 63 4 0 0 20 0 15 0 226664851 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033938483680 140033966683293 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26715] ppid=26710 vsize=15018748 memory=288230377057958153 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26715/stat : 26715 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033970904080 140033966671573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26716] ppid=26710 vsize=15018748 memory=14975555351106623 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26716/stat : 26716 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664853 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033427582096 140033966671573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26717] ppid=26710 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26717/stat : 26717 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033426529040 140033966671573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26718] ppid=26710 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26718/stat : 26718 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226664853 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033425476496 140033966671573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26719] ppid=26710 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26719/stat : 26719 (java) S 26710 26710 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226664854 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033004214512 140033966672514 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26720] ppid=26710 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26720/stat : 26720 (java) S 26710 26710 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226664855 15379197952 33397 33554432000 4194304 4196468 140724531004848 140032509732000 140033966671573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26721] ppid=26710 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26721/stat : 26721 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664855 15379197952 33397 33554432000 4194304 4196468 140724531004848 140032241296112 140033966671573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26722] ppid=26710 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26722/stat : 26722 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664857 15379197952 33397 33554432000 4194304 4196468 140724531004848 140031866787792 140033966679963 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26723] ppid=26710 vsize=15018748 memory=281038634877168 CPUtime=0.1 cores=0,2,4,6
/proc/26713/task/26723/stat : 26723 (java) S 26710 26710 19383 0 -1 1077944384 764 0 0 0 10 0 0 0 20 0 15 0 226664857 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033003162352 140033966672514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26724] ppid=26710 vsize=15018748 memory=7234030490512222553 CPUtime=0.09 cores=0,2,4,6
/proc/26713/task/26724/stat : 26724 (java) R 26710 26710 19383 0 -1 4202560 251 0 0 0 9 0 0 0 20 0 15 0 226664857 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033002099280 140033952691349 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26725] ppid=26710 vsize=15018748 memory=7883944108235712103 CPUtime=0.18 cores=0,2,4,6
/proc/26713/task/26725/stat : 26725 (java) R 26710 26710 19383 0 -1 4202560 537 0 0 0 18 0 0 0 20 0 15 0 226664858 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033001054008 140033958682533 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26726] ppid=26710 vsize=15018748 memory=7649399379936622130 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26726/stat : 26726 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226664858 15379197952 33397 33554432000 4194304 4196468 140724531004848 140031368883040 140033966671573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
[pid=26713/tid=26727] ppid=26710 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26713/task/26727/stat : 26727 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226664858 15379197952 33397 33554432000 4194304 4196468 140724531004848 140033000004144 140033966672514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140724531012615 140724531012913 140724531012913 140724531015631 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 134984 KiB
[startup+1.50199 s]
/proc/loadavg: 2.22 2.09 2.07 5/227 26727
/proc/meminfo: memFree=12695740/32770624 swapFree=67108860/67108860
[pid=26710] ppid=26707 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26710/stat : 26710 (scop.sh) S 26707 26710 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226664851 115843072 349 33554432000 4194304 5098028 140729728810656 140729728807912 140101789520508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12148736 140729728816193 140729728816391 140729728816391 140729728819149 0
/proc/26710/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=26728/tid=26731] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26731/stat : 26731 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692350000144 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26732] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26732/stat : 26732 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692348947344 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26733] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26733/stat : 26733 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692347894544 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26734] ppid=26710 vsize=8068220 memory=3560 CPUtime=0.03 cores=0,2,4,6
/proc/26728/task/26734/stat : 26734 (java) S 26710 26710 19383 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226665827 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691857791344 140692545600130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26735] ppid=26710 vsize=8068220 memory=61704 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26735/stat : 26735 (java) S 26710 26710 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226665828 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691250340896 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26736] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26736/stat : 26736 (java) S 26710 26710 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226665828 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691116118896 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26737] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26737/stat : 26737 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140690741614416 140692545607579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26738] ppid=26710 vsize=8068220 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/26728/task/26738/stat : 26738 (java) S 26710 26710 19383 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691856739184 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26739] ppid=26710 vsize=8068220 memory=61704 CPUtime=0.08 cores=0,2,4,6
/proc/26728/task/26739/stat : 26739 (java) S 26710 26710 19383 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691855686384 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26740] ppid=26710 vsize=8068220 memory=1472 CPUtime=0.2 cores=0,2,4,6
/proc/26728/task/26740/stat : 26740 (java) S 26710 26710 19383 0 -1 1077944384 596 0 0 0 20 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691787213424 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26741] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26741/stat : 26741 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140690243709664 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26742] ppid=26710 vsize=8068220 memory=4104 CPUtime=1.06 cores=0,2,4,6
/proc/26728/task/26742/stat : 26742 (java) S 26710 26710 19383 0 -1 1077944384 168 0 0 0 53 53 0 0 20 0 19 0 226665831 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691786160816 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26744] ppid=26710 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26744/stat : 26744 (java) S 26710 26710 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691854632128 140692545613593 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26746] ppid=26710 vsize=8068220 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26746/stat : 26746 (java) S 26710 26710 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689706822928 140692545610909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26747] ppid=26710 vsize=8068220 memory=61704 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26747/stat : 26747 (java) S 26710 26710 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689841045648 140692545610909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26748] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26748/stat : 26748 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665898 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689438400160 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
Current children cumulated CPU time: 2517.2 s
Current children cumulated vsize: 8270552 KiB
Current children cumulated memory: 191804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.11 s]
/proc/loadavg: 2.03 2.04 2.05 3/232 26954
/proc/meminfo: memFree=12689312/32770624 swapFree=67108860/67108860
[pid=26710] ppid=26707 vsize=113128 memory=1472 CPUtime=23.4 cores=0,2,4,6
/proc/26710/stat : 26710 (scop.sh) S 26707 26710 19383 0 -1 4202496 590 36431 0 0 0 0 2271 69 20 0 1 0 226664851 115843072 368 33554432000 4194304 5098028 140729728810656 140729728807400 140101789520508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12148736 140729728816193 140729728816391 140729728816391 140729728819149 0
/proc/26710/statm: 28282 368 311 221 0 87 0
[pid=26728] ppid=26710 vsize=8068220 memory=117032 CPUtime=2.27 cores=0,2,4,6
/proc/26728/stat : 26728 (java) S 26710 26710 19383 0 -1 1077944320 18128 0 0 0 165 62 0 0 20 0 19 0 226665824 8261857280 29258 33554432000 4194304 4196468 140728330244416 140728330226960 140692545588983 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
/proc/26728/statm: 2017055 29258 3155 1 0 1978454 0
[pid=26743] ppid=26728 vsize=89204 memory=73300 CPUtime=2494.34 cores=0,2,4,6
/proc/26743/stat : 26743 (minisat_release) R 26728 26710 19383 0 -1 4202496 170928 0 0 0 249418 16 0 0 20 0 1 0 226665896 91344896 18325 33554432000 4194304 4308513 140727985691328 140727985688232 4275937 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 21049344 140727985697908 140727985698006 140727985698006 140727985700805 0
/proc/26743/statm: 22301 18325 341 28 0 18541 0
[pid=26728/tid=26729] ppid=26710 vsize=8068220 memory=912 CPUtime=0.75 cores=0,2,4,6
/proc/26728/task/26729/stat : 26729 (java) S 26710 26710 19383 0 -1 1077944384 15002 0 0 0 70 5 0 0 20 0 19 0 226665825 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692517429136 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26730] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26730/stat : 26730 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692549831824 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26731] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26731/stat : 26731 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692350000144 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26732] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26732/stat : 26732 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692348947344 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26733] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26733/stat : 26733 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692347894544 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26734] ppid=26710 vsize=8068220 memory=117032 CPUtime=0.03 cores=0,2,4,6
/proc/26728/task/26734/stat : 26734 (java) S 26710 26710 19383 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226665827 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691857791344 140692545600130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26735] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26735/stat : 26735 (java) S 26710 26710 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226665828 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691250340896 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26736] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26736/stat : 26736 (java) S 26710 26710 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226665828 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691116118896 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26737] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26737/stat : 26737 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140690741614416 140692545607579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26738] ppid=26710 vsize=8068220 memory=73300 CPUtime=0.08 cores=0,2,4,6
/proc/26728/task/26738/stat : 26738 (java) S 26710 26710 19383 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691856739184 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26739] ppid=26710 vsize=8068220 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/26728/task/26739/stat : 26739 (java) S 26710 26710 19383 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691855686384 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26740] ppid=26710 vsize=8068220 memory=61704 CPUtime=0.2 cores=0,2,4,6
/proc/26728/task/26740/stat : 26740 (java) S 26710 26710 19383 0 -1 1077944384 596 0 0 0 20 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691787213424 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26741] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26741/stat : 26741 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140690243709664 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26742] ppid=26710 vsize=8068220 memory=1472 CPUtime=1.06 cores=0,2,4,6
/proc/26728/task/26742/stat : 26742 (java) S 26710 26710 19383 0 -1 1077944384 168 0 0 0 53 53 0 0 20 0 19 0 226665831 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691786160816 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26744] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26744/stat : 26744 (java) S 26710 26710 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691854632128 140692545613593 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26746] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26746/stat : 26746 (java) S 26710 26710 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689706822928 140692545610909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26747] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26747/stat : 26747 (java) S 26710 26710 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689841045648 140692545610909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26748] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26748/stat : 26748 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665898 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689438400160 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8270552 KiB
Current children cumulated memory: 191804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.12 s]
# the end of solver process 26710 was just reported to runsolver
# cumulated CPU time of all completed processes: user=22.7191 s, system=0.692881 s
[startup+2505.12 s]
# the end of solver process 26728 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.56 s, system=1.50355 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
[startup+2505.11 s]
/proc/loadavg: 2.03 2.04 2.05 3/232 26954
/proc/meminfo: memFree=12689312/32770624 swapFree=67108860/67108860
[pid=26710] ppid=26707 vsize=113128 memory=1472 CPUtime=23.4 cores=0,2,4,6
/proc/26710/stat : 26710 (scop.sh) S 26707 26710 19383 0 -1 4202496 590 36431 0 0 0 0 2271 69 20 0 1 0 226664851 115843072 368 33554432000 4194304 5098028 140729728810656 140729728807400 140101789520508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12148736 140729728816193 140729728816391 140729728816391 140729728819149 0
/proc/26710/statm: 28282 368 311 221 0 87 0
[pid=26728] ppid=26710 vsize=8068220 memory=117032 CPUtime=2.27 cores=0,2,4,6
/proc/26728/stat : 26728 (java) S 26710 26710 19383 0 -1 1077944320 18128 0 0 0 165 62 0 0 20 0 19 0 226665824 8261857280 29258 33554432000 4194304 4196468 140728330244416 140728330226960 140692545588983 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
/proc/26728/statm: 2017055 29258 3155 1 0 1978454 0
[pid=26743] ppid=26728 vsize=89204 memory=73300 CPUtime=2494.34 cores=0,2,4,6
/proc/26743/stat : 26743 (minisat_release) R 26728 26710 19383 0 -1 4202496 170928 0 0 0 249418 16 0 0 20 0 1 0 226665896 91344896 18325 33554432000 4194304 4308513 140727985691328 140727985688232 4275937 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 21049344 140727985697908 140727985698006 140727985698006 140727985700805 0
/proc/26743/statm: 22301 18325 341 28 0 18541 0
[pid=26728/tid=26729] ppid=26710 vsize=8068220 memory=912 CPUtime=0.75 cores=0,2,4,6
/proc/26728/task/26729/stat : 26729 (java) S 26710 26710 19383 0 -1 1077944384 15002 0 0 0 70 5 0 0 20 0 19 0 226665825 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692517429136 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26730] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26730/stat : 26730 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692549831824 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26731] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26731/stat : 26731 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692350000144 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26732] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26732/stat : 26732 (java) S 26710 26710 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692348947344 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26733] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26733/stat : 26733 (java) S 26710 26710 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226665826 8261857280 29258 33554432000 4194304 4196468 140728330244416 140692347894544 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26734] ppid=26710 vsize=8068220 memory=117032 CPUtime=0.03 cores=0,2,4,6
/proc/26728/task/26734/stat : 26734 (java) S 26710 26710 19383 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226665827 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691857791344 140692545600130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26735] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26735/stat : 26735 (java) S 26710 26710 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226665828 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691250340896 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26736] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26736/stat : 26736 (java) S 26710 26710 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226665828 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691116118896 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26737] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26737/stat : 26737 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140690741614416 140692545607579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26738] ppid=26710 vsize=8068220 memory=73300 CPUtime=0.08 cores=0,2,4,6
/proc/26728/task/26738/stat : 26738 (java) S 26710 26710 19383 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691856739184 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26739] ppid=26710 vsize=8068220 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/26728/task/26739/stat : 26739 (java) S 26710 26710 19383 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691855686384 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26740] ppid=26710 vsize=8068220 memory=61704 CPUtime=0.2 cores=0,2,4,6
/proc/26728/task/26740/stat : 26740 (java) S 26710 26710 19383 0 -1 1077944384 596 0 0 0 20 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691787213424 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26741] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26741/stat : 26741 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665830 8261857280 29258 33554432000 4194304 4196468 140728330244416 140690243709664 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26742] ppid=26710 vsize=8068220 memory=1472 CPUtime=1.06 cores=0,2,4,6
/proc/26728/task/26742/stat : 26742 (java) S 26710 26710 19383 0 -1 1077944384 168 0 0 0 53 53 0 0 20 0 19 0 226665831 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691786160816 140692545600130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26744] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26744/stat : 26744 (java) S 26710 26710 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140691854632128 140692545613593 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26746] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26746/stat : 26746 (java) S 26710 26710 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689706822928 140692545610909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26747] ppid=26710 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26747/stat : 26747 (java) S 26710 26710 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226665896 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689841045648 140692545610909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
[pid=26728/tid=26748] ppid=26710 vsize=8068220 memory=117032 CPUtime=0 cores=0,2,4,6
/proc/26728/task/26748/stat : 26748 (java) S 26710 26710 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665898 8261857280 29258 33554432000 4194304 4196468 140728330244416 140689438400160 140692545599189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9748480 140728330249397 140728330249521 140728330249521 140728330252239 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8270552 KiB
Current children cumulated memory: 191804 KiB
Child status: 1
Real time (s): 2505.12
CPU time (s): 2520.06
CPU user time (s): 2518.56
CPU system time (s): 1.50355
CPU usage (%): 100.596
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3129392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.56
system time used= 1.50355
maximum resident set size= 3128684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59571
involuntary context switches= 2252
# summary of solver processes directly reported to runsolver:
# pid: 26710,26728
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.56
# total CPU system time (s): 1.50355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5328 second user time and 26.3665 second system time
The end