0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-26078-serial-file.bin HOME/instance-4305602-1534087559.xml
0.54/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 17:26:00 CEST 2018
0.67/0.54 c PID: 26081
0.67/0.54 c IP: 172.20.3.135
0.67/0.54 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.18/0.85 c (0,0) Parsing End
1.18/0.86 c (0,0) CSP: 37 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 37
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86 c (0,0) Constraint Name Generate Begin
1.18/0.86 c (0,0) Ctr:HOME/instance-4305602-1534087559.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.18/0.86 c (0,0) Constraint Name Generate End
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86 c (0,0) CSP to CSPinCNF Begin
2.10/1.21 c (0,0) translated 3 (10%) constraints
2.10/1.22 c (0,0) translated 6 (20%) constraints
2.34/1.33 c (0,0) translated 9 (30%) constraints
2.34/1.33 c (0,0) translated 12 (40%) constraints
2.34/1.33 c (0,0) translated 14 (50%) constraints
2.34/1.33 c (0,0) translated 17 (60%) constraints
2.34/1.33 c (0,0) translated 20 (70%) constraints
2.34/1.33 c (0,0) translated 23 (80%) constraints
2.34/1.33 c (0,0) translated 26 (90%) constraints
2.34/1.33 c (0,0) translated 28 (100%) constraints
2.34/1.33 c (0,0) STATISTICS1:HOME/instance-4305602-1534087559.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,37,695,1366263369,37,37,7,1366263369:2;1315661022:4;39711952:12;1073296:12;20412:4;19656:8;37:171;28:294;27:133;26:74,37:779;28:492;27:172;26:86,37:2;2:666;1:27,7:6;6:12;5:12;4:12;2:672;1:74,
2.34/1.33 c (0,0) ==========================================
2.34/1.33 c (0,0) Both Encoding selects:
2.34/1.33 c (0,0) Order
2.34/1.33 c (0,0) ==========================================
2.34/1.33 c (0,0) translated 70 (10%) constraints
2.34/1.33 c (0,0) translated 139 (20%) constraints
2.34/1.34 c (0,0) translated 209 (30%) constraints
2.34/1.35 c (0,0) translated 278 (40%) constraints
2.34/1.36 c (0,0) translated 348 (50%) constraints
2.34/1.37 c (0,0) translated 417 (60%) constraints
2.34/1.37 c (0,0) translated 487 (70%) constraints
2.34/1.38 c (0,0) translated 556 (80%) constraints
2.34/1.38 c (0,0) translated 626 (90%) constraints
2.63/1.44 c (0,0) translated 695 (100%) constraints
2.63/1.44 c (0,0) CSP to CSPinCNF End
2.63/1.44 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 66
2.63/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.63/1.44 c (0,0) CSPinCNF Propagation Begin
2.63/1.47 c (0,0) 0 values, 20 unsatisfiable literals, and 0 valid clauses are removed
2.63/1.47 c (0,0) CSPinCNF Propagation End
2.63/1.47 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 66
2.63/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.63/1.47 c (0,0) Simplify CSPinCNF Begin
2.94/1.56 c (1,1) Simplify CSPinCNF End
2.94/1.57 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 66
2.94/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.94/1.57 c (1,1) Calculate Precise Domain Begin
2.94/1.58 c (1,1) 6 values are removed by re-calculation
2.94/1.58 c (1,1) Calculate Precise Domain End
2.94/1.58 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 66
2.94/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.94/1.58 c (1,1) CSPinCNF to SatSolver Begin
3.26/1.69 c (1,1) 215 (10 %) CSP clauses are encoded (5066 SAT variables, 7377 SAT clauses)
3.55/1.73 c (1,1) 429 (20 %) CSP clauses are encoded (5066 SAT variables, 11158 SAT clauses)
3.55/1.75 c (1,1) 644 (30 %) CSP clauses are encoded (5066 SAT variables, 15130 SAT clauses)
3.55/1.78 c (1,1) 858 (40 %) CSP clauses are encoded (5066 SAT variables, 19310 SAT clauses)
3.88/1.81 c (1,1) 1072 (50 %) CSP clauses are encoded (5066 SAT variables, 24128 SAT clauses)
3.88/1.83 c (1,1) 1287 (60 %) CSP clauses are encoded (5066 SAT variables, 28412 SAT clauses)
3.88/1.84 c (1,1) 1501 (70 %) CSP clauses are encoded (5066 SAT variables, 33103 SAT clauses)
3.88/1.86 c (1,1) 1716 (80 %) CSP clauses are encoded (5066 SAT variables, 37445 SAT clauses)
3.88/1.88 c (1,1) 1930 (90 %) CSP clauses are encoded (5066 SAT variables, 41878 SAT clauses)
5.06/2.26 c (1,1) 2144 (100 %) CSP clauses are encoded (5066 SAT variables, 195141 SAT clauses)
5.06/2.26 c (1,1) Launch Command will be: minisat_release
5.06/2.26 c (1,1) CSPinCNF to SatSolver End
5.06/2.26 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.30/2.30 c (1,1) STATISTICS2:HOME/instance-4305602-1534087559.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,1417,2144,4096,66,35,3,4096:2;4032:4;3969:2;3968:4;2368:2;2331:6;2294:4;2209:4;2116:2;1369:24;1175:4;1150:2;1036:24;999:16;962:14;728:10;702:2;700:2;675:6;650:4;37:342;28:258;27:212;26:310;25:216,66:12;65:4;64:56;63:32;62:16;47:32;46:16;37:1520;28:486;27:324;26:402;25:244;2:2664,35:1;19:1;2:1998;1:144,3:138;2:1338;1:2718,
5.30/2.30 c (1,1) 5066 bool, 195165 clause
5.30/2.30 c (1,1) Export Begin
5.30/2.38 c (1,1) Export to HOME/scop-26078-serial-file.bin
5.30/2.38 c (1,1) Export End
5.30/2.38 c (1,1) Export File Size: 0.01 MB
5.30/2.38 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
5.30/2.38 c END-Prog: Sun Aug 12 17:26:01 CEST 2018
5.30/2.39 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26078-serial-file.bin
5.54/2.88 c (0,0) Read Serial File Begin
5.54/2.88 c (0,0) HOME/scop-26078-serial-file.bin
6.36/3.03 c (0,0) Read Serial File End
6.36/3.05
6.36/3.05 scop order+minisat_release (2018-07-31)
6.36/3.05 (Solving Process)
6.36/3.05
6.36/3.07 c BEGIN-Prog: Sun Aug 12 17:26:02 CEST 2018
6.36/3.07 c PID: 26096
6.36/3.07 c IP: 172.20.3.135
6.36/3.07 c HOST: node135.alineos.net
6.36/3.07 c (0,0) SatSolver.solve Begin
6.36/3.07 c (0,0) 0 bool, 0 clause
6.36/3.07 c (0,0) minisat_release HOME/instance-4305602-1534087559.xml-scop-26081.cnf
10.12/6.69 c (3,0) c This is COMiniSatPS.
10.12/6.69 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
10.12/6.69 c (3,0) c ============================[ Problem Statistics ]=============================
10.12/6.70 c (3,0) c | |
10.12/6.70 c (3,0) c | Number of variables: 5066 |
10.12/6.70 c (3,0) c | Number of clauses: 194754 |
10.12/6.70 c (3,0) c | Parse time: 0.05 s |
10.12/6.70 c (3,0) c | Eliminated clauses: 0.01 Mb |
10.12/6.70 c (3,0) c Reduced to 4349 vars, 192585 cls (grow=0)
10.12/6.70 c (3,0) c No iterative elimination performed. (vars=4349, c/v ratio=44.3)
10.12/6.70 c (3,0) c | Simplification time: 0.18 s |
10.12/6.70 c (3,0) c | |
10.12/6.70 c (3,0) c ============================[ Search Statistics ]==============================
10.12/6.70 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.12/6.70 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.12/6.70 c (3,0) c ===============================================================================
10.12/6.70 c (3,0) c ===============================================================================
10.12/6.70 c (3,0) c restarts : 37
10.12/6.70 c (3,0) c conflicts : 15920 (4442 /sec)
10.12/6.70 c (3,0) c decisions : 20220 (0.00 % random) (5641 /sec)
10.12/6.70 c (3,0) c propagations : 11817478 (3297108 /sec)
10.12/6.70 c (3,0) c conflict literals : 225869 (29.34 % deleted)
10.12/6.70 c (3,0) c CPU time : 3.5842 s
10.12/6.70 c (3,0)
10.12/6.70 c (3,0) s UNSATISFIABLE
10.23/6.70 c (3,0) SatSolver.solve End
10.23/6.70 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
10.23/6.70 c (3,0) Show results Begin
10.23/6.70 s UNSATISFIABLE
10.23/6.70 c (3,0) Show results End
10.23/6.70 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
10.23/6.70 c (3,0) 3,3,STOP-AFTER(ALL)
10.23/6.70 c END-Prog: Sun Aug 12 17:26:06 CEST 2018
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 (7466 MiB free)
memory of node 1: 16384 MiB (5135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305602-1534087559/watcher-4305602-1534087559 -o /tmp/evaluation-result-4305602-1534087559/solver-4305602-1534087559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305602-1534087559.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=26078, runsolver pid=26075
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 2.01 2.08 2.09 3/226 26095
/proc/meminfo: memFree=12843888/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226319076 115843072 349 33554432000 4194304 5098028 140731458679344 140731458676600 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 349 296 221 0 87 0
[pid=26081] ppid=26078 vsize=15012476 memory=72216 CPUtime=0.11 cores=1,3,5,7
/proc/26081/stat : 26081 (java) S 26078 26078 19383 0 -1 1077944320 6680 0 0 0 9 2 0 0 20 0 15 0 226319076 15372775424 18054 33554432000 4194304 4196468 140736284407440 140736284389984 139968673992439 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
/proc/26081/statm: 3753119 18054 2771 1 0 3715579 0
[pid=26081/tid=26082] ppid=26078 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=1,3,5,7
/proc/26081/task/26082/stat : 26082 (java) R 26078 26078 19383 0 -1 4202560 4804 0 0 0 7 1 0 0 20 0 15 0 226319077 15372775424 18120 33554432000 4194304 4196468 140736284407440 139968645804424 139968654268188 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26083] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26083/stat : 26083 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 18120 33554432000 4194304 4196468 140736284407440 139968678235152 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26084] ppid=26078 vsize=15012476 memory=139844860720768 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26084/stat : 26084 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 18120 33554432000 4194304 4196468 140736284407440 139968492391568 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26085] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26085/stat : 26085 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 18120 33554432000 4194304 4196468 140736284407440 139968491338512 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26086] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26086/stat : 26086 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 18120 33554432000 4194304 4196468 140736284407440 139968490285968 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26087] ppid=26078 vsize=15012476 memory=139844860720768 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26087/stat : 26087 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 18120 33554432000 4194304 4196468 140736284407440 139968012851440 139968674003586 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26088] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26088/stat : 26088 (java) S 26078 26078 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 18120 33554432000 4194304 4196468 140736284407440 139967246361760 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26089] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26089/stat : 26089 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 18120 33554432000 4194304 4196468 140736284407440 139967011480304 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26090] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26090/stat : 26090 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 18120 33554432000 4194304 4196468 140736284407440 139966636971984 139968674011035 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26091] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26091/stat : 26091 (java) S 26078 26078 19383 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 18120 33554432000 4194304 4196468 140736284407440 139968011799280 139968674003586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26092] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26092/stat : 26092 (java) S 26078 26078 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 18186 33554432000 4194304 4196468 140736284407440 139968010746736 139968674003586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26093] ppid=26078 vsize=15012476 memory=139844860720768 CPUtime=0.01 cores=1,3,5,7
/proc/26081/task/26093/stat : 26093 (java) S 26078 26078 19383 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 226319083 15372775424 18186 33554432000 4194304 4196468 140736284407440 139968009693680 139968674003586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26094] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26094/stat : 26094 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 18186 33554432000 4194304 4196468 140736284407440 139966139067232 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26095] ppid=26078 vsize=15012476 memory=139844860720768 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26095/stat : 26095 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 18186 33554432000 4194304 4196468 140736284407440 139968008641072 139968674003586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73612 KiB
[startup+0.210779 s]*
/proc/loadavg: 2.01 2.08 2.09 3/226 26095
/proc/meminfo: memFree=12830180/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226319076 115843072 349 33554432000 4194304 5098028 140731458679344 140731458676600 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 349 296 221 0 87 0
[pid=26081] ppid=26078 vsize=15012476 memory=85564 CPUtime=0.25 cores=1,3,5,7
/proc/26081/stat : 26081 (java) S 26078 26078 19383 0 -1 1077944320 10273 0 0 0 23 2 0 0 20 0 15 0 226319076 15372775424 21391 33554432000 4194304 4196468 140736284407440 140736284389984 139968673992439 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
/proc/26081/statm: 3753119 21391 2877 1 0 3715579 0
[pid=26081/tid=26082] ppid=26078 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/26081/task/26082/stat : 26082 (java) R 26078 26078 19383 0 -1 4202560 8186 0 0 0 18 2 0 0 20 0 15 0 226319077 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968645817248 139968674004374 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26083] ppid=26078 vsize=15012476 memory=550 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26083/stat : 26083 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968678235152 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26084] ppid=26078 vsize=15012476 memory=139844860744731 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26084/stat : 26084 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968492391568 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26085] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26085/stat : 26085 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968491338512 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26086] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26086/stat : 26086 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968490285968 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26087] ppid=26078 vsize=15012476 memory=139844860720768 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26087/stat : 26087 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968012851440 139968674003586 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26088] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26088/stat : 26088 (java) S 26078 26078 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 21391 33554432000 4194304 4196468 140736284407440 139967246361760 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26089] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26089/stat : 26089 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 21391 33554432000 4194304 4196468 140736284407440 139967011480304 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26090] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26090/stat : 26090 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 21391 33554432000 4194304 4196468 140736284407440 139966636971984 139968674011035 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26091] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26091/stat : 26091 (java) S 26078 26078 19383 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968011799280 139968674003586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26092] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26092/stat : 26092 (java) R 26078 26078 19383 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968010746736 139968666977481 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26093] ppid=26078 vsize=15012476 memory=139844860720768 CPUtime=0.03 cores=1,3,5,7
/proc/26081/task/26093/stat : 26093 (java) R 26078 26078 19383 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 226319083 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968009693680 139968674003586 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26094] ppid=26078 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26094/stat : 26094 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 21391 33554432000 4194304 4196468 140736284407440 139966139067232 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26095] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26095/stat : 26095 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 21391 33554432000 4194304 4196468 140736284407440 139968008641072 139968674003586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86960 KiB
[startup+0.310833 s]*
/proc/loadavg: 2.01 2.08 2.09 3/226 26095
/proc/meminfo: memFree=12826388/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226319076 115843072 349 33554432000 4194304 5098028 140731458679344 140731458676600 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 349 296 221 0 87 0
[pid=26081] ppid=26078 vsize=15012476 memory=89680 CPUtime=0.42 cores=1,3,5,7
/proc/26081/stat : 26081 (java) S 26078 26078 19383 0 -1 1077944320 10891 0 0 0 39 3 0 0 20 0 15 0 226319076 15372775424 22420 33554432000 4194304 4196468 140736284407440 140736284389984 139968673992439 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
/proc/26081/statm: 3753119 22420 2977 1 0 3715579 0
[pid=26081/tid=26082] ppid=26078 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26081/task/26082/stat : 26082 (java) R 26078 26078 19383 0 -1 4202560 8618 0 0 0 27 2 0 0 20 0 15 0 226319077 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968645787888 139968658036069 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26083] ppid=26078 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26083/stat : 26083 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968678235152 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26084] ppid=26078 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26084/stat : 26084 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968492391568 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26085] ppid=26078 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26085/stat : 26085 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968491338512 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26086] ppid=26078 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26086/stat : 26086 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968490285968 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26087] ppid=26078 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26087/stat : 26087 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968012851440 139968674003586 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26088] ppid=26078 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26088/stat : 26088 (java) S 26078 26078 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 22420 33554432000 4194304 4196468 140736284407440 139967246361760 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26089] ppid=26078 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26089/stat : 26089 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319080 15372775424 22420 33554432000 4194304 4196468 140736284407440 139967011480304 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26090] ppid=26078 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26090/stat : 26090 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 22420 33554432000 4194304 4196468 140736284407440 139966636971984 139968674011035 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26091] ppid=26078 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26081/task/26091/stat : 26091 (java) R 26078 26078 19383 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 226319083 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968011799280 139968674003586 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26092] ppid=26078 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26081/task/26092/stat : 26092 (java) R 26078 26078 19383 0 -1 4202560 96 0 0 0 1 0 0 0 20 0 15 0 226319083 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968010746832 139968653181905 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26093] ppid=26078 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26081/task/26093/stat : 26093 (java) R 26078 26078 19383 0 -1 4202560 331 0 0 0 7 0 0 0 20 0 15 0 226319083 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968009693680 139968658072926 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26094] ppid=26078 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26094/stat : 26094 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 22420 33554432000 4194304 4196468 140736284407440 139966139067232 139968674002645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26095] ppid=26078 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26095/stat : 26095 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319083 15372775424 22420 33554432000 4194304 4196468 140736284407440 139968008641072 139968674003586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91076 KiB
[startup+0.700831 s]
/proc/loadavg: 2.01 2.08 2.09 3/226 26095
/proc/meminfo: memFree=12801708/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226319076 115843072 349 33554432000 4194304 5098028 140731458679344 140731458676600 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 349 296 221 0 87 0
[pid=26081] ppid=26078 vsize=15020872 memory=129508 CPUtime=1.01 cores=1,3,5,7
/proc/26081/stat : 26081 (java) S 26078 26078 19383 0 -1 1077944320 18099 0 0 0 96 5 0 0 20 0 15 0 226319076 15381372928 32377 33554432000 4194304 4196468 140736284407440 140736284389984 139968673992439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
/proc/26081/statm: 3755218 32377 3162 1 0 3716603 0
[pid=26081/tid=26082] ppid=26078 vsize=15020872 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26081/task/26082/stat : 26082 (java) R 26078 26078 19383 0 -1 4202560 15383 0 0 0 63 4 0 0 20 0 15 0 226319077 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968645827056 139968666229566 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26083] ppid=26078 vsize=15020872 memory=288230377057958153 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26083/stat : 26083 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319078 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968678235152 139968674002645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26084] ppid=26078 vsize=15020872 memory=14975555351106623 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26084/stat : 26084 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968492391568 139968674002645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26085] ppid=26078 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26085/stat : 26085 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968491338512 139968674002645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26086] ppid=26078 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26086/stat : 26086 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319078 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968490285968 139968674002645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26087] ppid=26078 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26087/stat : 26087 (java) S 26078 26078 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226319080 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968012851440 139968674003586 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26088] ppid=26078 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26088/stat : 26088 (java) S 26078 26078 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319080 15381372928 32377 33554432000 4194304 4196468 140736284407440 139967246361760 139968674002645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26089] ppid=26078 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26089/stat : 26089 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319080 15381372928 32377 33554432000 4194304 4196468 140736284407440 139967011480304 139968674002645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26090] ppid=26078 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26090/stat : 26090 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15381372928 32377 33554432000 4194304 4196468 140736284407440 139966636971984 139968674011035 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26091] ppid=26078 vsize=15020872 memory=279689478275312 CPUtime=0.09 cores=1,3,5,7
/proc/26081/task/26091/stat : 26091 (java) S 26078 26078 19383 0 -1 1077944384 738 0 0 0 9 0 0 0 20 0 15 0 226319083 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968011799280 139968674003586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26092] ppid=26078 vsize=15020872 memory=7234030490512222553 CPUtime=0.07 cores=1,3,5,7
/proc/26081/task/26092/stat : 26092 (java) S 26078 26078 19383 0 -1 1077944384 194 0 0 0 7 0 0 0 20 0 15 0 226319083 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968010746736 139968674003586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26093] ppid=26078 vsize=15020872 memory=7668617985122460992 CPUtime=0.15 cores=1,3,5,7
/proc/26081/task/26093/stat : 26093 (java) S 26078 26078 19383 0 -1 1077944384 451 0 0 0 15 0 0 0 20 0 15 0 226319083 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968009693680 139968674003586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26094] ppid=26078 vsize=15020872 memory=7649399371463669298 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26094/stat : 26094 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319083 15381372928 32377 33554432000 4194304 4196468 140736284407440 139966139067232 139968674002645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
[pid=26081/tid=26095] ppid=26078 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26081/task/26095/stat : 26095 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319083 15381372928 32377 33554432000 4194304 4196468 140736284407440 139968008641072 139968674003586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140736284414983 140736284415281 140736284415281 140736284417999 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130904 KiB
[startup+1.50217 s]
/proc/loadavg: 2.01 2.08 2.09 5/226 26095
/proc/meminfo: memFree=12771132/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226319076 115843072 349 33554432000 4194304 5098028 140731458679344 140731458676600 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[startup+6.71399 s]
# the end of solver process 26078 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.0341 s, system=0.24088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40115 s]
/proc/loadavg: 2.17 2.11 2.10 3/231 26116
/proc/meminfo: memFree=12777588/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1472 CPUtime=5.54 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 589 25174 0 0 0 0 538 16 20 0 1 0 226319076 115843072 368 33554432000 4194304 5098028 140731458679344 140731458676088 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 368 311 221 0 87 0
[pid=26096] ppid=26078 vsize=8068220 memory=116208 CPUtime=1.09 cores=1,3,5,7
/proc/26096/stat : 26096 (java) S 26078 26078 19383 0 -1 1077944320 17813 0 0 0 104 5 0 0 20 0 19 0 226319316 8261857280 29052 33554432000 4194304 4196468 140728889228032 140728889210576 140149523664631 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
/proc/26096/statm: 2017055 29052 3142 1 0 1978454 0
[pid=26111] ppid=26096 vsize=36124 memory=18412 CPUtime=3.29 cores=1,3,5,7
/proc/26111/stat : 26111 (minisat_release) R 26096 26078 19383 0 -1 4202496 7073 0 0 0 328 1 0 0 20 0 1 0 226319386 36990976 4603 33554432000 4194304 4308513 140721172528208 140721172525832 4276465 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 21491712 140721172534388 140721172534486 140721172534486 140721172537285 0
/proc/26111/statm: 9031 4603 336 28 0 5271 0
[pid=26096/tid=26097] ppid=26078 vsize=8068220 memory=408 CPUtime=0.72 cores=1,3,5,7
/proc/26096/task/26097/stat : 26097 (java) S 26078 26078 19383 0 -1 1077944384 14968 0 0 0 68 4 0 0 20 0 19 0 226319316 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149495504784 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26098] ppid=26078 vsize=8068220 memory=8592 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26098/stat : 26098 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149527907472 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26099] ppid=26078 vsize=8068220 memory=116128 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26099/stat : 26099 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149348203536 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26100] ppid=26078 vsize=8068220 memory=51216 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26100/stat : 26100 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149007371152 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26101] ppid=26078 vsize=8068220 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26101/stat : 26101 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149006318352 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26102] ppid=26078 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26102/stat : 26102 (java) S 26078 26078 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226319319 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148970084720 140149523675778 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26103] ppid=26078 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26103/stat : 26103 (java) S 26078 26078 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226319319 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148339631136 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26104] ppid=26078 vsize=8068220 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26104/stat : 26104 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226319319 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148071195504 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26105] ppid=26078 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26105/stat : 26105 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140147696686928 140149523683227 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26106] ppid=26078 vsize=8068220 memory=-7824251494390649963 CPUtime=0.08 cores=1,3,5,7
/proc/26096/task/26106/stat : 26106 (java) S 26078 26078 19383 0 -1 1077944384 700 0 0 0 8 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148969032560 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26107] ppid=26078 vsize=8068220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26096/task/26107/stat : 26107 (java) S 26078 26078 19383 0 -1 1077944384 231 0 0 0 7 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148967979760 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26108] ppid=26078 vsize=8068220 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/26096/task/26108/stat : 26108 (java) S 26078 26078 19383 0 -1 1077944384 504 0 0 0 18 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148966926960 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26109] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26109/stat : 26109 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140147198782176 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26110] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26110/stat : 26110 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148965874352 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26112] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26112/stat : 26112 (java) S 26078 26078 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226319386 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148958065856 140149523689241 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26114] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26114/stat : 26114 (java) S 26078 26078 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226319386 8261857280 29052 33554432000 4194304 4196468 140728889228032 140146661895440 140149523686557 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26115] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26115/stat : 26115 (java) S 26078 26078 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226319387 8261857280 29052 33554432000 4194304 4196468 140728889228032 140146796118160 140149523686557 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26116] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26116/stat : 26116 (java) S 26078 26078 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226319389 8261857280 29052 33554432000 4194304 4196468 140728889228032 140146393472672 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 8217472 KiB
Current children cumulated memory: 136092 KiB
[startup+6.60092 s]
/proc/loadavg: 2.17 2.11 2.10 3/231 26116
/proc/meminfo: memFree=12777588/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1472 CPUtime=5.54 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 589 25174 0 0 0 0 538 16 20 0 1 0 226319076 115843072 368 33554432000 4194304 5098028 140731458679344 140731458676088 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 368 311 221 0 87 0
[pid=26096] ppid=26078 vsize=8068220 memory=116208 CPUtime=1.09 cores=1,3,5,7
/proc/26096/stat : 26096 (java) S 26078 26078 19383 0 -1 1077944320 17815 0 0 0 104 5 0 0 20 0 19 0 226319316 8261857280 29052 33554432000 4194304 4196468 140728889228032 140728889210576 140149523664631 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
/proc/26096/statm: 2017055 29052 3142 1 0 1978454 0
[pid=26111] ppid=26096 vsize=33444 memory=16668 CPUtime=3.49 cores=1,3,5,7
/proc/26111/stat : 26111 (minisat_release) R 26096 26078 19383 0 -1 4202496 7612 0 0 0 348 1 0 0 20 0 1 0 226319386 34246656 4167 33554432000 4194304 4308513 140721172528208 140721172525608 4275601 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 21491712 140721172534388 140721172534486 140721172534486 140721172537285 0
/proc/26111/statm: 8361 4167 336 28 0 4601 0
[pid=26096/tid=26097] ppid=26078 vsize=8068220 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/26096/task/26097/stat : 26097 (java) S 26078 26078 19383 0 -1 1077944384 14968 0 0 0 68 4 0 0 20 0 19 0 226319316 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149495504784 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26098] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26098/stat : 26098 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149527907472 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26099] ppid=26078 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26099/stat : 26099 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149348203536 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26100] ppid=26078 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26100/stat : 26100 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149007371152 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26101] ppid=26078 vsize=8068220 memory=279689478559440 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26101/stat : 26101 (java) S 26078 26078 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226319317 8261857280 29052 33554432000 4194304 4196468 140728889228032 140149006318352 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26102] ppid=26078 vsize=8068220 memory=279689478559504 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26102/stat : 26102 (java) S 26078 26078 19383 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 226319319 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148970084720 140149523675778 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26103] ppid=26078 vsize=8068220 memory=279689478559568 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26103/stat : 26103 (java) S 26078 26078 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226319319 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148339631136 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26104] ppid=26078 vsize=8068220 memory=279689478559632 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26104/stat : 26104 (java) S 26078 26078 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226319319 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148071195504 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26105] ppid=26078 vsize=8068220 memory=279689478559696 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26105/stat : 26105 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140147696686928 140149523683227 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26106] ppid=26078 vsize=8068220 memory=279689478559760 CPUtime=0.08 cores=1,3,5,7
/proc/26096/task/26106/stat : 26106 (java) S 26078 26078 19383 0 -1 1077944384 700 0 0 0 8 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148969032560 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26107] ppid=26078 vsize=8068220 memory=279689478559824 CPUtime=0.07 cores=1,3,5,7
/proc/26096/task/26107/stat : 26107 (java) S 26078 26078 19383 0 -1 1077944384 231 0 0 0 7 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148967979760 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26108] ppid=26078 vsize=8068220 memory=279689478559888 CPUtime=0.18 cores=1,3,5,7
/proc/26096/task/26108/stat : 26108 (java) S 26078 26078 19383 0 -1 1077944384 504 0 0 0 18 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148966926960 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26109] ppid=26078 vsize=8068220 memory=279689478559952 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26109/stat : 26109 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140147198782176 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26110] ppid=26078 vsize=8068220 memory=279689478560016 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26110/stat : 26110 (java) S 26078 26078 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226319322 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148965874352 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26112] ppid=26078 vsize=8068220 memory=279689478560080 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26112/stat : 26112 (java) S 26078 26078 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226319386 8261857280 29052 33554432000 4194304 4196468 140728889228032 140148958065856 140149523689241 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26114] ppid=26078 vsize=8068220 memory=279689478560144 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26114/stat : 26114 (java) S 26078 26078 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226319386 8261857280 29052 33554432000 4194304 4196468 140728889228032 140146661895440 140149523686557 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26115] ppid=26078 vsize=8068220 memory=279689478560208 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26115/stat : 26115 (java) S 26078 26078 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226319387 8261857280 29052 33554432000 4194304 4196468 140728889228032 140146796118160 140149523686557 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26116] ppid=26078 vsize=8068220 memory=279689478560272 CPUtime=0 cores=1,3,5,7
/proc/26096/task/26116/stat : 26116 (java) S 26078 26078 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226319389 8261857280 29052 33554432000 4194304 4196468 140728889228032 140146393472672 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 8214792 KiB
Current children cumulated memory: 134348 KiB
[startup+6.70087 s]
/proc/loadavg: 2.17 2.11 2.10 3/231 26116
/proc/meminfo: memFree=12777588/32770624 swapFree=67108860/67108860
[pid=26078] ppid=26075 vsize=113128 memory=1472 CPUtime=5.54 cores=1,3,5,7
/proc/26078/stat : 26078 (scop.sh) S 26075 26078 19383 0 -1 4202496 589 25174 0 0 0 0 538 16 20 0 1 0 226319076 115843072 368 33554432000 4194304 5098028 140731458679344 140731458676088 140645107139196 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34799616 140731458683969 140731458684167 140731458684167 140731458686925 0
/proc/26078/statm: 28282 368 311 221 0 87 0
[pid=26096] ppid=26078 vsize=8068220 memory=118256 CPUtime=4.69 cores=1,3,5,7
/proc/26096/stat : 26096 (java) S 26078 26078 19383 0 -1 1077944320 17823 7634 0 0 105 5 358 1 20 0 18 0 226319316 8261857280 29564 33554432000 4194304 4196468 140728889228032 140728889210576 140149523664631 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
/proc/26096/statm: 2017055 29564 3142 1 0 1978454 0
[pid=26096/tid=26097] ppid=26078 vsize=8068220 memory=16668 CPUtime=4.31 cores=1,3,5,7
/proc/26096/task/26097/stat : 26097 (java) S 26078 26078 19383 0 -1 1077944384 14968 7634 0 0 68 4 358 1 20 0 18 0 226319316 8261857280 29564 33554432000 4194304 4196468 140728889228032 140149495504784 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26098] ppid=26078 vsize=8068220 memory=279689479180608 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26098/stat : 26098 (java) S 26078 26078 19383 0 -1 1077944384 1 7634 0 0 0 0 358 1 20 0 18 0 226319317 8261857280 29564 33554432000 4194304 4196468 140728889228032 140149527907472 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26099] ppid=26078 vsize=8068220 memory=0 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26099/stat : 26099 (java) S 26078 26078 19383 0 -1 1077944384 2 7634 0 0 0 0 358 1 20 0 18 0 226319317 8261857280 29564 33554432000 4194304 4196468 140728889228032 140149348203536 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26100] ppid=26078 vsize=8068220 memory=0 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26100/stat : 26100 (java) S 26078 26078 19383 0 -1 1077944384 1 7634 0 0 0 0 358 1 20 0 18 0 226319317 8261857280 29564 33554432000 4194304 4196468 140728889228032 140149007371152 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26101] ppid=26078 vsize=8068220 memory=0 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26101/stat : 26101 (java) S 26078 26078 19383 0 -1 1077944384 2 7634 0 0 0 0 358 1 20 0 18 0 226319317 8261857280 29564 33554432000 4194304 4196468 140728889228032 140149006318352 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26102] ppid=26078 vsize=8068220 memory=4120994195966051980 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26102/stat : 26102 (java) S 26078 26078 19383 0 -1 1077944384 7 7634 0 0 0 0 358 1 20 0 18 0 226319319 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148970084720 140149523675778 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26103] ppid=26078 vsize=8068220 memory=40401 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26103/stat : 26103 (java) S 26078 26078 19383 0 -1 1077944384 13 7634 0 0 0 0 358 1 20 0 18 0 226319319 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148339631136 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26104] ppid=26078 vsize=8068220 memory=4420 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26104/stat : 26104 (java) S 26078 26078 19383 0 -1 1077944384 1 7634 0 0 0 0 358 1 20 0 18 0 226319319 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148071195504 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26105] ppid=26078 vsize=8068220 memory=6628 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26105/stat : 26105 (java) S 26078 26078 19383 0 -1 1077944384 3 7634 0 0 0 0 358 1 20 0 18 0 226319322 8261857280 29564 33554432000 4194304 4196468 140728889228032 140147696686928 140149523683227 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26106] ppid=26078 vsize=8068220 memory=8836 CPUtime=3.67 cores=1,3,5,7
/proc/26096/task/26106/stat : 26106 (java) S 26078 26078 19383 0 -1 1077944384 700 7634 0 0 8 0 358 1 20 0 18 0 226319322 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148969032560 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26107] ppid=26078 vsize=8068220 memory=0 CPUtime=3.66 cores=1,3,5,7
/proc/26096/task/26107/stat : 26107 (java) S 26078 26078 19383 0 -1 1077944384 231 7634 0 0 7 0 358 1 20 0 18 0 226319322 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148967979760 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26108] ppid=26078 vsize=8068220 memory=0 CPUtime=3.77 cores=1,3,5,7
/proc/26096/task/26108/stat : 26108 (java) S 26078 26078 19383 0 -1 1077944384 507 7634 0 0 18 0 358 1 20 0 18 0 226319322 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148966926960 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26109] ppid=26078 vsize=8068220 memory=0 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26109/stat : 26109 (java) S 26078 26078 19383 0 -1 1077944384 3 7634 0 0 0 0 358 1 20 0 18 0 226319322 8261857280 29564 33554432000 4194304 4196468 140728889228032 140147198782176 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26110] ppid=26078 vsize=8068220 memory=1472 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26110/stat : 26110 (java) S 26078 26078 19383 0 -1 1077944384 3 7634 0 0 0 0 358 1 20 0 18 0 226319322 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148965874352 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26112] ppid=26078 vsize=8068220 memory=1224 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26112/stat : 26112 (java) S 26078 26078 19383 0 -1 1077944384 24 7634 0 0 0 0 358 1 20 0 18 0 226319386 8261857280 29564 33554432000 4194304 4196468 140728889228032 140148958065040 140149523675778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26114] ppid=26078 vsize=8068220 memory=1944 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26114/stat : 26114 (java) R 26078 26078 19383 0 -1 4202560 30 7634 0 0 0 0 358 1 20 0 18 0 226319386 8261857280 29564 33554432000 4194304 4196468 140728889228032 140146661895440 140728889481154 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
[pid=26096/tid=26116] ppid=26078 vsize=8068220 memory=1444 CPUtime=3.59 cores=1,3,5,7
/proc/26096/task/26116/stat : 26116 (java) S 26078 26078 19383 0 -1 1077944384 4 7634 0 0 0 0 358 1 20 0 18 0 226319389 8261857280 29564 33554432000 4194304 4196468 140728889228032 140146393472432 140149523674837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140728889230517 140728889230641 140728889230641 140728889233359 0
Current children cumulated CPU time: 10.23 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 119728 KiB
Child status: 0
Real time (s): 6.71405
CPU time (s): 10.2749
CPU user time (s): 10.0341
CPU system time (s): 0.24088
CPU usage (%): 153.036
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 473800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0341
system time used= 0.24088
maximum resident set size= 481360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5062
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 26078
# total CPU time (s): 10.2749
# total CPU user time (s): 10.0341
# total CPU system time (s): 0.24088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077416 second user time and 0.103874 second system time
The end