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-2372-serial-file.bin HOME/instance-4305616-1534136617.xml
0.55/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Aug 13 07:03:37 CEST 2018
0.66/0.54 c PID: 2375
0.66/0.54 c IP: 172.20.3.148
0.66/0.54 c HOST: node148.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.03/1.08 c (0,0) Parsing End
2.03/1.09 c (0,0) CSP: 208 int (0 aux), 0 bool (0 aux), 97 ctr, max domain size 64
2.03/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.03/1.09 c (0,0) Constraint Name Generate Begin
2.03/1.09 c (0,0) Ctr:HOME/instance-4305616-1534136617.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.03/1.09 c (0,0) Constraint Name Generate End
2.03/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.03/1.09 c (0,0) CSP to CSPinCNF Begin
9.18/3.49 c (2,2) translated 10 (10%) constraints
12.56/4.93 c (4,4) translated 20 (20%) constraints
14.03/6.26 c (5,5) translated 30 (30%) constraints
15.45/7.45 c (6,6) translated 39 (40%) constraints
16.76/8.74 c (8,8) translated 49 (50%) constraints
18.60/10.11 c (9,9) translated 59 (60%) constraints
19.41/10.95 c (10,10) translated 68 (70%) constraints
19.41/10.96 c (10,10) translated 78 (80%) constraints
19.41/10.96 c (10,10) translated 88 (90%) constraints
19.41/10.96 c (10,10) translated 97 (100%) constraints
20.56/11.54 c (11,10) STATISTICS1:HOME/instance-4305616-1534136617.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,24336,149826,64,64,65,2,64:2016,64:12224;12:162008;2:258752;1:23176,65:64;64:2;5:2240;4:58816;3:28096;2:60576;1:32,2:2016;1:452160;0:64,
20.56/11.54 c (11,10) ==========================================
20.56/11.54 c (11,10) Both Encoding selects:
20.56/11.54 c (11,10) Order
20.56/11.54 c (11,10) ==========================================
21.76/11.96 c (11,11) translated 14983 (10%) constraints
22.30/12.20 c (11,11) translated 29966 (20%) constraints
22.50/12.42 c (11,11) translated 44948 (30%) constraints
22.71/12.65 c (12,11) translated 59931 (40%) constraints
22.93/12.88 c (12,12) translated 74913 (50%) constraints
23.17/13.10 c (12,12) translated 89896 (60%) constraints
23.47/13.33 c (12,12) translated 104879 (70%) constraints
23.68/13.55 c (13,12) translated 119861 (80%) constraints
23.88/13.78 c (13,13) translated 134844 (90%) constraints
24.19/14.02 c (13,13) translated 149826 (100%) constraints
24.19/14.02 c (13,13) CSP to CSPinCNF End
24.19/14.03 c (13,13) CSP: 208 int (0 aux), 24128 bool (24128 aux), 149858 ctr, max domain size 64
24.19/14.03 c (13,13) Heap : 2501 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.19/14.03 c (13,13) CSPinCNF Propagation Begin
28.90/17.05 c (16,16) 7632 values, 41237 unsatisfiable literals, and 43679 valid clauses are removed
28.90/17.05 c (16,16) CSPinCNF Propagation End
28.90/17.06 c (16,16) CSP: 6736 int (6528 aux), 17600 bool (17600 aux), 106179 ctr, max domain size 64
28.90/17.06 c (16,16) Heap : 935 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
28.90/17.06 c (16,16) Simplify CSPinCNF Begin
29.47/17.32 c (16,16) Simplify CSPinCNF End
29.47/17.33 c (16,16) CSP: 6736 int (6528 aux), 21632 bool (21632 aux), 110211 ctr, max domain size 64
29.47/17.33 c (16,16) Heap : 1064 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.47/17.33 c (16,16) Calculate Precise Domain Begin
29.47/17.33 c (16,16) 0 values are removed by re-calculation
29.47/17.33 c (16,16) Calculate Precise Domain End
29.47/17.33 c (16,16) CSP: 6736 int (6528 aux), 21632 bool (21632 aux), 110211 ctr, max domain size 64
29.47/17.33 c (16,16) Heap : 1064 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.47/17.33 c (16,16) CSPinCNF to SatSolver Begin
31.04/17.99 c (17,17) 11022 (10 %) CSP clauses are encoded (25792 SAT variables, 157421 SAT clauses)
31.26/18.05 c (17,17) 22043 (20 %) CSP clauses are encoded (25792 SAT variables, 168442 SAT clauses)
31.40/18.12 c (17,17) 33064 (30 %) CSP clauses are encoded (25792 SAT variables, 179463 SAT clauses)
31.40/18.17 c (17,17) 44085 (40 %) CSP clauses are encoded (25792 SAT variables, 190484 SAT clauses)
31.50/18.23 c (17,17) 55106 (50 %) CSP clauses are encoded (25792 SAT variables, 201505 SAT clauses)
31.50/18.29 c (17,17) 66127 (60 %) CSP clauses are encoded (25792 SAT variables, 212526 SAT clauses)
31.60/18.35 c (17,17) 77148 (70 %) CSP clauses are encoded (25792 SAT variables, 223547 SAT clauses)
31.72/18.41 c (17,17) 88169 (80 %) CSP clauses are encoded (25792 SAT variables, 234568 SAT clauses)
31.72/18.47 c (17,17) 99190 (90 %) CSP clauses are encoded (25792 SAT variables, 245589 SAT clauses)
31.83/18.53 c (18,17) 110211 (100 %) CSP clauses are encoded (25792 SAT variables, 256610 SAT clauses)
31.83/18.53 c (18,17) Launch Command will be: minisat_release
31.83/18.53 c (18,17) CSPinCNF to SatSolver End
31.83/18.53 c (18,17) Heap : 1951 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.31/18.88 c (18,17) STATISTICS2:HOME/instance-4305616-1534136617.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,28368,110211,64,64,64,2,64:1260;28:2280;4:492,64:9144;28:4344;12:127795;4:532;2:187899,64:37;36:1;28:24;5:1350;4:39168;3:19922;2:49709,2:4032;1:321650,
32.31/18.88 c (18,17) 25792 bool, 256611 clause
32.31/18.88 c (18,17) Export Begin
32.42/18.98 c (18,18) Export to HOME/scop-2372-serial-file.bin
32.42/18.98 c (18,18) Export End
32.42/18.98 c (18,18) Export File Size: 0.04 MB
32.42/18.98 c (18,18) 0,0,13,16,16,16,18,STOP-AFTER(DIMACS)
32.42/18.98 c END-Prog: Mon Aug 13 07:03:56 CEST 2018
32.42/19.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-2372-serial-file.bin
32.61/19.50 c (0,0) Read Serial File Begin
32.61/19.50 c (0,0) HOME/scop-2372-serial-file.bin
32.61/19.75 c (0,0) Read Serial File End
32.61/19.76
32.61/19.76 scop order+minisat_release (2018-07-31)
32.61/19.76 (Solving Process)
32.61/19.76
32.61/19.79 c BEGIN-Prog: Mon Aug 13 07:03:56 CEST 2018
32.61/19.79 c PID: 2390
32.61/19.79 c IP: 172.20.3.148
32.61/19.79 c HOST: node148.alineos.net
32.61/19.79 c (0,0) SatSolver.solve Begin
32.61/19.79 c (0,0) 0 bool, 0 clause
32.61/19.79 c (0,0) minisat_release HOME/instance-4305616-1534136617.xml-scop-2375.cnf
2520.03/2504.50 c (2485,0) SatSolver is killed by some reasons.
2520.03/2504.50 c (2485,0) receiving signal SIGTERM
2520.03/2504.50 s UNKNOWN
2520.03/2504.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2504.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 (9543 MiB free)
memory of node 1: 16384 MiB (5244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305616-1534136617/watcher-4305616-1534136617 -o /tmp/evaluation-result-4305616-1534136617/solver-4305616-1534136617 -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-4305616-1534136617.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=2372, runsolver pid=2369
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 2.33 2.09 2.07 4/219 2389
/proc/meminfo: memFree=15043508/32770624 swapFree=67108404/67108860
[pid=2372] ppid=2369 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2372/stat : 2372 (scop.sh) S 2369 2372 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231224804 115843072 349 33554432000 4194304 5098028 140737322225504 140737322222760 140025131266684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19873792 140737322230849 140737322231047 140737322231047 140737322233805 0
/proc/2372/statm: 28282 349 296 221 0 87 0
[pid=2375] ppid=2372 vsize=15012476 memory=70940 CPUtime=0.11 cores=0,2,4,6
/proc/2375/stat : 2375 (java) S 2372 2372 1786 0 -1 1077944320 6939 0 0 0 9 2 0 0 20 0 15 0 231224804 15372775424 17735 33554432000 4194304 4196468 140721801952672 140721801935216 140717528260343 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
/proc/2375/statm: 3753119 17735 2742 1 0 3715579 0
[pid=2375/tid=2376] ppid=2372 vsize=15012476 memory=8189699867066733403 CPUtime=0.08 cores=0,2,4,6
/proc/2375/task/2376/stat : 2376 (java) R 2372 2372 1786 0 -1 4202560 5015 0 0 0 7 1 0 0 20 0 15 0 231224804 15372775424 17735 33554432000 4194304 4196468 140721801952672 140717500072328 140717509633792 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2377] ppid=2372 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2377/stat : 2377 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 17735 33554432000 4194304 4196468 140721801952672 140717532502288 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2378] ppid=2372 vsize=15012476 memory=139934230595200 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2378/stat : 2378 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 17735 33554432000 4194304 4196468 140721801952672 140717357144464 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2379] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2379/stat : 2379 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716987984400 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2380] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2380/stat : 2380 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716986931856 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2381] ppid=2372 vsize=15012476 memory=139934230595200 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2381/stat : 2381 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224807 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716867795440 140717528271490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2382] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2382/stat : 2382 (java) S 2372 2372 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224808 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716080620960 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2383] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2383/stat : 2383 (java) S 2372 2372 1786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231224808 15372775424 17735 33554432000 4194304 4196468 140721801952672 140715946399216 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2384] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2384/stat : 2384 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224810 15372775424 17735 33554432000 4194304 4196468 140721801952672 140715571894992 140717528278939 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2385] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2385/stat : 2385 (java) S 2372 2372 1786 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 231224810 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716866742256 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2386] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2386/stat : 2386 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716865689712 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2387] ppid=2372 vsize=15012476 memory=139934230595200 CPUtime=0.01 cores=0,2,4,6
/proc/2375/task/2387/stat : 2387 (java) S 2372 2372 1786 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 231224811 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716864637168 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2388] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2388/stat : 2388 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 17735 33554432000 4194304 4196468 140721801952672 140715073989216 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2389] ppid=2372 vsize=15012476 memory=139934230595200 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2389/stat : 2389 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 17735 33554432000 4194304 4196468 140721801952672 140716863585072 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72336 KiB
[startup+0.21087 s]*
/proc/loadavg: 2.33 2.09 2.07 4/219 2389
/proc/meminfo: memFree=14984272/32770624 swapFree=67108404/67108860
[pid=2372] ppid=2369 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2372/stat : 2372 (scop.sh) S 2369 2372 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231224804 115843072 349 33554432000 4194304 5098028 140737322225504 140737322222760 140025131266684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19873792 140737322230849 140737322231047 140737322231047 140737322233805 0
/proc/2372/statm: 28282 349 296 221 0 87 0
[pid=2375] ppid=2372 vsize=15012476 memory=84540 CPUtime=0.25 cores=0,2,4,6
/proc/2375/stat : 2375 (java) S 2372 2372 1786 0 -1 1077944320 10453 0 0 0 22 3 0 0 20 0 15 0 231224804 15372775424 21135 33554432000 4194304 4196468 140721801952672 140721801935216 140717528260343 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
/proc/2375/statm: 3753119 21135 2924 1 0 3715579 0
[pid=2375/tid=2376] ppid=2372 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2375/task/2376/stat : 2376 (java) R 2372 2372 1786 0 -1 4202560 8346 0 0 0 18 2 0 0 20 0 15 0 231224804 15372775424 21135 33554432000 4194304 4196468 140721801952672 140717500086736 140717030487170 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2377] ppid=2372 vsize=15012476 memory=9037 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2377/stat : 2377 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21135 33554432000 4194304 4196468 140721801952672 140717532502288 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2378] ppid=2372 vsize=15012476 memory=139934231717052 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2378/stat : 2378 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21135 33554432000 4194304 4196468 140721801952672 140717357144464 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2379] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2379/stat : 2379 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716987984400 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2380] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2380/stat : 2380 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716986931856 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2381] ppid=2372 vsize=15012476 memory=139934230595200 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2381/stat : 2381 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224807 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716867795440 140717528271490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2382] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2382/stat : 2382 (java) S 2372 2372 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224808 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716080620960 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2383] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2383/stat : 2383 (java) S 2372 2372 1786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231224808 15372775424 21135 33554432000 4194304 4196468 140721801952672 140715946399216 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2384] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2384/stat : 2384 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224810 15372775424 21135 33554432000 4194304 4196468 140721801952672 140715571894992 140717528278939 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2385] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2385/stat : 2385 (java) S 2372 2372 1786 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 231224810 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716866742256 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2386] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2386/stat : 2386 (java) S 2372 2372 1786 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716865689712 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2387] ppid=2372 vsize=15012476 memory=139934230595200 CPUtime=0.03 cores=0,2,4,6
/proc/2375/task/2387/stat : 2387 (java) R 2372 2372 1786 0 -1 4202560 280 0 0 0 3 0 0 0 20 0 15 0 231224811 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716864637168 140717510167751 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2388] ppid=2372 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2388/stat : 2388 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 21135 33554432000 4194304 4196468 140721801952672 140715073989216 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2389] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2389/stat : 2389 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 21135 33554432000 4194304 4196468 140721801952672 140716863585072 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85936 KiB
[startup+0.310856 s]*
/proc/loadavg: 2.33 2.09 2.07 3/219 2389
/proc/meminfo: memFree=14946168/32770624 swapFree=67108404/67108860
[pid=2372] ppid=2369 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2372/stat : 2372 (scop.sh) S 2369 2372 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231224804 115843072 349 33554432000 4194304 5098028 140737322225504 140737322222760 140025131266684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19873792 140737322230849 140737322231047 140737322231047 140737322233805 0
/proc/2372/statm: 28282 349 296 221 0 87 0
[pid=2375] ppid=2372 vsize=15012476 memory=87808 CPUtime=0.43 cores=0,2,4,6
/proc/2375/stat : 2375 (java) S 2372 2372 1786 0 -1 1077944320 10974 0 0 0 39 4 0 0 20 0 15 0 231224804 15372775424 21952 33554432000 4194304 4196468 140721801952672 140721801935216 140717528260343 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
/proc/2375/statm: 3753119 21952 2979 1 0 3715579 0
[pid=2375/tid=2376] ppid=2372 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/2375/task/2376/stat : 2376 (java) R 2372 2372 1786 0 -1 4202560 8722 0 0 0 27 2 0 0 20 0 15 0 231224804 15372775424 21952 33554432000 4194304 4196468 140721801952672 140717500055344 140717512340830 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2377] ppid=2372 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2377/stat : 2377 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21952 33554432000 4194304 4196468 140721801952672 140717532502288 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2378] ppid=2372 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2378/stat : 2378 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21952 33554432000 4194304 4196468 140721801952672 140717357144464 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2379] ppid=2372 vsize=15012476 memory=8547712850019655617 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2379/stat : 2379 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716987984400 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2380] ppid=2372 vsize=15012476 memory=6944920475296555874 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2380/stat : 2380 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716986931856 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2381] ppid=2372 vsize=15012476 memory=7684433391216329786 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2381/stat : 2381 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224807 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716867795440 140717528271490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2382] ppid=2372 vsize=15012476 memory=-6374957858630779283 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2382/stat : 2382 (java) S 2372 2372 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224808 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716080620960 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2383] ppid=2372 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2383/stat : 2383 (java) S 2372 2372 1786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231224808 15372775424 21952 33554432000 4194304 4196468 140721801952672 140715946399216 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2384] ppid=2372 vsize=15012476 memory=-6078589378978168771 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2384/stat : 2384 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224810 15372775424 21952 33554432000 4194304 4196468 140721801952672 140715571894992 140717528278939 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2385] ppid=2372 vsize=15012476 memory=4715443282627502727 CPUtime=0.02 cores=0,2,4,6
/proc/2375/task/2385/stat : 2385 (java) R 2372 2372 1786 0 -1 4202560 451 0 0 0 2 0 0 0 20 0 15 0 231224810 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716866742256 140717511760530 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2386] ppid=2372 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2375/task/2386/stat : 2386 (java) R 2372 2372 1786 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 231224811 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716865689712 140717528271490 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2387] ppid=2372 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2375/task/2387/stat : 2387 (java) R 2372 2372 1786 0 -1 4202560 301 0 0 0 7 0 0 0 20 0 15 0 231224811 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716864637168 140717528281690 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2388] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2388/stat : 2388 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 21952 33554432000 4194304 4196468 140721801952672 140715073989216 140717528270549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2389] ppid=2372 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2389/stat : 2389 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224811 15372775424 21952 33554432000 4194304 4196468 140721801952672 140716863585072 140717528271490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89204 KiB
[startup+0.700802 s]
/proc/loadavg: 2.33 2.09 2.07 4/219 2389
/proc/meminfo: memFree=14852208/32770624 swapFree=67108404/67108860
[pid=2372] ppid=2369 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2372/stat : 2372 (scop.sh) S 2369 2372 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231224804 115843072 349 33554432000 4194304 5098028 140737322225504 140737322222760 140025131266684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19873792 140737322230849 140737322231047 140737322231047 140737322233805 0
/proc/2372/statm: 28282 349 296 221 0 87 0
[pid=2375] ppid=2372 vsize=15020872 memory=127520 CPUtime=0.99 cores=0,2,4,6
/proc/2375/stat : 2375 (java) S 2372 2372 1786 0 -1 1077944320 18050 0 0 0 94 5 0 0 20 0 15 0 231224804 15381372928 31880 33554432000 4194304 4196468 140721801952672 140721801935216 140717528260343 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
/proc/2375/statm: 3755218 31880 3163 1 0 3716603 0
[pid=2375/tid=2376] ppid=2372 vsize=15020872 memory=62872 CPUtime=0.67 cores=0,2,4,6
/proc/2375/task/2376/stat : 2376 (java) R 2372 2372 1786 0 -1 4202560 15407 0 0 0 63 4 0 0 20 0 15 0 231224804 15381372928 31880 33554432000 4194304 4196468 140721801952672 140717500069232 140717512340830 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2377] ppid=2372 vsize=15020872 memory=2148 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2377/stat : 2377 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224806 15381372928 31880 33554432000 4194304 4196468 140721801952672 140717532502288 140717528270549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2378] ppid=2372 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2378/stat : 2378 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15381372928 31880 33554432000 4194304 4196468 140721801952672 140717357144464 140717528270549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2379] ppid=2372 vsize=15020872 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2379/stat : 2379 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716987984400 140717528270549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2380] ppid=2372 vsize=15020872 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2380/stat : 2380 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224806 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716986931856 140717528270549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2381] ppid=2372 vsize=15020872 memory=756 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2381/stat : 2381 (java) S 2372 2372 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231224807 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716867795440 140717528271490 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2382] ppid=2372 vsize=15020872 memory=9624 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2382/stat : 2382 (java) S 2372 2372 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224808 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716080620960 140717528270549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2383] ppid=2372 vsize=15020872 memory=876 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2383/stat : 2383 (java) S 2372 2372 1786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231224808 15381372928 31880 33554432000 4194304 4196468 140721801952672 140715946399216 140717528270549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2384] ppid=2372 vsize=15020872 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2384/stat : 2384 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224810 15381372928 31880 33554432000 4194304 4196468 140721801952672 140715571894992 140717528278939 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2385] ppid=2372 vsize=15020872 memory=7000 CPUtime=0.06 cores=0,2,4,6
/proc/2375/task/2385/stat : 2385 (java) R 2372 2372 1786 0 -1 4202560 507 0 0 0 6 0 0 0 20 0 15 0 231224810 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716866742552 140717508960640 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2386] ppid=2372 vsize=15020872 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/2375/task/2386/stat : 2386 (java) R 2372 2372 1786 0 -1 4202560 400 0 0 0 7 0 0 0 20 0 15 0 231224811 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716865689712 140717510160039 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2387] ppid=2372 vsize=15020872 memory=4700 CPUtime=0.16 cores=0,2,4,6
/proc/2375/task/2387/stat : 2387 (java) R 2372 2372 1786 0 -1 1077944384 383 0 0 0 16 0 0 0 20 0 15 0 231224811 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716864637168 140717528271490 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2388] ppid=2372 vsize=15020872 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2388/stat : 2388 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224811 15381372928 31880 33554432000 4194304 4196468 140721801952672 140715073989216 140717528270549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
[pid=2375/tid=2389] ppid=2372 vsize=15020872 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/2375/task/2389/stat : 2389 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224811 15381372928 31880 33554432000 4194304 4196468 140721801952672 140716863585072 140717528271490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18952192 140721801958408 140721801958705 140721801958705 140721801961423 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128916 KiB
[startup+1.50714 s]
/proc/loadavg: 2.33 2.09 2.07 5/219 2389
/proc/meminfo: memFree=14617988/32770624 swapFree=67108404/67108860
[pid=2372] ppid=2369 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2372/stat : 2372 (scop.sh) S 2369 2372 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231224804 115843072 349 33554432000 4194304 5098028 140737322225504 140737322222760 140025131266684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19873792 140737322230849 140737322231047 140737322231047 140737322233805 0
/proc/2372/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=2390/tid=2393] ppid=2372 vsize=8068220 memory=103712 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2393/stat : 2393 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534439512336 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2394] ppid=2372 vsize=8068220 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2394/stat : 2394 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534438460048 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2395] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2395/stat : 2395 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534437407248 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2396] ppid=2372 vsize=8068220 memory=117132 CPUtime=0.05 cores=0,2,4,6
/proc/2390/task/2396/stat : 2396 (java) S 2372 2372 1786 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533880056432 140534635113090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2397] ppid=2372 vsize=8068220 memory=103712 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2397/stat : 2397 (java) S 2372 2372 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533544510752 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2398] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2398/stat : 2398 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533276075632 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2399] ppid=2372 vsize=8068220 memory=109688 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2399/stat : 2399 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532901567056 140534635120539 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2400] ppid=2372 vsize=8068220 memory=279868258361392 CPUtime=0.1 cores=0,2,4,6
/proc/2390/task/2400/stat : 2400 (java) S 2372 2372 1786 0 -1 1077944384 738 0 0 0 10 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533879003248 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2401] ppid=2372 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/2390/task/2401/stat : 2401 (java) S 2372 2372 1786 0 -1 1077944384 229 0 0 0 8 1 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533877950448 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2402] ppid=2372 vsize=8068220 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/2390/task/2402/stat : 2402 (java) S 2372 2372 1786 0 -1 1077944384 598 0 0 0 22 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533876898160 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2403] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2403/stat : 2403 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532403661280 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2404] ppid=2372 vsize=8068220 memory=1472 CPUtime=1.38 cores=0,2,4,6
/proc/2390/task/2404/stat : 2404 (java) S 2372 2372 1786 0 -1 1077944384 166 0 0 0 73 65 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533875846064 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2406] ppid=2372 vsize=8068220 memory=62940 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2406/stat : 2406 (java) S 2372 2372 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231226785 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533868037568 140534635126553 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2408] ppid=2372 vsize=8068220 memory=2148 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2408/stat : 2408 (java) S 2372 2372 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231226786 8261857280 29283 33554432000 4194304 4196468 140729381184592 140531866775600 140534635123869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2409] ppid=2372 vsize=8068220 memory=117132 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2409/stat : 2409 (java) S 2372 2372 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231226786 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532000996784 140534635123869 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2410] ppid=2372 vsize=8068220 memory=109688 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2410/stat : 2410 (java) S 2372 2372 1786 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231226788 8261857280 29283 33554432000 4194304 4196468 140729381184592 140531598351264 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
Current children cumulated CPU time: 2517.83 s
Current children cumulated vsize: 8319448 KiB
Current children cumulated memory: 224364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.5 s]
/proc/loadavg: 1.61 1.92 2.01 2/201 2556
/proc/meminfo: memFree=16788280/32770624 swapFree=67108404/67108860
[pid=2372] ppid=2369 vsize=113128 memory=1472 CPUtime=32.61 cores=0,2,4,6
/proc/2372/stat : 2372 (scop.sh) S 2369 2372 1786 0 -1 4202496 590 52368 0 0 0 0 3169 92 20 0 1 0 231224804 115843072 368 33554432000 4194304 5098028 140737322225504 140737322222248 140025131266684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140737322230849 140737322231047 140737322231047 140737322233805 0
/proc/2372/statm: 28282 368 311 221 0 87 0
[pid=2390] ppid=2372 vsize=8068220 memory=117132 CPUtime=2.66 cores=0,2,4,6
/proc/2390/stat : 2390 (java) S 2372 2372 1786 0 -1 1077944320 18189 0 0 0 196 70 0 0 20 0 19 0 231226705 8261857280 29283 33554432000 4194304 4196468 140729381184592 140729381167136 140534635101943 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
/proc/2390/statm: 2017055 29283 3153 1 0 1978454 0
[pid=2405] ppid=2390 vsize=138100 memory=105760 CPUtime=2484.76 cores=0,2,4,6
/proc/2405/stat : 2405 (minisat_release) R 2390 2372 1786 0 -1 4202496 300280 0 0 0 248361 115 0 0 20 0 1 0 231226785 141414400 26440 33554432000 4194304 4308513 140721861746928 140721861744376 4262827 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 37285888 140721861756021 140721861756118 140721861756118 140721861758917 0
/proc/2405/statm: 34525 26440 342 28 0 30765 0
[pid=2390/tid=2391] ppid=2372 vsize=8068220 memory=117132 CPUtime=0.76 cores=0,2,4,6
/proc/2390/task/2391/stat : 2391 (java) S 2372 2372 1786 0 -1 1077944384 15051 0 0 0 71 5 0 0 20 0 19 0 231226705 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534606942096 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2392] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2392/stat : 2392 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534639344016 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2393] ppid=2372 vsize=8068220 memory=103712 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2393/stat : 2393 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534439512336 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2394] ppid=2372 vsize=8068220 memory=117132 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2394/stat : 2394 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534438460048 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2395] ppid=2372 vsize=8068220 memory=117132 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2395/stat : 2395 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534437407248 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2396] ppid=2372 vsize=8068220 memory=109688 CPUtime=0.05 cores=0,2,4,6
/proc/2390/task/2396/stat : 2396 (java) S 2372 2372 1786 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533880056432 140534635113090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2397] ppid=2372 vsize=8068220 memory=103712 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2397/stat : 2397 (java) S 2372 2372 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533544510752 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2398] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2398/stat : 2398 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533276075632 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2399] ppid=2372 vsize=8068220 memory=109688 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2399/stat : 2399 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532901567056 140534635120539 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2400] ppid=2372 vsize=8068220 memory=279868258361392 CPUtime=0.1 cores=0,2,4,6
/proc/2390/task/2400/stat : 2400 (java) S 2372 2372 1786 0 -1 1077944384 738 0 0 0 10 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533879003248 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2401] ppid=2372 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/2390/task/2401/stat : 2401 (java) S 2372 2372 1786 0 -1 1077944384 229 0 0 0 8 1 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533877950448 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2402] ppid=2372 vsize=8068220 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/2390/task/2402/stat : 2402 (java) S 2372 2372 1786 0 -1 1077944384 598 0 0 0 22 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533876898160 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2403] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2403/stat : 2403 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532403661280 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2404] ppid=2372 vsize=8068220 memory=1472 CPUtime=1.38 cores=0,2,4,6
/proc/2390/task/2404/stat : 2404 (java) S 2372 2372 1786 0 -1 1077944384 166 0 0 0 73 65 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533875846064 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2406] ppid=2372 vsize=8068220 memory=15212 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2406/stat : 2406 (java) S 2372 2372 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231226785 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533868037568 140534635126553 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2408] ppid=2372 vsize=8068220 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2408/stat : 2408 (java) S 2372 2372 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231226786 8261857280 29283 33554432000 4194304 4196468 140729381184592 140531866775600 140534635123869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2409] ppid=2372 vsize=8068220 memory=3984 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2409/stat : 2409 (java) S 2372 2372 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231226786 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532000996784 140534635123869 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2410] ppid=2372 vsize=8068220 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2410/stat : 2410 (java) S 2372 2372 1786 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231226788 8261857280 29283 33554432000 4194304 4196468 140729381184592 140531598351264 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8319448 KiB
Current children cumulated memory: 224364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.51 s]
# the end of solver process 2372 was just reported to runsolver
# cumulated CPU time of all completed processes: user=31.6939 s, system=0.929204 s
[startup+2504.52 s]
# the end of solver process 2390 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.28 s, system=2.79604 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+2504.5 s]
/proc/loadavg: 1.61 1.92 2.01 2/201 2556
/proc/meminfo: memFree=16788280/32770624 swapFree=67108404/67108860
[pid=2372] ppid=2369 vsize=113128 memory=1472 CPUtime=32.61 cores=0,2,4,6
/proc/2372/stat : 2372 (scop.sh) S 2369 2372 1786 0 -1 4202496 590 52368 0 0 0 0 3169 92 20 0 1 0 231224804 115843072 368 33554432000 4194304 5098028 140737322225504 140737322222248 140025131266684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140737322230849 140737322231047 140737322231047 140737322233805 0
/proc/2372/statm: 28282 368 311 221 0 87 0
[pid=2390] ppid=2372 vsize=8068220 memory=117132 CPUtime=2.66 cores=0,2,4,6
/proc/2390/stat : 2390 (java) S 2372 2372 1786 0 -1 1077944320 18189 0 0 0 196 70 0 0 20 0 19 0 231226705 8261857280 29283 33554432000 4194304 4196468 140729381184592 140729381167136 140534635101943 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
/proc/2390/statm: 2017055 29283 3153 1 0 1978454 0
[pid=2405] ppid=2390 vsize=138100 memory=105760 CPUtime=2484.76 cores=0,2,4,6
/proc/2405/stat : 2405 (minisat_release) R 2390 2372 1786 0 -1 4202496 300280 0 0 0 248361 115 0 0 20 0 1 0 231226785 141414400 26440 33554432000 4194304 4308513 140721861746928 140721861744376 4262827 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 37285888 140721861756021 140721861756118 140721861756118 140721861758917 0
/proc/2405/statm: 34525 26440 342 28 0 30765 0
[pid=2390/tid=2391] ppid=2372 vsize=8068220 memory=117132 CPUtime=0.76 cores=0,2,4,6
/proc/2390/task/2391/stat : 2391 (java) S 2372 2372 1786 0 -1 1077944384 15051 0 0 0 71 5 0 0 20 0 19 0 231226705 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534606942096 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2392] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2392/stat : 2392 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534639344016 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2393] ppid=2372 vsize=8068220 memory=103712 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2393/stat : 2393 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534439512336 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2394] ppid=2372 vsize=8068220 memory=117132 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2394/stat : 2394 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534438460048 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2395] ppid=2372 vsize=8068220 memory=117132 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2395/stat : 2395 (java) S 2372 2372 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231226706 8261857280 29283 33554432000 4194304 4196468 140729381184592 140534437407248 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2396] ppid=2372 vsize=8068220 memory=109688 CPUtime=0.05 cores=0,2,4,6
/proc/2390/task/2396/stat : 2396 (java) S 2372 2372 1786 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533880056432 140534635113090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2397] ppid=2372 vsize=8068220 memory=103712 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2397/stat : 2397 (java) S 2372 2372 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533544510752 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2398] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2398/stat : 2398 (java) S 2372 2372 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231226708 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533276075632 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2399] ppid=2372 vsize=8068220 memory=109688 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2399/stat : 2399 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532901567056 140534635120539 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2400] ppid=2372 vsize=8068220 memory=279868258361392 CPUtime=0.1 cores=0,2,4,6
/proc/2390/task/2400/stat : 2400 (java) S 2372 2372 1786 0 -1 1077944384 738 0 0 0 10 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533879003248 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2401] ppid=2372 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/2390/task/2401/stat : 2401 (java) S 2372 2372 1786 0 -1 1077944384 229 0 0 0 8 1 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533877950448 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2402] ppid=2372 vsize=8068220 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/2390/task/2402/stat : 2402 (java) S 2372 2372 1786 0 -1 1077944384 598 0 0 0 22 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533876898160 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2403] ppid=2372 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2403/stat : 2403 (java) S 2372 2372 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532403661280 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2404] ppid=2372 vsize=8068220 memory=1472 CPUtime=1.38 cores=0,2,4,6
/proc/2390/task/2404/stat : 2404 (java) S 2372 2372 1786 0 -1 1077944384 166 0 0 0 73 65 0 0 20 0 19 0 231226711 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533875846064 140534635113090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2406] ppid=2372 vsize=8068220 memory=15212 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2406/stat : 2406 (java) S 2372 2372 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231226785 8261857280 29283 33554432000 4194304 4196468 140729381184592 140533868037568 140534635126553 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2408] ppid=2372 vsize=8068220 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2408/stat : 2408 (java) S 2372 2372 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231226786 8261857280 29283 33554432000 4194304 4196468 140729381184592 140531866775600 140534635123869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2409] ppid=2372 vsize=8068220 memory=3984 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2409/stat : 2409 (java) S 2372 2372 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231226786 8261857280 29283 33554432000 4194304 4196468 140729381184592 140532000996784 140534635123869 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
[pid=2390/tid=2410] ppid=2372 vsize=8068220 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/2390/task/2410/stat : 2410 (java) S 2372 2372 1786 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231226788 8261857280 29283 33554432000 4194304 4196468 140729381184592 140531598351264 140534635112149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13787136 140729381192886 140729381193009 140729381193009 140729381195727 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8319448 KiB
Current children cumulated memory: 224364 KiB
Child status: 1
Real time (s): 2504.52
CPU time (s): 2520.08
CPU user time (s): 2517.28
CPU system time (s): 2.79604
CPU usage (%): 100.621
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3318168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.28
system time used= 2.79604
maximum resident set size= 3317868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60619
involuntary context switches= 934
# summary of solver processes directly reported to runsolver:
# pid: 2372,2390
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.28
# total CPU system time (s): 2.79604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5759 second user time and 22.2244 second system time
The end