0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-3818-serial-file.bin HOME/instance-4305335-1534062410.xml
0.54/0.51
0.54/0.51 scop order+minisat_release (2018-07-31)
0.54/0.51 (Encoding Process)
0.54/0.51
0.65/0.54 c BEGIN-Prog: Sun Aug 12 10:26:51 CEST 2018
0.65/0.54 c PID: 3821
0.65/0.54 c IP: 172.20.3.151
0.65/0.54 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.21/0.87 c (0,0) Parsing End
1.21/0.87 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 54 ctr, max domain size 10
1.21/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.87 c (0,0) Constraint Name Generate Begin
1.21/0.88 c (0,0) Ctr:HOME/instance-4305335-1534062410.xml,AllDifferent:IntVar
1.21/0.88 c (0,0) Constraint Name Generate End
1.21/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.88 c (0,0) CSP to CSPinCNF Begin
1.84/1.12 c (0,0) translated 6 (10%) constraints
1.84/1.17 c (0,0) translated 11 (20%) constraints
2.14/1.24 c (0,0) translated 17 (30%) constraints
2.14/1.26 c (0,0) translated 22 (40%) constraints
2.14/1.27 c (0,0) translated 27 (50%) constraints
2.14/1.29 c (0,0) translated 33 (60%) constraints
2.14/1.29 c (0,0) translated 38 (70%) constraints
2.47/1.30 c (0,0) translated 44 (80%) constraints
2.47/1.31 c (0,0) translated 49 (90%) constraints
2.47/1.32 c (0,0) translated 54 (100%) constraints
2.47/1.39 c (0,0) STATISTICS1:HOME/instance-4305335-1534062410.xml,AllDifferent:IntVar,100,1578,10,10,10,2,10:1470,10:3732,10:44;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:1478,2:1470;1:792,
2.47/1.39 c (0,0) ==========================================
2.47/1.39 c (0,0) Order
2.47/1.39 c (0,0) ==========================================
2.76/1.42 c (0,0) translated 158 (10%) constraints
2.76/1.44 c (0,0) translated 316 (20%) constraints
2.76/1.45 c (0,0) translated 474 (30%) constraints
2.76/1.47 c (0,0) translated 632 (40%) constraints
2.76/1.48 c (0,0) translated 789 (50%) constraints
2.76/1.49 c (0,0) translated 947 (60%) constraints
3.05/1.50 c (0,0) translated 1105 (70%) constraints
3.05/1.51 c (0,0) translated 1263 (80%) constraints
3.05/1.52 c (1,0) translated 1421 (90%) constraints
3.05/1.53 c (1,1) translated 1578 (100%) constraints
3.05/1.53 c (1,1) CSP to CSPinCNF End
3.05/1.53 c (1,1) CSP: 100 int (0 aux), 0 bool (0 aux), 1578 ctr, max domain size 10
3.05/1.53 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.05/1.53 c (1,1) CSPinCNF Propagation Begin
3.05/1.57 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.05/1.57 c (1,1) CSPinCNF Propagation End
3.05/1.57 c (1,1) CSP: 100 int (0 aux), 0 bool (0 aux), 1578 ctr, max domain size 10
3.05/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.05/1.57 c (1,1) Simplify CSPinCNF Begin
3.72/1.74 c (1,1) Simplify CSPinCNF End
3.72/1.74 c (1,1) CSP: 100 int (0 aux), 2940 bool (2940 aux), 4518 ctr, max domain size 10
3.72/1.74 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.72/1.74 c (1,1) Calculate Precise Domain Begin
3.72/1.74 c (1,1) 0 values are removed by re-calculation
3.72/1.74 c (1,1) Calculate Precise Domain End
3.72/1.74 c (1,1) CSP: 100 int (0 aux), 2940 bool (2940 aux), 4518 ctr, max domain size 10
3.72/1.75 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.72/1.75 c (1,1) CSPinCNF to SatSolver Begin
4.06/1.87 c (1,1) 452 (10 %) CSP clauses are encoded (3840 SAT variables, 3915 SAT clauses)
4.39/1.90 c (1,1) 904 (20 %) CSP clauses are encoded (3840 SAT variables, 7049 SAT clauses)
4.39/1.93 c (1,1) 1356 (30 %) CSP clauses are encoded (3840 SAT variables, 10174 SAT clauses)
4.39/1.95 c (1,1) 1808 (40 %) CSP clauses are encoded (3840 SAT variables, 13290 SAT clauses)
4.39/1.97 c (1,1) 2259 (50 %) CSP clauses are encoded (3840 SAT variables, 16414 SAT clauses)
4.39/2.00 c (1,1) 2711 (60 %) CSP clauses are encoded (3840 SAT variables, 19539 SAT clauses)
4.72/2.01 c (1,1) 3163 (70 %) CSP clauses are encoded (3840 SAT variables, 22646 SAT clauses)
4.72/2.03 c (1,1) 3615 (80 %) CSP clauses are encoded (3840 SAT variables, 25672 SAT clauses)
4.72/2.05 c (1,1) 4067 (90 %) CSP clauses are encoded (3840 SAT variables, 28716 SAT clauses)
4.72/2.07 c (1,1) 4518 (100 %) CSP clauses are encoded (3840 SAT variables, 31777 SAT clauses)
4.72/2.07 c (1,1) Launch Command will be: minisat_release
4.72/2.07 c (1,1) CSPinCNF to SatSolver End
4.72/2.07 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.05/2.13 c (1,1) STATISTICS2:HOME/instance-4305335-1534062410.xml,AllDifferent:IntVar,3040,4518,10,10,10,2,10:2940,10:6672;2:5880,10:44;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:4418,2:2940;1:6672,
5.05/2.13 c (1,1) 3840 bool, 31778 clause
5.05/2.13 c (1,1) Export Begin
5.30/2.22 c (1,1) Export to HOME/scop-3818-serial-file.bin
5.30/2.22 c (1,1) Export End
5.30/2.22 c (1,1) Export File Size: 0.02 MB
5.30/2.22 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.30/2.22 c END-Prog: Sun Aug 12 10:26:52 CEST 2018
5.30/2.23 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-3818-serial-file.bin
5.36/2.72 c (0,0) Read Serial File Begin
5.36/2.88 c (0,0) HOME/scop-3818-serial-file.bin
6.14/3.07 c (0,0) Read Serial File End
6.14/3.08
6.14/3.08 scop order+minisat_release (2018-07-31)
6.14/3.08 (Solving Process)
6.14/3.08
6.14/3.10 c BEGIN-Prog: Sun Aug 12 10:26:53 CEST 2018
6.14/3.10 c PID: 3858
6.14/3.10 c IP: 172.20.3.151
6.14/3.10 c HOST: node151.alineos.net
6.14/3.10 c (0,0) SatSolver.solve Begin
6.14/3.10 c (0,0) 0 bool, 0 clause
6.14/3.10 c (0,0) minisat_release HOME/instance-4305335-1534062410.xml-scop-3821.cnf
2507.17/2503.17 c (2500,0) c This is COMiniSatPS.
2507.17/2503.17 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2507.17/2503.17 c (2500,0) c ============================[ Problem Statistics ]=============================
2507.17/2503.17 c (2500,0) c | |
2507.17/2503.17 c (2500,0) c | Number of variables: 3840 |
2507.17/2503.17 c (2500,0) c | Number of clauses: 31778 |
2507.17/2503.17 c (2500,0) c | Parse time: 0.01 s |
2507.17/2503.17 c (2500,0) c | Eliminated clauses: 0.03 Mb |
2507.17/2503.17 c (2500,0) c Reduced to 2370 vars, 30308 cls (grow=0)
2507.17/2503.17 c (2500,0) c No iterative elimination performed. (vars=2370, c/v ratio=12.8)
2507.17/2503.17 c (2500,0) c | Simplification time: 0.02 s |
2507.17/2503.17 c (2500,0) c | |
2507.17/2503.17 c (2500,0) c ============================[ Search Statistics ]==============================
2507.17/2503.17 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2507.17/2503.17 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2507.17/2503.17 c (2500,0) c ===============================================================================
2507.17/2503.17 c (2500,0) c Switched to VSIDS.
2520.09/2516.01 c (2513,0) SatSolver is killed by some reasons.
2520.09/2516.01 c (2513,0) receiving signal SIGTERM
2520.09/2516.01 s UNKNOWN
2520.09/2516.01 c (2513,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.09/2516.01 c END-Prog: Sun Aug 12 11:08:46 CEST 2018
2520.09/2516.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2516.02 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 (2862 MiB free)
memory of node 1: 16384 MiB (5527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305335-1534062410/watcher-4305335-1534062410 -o /tmp/evaluation-result-4305335-1534062410/solver-4305335-1534062410 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305335-1534062410.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3818, runsolver pid=3814
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 1.21 1.48 1.52 3/218 3857
/proc/meminfo: memFree=8476276/32770624 swapFree=67108860/67108860
[pid=3818] ppid=3814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3818/stat : 3818 (scop.sh) S 3814 3818 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223804194 115843072 349 33554432000 4194304 5098028 140722980802512 140722980799768 140058039194236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34250752 140722980807744 140722980807943 140722980807943 140722980810701 0
/proc/3818/statm: 28282 349 296 221 0 87 0
[pid=3821] ppid=3818 vsize=15012476 memory=72600 CPUtime=0.11 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3818 3818 3762 0 -1 1077944320 6791 0 0 0 9 2 0 0 20 0 15 0 223804194 15372775424 18150 33554432000 4194304 4196468 140732902858736 140732902841280 139922433847031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
/proc/3821/statm: 3753119 18150 2769 1 0 3715579 0
[pid=3821/tid=3822] ppid=3818 vsize=15012476 memory=-8672930950691471297 CPUtime=0.09 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3818 3818 3762 0 -1 4202560 5257 0 0 0 7 2 0 0 20 0 15 0 223804195 15372775424 18546 33554432000 4194304 4196468 140732902858736 139922405659016 139922426084158 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3832] ppid=3818 vsize=15012476 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 18546 33554432000 4194304 4196468 140732902858736 139922438089232 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3833] ppid=3818 vsize=15012476 memory=139886692808320 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 18546 33554432000 4194304 4196468 140732902858736 139922252245648 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3834] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 18546 33554432000 4194304 4196468 140732902858736 139922251192592 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3835] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 18546 33554432000 4194304 4196468 140732902858736 139921892649360 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3836] ppid=3818 vsize=15012476 memory=139886692808320 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 18546 33554432000 4194304 4196468 140732902858736 139921772739312 139922433858178 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3841] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) S 3818 3818 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 18612 33554432000 4194304 4196468 140732902858736 139921008354976 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3842] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 18612 33554432000 4194304 4196468 140732902858736 139920773473520 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3846] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3846/stat : 3846 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 18612 33554432000 4194304 4196468 140732902858736 139920398965200 139922433865627 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3847] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3847/stat : 3847 (java) S 3818 3818 3762 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 18612 33554432000 4194304 4196468 140732902858736 139921771686128 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3848] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3848/stat : 3848 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 18612 33554432000 4194304 4196468 140732902858736 139921770633584 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3849] ppid=3818 vsize=15012476 memory=139886692808320 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3849/stat : 3849 (java) S 3818 3818 3762 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 18612 33554432000 4194304 4196468 140732902858736 139921769580528 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3850] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3850/stat : 3850 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 18612 33554432000 4194304 4196468 140732902858736 139919901059424 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3851] ppid=3818 vsize=15012476 memory=139886692808320 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3851/stat : 3851 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 18612 33554432000 4194304 4196468 140732902858736 139921768528944 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73996 KiB
[startup+0.210649 s]*
/proc/loadavg: 1.21 1.48 1.52 3/218 3857
/proc/meminfo: memFree=8443392/32770624 swapFree=67108860/67108860
[pid=3818] ppid=3814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3818/stat : 3818 (scop.sh) S 3814 3818 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223804194 115843072 349 33554432000 4194304 5098028 140722980802512 140722980799768 140058039194236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34250752 140722980807744 140722980807943 140722980807943 140722980810701 0
/proc/3818/statm: 28282 349 296 221 0 87 0
[pid=3821] ppid=3818 vsize=15012476 memory=85404 CPUtime=0.26 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3818 3818 3762 0 -1 1077944320 10274 0 0 0 23 3 0 0 20 0 15 0 223804194 15372775424 21351 33554432000 4194304 4196468 140732902858736 140732902841280 139922433847031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
/proc/3821/statm: 3753119 21351 2882 1 0 3715579 0
[pid=3821/tid=3822] ppid=3818 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3818 3818 3762 0 -1 4202560 8169 0 0 0 18 2 0 0 20 0 15 0 223804195 15372775424 21417 33554432000 4194304 4196468 140732902858736 139922405673424 139922426084158 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3832] ppid=3818 vsize=15012476 memory=14556 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 21417 33554432000 4194304 4196468 140732902858736 139922438089232 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3833] ppid=3818 vsize=15012476 memory=139886692834566 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 21417 33554432000 4194304 4196468 140732902858736 139922252245648 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3834] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 21417 33554432000 4194304 4196468 140732902858736 139922251192592 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3835] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 21417 33554432000 4194304 4196468 140732902858736 139921892649360 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3836] ppid=3818 vsize=15012476 memory=139886692808320 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 21417 33554432000 4194304 4196468 140732902858736 139921772739312 139922433858178 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3841] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) S 3818 3818 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 21417 33554432000 4194304 4196468 140732902858736 139921008354976 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3842] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 21417 33554432000 4194304 4196468 140732902858736 139920773473520 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3846] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3846/stat : 3846 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 21417 33554432000 4194304 4196468 140732902858736 139920398965200 139922433865627 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3847] ppid=3818 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3821/task/3847/stat : 3847 (java) S 3818 3818 3762 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 223804201 15372775424 21417 33554432000 4194304 4196468 140732902858736 139921771686128 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3848] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3848/stat : 3848 (java) R 3818 3818 3762 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 21417 33554432000 4194304 4196468 140732902858736 139921770633584 139922415392640 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3849] ppid=3818 vsize=15012476 memory=139886692808320 CPUtime=0.03 cores=1,3,5,7
/proc/3821/task/3849/stat : 3849 (java) R 3818 3818 3762 0 -1 1077944384 319 0 0 0 3 0 0 0 20 0 15 0 223804201 15372775424 21417 33554432000 4194304 4196468 140732902858736 139921769580528 139922433858178 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3850] ppid=3818 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3850/stat : 3850 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 21417 33554432000 4194304 4196468 140732902858736 139919901059424 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3851] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3851/stat : 3851 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 21417 33554432000 4194304 4196468 140732902858736 139921768528944 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86800 KiB
[startup+0.310735 s]*
/proc/loadavg: 1.21 1.48 1.52 3/218 3857
/proc/meminfo: memFree=8435768/32770624 swapFree=67108860/67108860
[pid=3818] ppid=3814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3818/stat : 3818 (scop.sh) S 3814 3818 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223804194 115843072 349 33554432000 4194304 5098028 140722980802512 140722980799768 140058039194236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34250752 140722980807744 140722980807943 140722980807943 140722980810701 0
/proc/3818/statm: 28282 349 296 221 0 87 0
[pid=3821] ppid=3818 vsize=15012476 memory=89624 CPUtime=0.43 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3818 3818 3762 0 -1 1077944320 10887 0 0 0 40 3 0 0 20 0 15 0 223804194 15372775424 22406 33554432000 4194304 4196468 140732902858736 140732902841280 139922433847031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
/proc/3821/statm: 3753119 22406 2993 1 0 3715579 0
[pid=3821/tid=3822] ppid=3818 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3818 3818 3762 0 -1 4202560 8604 0 0 0 27 2 0 0 20 0 15 0 223804195 15372775424 22406 33554432000 4194304 4196468 140732902858736 139922405642032 139922433868957 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3832] ppid=3818 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 22406 33554432000 4194304 4196468 140732902858736 139922438089232 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3833] ppid=3818 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 22406 33554432000 4194304 4196468 140732902858736 139922252245648 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3834] ppid=3818 vsize=15012476 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 22406 33554432000 4194304 4196468 140732902858736 139922251192592 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3835] ppid=3818 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223804196 15372775424 22406 33554432000 4194304 4196468 140732902858736 139921892649360 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3836] ppid=3818 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 22406 33554432000 4194304 4196468 140732902858736 139921772739312 139922433858178 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3841] ppid=3818 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) S 3818 3818 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 22406 33554432000 4194304 4196468 140732902858736 139921008354976 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3842] ppid=3818 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804198 15372775424 22406 33554432000 4194304 4196468 140732902858736 139920773473520 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3846] ppid=3818 vsize=15012476 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3846/stat : 3846 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 22406 33554432000 4194304 4196468 140732902858736 139920398965200 139922433865627 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3847] ppid=3818 vsize=15012476 memory=6944657691966988345 CPUtime=0.03 cores=1,3,5,7
/proc/3821/task/3847/stat : 3847 (java) R 3818 3818 3762 0 -1 4202560 553 0 0 0 3 0 0 0 20 0 15 0 223804201 15372775424 22406 33554432000 4194304 4196468 140732902858736 139921771686128 139922413536931 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3848] ppid=3818 vsize=15012476 memory=4196912344889787449 CPUtime=0.01 cores=1,3,5,7
/proc/3821/task/3848/stat : 3848 (java) R 3818 3818 3762 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 223804201 15372775424 22406 33554432000 4194304 4196468 140732902858736 139921770633584 139922433858178 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3849] ppid=3818 vsize=15012476 memory=3047711566422646390 CPUtime=0.07 cores=1,3,5,7
/proc/3821/task/3849/stat : 3849 (java) S 3818 3818 3762 0 -1 1077944384 362 0 0 0 7 0 0 0 20 0 15 0 223804201 15372775424 22406 33554432000 4194304 4196468 140732902858736 139921769580528 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3850] ppid=3818 vsize=15012476 memory=-6516833586042938556 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3850/stat : 3850 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 22406 33554432000 4194304 4196468 140732902858736 139919901059424 139922433857237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3851] ppid=3818 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3851/stat : 3851 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804201 15372775424 22406 33554432000 4194304 4196468 140732902858736 139921768528944 139922433858178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91020 KiB
[startup+0.700801 s]
/proc/loadavg: 1.21 1.48 1.52 3/218 3857
/proc/meminfo: memFree=8387152/32770624 swapFree=67108860/67108860
[pid=3818] ppid=3814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3818/stat : 3818 (scop.sh) S 3814 3818 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223804194 115843072 349 33554432000 4194304 5098028 140722980802512 140722980799768 140058039194236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34250752 140722980807744 140722980807943 140722980807943 140722980810701 0
/proc/3818/statm: 28282 349 296 221 0 87 0
[pid=3821] ppid=3818 vsize=15020872 memory=129928 CPUtime=1.01 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3818 3818 3762 0 -1 1077944320 18151 0 0 0 96 5 0 0 20 0 15 0 223804194 15381372928 32482 33554432000 4194304 4196468 140732902858736 140732902841280 139922433847031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
/proc/3821/statm: 3755218 32482 3147 1 0 3716603 0
[pid=3821/tid=3822] ppid=3818 vsize=15020872 memory=-7082918048272507482 CPUtime=0.67 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3818 3818 3762 0 -1 4202560 15383 0 0 0 63 4 0 0 20 0 15 0 223804195 15381372928 32482 33554432000 4194304 4196468 140732902858736 139922405678160 139922433858966 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3832] ppid=3818 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15381372928 32482 33554432000 4194304 4196468 140732902858736 139922438089232 139922433857237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3833] ppid=3818 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15381372928 32482 33554432000 4194304 4196468 140732902858736 139922252245648 139922433857237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3834] ppid=3818 vsize=15020872 memory=54 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804196 15381372928 32482 33554432000 4194304 4196468 140732902858736 139922251192592 139922433857237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3835] ppid=3818 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223804196 15381372928 32482 33554432000 4194304 4196468 140732902858736 139921892649360 139922433857237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3836] ppid=3818 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3818 3818 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223804198 15381372928 32482 33554432000 4194304 4196468 140732902858736 139921772739312 139922433858178 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3841] ppid=3818 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) S 3818 3818 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223804198 15381372928 32482 33554432000 4194304 4196468 140732902858736 139921008354976 139922433857237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3842] ppid=3818 vsize=15020872 memory=22 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804198 15381372928 32482 33554432000 4194304 4196468 140732902858736 139920773473520 139922433857237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3846] ppid=3818 vsize=15020872 memory=60804 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3846/stat : 3846 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15381372928 32482 33554432000 4194304 4196468 140732902858736 139920398965200 139922433865627 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3847] ppid=3818 vsize=15020872 memory=1240 CPUtime=0.11 cores=1,3,5,7
/proc/3821/task/3847/stat : 3847 (java) S 3818 3818 3762 0 -1 1077944384 787 0 0 0 11 0 0 0 20 0 15 0 223804201 15381372928 32482 33554432000 4194304 4196468 140732902858736 139921771686128 139922433858178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3848] ppid=3818 vsize=15020872 memory=2196 CPUtime=0.05 cores=1,3,5,7
/proc/3821/task/3848/stat : 3848 (java) S 3818 3818 3762 0 -1 1077944384 133 0 0 0 5 0 0 0 20 0 15 0 223804201 15381372928 32482 33554432000 4194304 4196468 140732902858736 139921770633584 139922433858178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3849] ppid=3818 vsize=15020872 memory=1776 CPUtime=0.16 cores=1,3,5,7
/proc/3821/task/3849/stat : 3849 (java) S 3818 3818 3762 0 -1 1077944384 514 0 0 0 16 0 0 0 20 0 15 0 223804201 15381372928 32482 33554432000 4194304 4196468 140732902858736 139921769580528 139922433858178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3850] ppid=3818 vsize=15020872 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3850/stat : 3850 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223804201 15381372928 32482 33554432000 4194304 4196468 140732902858736 139919901059424 139922433857237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
[pid=3821/tid=3851] ppid=3818 vsize=15020872 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3851/stat : 3851 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223804201 15381372928 32482 33554432000 4194304 4196468 140732902858736 139921768528944 139922433858178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140732902859783 140732902860081 140732902860081 140732902862799 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131324 KiB
[startup+1.50111 s]
/proc/loadavg: 1.35 1.51 1.53 3/218 3857
/proc/meminfo: memFree=8332680/32770624 swapFree=67108860/67108860
[pid=3818] ppid=3814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3818/stat : 3818 (scop.sh) S 3814 3818 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223804194 115843072 349 33554432000 4194304 5098028 140722980802512 140722980799768 140058039194236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34250752 140722980807744 140722980807943 140722980807943 140722980810701 0
/proc/3818/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=3858/tid=3861] ppid=3818 vsize=8068220 memory=114512 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3861/stat : 3861 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060113349392 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3862] ppid=3818 vsize=8068220 memory=114512 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3862/stat : 3862 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060112297104 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3863] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3863/stat : 3863 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060111244304 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3864] ppid=3818 vsize=8068220 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3858/task/3864/stat : 3864 (java) S 3818 3818 3762 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 223804420 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059687770224 140060308949634 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3865] ppid=3818 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3865/stat : 3865 (java) S 3818 3818 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223804421 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059151950624 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3866] ppid=3818 vsize=8068220 memory=45872 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3866/stat : 3866 (java) S 3818 3818 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223804421 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059017729136 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3867] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3867/stat : 3867 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140058643224656 140060308957083 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3868] ppid=3818 vsize=8068220 memory=114512 CPUtime=0.09 cores=1,3,5,7
/proc/3858/task/3868/stat : 3868 (java) S 3818 3818 3762 0 -1 1077944384 625 0 0 0 9 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059686718064 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3869] ppid=3818 vsize=8068220 memory=60872 CPUtime=0.07 cores=1,3,5,7
/proc/3858/task/3869/stat : 3869 (java) S 3818 3818 3762 0 -1 1077944384 326 0 0 0 7 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059685665264 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3870] ppid=3818 vsize=8068220 memory=1240 CPUtime=0.19 cores=1,3,5,7
/proc/3858/task/3870/stat : 3870 (java) S 3818 3818 3762 0 -1 1077944384 593 0 0 0 19 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059684612976 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3871] ppid=3818 vsize=8068220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3871/stat : 3871 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804424 8261857280 28628 33554432000 4194304 4196468 140722372529920 140058145319904 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3872] ppid=3818 vsize=8068220 memory=11764 CPUtime=0.76 cores=1,3,5,7
/proc/3858/task/3872/stat : 3872 (java) S 3818 3818 3762 0 -1 1077944384 162 0 0 0 40 36 0 0 20 0 19 0 223804424 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059683559856 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3874] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3874/stat : 3874 (java) S 3818 3818 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059676083136 140060308963097 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3876] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3876/stat : 3876 (java) S 3818 3818 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057608433168 140060308960413 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3877] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3877/stat : 3877 (java) S 3818 3818 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057742655376 140060308960413 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3878] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3878/stat : 3878 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804510 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057340009888 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
Current children cumulated CPU time: 2446.35 s
Current children cumulated vsize: 8250360 KiB
Current children cumulated memory: 161856 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.16 2.06 3/227 3996
/proc/meminfo: memFree=8245964/32770624 swapFree=67108860/67108860
[pid=3818] ppid=3814 vsize=113128 memory=1472 CPUtime=5.36 cores=1,3,5,7
/proc/3818/stat : 3818 (scop.sh) S 3814 3818 3762 0 -1 4202496 590 25218 0 0 0 0 524 12 20 0 1 0 223804194 115843072 368 33554432000 4194304 5098028 140722980802512 140722980799256 140058039194236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34250752 140722980807744 140722980807943 140722980807943 140722980810701 0
/proc/3818/statm: 28282 368 311 221 0 87 0
[pid=3858] ppid=3818 vsize=8068220 memory=114512 CPUtime=1.94 cores=1,3,5,7
/proc/3858/stat : 3858 (java) S 3818 3818 3762 0 -1 1077944320 18059 0 1 0 155 39 0 0 20 0 19 0 223804418 8261857280 28628 33554432000 4194304 4196468 140722372529920 140722372512464 140060308938487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
/proc/3858/statm: 2017055 28628 3155 1 0 1978454 0
[pid=3873] ppid=3858 vsize=69012 memory=45872 CPUtime=2499.06 cores=1,3,5,7
/proc/3873/stat : 3873 (minisat_release) R 3858 3818 3762 0 -1 4202496 157566 0 0 0 249894 12 0 0 20 0 1 0 223804507 70668288 11468 33554432000 4194304 4308513 140735164624320 140735164621224 4275604 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 14139392 140735164630133 140735164630230 140735164630230 140735164633029 0
/proc/3873/statm: 17253 11468 343 28 0 13493 0
[pid=3858/tid=3859] ppid=3818 vsize=8068220 memory=1472 CPUtime=0.73 cores=1,3,5,7
/proc/3858/task/3859/stat : 3859 (java) S 3818 3818 3762 0 -1 1077944384 14921 0 1 0 70 3 0 0 20 0 19 0 223804418 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060280778640 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3860] ppid=3818 vsize=8068220 memory=114512 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3860/stat : 3860 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060313181072 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3861] ppid=3818 vsize=8068220 memory=68 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3861/stat : 3861 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060113349392 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3862] ppid=3818 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3862/stat : 3862 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060112297104 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3863] ppid=3818 vsize=8068220 memory=114512 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3863/stat : 3863 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060111244304 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3864] ppid=3818 vsize=8068220 memory=114512 CPUtime=0.02 cores=1,3,5,7
/proc/3858/task/3864/stat : 3864 (java) S 3818 3818 3762 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 223804420 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059687770224 140060308949634 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3865] ppid=3818 vsize=8068220 memory=45872 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3865/stat : 3865 (java) S 3818 3818 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223804421 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059151950624 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3866] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3866/stat : 3866 (java) S 3818 3818 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223804421 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059017729136 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3867] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3867/stat : 3867 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140058643224656 140060308957083 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3868] ppid=3818 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/3858/task/3868/stat : 3868 (java) S 3818 3818 3762 0 -1 1077944384 625 0 0 0 9 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059686718064 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3869] ppid=3818 vsize=8068220 memory=1472 CPUtime=0.07 cores=1,3,5,7
/proc/3858/task/3869/stat : 3869 (java) S 3818 3818 3762 0 -1 1077944384 326 0 0 0 7 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059685665264 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3870] ppid=3818 vsize=8068220 memory=1472 CPUtime=0.19 cores=1,3,5,7
/proc/3858/task/3870/stat : 3870 (java) S 3818 3818 3762 0 -1 1077944384 593 0 0 0 19 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059684612976 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3871] ppid=3818 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3871/stat : 3871 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804424 8261857280 28628 33554432000 4194304 4196468 140722372529920 140058145319904 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3872] ppid=3818 vsize=8068220 memory=114512 CPUtime=0.78 cores=1,3,5,7
/proc/3858/task/3872/stat : 3872 (java) S 3818 3818 3762 0 -1 1077944384 166 0 0 0 41 37 0 0 20 0 19 0 223804424 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059683559856 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3874] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3874/stat : 3874 (java) S 3818 3818 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059676083136 140060308963097 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3876] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3876/stat : 3876 (java) S 3818 3818 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057608433168 140060308960413 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3877] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3877/stat : 3877 (java) S 3818 3818 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057742655376 140060308960413 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3878] ppid=3818 vsize=8068220 memory=114512 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3878/stat : 3878 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804510 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057340009888 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
Current children cumulated CPU time: 2506.36 s
Current children cumulated vsize: 8250360 KiB
Current children cumulated memory: 161856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516 s]*
/proc/loadavg: 2.01 2.15 2.06 3/222 4090
/proc/meminfo: memFree=8382496/32770624 swapFree=67108860/67108860
[pid=3818] ppid=3814 vsize=113128 memory=1472 CPUtime=5.36 cores=1,3,5,7
/proc/3818/stat : 3818 (scop.sh) S 3814 3818 3762 0 -1 4202496 590 25218 0 0 0 0 524 12 20 0 1 0 223804194 115843072 368 33554432000 4194304 5098028 140722980802512 140722980799256 140058039194236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34250752 140722980807744 140722980807943 140722980807943 140722980810701 0
/proc/3818/statm: 28282 368 311 221 0 87 0
[pid=3858] ppid=3818 vsize=8068220 memory=114512 CPUtime=1.96 cores=1,3,5,7
/proc/3858/stat : 3858 (java) S 3818 3818 3762 0 -1 1077944320 18067 0 1 0 156 40 0 0 20 0 19 0 223804418 8261857280 28628 33554432000 4194304 4196468 140722372529920 140722372512464 140060308938487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
/proc/3858/statm: 2017055 28628 3155 1 0 1978454 0
[pid=3873] ppid=3858 vsize=69012 memory=45876 CPUtime=2512.77 cores=1,3,5,7
/proc/3873/stat : 3873 (minisat_release) R 3858 3818 3762 0 -1 4202496 157787 0 0 0 251265 12 0 0 20 0 1 0 223804507 70668288 11469 33554432000 4194304 4308513 140735164624320 140735164621816 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 14139392 140735164630133 140735164630230 140735164630230 140735164633029 0
/proc/3873/statm: 17253 11469 344 28 0 13493 0
[pid=3858/tid=3859] ppid=3818 vsize=8068220 memory=8112282956445269571 CPUtime=0.73 cores=1,3,5,7
/proc/3858/task/3859/stat : 3859 (java) S 3818 3818 3762 0 -1 1077944384 14921 0 1 0 70 3 0 0 20 0 19 0 223804418 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060280778640 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3860] ppid=3818 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3860/stat : 3860 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060313181072 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3861] ppid=3818 vsize=8068220 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3861/stat : 3861 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060113349392 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3862] ppid=3818 vsize=8068220 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3862/stat : 3862 (java) S 3818 3818 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060112297104 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3863] ppid=3818 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3863/stat : 3863 (java) S 3818 3818 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223804419 8261857280 28628 33554432000 4194304 4196468 140722372529920 140060111244304 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3864] ppid=3818 vsize=8068220 memory=2244 CPUtime=0.02 cores=1,3,5,7
/proc/3858/task/3864/stat : 3864 (java) S 3818 3818 3762 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 223804420 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059687770224 140060308949634 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3865] ppid=3818 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3865/stat : 3865 (java) S 3818 3818 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223804421 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059151950624 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3866] ppid=3818 vsize=8068220 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3866/stat : 3866 (java) S 3818 3818 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223804421 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059017729136 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3867] ppid=3818 vsize=8068220 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3867/stat : 3867 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140058643224656 140060308957083 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3868] ppid=3818 vsize=8068220 memory=844 CPUtime=0.09 cores=1,3,5,7
/proc/3858/task/3868/stat : 3868 (java) S 3818 3818 3762 0 -1 1077944384 625 0 0 0 9 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059686718064 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3869] ppid=3818 vsize=8068220 memory=1696 CPUtime=0.07 cores=1,3,5,7
/proc/3858/task/3869/stat : 3869 (java) S 3818 3818 3762 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059685665264 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3870] ppid=3818 vsize=8068220 memory=920 CPUtime=0.19 cores=1,3,5,7
/proc/3858/task/3870/stat : 3870 (java) S 3818 3818 3762 0 -1 1077944384 596 0 0 0 19 0 0 0 20 0 19 0 223804423 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059684612976 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3871] ppid=3818 vsize=8068220 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3871/stat : 3871 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804424 8261857280 28628 33554432000 4194304 4196468 140722372529920 140058145319904 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3872] ppid=3818 vsize=8068220 memory=2588 CPUtime=0.79 cores=1,3,5,7
/proc/3858/task/3872/stat : 3872 (java) S 3818 3818 3762 0 -1 1077944384 168 0 0 0 41 38 0 0 20 0 19 0 223804424 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059683559856 140060308949634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3874] ppid=3818 vsize=8068220 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3874/stat : 3874 (java) S 3818 3818 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140059676083136 140060308963097 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3876] ppid=3818 vsize=8068220 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3876/stat : 3876 (java) S 3818 3818 3762 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057608433168 140060308960413 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3877] ppid=3818 vsize=8068220 memory=3548 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3877/stat : 3877 (java) S 3818 3818 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223804508 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057742655376 140060308960413 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
[pid=3858/tid=3878] ppid=3818 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/3858/task/3878/stat : 3878 (java) S 3818 3818 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223804510 8261857280 28628 33554432000 4194304 4196468 140722372529920 140057340009888 140060308948693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38580224 140722372535478 140722372535601 140722372535601 140722372538319 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8250360 KiB
Current children cumulated memory: 161860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.02 s]
# the end of solver process 3818 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.24237 s, system=0.13201 s
[startup+2516.02 s]
# the end of solver process 3858 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.47 s, system=0.667872 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2516.02
CPU time (s): 2520.14
CPU user time (s): 2519.47
CPU system time (s): 0.667872
CPU usage (%): 100.164
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 349532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.47
system time used= 0.667872
maximum resident set size= 352748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201947
page faults= 1
swaps= 0
block input operations= 768
block output operations= 2560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59369
involuntary context switches= 794
# summary of solver processes directly reported to runsolver:
# pid: 3818,3858
# total CPU time (s): 2520.14
# total CPU user time (s): 2519.47
# total CPU system time (s): 0.667872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5018 second user time and 27.5452 second system time
The end