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-18686-serial-file.bin HOME/instance-4305350-1534072358.xml
0.54/0.51
0.54/0.52 scop order+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:12:39 CEST 2018
0.66/0.54 c PID: 18689
0.66/0.54 c IP: 172.20.3.107
0.66/0.54 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.20/0.87 c (0,0) Parsing End
1.20/0.87 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 42 ctr, max domain size 28
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) Constraint Name Generate Begin
1.20/0.88 c (0,0) Ctr:HOME/instance-4305350-1534072358.xml,Add:Element:Eq:IntVar:Num
1.20/0.88 c (0,0) Constraint Name Generate End
1.20/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.88 c (0,0) CSP to CSPinCNF Begin
1.57/1.07 c (0,0) translated 5 (10%) constraints
1.86/1.12 c (0,0) translated 9 (20%) constraints
1.86/1.16 c (0,0) translated 13 (30%) constraints
1.86/1.19 c (0,0) translated 17 (40%) constraints
2.11/1.21 c (0,0) translated 21 (50%) constraints
2.11/1.24 c (0,0) translated 26 (60%) constraints
2.11/1.25 c (0,0) translated 30 (70%) constraints
2.11/1.26 c (0,0) translated 34 (80%) constraints
2.11/1.26 c (0,0) translated 38 (90%) constraints
2.11/1.26 c (0,0) translated 42 (100%) constraints
2.40/1.30 c (0,0) STATISTICS1:HOME/instance-4305350-1534072358.xml,Add:Element:Eq:IntVar:Num,56,798,26,26,3,2,26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2,26:58;25:58;24:58;23:58;22:58;21:58;20:58;19:58;18:58;17:58;16:58;15:58;14:842;13:58,3:784;1:14,2:28;1:2352,
2.40/1.30 c (0,0) ==========================================
2.40/1.30 c (0,0) Order
2.40/1.30 c (0,0) ==========================================
2.40/1.35 c (0,0) translated 80 (10%) constraints
2.40/1.38 c (0,0) translated 160 (20%) constraints
2.66/1.40 c (0,0) translated 240 (30%) constraints
2.66/1.42 c (0,0) translated 320 (40%) constraints
2.66/1.44 c (0,0) translated 399 (50%) constraints
2.66/1.46 c (0,0) translated 479 (60%) constraints
2.66/1.47 c (0,0) translated 559 (70%) constraints
2.66/1.48 c (0,0) translated 639 (80%) constraints
2.66/1.49 c (0,0) translated 719 (90%) constraints
2.95/1.51 c (0,0) translated 798 (100%) constraints
2.95/1.51 c (0,0) CSP to CSPinCNF End
2.95/1.51 c (0,0) CSP: 56 int (0 aux), 392 bool (392 aux), 2380 ctr, max domain size 26
2.95/1.51 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.95/1.51 c (0,0) CSPinCNF Propagation Begin
2.95/1.57 c (1,1) 0 values, 294 unsatisfiable literals, and 350 valid clauses are removed
2.95/1.57 c (1,1) CSPinCNF Propagation End
2.95/1.57 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
2.95/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.95/1.57 c (1,1) Simplify CSPinCNF Begin
2.95/1.58 c (1,1) Simplify CSPinCNF End
2.95/1.58 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
2.95/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.95/1.58 c (1,1) Calculate Precise Domain Begin
2.95/1.59 c (1,1) 0 values are removed by re-calculation
2.95/1.59 c (1,1) Calculate Precise Domain End
2.95/1.59 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
2.95/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.95/1.59 c (1,1) CSPinCNF to SatSolver Begin
3.30/1.64 c (1,1) 203 (10 %) CSP clauses are encoded (1274 SAT variables, 1028 SAT clauses)
3.30/1.65 c (1,1) 406 (20 %) CSP clauses are encoded (1274 SAT variables, 1231 SAT clauses)
3.30/1.66 c (1,1) 609 (30 %) CSP clauses are encoded (1274 SAT variables, 1434 SAT clauses)
3.30/1.66 c (1,1) 812 (40 %) CSP clauses are encoded (1274 SAT variables, 1637 SAT clauses)
3.30/1.66 c (1,1) 1015 (50 %) CSP clauses are encoded (1274 SAT variables, 1840 SAT clauses)
3.30/1.67 c (1,1) 1218 (60 %) CSP clauses are encoded (1274 SAT variables, 2043 SAT clauses)
3.30/1.67 c (1,1) 1421 (70 %) CSP clauses are encoded (1274 SAT variables, 2246 SAT clauses)
3.30/1.68 c (1,1) 1624 (80 %) CSP clauses are encoded (1274 SAT variables, 2449 SAT clauses)
3.30/1.68 c (1,1) 1827 (90 %) CSP clauses are encoded (1274 SAT variables, 2652 SAT clauses)
3.30/1.70 c (1,1) 2030 (100 %) CSP clauses are encoded (1274 SAT variables, 3334 SAT clauses)
3.30/1.70 c (1,1) Launch Command will be: minisat_release
3.30/1.70 c (1,1) CSPinCNF to SatSolver End
3.30/1.70 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.63/1.72 c (1,1) STATISTICS2:HOME/instance-4305350-1534072358.xml,Add:Element:Eq:IntVar:Num,448,2030,26,26,3,2,26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2,26:104;25:100;24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:1512;13:52;2:2002,3:490;2:1512;1:28,2:28;1:4494,
3.63/1.72 c (1,1) 1274 bool, 3346 clause
3.63/1.72 c (1,1) Export Begin
3.91/1.80 c (1,1) Export to HOME/scop-18686-serial-file.bin
3.91/1.80 c (1,1) Export End
3.91/1.80 c (1,1) Export File Size: 0.01 MB
3.91/1.80 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
3.91/1.80 c END-Prog: Sun Aug 12 13:12:40 CEST 2018
3.91/1.81 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18686-serial-file.bin
4.55/2.30 c (0,0) Read Serial File Begin
4.55/2.30 c (0,0) HOME/scop-18686-serial-file.bin
4.70/2.46 c (0,0) Read Serial File End
4.70/2.48
4.70/2.48 scop order+minisat_release (2018-07-31)
4.70/2.48 (Solving Process)
4.70/2.48
4.84/2.50 c BEGIN-Prog: Sun Aug 12 13:12:41 CEST 2018
4.84/2.50 c PID: 18704
4.84/2.50 c IP: 172.20.3.107
4.84/2.50 c HOST: node107.alineos.net
4.84/2.50 c (0,0) SatSolver.solve Begin
4.84/2.50 c (0,0) 0 bool, 0 clause
4.84/2.50 c (0,0) minisat_release HOME/instance-4305350-1534072358.xml-scop-18689.cnf
2510.97/2507.61 c (2505,0) c This is COMiniSatPS.
2510.97/2507.61 c (2505,0) c WARNING: for repeatability, setting FPU to use double precision
2510.97/2507.61 c (2505,0) c ============================[ Problem Statistics ]=============================
2510.97/2507.61 c (2505,0) c | |
2510.97/2507.61 c (2505,0) c | Number of variables: 1274 |
2510.97/2507.61 c (2505,0) c | Number of clauses: 3346 |
2510.97/2507.61 c (2505,0) c | Parse time: 0.00 s |
2510.97/2507.61 c (2505,0) c | Eliminated clauses: 0.02 Mb |
2510.97/2507.61 c (2505,0) c Reduced to 736 vars, 2307 cls (grow=0)
2510.97/2507.61 c (2505,0) c No iterative elimination performed. (vars=736, c/v ratio=3.1)
2510.97/2507.61 c (2505,0) c | Simplification time: 0.00 s |
2510.97/2507.61 c (2505,0) c | |
2510.97/2507.61 c (2505,0) c ============================[ Search Statistics ]==============================
2510.97/2507.61 c (2505,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2510.97/2507.61 c (2505,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2510.97/2507.61 c (2505,0) c ===============================================================================
2510.97/2507.61 c (2505,0) c Switched to VSIDS.
2520.07/2516.70 c (2514,0) SatSolver is killed by some reasons.
2520.07/2516.70 c (2514,0) receiving signal SIGTERM
2520.07/2516.70 s UNKNOWN
2520.07/2516.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2516.71 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 (12191 MiB free)
memory of node 1: 16384 MiB (11316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305350-1534072358/watcher-4305350-1534072358 -o /tmp/evaluation-result-4305350-1534072358/solver-4305350-1534072358 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305350-1534072358.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=18686, runsolver pid=18683
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.68 2.21 2.11 3/223 18703
/proc/meminfo: memFree=24012164/32770624 swapFree=67108860/67108860
[pid=18686] ppid=18683 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18686/stat : 18686 (scop.sh) S 18683 18686 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224798990 115843072 349 33554432000 4194304 5098028 140726167687824 140726167685080 140572176700028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21630976 140726167692352 140726167692551 140726167692551 140726167695309 0
/proc/18686/statm: 28282 349 296 221 0 87 0
[pid=18689] ppid=18686 vsize=15012476 memory=73104 CPUtime=0.11 cores=1,3,5,7
/proc/18689/stat : 18689 (java) S 18686 18686 16605 0 -1 1077944320 6394 0 0 0 9 2 0 0 20 0 15 0 224798990 15372775424 18276 33554432000 4194304 4196468 140733866872336 140733866854880 140703937326839 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
/proc/18689/statm: 3753119 18276 2770 1 0 3715579 0
[pid=18689/tid=18690] ppid=18686 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/18689/task/18690/stat : 18690 (java) R 18686 18686 16605 0 -1 4202560 4509 0 0 0 7 1 0 0 20 0 15 0 224798990 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703909138824 140703917602599 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18691] ppid=18686 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18691/stat : 18691 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703941569552 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18692] ppid=18686 vsize=15012476 memory=139782595708544 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18692/stat : 18692 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703398444176 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18693] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18693/stat : 18693 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703397391120 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18694] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18694/stat : 18694 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703396338576 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18695] ppid=18686 vsize=15012476 memory=139782595708544 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18695/stat : 18695 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798993 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703344040176 140703937337986 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18696] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18696/stat : 18696 (java) S 18686 18686 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798994 15372775424 18342 33554432000 4194304 4196468 140733866872336 140702524630176 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18697] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18697/stat : 18697 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798994 15372775424 18342 33554432000 4194304 4196468 140733866872336 140702256194288 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18698] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18698/stat : 18698 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798996 15372775424 18342 33554432000 4194304 4196468 140733866872336 140701881685968 140703937345435 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18699] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18699/stat : 18699 (java) S 18686 18686 16605 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 224798996 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703342988016 140703937337986 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18700] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18700/stat : 18700 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798996 15372775424 18342 33554432000 4194304 4196468 140733866872336 140703341935472 140703937337986 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18701] ppid=18686 vsize=15012476 memory=139782595708544 CPUtime=0.01 cores=1,3,5,7
/proc/18689/task/18701/stat : 18701 (java) S 18686 18686 16605 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 224798996 15372775424 18408 33554432000 4194304 4196468 140733866872336 140703340882416 140703937337986 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18702] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18702/stat : 18702 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798997 15372775424 18408 33554432000 4194304 4196468 140733866872336 140701383781216 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18703] ppid=18686 vsize=15012476 memory=139782595708544 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18703/stat : 18703 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798997 15372775424 18408 33554432000 4194304 4196468 140733866872336 140703339829808 140703937337986 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74500 KiB
[startup+0.210682 s]*
/proc/loadavg: 2.68 2.21 2.11 3/223 18703
/proc/meminfo: memFree=23998584/32770624 swapFree=67108860/67108860
[pid=18686] ppid=18683 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18686/stat : 18686 (scop.sh) S 18683 18686 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224798990 115843072 349 33554432000 4194304 5098028 140726167687824 140726167685080 140572176700028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21630976 140726167692352 140726167692551 140726167692551 140726167695309 0
/proc/18686/statm: 28282 349 296 221 0 87 0
[pid=18689] ppid=18686 vsize=15012476 memory=85364 CPUtime=0.26 cores=1,3,5,7
/proc/18689/stat : 18689 (java) S 18686 18686 16605 0 -1 1077944320 9765 0 0 0 23 3 0 0 20 0 15 0 224798990 15372775424 21341 33554432000 4194304 4196468 140733866872336 140733866854880 140703937326839 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
/proc/18689/statm: 3753119 21341 2865 1 0 3715579 0
[pid=18689/tid=18690] ppid=18686 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/18689/task/18690/stat : 18690 (java) R 18686 18686 16605 0 -1 4202560 7643 0 0 0 18 2 0 0 20 0 15 0 224798990 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703909154496 140703937348765 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18691] ppid=18686 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18691/stat : 18691 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703941569552 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18692] ppid=18686 vsize=15012476 memory=4122684096901711520 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18692/stat : 18692 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703398444176 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18693] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18693/stat : 18693 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703397391120 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18694] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18694/stat : 18694 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703396338576 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18695] ppid=18686 vsize=15012476 memory=139782595708544 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18695/stat : 18695 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798993 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703344040176 140703937337986 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18696] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18696/stat : 18696 (java) S 18686 18686 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798994 15372775424 21472 33554432000 4194304 4196468 140733866872336 140702524630176 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18697] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18697/stat : 18697 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798994 15372775424 21472 33554432000 4194304 4196468 140733866872336 140702256194288 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18698] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18698/stat : 18698 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798996 15372775424 21472 33554432000 4194304 4196468 140733866872336 140701881685968 140703937345435 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18699] ppid=18686 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18689/task/18699/stat : 18699 (java) R 18686 18686 16605 0 -1 4202560 464 0 0 0 1 0 0 0 20 0 15 0 224798996 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703342988112 140703916490000 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18700] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18700/stat : 18700 (java) R 18686 18686 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 224798996 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703341927120 140703922989568 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18701] ppid=18686 vsize=15012476 memory=139782595708544 CPUtime=0.03 cores=1,3,5,7
/proc/18689/task/18701/stat : 18701 (java) R 18686 18686 16605 0 -1 1077944384 314 0 0 0 3 0 0 0 20 0 15 0 224798996 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703340882416 140703937337986 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18702] ppid=18686 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18702/stat : 18702 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798997 15372775424 21472 33554432000 4194304 4196468 140733866872336 140701383781216 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18703] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18703/stat : 18703 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798997 15372775424 21472 33554432000 4194304 4196468 140733866872336 140703339829808 140703937337986 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86760 KiB
[startup+0.310667 s]*
/proc/loadavg: 2.68 2.21 2.11 3/223 18703
/proc/meminfo: memFree=23994412/32770624 swapFree=67108860/67108860
[pid=18686] ppid=18683 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18686/stat : 18686 (scop.sh) S 18683 18686 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224798990 115843072 349 33554432000 4194304 5098028 140726167687824 140726167685080 140572176700028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21630976 140726167692352 140726167692551 140726167692551 140726167695309 0
/proc/18686/statm: 28282 349 296 221 0 87 0
[pid=18689] ppid=18686 vsize=15012476 memory=89816 CPUtime=0.43 cores=1,3,5,7
/proc/18689/stat : 18689 (java) S 18686 18686 16605 0 -1 1077944320 10393 0 0 0 40 3 0 0 20 0 15 0 224798990 15372775424 22454 33554432000 4194304 4196468 140733866872336 140733866854880 140703937326839 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
/proc/18689/statm: 3753119 22454 3012 1 0 3715579 0
[pid=18689/tid=18690] ppid=18686 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18689/task/18690/stat : 18690 (java) R 18686 18686 16605 0 -1 4202560 8080 0 0 0 27 2 0 0 20 0 15 0 224798990 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703909121840 140703918700311 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18691] ppid=18686 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18691/stat : 18691 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703941569552 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18692] ppid=18686 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18692/stat : 18692 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703398444176 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18693] ppid=18686 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18693/stat : 18693 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703397391120 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18694] ppid=18686 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18694/stat : 18694 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703396338576 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18695] ppid=18686 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18695/stat : 18695 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798993 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703344040176 140703937337986 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18696] ppid=18686 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18696/stat : 18696 (java) S 18686 18686 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798994 15372775424 22454 33554432000 4194304 4196468 140733866872336 140702524630176 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18697] ppid=18686 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18697/stat : 18697 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798994 15372775424 22454 33554432000 4194304 4196468 140733866872336 140702256194288 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18698] ppid=18686 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18698/stat : 18698 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798996 15372775424 22454 33554432000 4194304 4196468 140733866872336 140701881685968 140703937345435 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18699] ppid=18686 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18689/task/18699/stat : 18699 (java) R 18686 18686 16605 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 224798996 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703342988016 140703937337986 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18700] ppid=18686 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18689/task/18700/stat : 18700 (java) R 18686 18686 16605 0 -1 4202560 67 0 0 0 2 0 0 0 20 0 15 0 224798996 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703341935472 140703918872054 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18701] ppid=18686 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18689/task/18701/stat : 18701 (java) S 18686 18686 16605 0 -1 1077944384 358 0 0 0 7 0 0 0 20 0 15 0 224798996 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703340882416 140703937337986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18702] ppid=18686 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18702/stat : 18702 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798997 15372775424 22454 33554432000 4194304 4196468 140733866872336 140701383781216 140703937337045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18703] ppid=18686 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18703/stat : 18703 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798997 15372775424 22454 33554432000 4194304 4196468 140733866872336 140703339829808 140703937337986 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91212 KiB
[startup+0.700731 s]
/proc/loadavg: 2.68 2.21 2.11 3/223 18703
/proc/meminfo: memFree=23970104/32770624 swapFree=67108860/67108860
[pid=18686] ppid=18683 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18686/stat : 18686 (scop.sh) S 18683 18686 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224798990 115843072 349 33554432000 4194304 5098028 140726167687824 140726167685080 140572176700028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21630976 140726167692352 140726167692551 140726167692551 140726167695309 0
/proc/18686/statm: 28282 349 296 221 0 87 0
[pid=18689] ppid=18686 vsize=15020872 memory=129896 CPUtime=1 cores=1,3,5,7
/proc/18689/stat : 18689 (java) S 18686 18686 16605 0 -1 1077944320 17604 0 0 0 95 5 0 0 20 0 15 0 224798990 15381372928 32474 33554432000 4194304 4196468 140733866872336 140733866854880 140703937326839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
/proc/18689/statm: 3755218 32474 3145 1 0 3716603 0
[pid=18689/tid=18690] ppid=18686 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/18689/task/18690/stat : 18690 (java) R 18686 18686 16605 0 -1 4202560 14857 0 0 0 63 4 0 0 20 0 15 0 224798990 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703909161184 140703937338774 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18691] ppid=18686 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18691/stat : 18691 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703941569552 140703937337045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18692] ppid=18686 vsize=15020872 memory=61168 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18692/stat : 18692 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703398444176 140703937337045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18693] ppid=18686 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18693/stat : 18693 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798992 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703397391120 140703937337045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18694] ppid=18686 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18694/stat : 18694 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798992 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703396338576 140703937337045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18695] ppid=18686 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18695/stat : 18695 (java) S 18686 18686 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224798993 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703344040176 140703937337986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18696] ppid=18686 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18696/stat : 18696 (java) S 18686 18686 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798994 15381372928 32474 33554432000 4194304 4196468 140733866872336 140702524630176 140703937337045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18697] ppid=18686 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18697/stat : 18697 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798994 15381372928 32474 33554432000 4194304 4196468 140733866872336 140702256194288 140703937337045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18698] ppid=18686 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18698/stat : 18698 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798996 15381372928 32474 33554432000 4194304 4196468 140733866872336 140701881685968 140703937345435 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18699] ppid=18686 vsize=15020872 memory=1120 CPUtime=0.09 cores=1,3,5,7
/proc/18689/task/18699/stat : 18699 (java) S 18686 18686 16605 0 -1 1077944384 783 0 0 0 9 0 0 0 20 0 15 0 224798996 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703342988016 140703937337986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18700] ppid=18686 vsize=15020872 memory=6120 CPUtime=0.07 cores=1,3,5,7
/proc/18689/task/18700/stat : 18700 (java) S 18686 18686 16605 0 -1 1077944384 156 0 0 0 7 0 0 0 20 0 15 0 224798996 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703341935472 140703937337986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18701] ppid=18686 vsize=15020872 memory=1724 CPUtime=0.15 cores=1,3,5,7
/proc/18689/task/18701/stat : 18701 (java) R 18686 18686 16605 0 -1 4202560 473 0 0 0 15 0 0 0 20 0 15 0 224798996 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703340882416 140703915862614 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18702] ppid=18686 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18702/stat : 18702 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798997 15381372928 32474 33554432000 4194304 4196468 140733866872336 140701383781216 140703937337045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
[pid=18689/tid=18703] ppid=18686 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/18689/task/18703/stat : 18703 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798997 15381372928 32474 33554432000 4194304 4196468 140733866872336 140703339829808 140703937337986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140733866873862 140733866874161 140733866874161 140733866876879 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131292 KiB
[startup+1.50082 s]
/proc/loadavg: 2.68 2.21 2.11 5/223 18703
/proc/meminfo: memFree=23938900/32770624 swapFree=67108860/67108860
[pid=18686] ppid=18683 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18686/stat : 18686 (scop.sh) S 18683 18686 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224798990 115843072 349 33554432000 4194304 5098028 140726167687824 140726167685080 140572176700028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21630976 140726167692352 140726167692551 140726167692551 140726167695309 0
/proc/18686/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=18704/tid=18707] ppid=18686 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716507823120 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18708] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18708/stat : 18708 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716506770320 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18709] ppid=18686 vsize=8068220 memory=116420 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18709/stat : 18709 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716505717520 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18710] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.02 cores=1,3,5,7
/proc/18704/task/18710/stat : 18710 (java) S 18686 18686 16605 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 19 0 224799174 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716149770608 140716703423106 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18711] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18711/stat : 18711 (java) S 18686 18686 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224799175 8261857280 29105 33554432000 4194304 4196468 140734098374688 140715543749664 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18712] ppid=18686 vsize=8068220 memory=71004 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18712/stat : 18712 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799175 8261857280 29105 33554432000 4194304 4196468 140734098374688 140715275314032 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18713] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18713/stat : 18713 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714900805456 140716703430555 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18714] ppid=18686 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/18704/task/18714/stat : 18714 (java) S 18686 18686 16605 0 -1 1077944384 738 0 0 0 8 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716080622448 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18715] ppid=18686 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/18704/task/18715/stat : 18715 (java) S 18686 18686 16605 0 -1 1077944384 214 0 0 0 9 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716079569648 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18716] ppid=18686 vsize=8068220 memory=1064 CPUtime=0.18 cores=1,3,5,7
/proc/18704/task/18716/stat : 18716 (java) S 18686 18686 16605 0 -1 1077944384 481 0 0 0 18 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716078516848 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18717] ppid=18686 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18717/stat : 18717 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224799178 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714402900704 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18718] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.68 cores=1,3,5,7
/proc/18704/task/18718/stat : 18718 (java) S 18686 18686 16605 0 -1 1077944384 165 0 0 0 31 37 0 0 20 0 19 0 224799178 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716077464240 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18720] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18720/stat : 18720 (java) S 18686 18686 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716148384960 140716703436569 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18722] ppid=18686 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18722/stat : 18722 (java) S 18686 18686 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140713866013968 140716703433885 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18723] ppid=18686 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18723/stat : 18723 (java) S 18686 18686 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714000236688 140716703433885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18724] ppid=18686 vsize=8068220 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18724/stat : 18724 (java) S 18686 18686 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224799245 8261857280 29105 33554432000 4194304 4196468 140734098374688 140713597591200 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
Current children cumulated CPU time: 2505.67 s
Current children cumulated vsize: 8269140 KiB
Current children cumulated memory: 188896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.7 s]
/proc/loadavg: 2.01 2.05 2.06 3/228 19297
/proc/meminfo: memFree=24477344/32770624 swapFree=67108860/67108860
[pid=18686] ppid=18683 vsize=113128 memory=1472 CPUtime=3.93 cores=1,3,5,7
/proc/18686/stat : 18686 (scop.sh) S 18683 18686 16605 0 -1 4202496 591 23088 0 0 0 0 382 11 20 0 1 0 224798990 115843072 368 33554432000 4194304 5098028 140726167687824 140726167684568 140572176700028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21630976 140726167692352 140726167692551 140726167692551 140726167695309 0
/proc/18686/statm: 28282 368 311 221 0 87 0
[pid=18704] ppid=18686 vsize=8068220 memory=116420 CPUtime=1.83 cores=1,3,5,7
/proc/18704/stat : 18704 (java) S 18686 18686 16605 0 -1 1077944320 18005 0 0 0 141 42 0 0 20 0 19 0 224799171 8261857280 29105 33554432000 4194304 4196468 140734098374688 140734098357232 140716703411959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
/proc/18704/statm: 2017055 29105 3143 1 0 1978454 0
[pid=18719] ppid=18704 vsize=87792 memory=71016 CPUtime=2514.31 cores=1,3,5,7
/proc/18719/stat : 18719 (minisat_release) R 18704 18686 16605 0 -1 4202496 94404 0 0 0 251420 11 0 0 20 0 1 0 224799242 89899008 17754 33554432000 4194304 4308513 140730262801936 140730262799432 4263786 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33660928 140730262803572 140730262803670 140730262803670 140730262806469 0
/proc/18719/statm: 21948 17754 341 28 0 18188 0
[pid=18704/tid=18705] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.72 cores=1,3,5,7
/proc/18704/task/18705/stat : 18705 (java) S 18686 18686 16605 0 -1 1077944384 14993 0 0 0 68 4 0 0 20 0 19 0 224799172 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716675252112 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18706] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716707654800 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18707] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716507823120 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18708] ppid=18686 vsize=8068220 memory=116420 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18708/stat : 18708 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716506770320 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18709] ppid=18686 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18709/stat : 18709 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716505717520 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18710] ppid=18686 vsize=8068220 memory=7308895142485716329 CPUtime=0.02 cores=1,3,5,7
/proc/18704/task/18710/stat : 18710 (java) S 18686 18686 16605 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 19 0 224799174 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716149770608 140716703423106 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18711] ppid=18686 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18711/stat : 18711 (java) S 18686 18686 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224799175 8261857280 29105 33554432000 4194304 4196468 140734098374688 140715543749664 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18712] ppid=18686 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18712/stat : 18712 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799175 8261857280 29105 33554432000 4194304 4196468 140734098374688 140715275314032 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18713] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18713/stat : 18713 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714900805456 140716703430555 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18714] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.08 cores=1,3,5,7
/proc/18704/task/18714/stat : 18714 (java) S 18686 18686 16605 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716080622448 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18715] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.09 cores=1,3,5,7
/proc/18704/task/18715/stat : 18715 (java) S 18686 18686 16605 0 -1 1077944384 214 0 0 0 9 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716079569648 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18716] ppid=18686 vsize=8068220 memory=3712 CPUtime=0.19 cores=1,3,5,7
/proc/18704/task/18716/stat : 18716 (java) S 18686 18686 16605 0 -1 1077944384 483 0 0 0 19 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716078516848 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18717] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18717/stat : 18717 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224799178 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714402900704 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18718] ppid=18686 vsize=8068220 memory=-7824251494390783332 CPUtime=0.68 cores=1,3,5,7
/proc/18704/task/18718/stat : 18718 (java) S 18686 18686 16605 0 -1 1077944384 167 0 0 0 31 37 0 0 20 0 19 0 224799178 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716077464240 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18720] ppid=18686 vsize=8068220 memory=71004 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18720/stat : 18720 (java) S 18686 18686 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716148384960 140716703436569 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18722] ppid=18686 vsize=8068220 memory=3312 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18722/stat : 18722 (java) S 18686 18686 16605 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140713866013968 140716703433885 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18723] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18723/stat : 18723 (java) S 18686 18686 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714000236688 140716703433885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18724] ppid=18686 vsize=8068220 memory=116420 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18724/stat : 18724 (java) S 18686 18686 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224799245 8261857280 29105 33554432000 4194304 4196468 140734098374688 140713597591200 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8269140 KiB
Current children cumulated memory: 188908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.71 s]
# the end of solver process 18686 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.82523 s, system=0.113444 s
[startup+2516.71 s]
# the end of solver process 18704 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.46 s, system=0.667513 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+2516.7 s]
/proc/loadavg: 2.01 2.05 2.06 3/228 19297
/proc/meminfo: memFree=24477344/32770624 swapFree=67108860/67108860
[pid=18686] ppid=18683 vsize=113128 memory=1472 CPUtime=3.93 cores=1,3,5,7
/proc/18686/stat : 18686 (scop.sh) S 18683 18686 16605 0 -1 4202496 591 23088 0 0 0 0 382 11 20 0 1 0 224798990 115843072 368 33554432000 4194304 5098028 140726167687824 140726167684568 140572176700028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21630976 140726167692352 140726167692551 140726167692551 140726167695309 0
/proc/18686/statm: 28282 368 311 221 0 87 0
[pid=18704] ppid=18686 vsize=8068220 memory=116420 CPUtime=1.83 cores=1,3,5,7
/proc/18704/stat : 18704 (java) S 18686 18686 16605 0 -1 1077944320 18005 0 0 0 141 42 0 0 20 0 19 0 224799171 8261857280 29105 33554432000 4194304 4196468 140734098374688 140734098357232 140716703411959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
/proc/18704/statm: 2017055 29105 3143 1 0 1978454 0
[pid=18719] ppid=18704 vsize=87792 memory=71016 CPUtime=2514.31 cores=1,3,5,7
/proc/18719/stat : 18719 (minisat_release) R 18704 18686 16605 0 -1 4202496 94404 0 0 0 251420 11 0 0 20 0 1 0 224799242 89899008 17754 33554432000 4194304 4308513 140730262801936 140730262799432 4263786 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33660928 140730262803572 140730262803670 140730262803670 140730262806469 0
/proc/18719/statm: 21948 17754 341 28 0 18188 0
[pid=18704/tid=18705] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.72 cores=1,3,5,7
/proc/18704/task/18705/stat : 18705 (java) S 18686 18686 16605 0 -1 1077944384 14993 0 0 0 68 4 0 0 20 0 19 0 224799172 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716675252112 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18706] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716707654800 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18707] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716507823120 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18708] ppid=18686 vsize=8068220 memory=116420 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18708/stat : 18708 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716506770320 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18709] ppid=18686 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18709/stat : 18709 (java) S 18686 18686 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224799173 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716505717520 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18710] ppid=18686 vsize=8068220 memory=7308895142485716329 CPUtime=0.02 cores=1,3,5,7
/proc/18704/task/18710/stat : 18710 (java) S 18686 18686 16605 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 19 0 224799174 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716149770608 140716703423106 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18711] ppid=18686 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18711/stat : 18711 (java) S 18686 18686 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224799175 8261857280 29105 33554432000 4194304 4196468 140734098374688 140715543749664 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18712] ppid=18686 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18712/stat : 18712 (java) S 18686 18686 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224799175 8261857280 29105 33554432000 4194304 4196468 140734098374688 140715275314032 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18713] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18713/stat : 18713 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714900805456 140716703430555 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18714] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.08 cores=1,3,5,7
/proc/18704/task/18714/stat : 18714 (java) S 18686 18686 16605 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716080622448 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18715] ppid=18686 vsize=8068220 memory=116420 CPUtime=0.09 cores=1,3,5,7
/proc/18704/task/18715/stat : 18715 (java) S 18686 18686 16605 0 -1 1077944384 214 0 0 0 9 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716079569648 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18716] ppid=18686 vsize=8068220 memory=3712 CPUtime=0.19 cores=1,3,5,7
/proc/18704/task/18716/stat : 18716 (java) S 18686 18686 16605 0 -1 1077944384 483 0 0 0 19 0 0 0 20 0 19 0 224799177 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716078516848 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18717] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18717/stat : 18717 (java) S 18686 18686 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224799178 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714402900704 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18718] ppid=18686 vsize=8068220 memory=-7824251494390783332 CPUtime=0.68 cores=1,3,5,7
/proc/18704/task/18718/stat : 18718 (java) S 18686 18686 16605 0 -1 1077944384 167 0 0 0 31 37 0 0 20 0 19 0 224799178 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716077464240 140716703423106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18720] ppid=18686 vsize=8068220 memory=71004 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18720/stat : 18720 (java) S 18686 18686 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140716148384960 140716703436569 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18722] ppid=18686 vsize=8068220 memory=3312 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18722/stat : 18722 (java) S 18686 18686 16605 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140713866013968 140716703433885 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18723] ppid=18686 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18723/stat : 18723 (java) S 18686 18686 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224799243 8261857280 29105 33554432000 4194304 4196468 140734098374688 140714000236688 140716703433885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
[pid=18704/tid=18724] ppid=18686 vsize=8068220 memory=116420 CPUtime=0 cores=1,3,5,7
/proc/18704/task/18724/stat : 18724 (java) S 18686 18686 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224799245 8261857280 29105 33554432000 4194304 4196468 140734098374688 140713597591200 140716703422165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18960384 140734098375861 140734098375985 140734098375985 140734098378703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8269140 KiB
Current children cumulated memory: 188908 KiB
Child status: 1
Real time (s): 2516.71
CPU time (s): 2520.12
CPU user time (s): 2519.46
CPU system time (s): 0.667513
CPU usage (%): 100.136
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 221200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.667513
maximum resident set size= 222432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58991
involuntary context switches= 835
# summary of solver processes directly reported to runsolver:
# pid: 18686,18704
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.46
# total CPU system time (s): 0.667513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4947 second user time and 26.4585 second system time
The end