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-1849-serial-file.bin HOME/instance-4305644-1534134102.xml
0.65/0.53
0.65/0.53 scop both+minisat_release (2018-07-31)
0.65/0.53 (Encoding Process)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Mon Aug 13 06:21:43 CEST 2018
0.65/0.56 c PID: 1854
0.65/0.56 c IP: 172.20.3.148
0.65/0.56 c HOST: node148.alineos.net
0.65/0.57 c (0,0) Parsing Begin
2.52/1.30 c (0,0) Parsing End
2.52/1.31 c (0,0) CSP: 496 int (0 aux), 0 bool (0 aux), 482 ctr, max domain size 256
2.52/1.31 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.52/1.31 c (0,0) Constraint Name Generate Begin
2.52/1.34 c (0,0) Ctr:HOME/instance-4305644-1534134102.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
2.52/1.34 c (0,0) Constraint Name Generate End
2.52/1.34 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.52/1.34 c (0,0) CSP to CSPinCNF Begin
5.70/2.44 c (1,1) translated 49 (10%) constraints
6.19/2.79 c (2,2) translated 97 (20%) constraints
6.60/3.14 c (2,2) translated 145 (30%) constraints
6.90/3.48 c (2,2) translated 193 (40%) constraints
7.31/3.82 c (3,3) translated 241 (50%) constraints
7.31/3.84 c (3,3) translated 290 (60%) constraints
7.31/3.85 c (3,3) translated 338 (70%) constraints
7.31/3.86 c (3,3) translated 386 (80%) constraints
7.31/3.87 c (3,3) translated 434 (90%) constraints
7.31/3.87 c (3,3) translated 482 (100%) constraints
8.51/4.25 c (3,3) STATISTICS1:HOME/instance-4305644-1534134102.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,496,65600,256,256,16,3,256:480;16:3360;1:480,256:61680;16:66240;1:4400,16:64;3:61440;2:3840;1:256,3:480;2:3840;1:185376,
8.51/4.25 c (3,3) ==========================================
8.51/4.25 c (3,3) Both Encoding selects:
8.51/4.25 c (3,3) Order
8.51/4.25 c (3,3) ==========================================
10.16/4.75 c (4,4) translated 6560 (10%) constraints
11.17/5.18 c (4,4) translated 13120 (20%) constraints
11.75/5.53 c (4,4) translated 19680 (30%) constraints
12.06/5.86 c (5,5) translated 26240 (40%) constraints
12.50/6.21 c (5,5) translated 32800 (50%) constraints
12.82/6.55 c (6,5) translated 39360 (60%) constraints
13.15/6.88 c (6,6) translated 45920 (70%) constraints
13.55/7.23 c (6,6) translated 52480 (80%) constraints
13.87/7.57 c (7,6) translated 59040 (90%) constraints
14.34/7.90 c (7,7) translated 65600 (100%) constraints
14.34/7.91 c (7,7) CSP to CSPinCNF End
14.34/8.00 c (7,7) CSP: 496 int (0 aux), 4096 bool (4096 aux), 188736 ctr, max domain size 256
14.34/8.00 c (7,7) Heap : 2478 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.34/8.00 c (7,7) CSPinCNF Propagation Begin
17.56/9.27 c (8,8) 848 values, 11412 unsatisfiable literals, and 18496 valid clauses are removed
17.56/9.27 c (8,8) CSPinCNF Propagation End
17.56/9.27 c (8,8) CSP: 800 int (304 aux), 3792 bool (3792 aux), 170240 ctr, max domain size 254
17.56/9.27 c (8,8) Heap : 501 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
17.56/9.27 c (8,8) Simplify CSPinCNF Begin
18.57/9.71 c (9,8) Simplify CSPinCNF End
18.57/9.71 c (9,8) CSP: 800 int (304 aux), 11344 bool (11344 aux), 177792 ctr, max domain size 254
18.57/9.71 c (9,8) Heap : 722 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.57/9.71 c (9,8) Calculate Precise Domain Begin
18.57/9.71 c (9,8) 0 values are removed by re-calculation
18.57/9.71 c (9,8) Calculate Precise Domain End
18.57/9.71 c (9,8) CSP: 800 int (304 aux), 11344 bool (11344 aux), 177792 ctr, max domain size 254
18.57/9.71 c (9,8) Heap : 722 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.57/9.71 c (9,8) CSPinCNF to SatSolver Begin
20.36/10.33 c (9,9) 17780 (10 %) CSP clauses are encoded (74484 SAT variables, 178495 SAT clauses)
20.36/10.39 c (9,9) 35559 (20 %) CSP clauses are encoded (74484 SAT variables, 196274 SAT clauses)
20.49/10.46 c (9,9) 53338 (30 %) CSP clauses are encoded (74484 SAT variables, 214053 SAT clauses)
20.59/10.53 c (9,9) 71117 (40 %) CSP clauses are encoded (74484 SAT variables, 231832 SAT clauses)
20.59/10.59 c (10,9) 88896 (50 %) CSP clauses are encoded (74484 SAT variables, 249611 SAT clauses)
20.69/10.66 c (10,9) 106676 (60 %) CSP clauses are encoded (74484 SAT variables, 267391 SAT clauses)
20.79/10.72 c (10,9) 124455 (70 %) CSP clauses are encoded (74484 SAT variables, 285170 SAT clauses)
20.79/10.79 c (10,10) 142234 (80 %) CSP clauses are encoded (74484 SAT variables, 302949 SAT clauses)
20.89/10.85 c (10,10) 160013 (90 %) CSP clauses are encoded (74484 SAT variables, 320728 SAT clauses)
21.82/11.25 c (10,10) 177792 (100 %) CSP clauses are encoded (74484 SAT variables, 455754 SAT clauses)
21.82/11.25 c (10,10) Launch Command will be: minisat_release
21.82/11.25 c (10,10) CSPinCNF to SatSolver End
21.82/11.25 c (10,10) Heap : 1826 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.86/11.70 c (11,10) STATISTICS2:HOME/instance-4305644-1534134102.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,12144,177792,256,254,14,3,256:364;225:104;196:12;16:4368;15:2024;14:328;1:832,254:79248;253:13156;237:23700;236:944;220:2640;16:94276;15:25168;14:2708;2:177496;1:832,14:60;3:55832;2:121420;1:480,3:480;2:7552;1:403624,
22.86/11.70 c (11,10) 74484 bool, 455948 clause
22.86/11.70 c (11,10) Export Begin
23.20/11.82 c (11,11) Export to HOME/scop-1849-serial-file.bin
23.20/11.82 c (11,11) Export End
23.20/11.82 c (11,11) Export File Size: 0.09 MB
23.20/11.82 c (11,11) 0,0,7,8,9,9,10,STOP-AFTER(DIMACS)
23.20/11.82 c END-Prog: Mon Aug 13 06:21:54 CEST 2018
23.20/11.86 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-1849-serial-file.bin
23.89/12.36 c (0,0) Read Serial File Begin
23.89/12.36 c (0,0) HOME/scop-1849-serial-file.bin
24.17/12.56 c (0,0) Read Serial File End
24.17/12.58
24.17/12.58 scop order+minisat_release (2018-07-31)
24.17/12.58 (Solving Process)
24.17/12.58
24.40/12.60 c BEGIN-Prog: Mon Aug 13 06:21:55 CEST 2018
24.40/12.60 c PID: 1983
24.40/12.60 c IP: 172.20.3.148
24.40/12.60 c HOST: node148.alineos.net
24.40/12.60 c (0,0) SatSolver.solve Begin
24.40/12.60 c (0,0) 0 bool, 0 clause
24.40/12.60 c (0,0) minisat_release HOME/instance-4305644-1534134102.xml-scop-1854.cnf
2520.01/2506.50 c (2494,0) receiving signal SIGTERM
2520.01/2506.50 s UNKNOWN
2520.01/2506.51 c (2494,0) SatSolver is killed by some reasons.
2520.01/2506.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2506.51 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 (9545 MiB free)
memory of node 1: 16384 MiB (7057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305644-1534134102/watcher-4305644-1534134102 -o /tmp/evaluation-result-4305644-1534134102/solver-4305644-1534134102 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534134102-1817 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305644-1534134102.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1849, runsolver pid=1842
Current StackSize limit: 8192 KiB
[startup+0.102767 s]*
/proc/loadavg: 1.84 1.98 1.99 4/220 1882
/proc/meminfo: memFree=16882824/32770624 swapFree=67108404/67108860
[pid=1849] ppid=1842 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1849/stat : 1849 (scop.sh) S 1842 1849 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140727079950976 140727079948232 140717545525884 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21856256 140727079957569 140727079957767 140727079957767 140727079960525 0
/proc/1849/statm: 28282 349 296 221 0 87 0
[pid=1854] ppid=1849 vsize=15012476 memory=70664 CPUtime=0.1 cores=0,2,4,6
/proc/1854/stat : 1854 (java) S 1849 1849 1786 0 -1 1077944320 5790 0 0 0 8 2 0 0 20 0 15 0 230973358 15372775424 17666 33554432000 4194304 4196468 140737310690800 140737310673344 139639803719415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
/proc/1854/statm: 3753119 17666 2739 1 0 3715579 0
[pid=1854/tid=1856] ppid=1849 vsize=15012476 memory=8226496019563377307 CPUtime=0.08 cores=0,2,4,6
/proc/1854/task/1856/stat : 1856 (java) R 1849 1849 1786 0 -1 4202560 3974 0 0 0 7 1 0 0 20 0 15 0 230973359 15372775424 17731 33554432000 4194304 4196468 140737310690800 139639775515296 139639787799932 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1857] ppid=1849 vsize=15012476 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1857/stat : 1857 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17731 33554432000 4194304 4196468 140737310690800 139639807961488 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1860] ppid=1849 vsize=15012476 memory=139677471217280 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1860/stat : 1860 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17731 33554432000 4194304 4196468 140737310690800 139639599044880 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1862] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1862/stat : 1862 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17731 33554432000 4194304 4196468 140737310690800 139639597992592 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1864] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1864/stat : 1864 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17731 33554432000 4194304 4196468 140737310690800 139639596939792 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1866] ppid=1849 vsize=15012476 memory=139677471217280 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1866/stat : 1866 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 17731 33554432000 4194304 4196468 140737310690800 139638773607024 139639803730562 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1868] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1868/stat : 1868 (java) S 1849 1849 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 17731 33554432000 4194304 4196468 140737310690800 139638379373856 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1870] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1870/stat : 1870 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15372775424 17731 33554432000 4194304 4196468 140737310690800 139638110938736 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1872] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1872/stat : 1872 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17731 33554432000 4194304 4196468 140737310690800 139637736430160 139639803738011 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1875] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1875/stat : 1875 (java) S 1849 1849 1786 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17731 33554432000 4194304 4196468 140737310690800 139638772553840 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1877] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1877/stat : 1877 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17731 33554432000 4194304 4196468 140737310690800 139638771501040 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1878] ppid=1849 vsize=15012476 memory=139677471217280 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1878/stat : 1878 (java) S 1849 1849 1786 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17731 33554432000 4194304 4196468 140737310690800 139638770448752 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1880] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1880/stat : 1880 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 17731 33554432000 4194304 4196468 140737310690800 139637238524384 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1882] ppid=1849 vsize=15012476 memory=139677471217280 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1882/stat : 1882 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 17731 33554432000 4194304 4196468 140737310690800 139638769396656 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72060 KiB
[startup+0.210649 s]*
/proc/loadavg: 1.84 1.98 1.99 4/220 1882
/proc/meminfo: memFree=16854412/32770624 swapFree=67108404/67108860
[pid=1849] ppid=1842 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1849/stat : 1849 (scop.sh) S 1842 1849 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140727079950976 140727079948232 140717545525884 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21856256 140727079957569 140727079957767 140727079957767 140727079960525 0
/proc/1849/statm: 28282 349 296 221 0 87 0
[pid=1854] ppid=1849 vsize=15012476 memory=85468 CPUtime=0.24 cores=0,2,4,6
/proc/1854/stat : 1854 (java) S 1849 1849 1786 0 -1 1077944320 9652 0 0 0 21 3 0 0 20 0 15 0 230973358 15372775424 21367 33554432000 4194304 4196468 140737310690800 140737310673344 139639803719415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
/proc/1854/statm: 3753119 21367 2927 1 0 3715579 0
[pid=1854/tid=1856] ppid=1849 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/1854/task/1856/stat : 1856 (java) R 1849 1849 1786 0 -1 4202560 7565 0 0 0 17 2 0 0 20 0 15 0 230973359 15372775424 21367 33554432000 4194304 4196468 140737310690800 139639775528160 139639787799902 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1857] ppid=1849 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1857/stat : 1857 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21367 33554432000 4194304 4196468 140737310690800 139639807961488 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1860] ppid=1849 vsize=15012476 memory=139677472345405 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1860/stat : 1860 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21367 33554432000 4194304 4196468 140737310690800 139639599044880 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1862] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1862/stat : 1862 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21367 33554432000 4194304 4196468 140737310690800 139639597992592 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1864] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1864/stat : 1864 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21367 33554432000 4194304 4196468 140737310690800 139639596939792 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1866] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1866/stat : 1866 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 21367 33554432000 4194304 4196468 140737310690800 139638773607024 139639803730562 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1868] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1868/stat : 1868 (java) S 1849 1849 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 21367 33554432000 4194304 4196468 140737310690800 139638379373856 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1870] ppid=1849 vsize=15012476 memory=139677471217280 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1870/stat : 1870 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15372775424 21367 33554432000 4194304 4196468 140737310690800 139638110938736 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1872] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1872/stat : 1872 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 21367 33554432000 4194304 4196468 140737310690800 139637736430160 139639803738011 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1875] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1875/stat : 1875 (java) S 1849 1849 1786 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 21367 33554432000 4194304 4196468 140737310690800 139638772553840 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1877] ppid=1849 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1877/stat : 1877 (java) S 1849 1849 1786 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 21367 33554432000 4194304 4196468 140737310690800 139638771501040 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1878] ppid=1849 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1854/task/1878/stat : 1878 (java) R 1849 1849 1786 0 -1 4202560 300 0 0 0 2 0 0 0 20 0 15 0 230973365 15372775424 21367 33554432000 4194304 4196468 140737310690800 139638770448752 139639803740762 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1880] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1880/stat : 1880 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 21367 33554432000 4194304 4196468 140737310690800 139637238524384 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1882] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1882/stat : 1882 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 21367 33554432000 4194304 4196468 140737310690800 139638769396656 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86864 KiB
[startup+0.310476 s]*
/proc/loadavg: 1.84 1.98 1.99 5/220 1882
/proc/meminfo: memFree=16846720/32770624 swapFree=67108404/67108860
[pid=1849] ppid=1842 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1849/stat : 1849 (scop.sh) S 1842 1849 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140727079950976 140727079948232 140717545525884 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21856256 140727079957569 140727079957767 140727079957767 140727079960525 0
/proc/1849/statm: 28282 349 296 221 0 87 0
[pid=1854] ppid=1849 vsize=15012476 memory=89596 CPUtime=0.41 cores=0,2,4,6
/proc/1854/stat : 1854 (java) S 1849 1849 1786 0 -1 1077944320 10334 0 0 0 38 3 0 0 20 0 15 0 230973358 15372775424 22399 33554432000 4194304 4196468 140737310690800 140737310673344 139639803719415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
/proc/1854/statm: 3753119 22399 2974 1 0 3715579 0
[pid=1854/tid=1856] ppid=1849 vsize=15012476 memory=1399051139730258233 CPUtime=0.28 cores=0,2,4,6
/proc/1854/task/1856/stat : 1856 (java) R 1849 1849 1786 0 -1 4202560 8060 0 0 0 26 2 0 0 20 0 15 0 230973359 15372775424 22399 33554432000 4194304 4196468 140737310690800 139639775514864 139639785282984 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1857] ppid=1849 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1857/stat : 1857 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22399 33554432000 4194304 4196468 140737310690800 139639807961488 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1860] ppid=1849 vsize=15012476 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1860/stat : 1860 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22399 33554432000 4194304 4196468 140737310690800 139639599044880 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1862] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1862/stat : 1862 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22399 33554432000 4194304 4196468 140737310690800 139639597992592 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1864] ppid=1849 vsize=15012476 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1864/stat : 1864 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22399 33554432000 4194304 4196468 140737310690800 139639596939792 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1866] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1866/stat : 1866 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 22399 33554432000 4194304 4196468 140737310690800 139638773607024 139639803730562 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1868] ppid=1849 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1868/stat : 1868 (java) S 1849 1849 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 22399 33554432000 4194304 4196468 140737310690800 139638379373856 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1870] ppid=1849 vsize=15012476 memory=-3535359994705170786 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1870/stat : 1870 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15372775424 22399 33554432000 4194304 4196468 140737310690800 139638110938736 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1872] ppid=1849 vsize=15012476 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1872/stat : 1872 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 22399 33554432000 4194304 4196468 140737310690800 139637736430160 139639803738011 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1875] ppid=1849 vsize=15012476 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/1854/task/1875/stat : 1875 (java) S 1849 1849 1786 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 230973365 15372775424 22399 33554432000 4194304 4196468 140737310690800 139638772553840 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1877] ppid=1849 vsize=15012476 memory=6944656575208382560 CPUtime=0.02 cores=0,2,4,6
/proc/1854/task/1877/stat : 1877 (java) S 1849 1849 1786 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 15 0 230973365 15372775424 22399 33554432000 4194304 4196468 140737310690800 139638771501040 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1878] ppid=1849 vsize=15012476 memory=-2672971631234216029 CPUtime=0.07 cores=0,2,4,6
/proc/1854/task/1878/stat : 1878 (java) S 1849 1849 1786 0 -1 1077944384 346 0 0 0 7 0 0 0 20 0 15 0 230973365 15372775424 22399 33554432000 4194304 4196468 140737310690800 139638770448752 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1880] ppid=1849 vsize=15012476 memory=7680491644591431721 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1880/stat : 1880 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 22399 33554432000 4194304 4196468 140737310690800 139637238524384 139639803729621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1882] ppid=1849 vsize=15012476 memory=8305309928409948256 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1882/stat : 1882 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 22399 33554432000 4194304 4196468 140737310690800 139638769396656 139639803730562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90992 KiB
[startup+0.700738 s]
/proc/loadavg: 1.84 1.98 1.99 5/220 1882
/proc/meminfo: memFree=16798848/32770624 swapFree=67108404/67108860
[pid=1849] ppid=1842 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1849/stat : 1849 (scop.sh) S 1842 1849 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140727079950976 140727079948232 140717545525884 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21856256 140727079957569 140727079957767 140727079957767 140727079960525 0
/proc/1849/statm: 28282 349 296 221 0 87 0
[pid=1854] ppid=1849 vsize=15018748 memory=126844 CPUtime=0.97 cores=0,2,4,6
/proc/1854/stat : 1854 (java) S 1849 1849 1786 0 -1 1077944320 17310 0 1 0 92 5 0 0 20 0 15 0 230973358 15379197952 31711 33554432000 4194304 4196468 140737310690800 140737310673344 139639803719415 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
/proc/1854/statm: 3754687 31711 3146 1 0 3716091 0
[pid=1854/tid=1856] ppid=1849 vsize=15018748 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/1854/task/1856/stat : 1856 (java) R 1849 1849 1786 0 -1 4202560 14571 0 1 0 61 4 0 0 20 0 15 0 230973359 15379197952 31711 33554432000 4194304 4196468 140737310690800 139639775557888 139639787799902 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1857] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1857/stat : 1857 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31711 33554432000 4194304 4196468 140737310690800 139639807961488 139639803729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1860] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1860/stat : 1860 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31711 33554432000 4194304 4196468 140737310690800 139639599044880 139639803729621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1862] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1862/stat : 1862 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31711 33554432000 4194304 4196468 140737310690800 139639597992592 139639803729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1864] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1864/stat : 1864 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31711 33554432000 4194304 4196468 140737310690800 139639596939792 139639803729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1866] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1866/stat : 1866 (java) S 1849 1849 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230973362 15379197952 31711 33554432000 4194304 4196468 140737310690800 139638773607024 139639803730562 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1868] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1868/stat : 1868 (java) S 1849 1849 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15379197952 31711 33554432000 4194304 4196468 140737310690800 139638379373856 139639803729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1870] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1870/stat : 1870 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15379197952 31711 33554432000 4194304 4196468 140737310690800 139638110938736 139639803729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1872] ppid=1849 vsize=15018748 memory=12966506269086 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1872/stat : 1872 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15379197952 31711 33554432000 4194304 4196468 140737310690800 139637736430160 139639803738011 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1875] ppid=1849 vsize=15018748 memory=9298 CPUtime=0.05 cores=0,2,4,6
/proc/1854/task/1875/stat : 1875 (java) S 1849 1849 1786 0 -1 1077944384 458 0 0 0 5 0 0 0 20 0 15 0 230973365 15379197952 31711 33554432000 4194304 4196468 140737310690800 139638772553840 139639803730562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1877] ppid=1849 vsize=15018748 memory=1233762 CPUtime=0.09 cores=0,2,4,6
/proc/1854/task/1877/stat : 1877 (java) S 1849 1849 1786 0 -1 1077944384 469 0 0 0 9 0 0 0 20 0 15 0 230973365 15379197952 31711 33554432000 4194304 4196468 140737310690800 139638771501040 139639803730562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1878] ppid=1849 vsize=15018748 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/1854/task/1878/stat : 1878 (java) R 1849 1849 1786 0 -1 4202560 477 0 0 0 15 0 0 0 20 0 15 0 230973365 15379197952 31711 33554432000 4194304 4196468 140737310690800 139638770444016 139639782019953 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1880] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1880/stat : 1880 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15379197952 31711 33554432000 4194304 4196468 140737310690800 139637238524384 139639803729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
[pid=1854/tid=1882] ppid=1849 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1854/task/1882/stat : 1882 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15379197952 31711 33554432000 4194304 4196468 140737310690800 139638769396656 139639803730562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25686016 140737310692360 140737310692657 140737310692657 140737310695375 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 128240 KiB
[startup+1.50162 s]
/proc/loadavg: 1.84 1.98 1.99 4/220 1882
/proc/meminfo: memFree=16737324/32770624 swapFree=67108404/67108860
[pid=1849] ppid=1842 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1849/stat : 1849 (scop.sh) S 1842 1849 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140727079950976 140727079948232 140717545525884 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21856256 140727079957569 140727079957767 140727079957767 140727079960525 0
/proc/1849/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=1983/tid=1986] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170688072080 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1987] ppid=1849 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170339191312 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1988] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170338138768 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1989] ppid=1849 vsize=8068220 memory=146 CPUtime=0.05 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1849 1849 1786 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170301233648 140170854746754 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1990] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1849 1849 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169680250272 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1991] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169411814896 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1992] ppid=1849 vsize=8068220 memory=164808 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169037306576 140170854754203 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1993] ppid=1849 vsize=8068220 memory=1472 CPUtime=0.11 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1849 1849 1786 0 -1 1077944384 789 0 0 0 10 1 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170300180464 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1994] ppid=1849 vsize=8068220 memory=1472 CPUtime=0.15 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1849 1849 1786 0 -1 1077944384 629 0 0 0 15 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170299127920 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1995] ppid=1849 vsize=8068220 memory=117556 CPUtime=0.23 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1849 1849 1786 0 -1 1077944384 762 0 0 0 23 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170298075376 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1996] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168539400800 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1997] ppid=1849 vsize=8068220 memory=1472 CPUtime=1.49 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1849 1849 1786 0 -1 1077944384 167 0 0 0 78 71 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170297023280 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1999] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1999/stat : 1999 (java) S 1849 1849 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170289215040 140170854760217 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2001] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2001/stat : 2001 (java) S 1849 1849 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168002515120 140170854757533 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2002] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2002/stat : 2002 (java) S 1849 1849 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168136736048 140170854757533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2003] ppid=1849 vsize=8068220 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2003/stat : 2003 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974623 8261857280 29389 33554432000 4194304 4196468 140733562631824 140167734090784 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
Current children cumulated CPU time: 2515.81 s
Current children cumulated vsize: 8328232 KiB
Current children cumulated memory: 245276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/229 2125
/proc/meminfo: memFree=16407308/32770624 swapFree=67108404/67108860
[pid=1849] ppid=1842 vsize=113128 memory=1472 CPUtime=23.32 cores=0,2,4,6
/proc/1849/stat : 1849 (scop.sh) S 1842 1849 1786 0 -1 4202496 591 35203 0 1 0 0 2257 75 20 0 1 0 230973358 115843072 368 33554432000 4194304 5098028 140727079950976 140727079947720 140717545525884 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21856256 140727079957569 140727079957767 140727079957767 140727079960525 0
/proc/1849/statm: 28282 368 311 221 0 87 0
[pid=1983] ppid=1849 vsize=8068220 memory=117556 CPUtime=2.87 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1849 1849 1786 0 -1 1077944320 19318 0 0 0 212 75 0 0 20 0 19 0 230974545 8261857280 29389 33554432000 4194304 4196468 140733562631824 140733562614368 140170854735607 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
/proc/1983/statm: 2017055 29389 3156 1 0 1978454 0
[pid=1998] ppid=1983 vsize=146884 memory=126248 CPUtime=2493.82 cores=0,2,4,6
/proc/1998/stat : 1998 (minisat_release) R 1983 1849 1786 0 -1 4202496 620092 0 0 0 249290 92 0 0 20 0 1 0 230974621 150409216 31562 33554432000 4194304 4308513 140730754415232 140730754412680 4276400 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 41443328 140730754417781 140730754417878 140730754417878 140730754420677 0
/proc/1998/statm: 36721 31562 341 28 0 32961 0
[pid=1983/tid=1984] ppid=1849 vsize=8068220 memory=117556 CPUtime=0.78 cores=0,2,4,6
/proc/1983/task/1984/stat : 1984 (java) S 1849 1849 1786 0 -1 1077944384 15561 0 0 0 73 5 0 0 20 0 19 0 230974545 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170826575760 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1985] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170858977552 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1986] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170688072080 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1987] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170339191312 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1988] ppid=1849 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170338138768 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1989] ppid=1849 vsize=8068220 memory=1472 CPUtime=0.05 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1849 1849 1786 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170301233648 140170854746754 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1990] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1849 1849 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169680250272 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1991] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169411814896 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1992] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169037306576 140170854754203 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1993] ppid=1849 vsize=8068220 memory=117556 CPUtime=0.11 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1849 1849 1786 0 -1 1077944384 789 0 0 0 10 1 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170300180464 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1994] ppid=1849 vsize=8068220 memory=146 CPUtime=0.15 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1849 1849 1786 0 -1 1077944384 629 0 0 0 15 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170299127920 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1995] ppid=1849 vsize=8068220 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1849 1849 1786 0 -1 1077944384 762 0 0 0 23 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170298075376 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1996] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168539400800 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1997] ppid=1849 vsize=8068220 memory=1472 CPUtime=1.49 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1849 1849 1786 0 -1 1077944384 167 0 0 0 78 71 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170297023280 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1999] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1999/stat : 1999 (java) S 1849 1849 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170289215040 140170854760217 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2001] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2001/stat : 2001 (java) S 1849 1849 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168002515120 140170854757533 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2002] ppid=1849 vsize=8068220 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2002/stat : 2002 (java) S 1849 1849 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168136736048 140170854757533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2003] ppid=1849 vsize=8068220 memory=916 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2003/stat : 2003 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974623 8261857280 29389 33554432000 4194304 4196468 140733562631824 140167734090784 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8328232 KiB
Current children cumulated memory: 245276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.51 s]
# the end of solver process 1849 was just reported to runsolver
# cumulated CPU time of all completed processes: user=22.5806 s, system=0.75521 s
[startup+2506.52 s]
# the end of solver process 1983 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.61 s, system=2.44809 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+2506.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/229 2125
/proc/meminfo: memFree=16407308/32770624 swapFree=67108404/67108860
[pid=1849] ppid=1842 vsize=113128 memory=1472 CPUtime=23.32 cores=0,2,4,6
/proc/1849/stat : 1849 (scop.sh) S 1842 1849 1786 0 -1 4202496 591 35203 0 1 0 0 2257 75 20 0 1 0 230973358 115843072 368 33554432000 4194304 5098028 140727079950976 140727079947720 140717545525884 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21856256 140727079957569 140727079957767 140727079957767 140727079960525 0
/proc/1849/statm: 28282 368 311 221 0 87 0
[pid=1983] ppid=1849 vsize=8068220 memory=117556 CPUtime=2.87 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1849 1849 1786 0 -1 1077944320 19318 0 0 0 212 75 0 0 20 0 19 0 230974545 8261857280 29389 33554432000 4194304 4196468 140733562631824 140733562614368 140170854735607 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
/proc/1983/statm: 2017055 29389 3156 1 0 1978454 0
[pid=1998] ppid=1983 vsize=146884 memory=126248 CPUtime=2493.82 cores=0,2,4,6
/proc/1998/stat : 1998 (minisat_release) R 1983 1849 1786 0 -1 4202496 620092 0 0 0 249290 92 0 0 20 0 1 0 230974621 150409216 31562 33554432000 4194304 4308513 140730754415232 140730754412680 4276400 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 41443328 140730754417781 140730754417878 140730754417878 140730754420677 0
/proc/1998/statm: 36721 31562 341 28 0 32961 0
[pid=1983/tid=1984] ppid=1849 vsize=8068220 memory=117556 CPUtime=0.78 cores=0,2,4,6
/proc/1983/task/1984/stat : 1984 (java) S 1849 1849 1786 0 -1 1077944384 15561 0 0 0 73 5 0 0 20 0 19 0 230974545 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170826575760 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1985] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170858977552 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1986] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170688072080 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1987] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170339191312 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1988] ppid=1849 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1849 1849 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230974546 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170338138768 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1989] ppid=1849 vsize=8068220 memory=1472 CPUtime=0.05 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1849 1849 1786 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170301233648 140170854746754 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1990] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1849 1849 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169680250272 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1991] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1849 1849 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230974548 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169411814896 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1992] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140169037306576 140170854754203 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1993] ppid=1849 vsize=8068220 memory=117556 CPUtime=0.11 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1849 1849 1786 0 -1 1077944384 789 0 0 0 10 1 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170300180464 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1994] ppid=1849 vsize=8068220 memory=146 CPUtime=0.15 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1849 1849 1786 0 -1 1077944384 629 0 0 0 15 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170299127920 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1995] ppid=1849 vsize=8068220 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1849 1849 1786 0 -1 1077944384 762 0 0 0 23 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170298075376 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1996] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168539400800 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1997] ppid=1849 vsize=8068220 memory=1472 CPUtime=1.49 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1849 1849 1786 0 -1 1077944384 167 0 0 0 78 71 0 0 20 0 19 0 230974551 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170297023280 140170854746754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=1999] ppid=1849 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1999/stat : 1999 (java) S 1849 1849 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140170289215040 140170854760217 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2001] ppid=1849 vsize=8068220 memory=117556 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2001/stat : 2001 (java) S 1849 1849 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168002515120 140170854757533 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2002] ppid=1849 vsize=8068220 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2002/stat : 2002 (java) S 1849 1849 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230974621 8261857280 29389 33554432000 4194304 4196468 140733562631824 140168136736048 140170854757533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
[pid=1983/tid=2003] ppid=1849 vsize=8068220 memory=916 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2003/stat : 2003 (java) S 1849 1849 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230974623 8261857280 29389 33554432000 4194304 4196468 140733562631824 140167734090784 140170854745813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140733562639542 140733562639665 140733562639665 140733562642383 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8328232 KiB
Current children cumulated memory: 245276 KiB
Child status: 1
Real time (s): 2506.52
CPU time (s): 2520.06
CPU user time (s): 2517.61
CPU system time (s): 2.44809
CPU usage (%): 100.54
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3164592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.61
system time used= 2.44808
maximum resident set size= 3163900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675493
page faults= 1
swaps= 0
block input operations= 736
block output operations= 17000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61009
involuntary context switches= 5354
# summary of solver processes directly reported to runsolver:
# pid: 1849,1983
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.61
# total CPU system time (s): 2.44809
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1269 second user time and 27.7041 second system time
The end