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-4548-serial-file.bin HOME/instance-4305407-1534129832.xml
0.54/0.51
0.54/0.51 scop order+minisat_release (2018-07-31)
0.54/0.51 (Encoding Process)
0.54/0.51
0.66/0.54 c BEGIN-Prog: Mon Aug 13 05:10:33 CEST 2018
0.66/0.54 c PID: 4551
0.66/0.54 c IP: 172.20.3.106
0.66/0.54 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.04/1.18 c (0,0) Parsing End
2.04/1.19 c (0,0) CSP: 378 int (0 aux), 0 bool (0 aux), 366 ctr, max domain size 196
2.04/1.19 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.04/1.19 c (0,0) Constraint Name Generate Begin
2.35/1.22 c (0,0) Ctr:HOME/instance-4305407-1534129832.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
2.35/1.22 c (0,0) Constraint Name Generate End
2.35/1.22 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.35/1.22 c (0,0) CSP to CSPinCNF Begin
4.58/2.06 c (1,1) translated 37 (10%) constraints
5.46/2.32 c (1,1) translated 74 (20%) constraints
5.79/2.51 c (1,1) translated 110 (30%) constraints
5.99/2.70 c (2,2) translated 147 (40%) constraints
6.09/2.88 c (2,2) translated 183 (50%) constraints
6.19/2.91 c (2,2) translated 220 (60%) constraints
6.19/2.91 c (2,2) translated 257 (70%) constraints
6.19/2.92 c (2,2) translated 293 (80%) constraints
6.19/2.92 c (2,2) translated 330 (90%) constraints
6.19/2.93 c (2,2) translated 366 (100%) constraints
6.88/3.19 c (2,2) STATISTICS1:HOME/instance-4305407-1534129832.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,378,38472,196,196,14,3,196:364;14:2184;1:364,196:35854;14:38948;1:2982,14:56;3:35672;2:2548;1:196,3:364;2:2548;1:107828,
6.88/3.19 c (2,2) ==========================================
6.88/3.19 c (2,2) Order
6.88/3.19 c (2,2) ==========================================
8.22/3.50 c (2,2) translated 3848 (10%) constraints
9.11/4.06 c (3,3) translated 7695 (20%) constraints
9.60/4.29 c (3,3) translated 11542 (30%) constraints
9.89/4.50 c (3,3) translated 15389 (40%) constraints
10.27/4.71 c (4,3) translated 19236 (50%) constraints
10.47/4.92 c (4,4) translated 23084 (60%) constraints
10.71/5.13 c (4,4) translated 26931 (70%) constraints
10.90/5.34 c (4,4) translated 30778 (80%) constraints
11.12/5.55 c (5,4) translated 34625 (90%) constraints
11.34/5.77 c (5,4) translated 38472 (100%) constraints
11.34/5.77 c (5,4) CSP to CSPinCNF End
11.34/5.77 c (5,4) CSP: 378 int (0 aux), 2744 bool (2744 aux), 110012 ctr, max domain size 196
11.34/5.77 c (5,4) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.34/5.77 c (5,4) CSPinCNF Propagation Begin
13.73/6.64 c (6,5) 658 values, 7968 unsatisfiable literals, and 12600 valid clauses are removed
13.73/6.64 c (6,5) CSPinCNF Propagation End
13.73/6.64 c (6,5) CSP: 616 int (238 aux), 2506 bool (2506 aux), 97412 ctr, max domain size 194
13.73/6.64 c (6,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.73/6.64 c (6,5) Simplify CSPinCNF Begin
14.53/6.99 c (6,6) Simplify CSPinCNF End
14.53/7.00 c (6,6) CSP: 616 int (238 aux), 7490 bool (7490 aux), 102396 ctr, max domain size 194
14.53/7.00 c (6,6) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.53/7.00 c (6,6) Calculate Precise Domain Begin
14.53/7.00 c (6,6) 0 values are removed by re-calculation
14.53/7.00 c (6,6) Calculate Precise Domain End
14.53/7.00 c (6,6) CSP: 616 int (238 aux), 7490 bool (7490 aux), 102396 ctr, max domain size 194
14.53/7.00 c (6,6) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.53/7.00 c (6,6) CSPinCNF to SatSolver Begin
16.09/7.48 c (6,6) 10240 (10 %) CSP clauses are encoded (44062 SAT variables, 101167 SAT clauses)
16.39/7.53 c (7,6) 20480 (20 %) CSP clauses are encoded (44062 SAT variables, 111407 SAT clauses)
16.39/7.58 c (7,6) 30719 (30 %) CSP clauses are encoded (44062 SAT variables, 121646 SAT clauses)
16.60/7.63 c (7,6) 40959 (40 %) CSP clauses are encoded (44062 SAT variables, 131886 SAT clauses)
16.60/7.68 c (7,6) 51198 (50 %) CSP clauses are encoded (44062 SAT variables, 142125 SAT clauses)
16.73/7.72 c (7,6) 61438 (60 %) CSP clauses are encoded (44062 SAT variables, 152365 SAT clauses)
16.73/7.77 c (7,6) 71678 (70 %) CSP clauses are encoded (44062 SAT variables, 162605 SAT clauses)
16.84/7.82 c (7,7) 81917 (80 %) CSP clauses are encoded (44062 SAT variables, 172844 SAT clauses)
16.84/7.86 c (7,7) 92157 (90 %) CSP clauses are encoded (44062 SAT variables, 183084 SAT clauses)
17.25/8.06 c (7,7) 102396 (100 %) CSP clauses are encoded (44062 SAT variables, 260386 SAT clauses)
17.25/8.06 c (7,7) Launch Command will be: minisat_release
17.25/8.06 c (7,7) CSPinCNF to SatSolver End
17.25/8.06 c (7,7) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.73/8.50 c (7,7) STATISTICS2:HOME/instance-4305407-1534129832.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,8106,102396,196,194,12,3,196:264;169:88;144:12;14:2640;13:1448;12:280;1:616,194:42680;193:8492;179:15036;178:712;164:1968;14:52536;13:16192;12:2036;2:102166;1:616,12:52;3:31774;2:70206;1:364,3:364;2:4984;1:231374,
18.73/8.50 c (7,7) 44062 bool, 260528 clause
18.73/8.50 c (7,7) Export Begin
19.23/8.75 c (8,7) Export to HOME/scop-4548-serial-file.bin
19.23/8.75 c (8,7) Export End
19.23/8.76 c (8,7) Export File Size: 0.07 MB
19.23/8.76 c (8,7) 0,0,5,6,6,6,7,STOP-AFTER(DIMACS)
19.23/8.76 c END-Prog: Mon Aug 13 05:10:41 CEST 2018
19.23/8.79 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4548-serial-file.bin
19.98/9.28 c (0,0) Read Serial File Begin
19.98/9.28 c (0,0) HOME/scop-4548-serial-file.bin
20.24/9.47 c (0,0) Read Serial File End
20.24/9.48
20.24/9.48 scop order+minisat_release (2018-07-31)
20.24/9.48 (Solving Process)
20.24/9.48
20.49/9.50 c BEGIN-Prog: Mon Aug 13 05:10:42 CEST 2018
20.49/9.50 c PID: 4587
20.49/9.50 c IP: 172.20.3.106
20.49/9.50 c HOST: node106.alineos.net
20.49/9.51 c (0,0) SatSolver.solve Begin
20.49/9.51 c (0,0) 0 bool, 0 clause
20.49/9.51 c (0,0) minisat_release HOME/instance-4305407-1534129832.xml-scop-4551.cnf
2520.00/2506.80 c (2497,0) receiving signal SIGTERM
2520.00/2506.80 s UNKNOWN
2520.00/2506.80 c (2497,0) SatSolver is killed by some reasons.
2520.00/2506.81 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2506.81 c (scop.sh) Killing background jobs.
2520.00/2506.81 HOME/scop.sh: line 50: kill: (4587) - No such process
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 (9779 MiB free)
memory of node 1: 16384 MiB (13270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305407-1534129832/watcher-4305407-1534129832 -o /tmp/evaluation-result-4305407-1534129832/solver-4305407-1534129832 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534129828-4306 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305407-1534129832.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=4548, runsolver pid=4545
[startup+0.100121 s]*
/proc/loadavg: 0.97 1.30 1.57 4/218 4565
/proc/meminfo: memFree=23536320/32770624 swapFree=67108688/67108860
[pid=4548] ppid=4545 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4548/stat : 4548 (scop.sh) S 4545 4548 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230546118 115843072 349 33554432000 4194304 5098028 140732700176032 140732700173288 140400806158972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38723584 140732700181568 140732700181767 140732700181767 140732700184525 0
/proc/4548/statm: 28282 349 296 221 0 87 0
[pid=4551] ppid=4548 vsize=15012476 memory=73124 CPUtime=0.11 cores=0,2,4,6
/proc/4551/stat : 4551 (java) S 4548 4548 4275 0 -1 1077944320 6405 0 0 0 9 2 0 0 20 0 15 0 230546119 15372775424 18281 33554432000 4194304 4196468 140725463965952 140725463948496 139656839053047 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
/proc/4551/statm: 3753119 18281 2771 1 0 3715579 0
[pid=4551/tid=4552] ppid=4548 vsize=15012476 memory=7970986117876126555 CPUtime=0.09 cores=0,2,4,6
/proc/4551/task/4552/stat : 4552 (java) R 4548 4548 4275 0 -1 4202560 4760 0 0 0 8 1 0 0 20 0 15 0 230546119 15372775424 18545 33554432000 4194304 4196468 140725463965952 139656810858520 139656819328861 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4553] ppid=4548 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4553/stat : 4553 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 18545 33554432000 4194304 4196468 140725463965952 139656843294992 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4554] ppid=4548 vsize=15012476 memory=139852862715520 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4554/stat : 4554 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 18545 33554432000 4194304 4196468 140725463965952 139656634378640 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4555] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4555/stat : 4555 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 18611 33554432000 4194304 4196468 140725463965952 139656298838544 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4556] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4556/stat : 4556 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 18611 33554432000 4194304 4196468 140725463965952 139656297786000 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4557] ppid=4548 vsize=15012476 memory=139852862715520 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4557/stat : 4557 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546122 15372775424 18611 33554432000 4194304 4196468 140725463965952 139656245758448 139656839064194 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4558] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4558/stat : 4558 (java) S 4548 4548 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230546122 15372775424 18611 33554432000 4194304 4196468 140725463965952 139655425025440 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4559] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4559/stat : 4559 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546123 15372775424 18611 33554432000 4194304 4196468 140725463965952 139655156590064 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4560] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4560/stat : 4560 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 18611 33554432000 4194304 4196468 140725463965952 139654782081744 139656839071643 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4561] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4561/stat : 4561 (java) S 4548 4548 4275 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 18611 33554432000 4194304 4196468 140725463965952 139656244705264 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4562] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4562/stat : 4562 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 18611 33554432000 4194304 4196468 140725463965952 139656243652720 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4563] ppid=4548 vsize=15012476 memory=139852862715520 CPUtime=0.01 cores=0,2,4,6
/proc/4551/task/4563/stat : 4563 (java) S 4548 4548 4275 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 230546125 15372775424 18611 33554432000 4194304 4196468 140725463965952 139656242600176 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4564] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4564/stat : 4564 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 18611 33554432000 4194304 4196468 140725463965952 139654284175968 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4565] ppid=4548 vsize=15012476 memory=139852862715520 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4565/stat : 4565 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 18611 33554432000 4194304 4196468 140725463965952 139656241548080 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74520 KiB
[startup+0.210504 s]*
/proc/loadavg: 0.97 1.30 1.57 4/218 4565
/proc/meminfo: memFree=23517600/32770624 swapFree=67108688/67108860
[pid=4548] ppid=4545 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4548/stat : 4548 (scop.sh) S 4545 4548 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230546118 115843072 349 33554432000 4194304 5098028 140732700176032 140732700173288 140400806158972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38723584 140732700181568 140732700181767 140732700181767 140732700184525 0
/proc/4548/statm: 28282 349 296 221 0 87 0
[pid=4551] ppid=4548 vsize=15012476 memory=86432 CPUtime=0.26 cores=0,2,4,6
/proc/4551/stat : 4551 (java) S 4548 4548 4275 0 -1 1077944320 9890 0 0 0 23 3 0 0 20 0 15 0 230546119 15372775424 21608 33554432000 4194304 4196468 140725463965952 140725463948496 139656839053047 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
/proc/4551/statm: 3753119 21608 2935 1 0 3715579 0
[pid=4551/tid=4552] ppid=4548 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4551/task/4552/stat : 4552 (java) R 4548 4548 4275 0 -1 4202560 7799 0 0 0 18 2 0 0 20 0 15 0 230546119 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656810876832 139656831290174 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4553] ppid=4548 vsize=15012476 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4553/stat : 4553 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656843294992 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4554] ppid=4548 vsize=15012476 memory=139852862728354 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4554/stat : 4554 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656634378640 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4555] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4555/stat : 4555 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656298838544 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4556] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4556/stat : 4556 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656297786000 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4557] ppid=4548 vsize=15012476 memory=139852862715520 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4557/stat : 4557 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546122 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656245758448 139656839064194 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4558] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4558/stat : 4558 (java) S 4548 4548 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230546122 15372775424 21608 33554432000 4194304 4196468 140725463965952 139655425025440 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4559] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4559/stat : 4559 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546123 15372775424 21608 33554432000 4194304 4196468 140725463965952 139655156590064 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4560] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4560/stat : 4560 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 21608 33554432000 4194304 4196468 140725463965952 139654782081744 139656839071643 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4561] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4561/stat : 4561 (java) R 4548 4548 4275 0 -1 4202560 337 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656244696800 139656816920864 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4562] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4562/stat : 4562 (java) R 4548 4548 4275 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656243652720 139656818216208 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4563] ppid=4548 vsize=15012476 memory=139852862715520 CPUtime=0.03 cores=0,2,4,6
/proc/4551/task/4563/stat : 4563 (java) R 4548 4548 4275 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 230546125 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656242600176 139656839074394 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4564] ppid=4548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4564/stat : 4564 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 21608 33554432000 4194304 4196468 140725463965952 139654284175968 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4565] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4565/stat : 4565 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 21608 33554432000 4194304 4196468 140725463965952 139656241548080 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87828 KiB
[startup+0.310644 s]*
/proc/loadavg: 0.97 1.30 1.57 5/218 4565
/proc/meminfo: memFree=23509792/32770624 swapFree=67108688/67108860
[pid=4548] ppid=4545 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4548/stat : 4548 (scop.sh) S 4545 4548 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230546118 115843072 349 33554432000 4194304 5098028 140732700176032 140732700173288 140400806158972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38723584 140732700181568 140732700181767 140732700181767 140732700184525 0
/proc/4548/statm: 28282 349 296 221 0 87 0
[pid=4551] ppid=4548 vsize=15012476 memory=89696 CPUtime=0.43 cores=0,2,4,6
/proc/4551/stat : 4551 (java) S 4548 4548 4275 0 -1 1077944320 10437 0 0 0 40 3 0 0 20 0 15 0 230546119 15372775424 22424 33554432000 4194304 4196468 140725463965952 140725463948496 139656839053047 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
/proc/4551/statm: 3753119 22424 2976 1 0 3715579 0
[pid=4551/tid=4552] ppid=4548 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4551/task/4552/stat : 4552 (java) R 4548 4548 4275 0 -1 4202560 8180 0 0 0 27 2 0 0 20 0 15 0 230546119 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656810848048 139656823133534 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4553] ppid=4548 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4553/stat : 4553 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656843294992 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4554] ppid=4548 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4554/stat : 4554 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656634378640 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4555] ppid=4548 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4555/stat : 4555 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656298838544 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4556] ppid=4548 vsize=15012476 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4556/stat : 4556 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656297786000 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4557] ppid=4548 vsize=15012476 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4557/stat : 4557 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546122 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656245758448 139656839064194 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4558] ppid=4548 vsize=15012476 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4558/stat : 4558 (java) S 4548 4548 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230546122 15372775424 22424 33554432000 4194304 4196468 140725463965952 139655425025440 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4559] ppid=4548 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4559/stat : 4559 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546123 15372775424 22424 33554432000 4194304 4196468 140725463965952 139655156590064 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4560] ppid=4548 vsize=15012476 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4560/stat : 4560 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 22424 33554432000 4194304 4196468 140725463965952 139654782081744 139656839071643 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4561] ppid=4548 vsize=15012476 memory=8325818968683490714 CPUtime=0.02 cores=0,2,4,6
/proc/4551/task/4561/stat : 4561 (java) R 4548 4548 4275 0 -1 4202560 424 0 0 0 2 0 0 0 20 0 15 0 230546125 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656244705264 139656820574241 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4562] ppid=4548 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4551/task/4562/stat : 4562 (java) S 4548 4548 4275 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 230546125 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656243652720 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4563] ppid=4548 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4551/task/4563/stat : 4563 (java) S 4548 4548 4275 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 15 0 230546125 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656242600176 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4564] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4564/stat : 4564 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 22424 33554432000 4194304 4196468 140725463965952 139654284175968 139656839063253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4565] ppid=4548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4565/stat : 4565 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546125 15372775424 22424 33554432000 4194304 4196468 140725463965952 139656241548080 139656839064194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91092 KiB
[startup+0.701053 s]
/proc/loadavg: 0.97 1.30 1.57 7/218 4565
/proc/meminfo: memFree=23467744/32770624 swapFree=67108688/67108860
[pid=4548] ppid=4545 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4548/stat : 4548 (scop.sh) S 4545 4548 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230546118 115843072 349 33554432000 4194304 5098028 140732700176032 140732700173288 140400806158972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38723584 140732700181568 140732700181767 140732700181767 140732700184525 0
/proc/4548/statm: 28282 349 296 221 0 87 0
[pid=4551] ppid=4548 vsize=15020872 memory=129960 CPUtime=1.02 cores=0,2,4,6
/proc/4551/stat : 4551 (java) S 4548 4548 4275 0 -1 1077944320 17612 0 0 0 96 6 0 0 20 0 15 0 230546119 15381372928 32490 33554432000 4194304 4196468 140725463965952 140725463948496 139656839053047 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
/proc/4551/statm: 3755218 32490 3147 1 0 3716603 0
[pid=4551/tid=4552] ppid=4548 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/4551/task/4552/stat : 4552 (java) R 4548 4548 4275 0 -1 4202560 14891 0 0 0 63 4 0 0 20 0 15 0 230546119 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656810890784 139656314319333 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4553] ppid=4548 vsize=15020872 memory=288230613197271346 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4553/stat : 4553 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656843294992 139656839063253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4554] ppid=4548 vsize=15020872 memory=14972273996090760 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4554/stat : 4554 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656634378640 139656839063253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4555] ppid=4548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4555/stat : 4555 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546120 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656298838544 139656839063253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4556] ppid=4548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4556/stat : 4556 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230546120 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656297786000 139656839063253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4557] ppid=4548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4557/stat : 4557 (java) S 4548 4548 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230546122 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656245758448 139656839064194 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4558] ppid=4548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4558/stat : 4558 (java) S 4548 4548 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230546122 15381372928 32490 33554432000 4194304 4196468 140725463965952 139655425025440 139656839063253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4559] ppid=4548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4559/stat : 4559 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546123 15381372928 32490 33554432000 4194304 4196468 140725463965952 139655156590064 139656839063253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4560] ppid=4548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4560/stat : 4560 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15381372928 32490 33554432000 4194304 4196468 140725463965952 139654782081744 139656839071643 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4561] ppid=4548 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4551/task/4561/stat : 4561 (java) R 4548 4548 4275 0 -1 4202560 483 0 0 0 7 0 0 0 20 0 15 0 230546125 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656244695648 139656820598269 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4562] ppid=4548 vsize=15020872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4551/task/4562/stat : 4562 (java) R 4548 4548 4275 0 -1 4202560 435 0 0 0 8 0 0 0 20 0 15 0 230546125 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656243634288 139656823973445 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4563] ppid=4548 vsize=15020872 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/4551/task/4563/stat : 4563 (java) R 4548 4548 4275 0 -1 4202560 468 0 0 0 17 0 0 0 20 0 15 0 230546125 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656242600176 139656823133534 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4564] ppid=4548 vsize=15020872 memory=7955162805620523108 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4564/stat : 4564 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230546125 15381372928 32490 33554432000 4194304 4196468 140725463965952 139654284175968 139656839063253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
[pid=4551/tid=4565] ppid=4548 vsize=15020872 memory=7661591002098659428 CPUtime=0 cores=0,2,4,6
/proc/4551/task/4565/stat : 4565 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230546125 15381372928 32490 33554432000 4194304 4196468 140725463965952 139656241548080 139656839064194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140725463970823 140725463971121 140725463971121 140725463973839 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131356 KiB
[startup+1.50206 s]
/proc/loadavg: 0.97 1.30 1.57 6/218 4565
/proc/meminfo: memFree=23375472/32770624 swapFree=67108688/67108860
[pid=4548] ppid=4545 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4548/stat : 4548 (scop.sh) S 4545 4548 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230546118 115843072 349 33554432000 4194304 5098028 140732700176032 140732700173288 140400806158972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38723584 140732700181568 140732700181767 140732700181767 140732700184525 0
/proc/4548/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/4602/statm: 34300 29253 340 28 0 30540 0
[pid=4587/tid=4588] ppid=4548 vsize=8068220 memory=122032 CPUtime=0.77 cores=0,2,4,6
/proc/4587/task/4588/stat : 4588 (java) S 4548 4548 4275 0 -1 1077944384 14371 0 0 0 72 5 0 0 20 0 19 0 230546998 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998199332752 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4589] ppid=4548 vsize=8068220 memory=122032 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4589/stat : 4589 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998231735056 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4590] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4590/stat : 4590 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998031903632 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4591] ppid=4548 vsize=8068220 memory=117012 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4591/stat : 4591 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998030851088 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4592] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4592/stat : 4592 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998029798544 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4593] ppid=4548 vsize=8068220 memory=1472 CPUtime=0.04 cores=0,2,4,6
/proc/4587/task/4593/stat : 4593 (java) S 4548 4548 4275 0 -1 1077944384 6 0 0 0 2 2 0 0 20 0 19 0 230547000 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997471537136 139998227503746 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4594] ppid=4548 vsize=8068220 memory=122032 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4594/stat : 4594 (java) S 4548 4548 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230547001 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997076251552 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4595] ppid=4548 vsize=8068220 memory=35440 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4595/stat : 4595 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230547001 8261857280 30508 33554432000 4194304 4196468 140735762822288 139996807816176 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4596] ppid=4548 vsize=8068220 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4596/stat : 4596 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139996433307856 139998227511195 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4597] ppid=4548 vsize=8068220 memory=122032 CPUtime=0.11 cores=0,2,4,6
/proc/4587/task/4597/stat : 4597 (java) S 4548 4548 4275 0 -1 1077944384 644 0 0 0 10 1 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997470484976 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4598] ppid=4548 vsize=8068220 memory=3868 CPUtime=0.15 cores=0,2,4,6
/proc/4587/task/4598/stat : 4598 (java) S 4548 4548 4275 0 -1 1077944384 692 0 0 0 15 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997469432432 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4599] ppid=4548 vsize=8068220 memory=1168 CPUtime=0.21 cores=0,2,4,6
/proc/4587/task/4599/stat : 4599 (java) S 4548 4548 4275 0 -1 1077944384 594 0 0 0 21 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997468379888 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4600] ppid=4548 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4600/stat : 4600 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230547004 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995935403104 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4601] ppid=4548 vsize=8068220 memory=1472 CPUtime=2.11 cores=0,2,4,6
/proc/4587/task/4601/stat : 4601 (java) S 4548 4548 4275 0 -1 1077944384 163 0 0 0 108 103 0 0 20 0 19 0 230547004 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997467326768 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4603] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4603/stat : 4603 (java) S 4548 4548 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997546701888 139998227517209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4605] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4605/stat : 4605 (java) S 4548 4548 4275 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995398516400 139998227514525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4606] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4606/stat : 4606 (java) S 4548 4548 4275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995264294704 139998227514525 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4607] ppid=4548 vsize=8068220 memory=122032 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4607/stat : 4607 (java) S 4548 4548 4275 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 230547074 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995532746272 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
Current children cumulated CPU time: 2455.46 s
Current children cumulated vsize: 8318548 KiB
Current children cumulated memory: 240516 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/227 4682
/proc/meminfo: memFree=23292632/32770624 swapFree=67108688/67108860
[pid=4548] ppid=4545 vsize=113128 memory=1472 CPUtime=19.44 cores=0,2,4,6
/proc/4548/stat : 4548 (scop.sh) S 4545 4548 4275 0 -1 4202496 591 35334 0 0 0 0 1880 64 20 0 1 0 230546118 115843072 368 33554432000 4194304 5098028 140732700176032 140732700172776 140400806158972 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38723584 140732700181568 140732700181767 140732700181767 140732700184525 0
/proc/4548/statm: 28282 368 311 221 0 87 0
[pid=4587] ppid=4548 vsize=8068220 memory=122032 CPUtime=3.5 cores=0,2,4,6
/proc/4587/stat : 4587 (java) S 4548 4548 4275 0 -1 1077944320 17862 0 0 0 257 93 0 0 20 0 19 0 230546997 8261857280 30508 33554432000 4194304 4196468 140735762822288 140735762804832 139998227492599 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
/proc/4587/statm: 2017055 30508 3155 1 0 1978454 0
[pid=4602] ppid=4587 vsize=137200 memory=117012 CPUtime=2492.56 cores=0,2,4,6
/proc/4602/stat : 4602 (minisat_release) R 4587 4548 4275 0 -1 4202496 392146 0 0 0 249226 30 0 0 20 0 1 0 230547072 140492800 29253 33554432000 4194304 4308513 140721729376624 140721729373528 4275579 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 18022400 140721729381493 140721729381590 140721729381590 140721729384389 0
/proc/4602/statm: 34300 29253 340 28 0 30540 0
[pid=4587/tid=4588] ppid=4548 vsize=8068220 memory=117012 CPUtime=0.77 cores=0,2,4,6
/proc/4587/task/4588/stat : 4588 (java) S 4548 4548 4275 0 -1 1077944384 14371 0 0 0 72 5 0 0 20 0 19 0 230546998 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998199332752 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4589] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4589/stat : 4589 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998231735056 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4590] ppid=4548 vsize=8068220 memory=117012 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4590/stat : 4590 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998031903632 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4591] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4591/stat : 4591 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998030851088 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4592] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4592/stat : 4592 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998029798544 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4593] ppid=4548 vsize=8068220 memory=1472 CPUtime=0.04 cores=0,2,4,6
/proc/4587/task/4593/stat : 4593 (java) S 4548 4548 4275 0 -1 1077944384 6 0 0 0 2 2 0 0 20 0 19 0 230547000 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997471537136 139998227503746 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4594] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4594/stat : 4594 (java) S 4548 4548 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230547001 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997076251552 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4595] ppid=4548 vsize=8068220 memory=122032 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4595/stat : 4595 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230547001 8261857280 30508 33554432000 4194304 4196468 140735762822288 139996807816176 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4596] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4596/stat : 4596 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139996433307856 139998227511195 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4597] ppid=4548 vsize=8068220 memory=1472 CPUtime=0.11 cores=0,2,4,6
/proc/4587/task/4597/stat : 4597 (java) S 4548 4548 4275 0 -1 1077944384 644 0 0 0 10 1 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997470484976 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4598] ppid=4548 vsize=8068220 memory=1472 CPUtime=0.15 cores=0,2,4,6
/proc/4587/task/4598/stat : 4598 (java) S 4548 4548 4275 0 -1 1077944384 692 0 0 0 15 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997469432432 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4599] ppid=4548 vsize=8068220 memory=1472 CPUtime=0.21 cores=0,2,4,6
/proc/4587/task/4599/stat : 4599 (java) S 4548 4548 4275 0 -1 1077944384 594 0 0 0 21 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997468379888 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4600] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4600/stat : 4600 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230547004 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995935403104 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4601] ppid=4548 vsize=8068220 memory=122032 CPUtime=2.15 cores=0,2,4,6
/proc/4587/task/4601/stat : 4601 (java) S 4548 4548 4275 0 -1 1077944384 167 0 0 0 111 104 0 0 20 0 19 0 230547004 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997467326768 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4603] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4603/stat : 4603 (java) S 4548 4548 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997546701888 139998227517209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4605] ppid=4548 vsize=8068220 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4605/stat : 4605 (java) S 4548 4548 4275 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995398516400 139998227514525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4606] ppid=4548 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4606/stat : 4606 (java) S 4548 4548 4275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995264294704 139998227514525 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4607] ppid=4548 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4607/stat : 4607 (java) S 4548 4548 4275 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 230547074 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995532746272 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
Current children cumulated CPU time: 2515.5 s
Current children cumulated vsize: 8318548 KiB
Current children cumulated memory: 240516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.8 s]
/proc/loadavg: 2.06 2.06 2.05 3/227 4682
/proc/meminfo: memFree=23292632/32770624 swapFree=67108688/67108860
[pid=4548] ppid=4545 vsize=113128 memory=1472 CPUtime=19.44 cores=0,2,4,6
/proc/4548/stat : 4548 (scop.sh) S 4545 4548 4275 0 -1 4202496 591 35334 0 0 0 0 1880 64 20 0 1 0 230546118 115843072 368 33554432000 4194304 5098028 140732700176032 140732700172776 140400806158972 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38723584 140732700181568 140732700181767 140732700181767 140732700184525 0
/proc/4548/statm: 28282 368 311 221 0 87 0
[pid=4587] ppid=4548 vsize=8068220 memory=122032 CPUtime=3.5 cores=0,2,4,6
/proc/4587/stat : 4587 (java) S 4548 4548 4275 0 -1 1077944320 17862 0 0 0 257 93 0 0 20 0 19 0 230546997 8261857280 30508 33554432000 4194304 4196468 140735762822288 140735762804832 139998227492599 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
/proc/4587/statm: 2017055 30508 3155 1 0 1978454 0
[pid=4602] ppid=4587 vsize=137200 memory=117012 CPUtime=2497.06 cores=0,2,4,6
/proc/4602/stat : 4602 (minisat_release) R 4587 4548 4275 0 -1 4202496 392149 0 0 0 249676 30 0 0 20 0 1 0 230547072 140492800 29253 33554432000 4194304 4308513 140721729376624 140721729373528 4276008 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 18022400 140721729381493 140721729381590 140721729381590 140721729384389 0
/proc/4602/statm: 34300 29253 340 28 0 30540 0
[pid=4587/tid=4588] ppid=4548 vsize=8068220 memory=1472 CPUtime=0.77 cores=0,2,4,6
/proc/4587/task/4588/stat : 4588 (java) S 4548 4548 4275 0 -1 1077944384 14371 0 0 0 72 5 0 0 20 0 19 0 230546998 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998199332752 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4589] ppid=4548 vsize=8068220 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4589/stat : 4589 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998231735056 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4590] ppid=4548 vsize=8068220 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4590/stat : 4590 (java) S 4548 4548 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998031903632 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4591] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4591/stat : 4591 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998030851088 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4592] ppid=4548 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4592/stat : 4592 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230546999 8261857280 30508 33554432000 4194304 4196468 140735762822288 139998029798544 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4593] ppid=4548 vsize=8068220 memory=122032 CPUtime=0.04 cores=0,2,4,6
/proc/4587/task/4593/stat : 4593 (java) S 4548 4548 4275 0 -1 1077944384 6 0 0 0 2 2 0 0 20 0 19 0 230547000 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997471537136 139998227503746 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4594] ppid=4548 vsize=8068220 memory=117012 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4594/stat : 4594 (java) S 4548 4548 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230547001 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997076251552 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4595] ppid=4548 vsize=8068220 memory=91512 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4595/stat : 4595 (java) S 4548 4548 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230547001 8261857280 30508 33554432000 4194304 4196468 140735762822288 139996807816176 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4596] ppid=4548 vsize=8068220 memory=122032 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4596/stat : 4596 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139996433307856 139998227511195 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4597] ppid=4548 vsize=8068220 memory=117012 CPUtime=0.11 cores=0,2,4,6
/proc/4587/task/4597/stat : 4597 (java) S 4548 4548 4275 0 -1 1077944384 644 0 0 0 10 1 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997470484976 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4598] ppid=4548 vsize=8068220 memory=4100 CPUtime=0.15 cores=0,2,4,6
/proc/4587/task/4598/stat : 4598 (java) S 4548 4548 4275 0 -1 1077944384 692 0 0 0 15 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997469432432 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4599] ppid=4548 vsize=8068220 memory=-6733704525061579059 CPUtime=0.21 cores=0,2,4,6
/proc/4587/task/4599/stat : 4599 (java) S 4548 4548 4275 0 -1 1077944384 594 0 0 0 21 0 0 0 20 0 19 0 230547003 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997468379888 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4600] ppid=4548 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4600/stat : 4600 (java) S 4548 4548 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230547004 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995935403104 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4601] ppid=4548 vsize=8068220 memory=312155947512627226 CPUtime=2.16 cores=0,2,4,6
/proc/4587/task/4601/stat : 4601 (java) S 4548 4548 4275 0 -1 1077944384 167 0 0 0 111 105 0 0 20 0 19 0 230547004 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997467326768 139998227503746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4603] ppid=4548 vsize=8068220 memory=312155956186448186 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4603/stat : 4603 (java) S 4548 4548 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139997546701888 139998227517209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4605] ppid=4548 vsize=8068220 memory=13565994345958282 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4605/stat : 4605 (java) S 4548 4548 4275 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995398516400 139998227514525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4606] ppid=4548 vsize=8068220 memory=13565994345958282 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4606/stat : 4606 (java) S 4548 4548 4275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230547072 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995264294704 139998227514525 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
[pid=4587/tid=4607] ppid=4548 vsize=8068220 memory=8514701219730523551 CPUtime=0 cores=0,2,4,6
/proc/4587/task/4607/stat : 4607 (java) S 4548 4548 4275 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 230547074 8261857280 30508 33554432000 4194304 4196468 140735762822288 139995532746272 139998227502805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34553856 140735762826422 140735762826545 140735762826545 140735762829263 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8318548 KiB
Current children cumulated memory: 240516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.82 s]
# the end of solver process 4548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.15 s, system=1.89507 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2506.82
CPU time (s): 2520.05
CPU user time (s): 2518.15
CPU system time (s): 1.89507
CPU usage (%): 100.528
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3099612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.15
system time used= 1.89507
maximum resident set size= 3098968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60382
involuntary context switches= 998
# summary of solver processes directly reported to runsolver:
# pid: 4548
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.15
# total CPU system time (s): 1.89507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1491 second user time and 31.2948 second system time
The end