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-24447-serial-file.bin HOME/instance-4305717-1534076291.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 14:18:12 CEST 2018
0.67/0.54 c PID: 24450
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
2.51/1.27 c (0,0) Parsing End
2.51/1.27 c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 13 ctr, max domain size 26
2.51/1.27 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.51/1.27 c (0,0) Constraint Name Generate Begin
2.51/1.28 c (0,0) Ctr:HOME/instance-4305717-1534076291.xml,ExtensionSupport:IntVar
2.51/1.28 c (0,0) Constraint Name Generate End
2.51/1.28 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.51/1.28 c (0,0) CSP to CSPinCNF Begin
39.00/23.69 c (23,22) translated 2 (10%) constraints
50.96/32.31 c (31,30) translated 3 (20%) constraints
62.48/40.98 c (40,38) translated 4 (30%) constraints
84.44/57.82 c (57,53) translated 6 (40%) constraints
96.09/66.42 c (65,61) translated 7 (50%) constraints
108.43/77.51 c (76,72) translated 8 (60%) constraints
119.56/86.90 c (86,80) translated 10 (70%) constraints
125.03/91.57 c (91,85) translated 11 (80%) constraints
130.56/96.26 c (95,89) translated 12 (90%) constraints
136.42/101.08 c (100,94) translated 13 (100%) constraints
147.47/109.92 c (109,102) STATISTICS1:HOME/instance-4305717-1534076291.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:323;26:177;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989;0:13,
147.47/109.92 c (109,102) ==========================================
147.47/109.92 c (109,102) Both Encoding selects:
147.47/109.92 c (109,102) Order
147.47/109.92 c (109,102) ==========================================
150.62/112.65 c (112,105) translated 204282 (10%) constraints
154.10/115.63 c (115,107) translated 408563 (20%) constraints
156.95/118.49 c (117,110) translated 612844 (30%) constraints
161.07/121.66 c (121,113) translated 817125 (40%) constraints
164.01/124.52 c (124,116) translated 1021406 (50%) constraints
168.31/127.77 c (127,119) translated 1225687 (60%) constraints
171.21/130.67 c (130,122) translated 1429968 (70%) constraints
175.63/133.93 c (133,125) translated 1634249 (80%) constraints
178.53/136.83 c (136,128) translated 1838530 (90%) constraints
183.05/140.13 c (139,130) translated 2042811 (100%) constraints
183.05/140.13 c (139,130) CSP to CSPinCNF End
183.05/140.19 c (139,130) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
183.05/140.19 c (139,130) Heap : 2671 MiB used (max 10771 MiB), NonHeap : 27 MiB used (max 0 MiB)
183.05/140.19 c (139,130) CSPinCNF Propagation Begin
202.80/151.74 c (151,139) 0 values, 13 unsatisfiable literals, and 0 valid clauses are removed
202.80/151.74 c (151,139) CSPinCNF Propagation End
202.80/151.79 c (151,140) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
202.80/151.79 c (151,140) Heap : 3888 MiB used (max 10625 MiB), NonHeap : 28 MiB used (max 0 MiB)
202.80/151.79 c (151,140) Simplify CSPinCNF Begin
206.10/154.94 c (154,143) Simplify CSPinCNF End
206.10/154.99 c (154,143) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
206.10/154.99 c (154,143) Heap : 5396 MiB used (max 10625 MiB), NonHeap : 28 MiB used (max 0 MiB)
206.10/154.99 c (154,143) Calculate Precise Domain Begin
206.10/154.99 c (154,143) 0 values are removed by re-calculation
206.10/154.99 c (154,143) Calculate Precise Domain End
206.21/155.04 c (154,143) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
206.21/155.04 c (154,143) Heap : 5396 MiB used (max 10625 MiB), NonHeap : 28 MiB used (max 0 MiB)
206.21/155.04 c (154,143) CSPinCNF to SatSolver Begin
211.85/157.34 c (156,144) 204282 (10 %) CSP clauses are encoded (187699 SAT variables, 205289 SAT clauses)
212.97/158.42 c (157,145) 408563 (20 %) CSP clauses are encoded (187699 SAT variables, 409570 SAT clauses)
213.97/159.49 c (158,146) 612844 (30 %) CSP clauses are encoded (187699 SAT variables, 613851 SAT clauses)
216.43/161.07 c (160,147) 817125 (40 %) CSP clauses are encoded (187699 SAT variables, 818132 SAT clauses)
217.54/162.16 c (161,148) 1021406 (50 %) CSP clauses are encoded (187699 SAT variables, 1022413 SAT clauses)
218.66/163.27 c (162,150) 1225687 (60 %) CSP clauses are encoded (187699 SAT variables, 1226694 SAT clauses)
219.77/164.36 c (163,151) 1429968 (70 %) CSP clauses are encoded (187699 SAT variables, 1430975 SAT clauses)
220.87/165.46 c (164,152) 1634249 (80 %) CSP clauses are encoded (187699 SAT variables, 1635256 SAT clauses)
222.02/166.56 c (166,153) 1838530 (90 %) CSP clauses are encoded (187699 SAT variables, 1839537 SAT clauses)
223.11/167.65 c (167,154) 2042811 (100 %) CSP clauses are encoded (187699 SAT variables, 2043818 SAT clauses)
223.11/167.65 c (167,154) Launch Command will be: minisat_release
223.11/167.65 c (167,154) CSPinCNF to SatSolver End
223.11/167.65 c (167,154) Heap : 5776 MiB used (max 10739 MiB), NonHeap : 29 MiB used (max 0 MiB)
228.11/172.38 c (171,159) STATISTICS2:HOME/instance-4305717-1534076291.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:310;26:190;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989,
228.11/172.38 c (171,159) 187699 bool, 2043819 clause
228.11/172.38 c (171,159) Export Begin
228.21/172.46 c (171,159) Export to HOME/scop-24447-serial-file.bin
228.21/172.46 c (171,159) Export End
228.21/172.47 c (171,159) Export File Size: 0.01 MB
228.21/172.47 c (171,159) 0,0,139,151,154,154,167,STOP-AFTER(DIMACS)
228.21/172.47 c END-Prog: Sun Aug 12 14:21:04 CEST 2018
0.00/172.51 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24447-serial-file.bin
229.02/173.01 c (0,0) Read Serial File Begin
229.02/173.01 c (0,0) HOME/scop-24447-serial-file.bin
229.18/173.18 c (0,0) Read Serial File End
229.18/173.19
229.18/173.19 scop order+minisat_release (2018-07-31)
229.18/173.19 (Solving Process)
229.18/173.19
229.31/173.22 c BEGIN-Prog: Sun Aug 12 14:21:04 CEST 2018
229.31/173.22 c PID: 24476
229.31/173.22 c IP: 172.20.3.135
229.31/173.22 c HOST: node135.alineos.net
229.31/173.22 c (0,0) SatSolver.solve Begin
229.31/173.22 c (0,0) 0 bool, 0 clause
229.31/173.22 c (0,0) minisat_release HOME/instance-4305717-1534076291.xml-scop-24450.cnf
285.11/228.81 c (55,0) c This is COMiniSatPS.
285.11/228.81 c (55,0) c WARNING: for repeatability, setting FPU to use double precision
285.11/228.81 c (55,0) c ============================[ Problem Statistics ]=============================
285.11/228.81 c (55,0) c | |
285.11/228.81 c (55,0) c | Number of variables: 187699 |
285.11/228.81 c (55,0) c | Number of clauses: 2043819 |
285.11/228.81 c (55,0) c | Parse time: 0.66 s |
285.11/228.81 c (55,0) c | Eliminated clauses: 1.10 Mb |
285.11/228.81 c (55,0) c Reduced to 172207 vars, 1988119 cls (grow=0)
285.11/228.81 c (55,0) c No iterative elimination performed. (vars=172207, c/v ratio=11.5)
285.11/228.81 c (55,0) c | Simplification time: 6.18 s |
285.11/228.81 c (55,0) c | |
285.11/228.81 c (55,0) c ============================[ Search Statistics ]==============================
285.11/228.81 c (55,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
285.11/228.81 c (55,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
285.11/228.81 c (55,0) c ===============================================================================
285.11/228.81 c (55,0) c ===============================================================================
285.11/228.81 c (55,0) c restarts : 66
285.11/228.81 c (55,0) c conflicts : 17432 (315 /sec)
285.11/228.81 c (55,0) c decisions : 108817 (0.00 % random) (1966 /sec)
285.11/228.81 c (55,0) c propagations : 171878429 (3104749 /sec)
285.11/228.81 c (55,0) c conflict literals : 2612407 (34.31 % deleted)
285.11/228.81 c (55,0) c CPU time : 55.3599 s
285.11/228.81 c (55,0)
285.11/228.81 c (55,0) s SATISFIABLE
285.36/228.95 c (56,0) SatSolver.solve End
285.36/228.95 c (56,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
285.36/228.95 c (56,0) Show results Begin
285.36/229.00 s SATISFIABLE
285.58/229.01 v <instantiation>
285.58/229.01 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6]</list>
285.58/229.01 v <values>13 6 17 0 12 12 4 0 11 8 23 14 8 18 19 8 12 8 13 6 18 2 12 14 11 8 13 0 7 4 8 11 0 4 17 0 18 18 14 11 4 18</values>
285.58/229.01 v </instantiation>
285.58/229.01 c (56,0) Show results End
285.58/229.01 c (56,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
285.58/229.01 c (56,0) 56,56,STOP-AFTER(ALL)
285.58/229.01 c END-Prog: Sun Aug 12 14:22:00 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 (7374 MiB free)
memory of node 1: 16384 MiB (4640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305717-1534076291/watcher-4305717-1534076291 -o /tmp/evaluation-result-4305717-1534076291/solver-4305717-1534076291 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305717-1534076291.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24447, runsolver pid=24444
[startup+0.100159 s]*
/proc/loadavg: 4.80 4.21 3.25 3/225 24464
/proc/meminfo: memFree=12242668/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225192280 115843072 349 33554432000 4194304 5098028 140726980731792 140726980729048 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 349 296 221 0 87 0
[pid=24450] ppid=24447 vsize=15012476 memory=73220 CPUtime=0.12 cores=0,2,4,6
/proc/24450/stat : 24450 (java) S 24447 24447 19383 0 -1 1077944320 6924 0 0 0 10 2 0 0 20 0 15 0 225192280 15372775424 18305 33554432000 4194304 4196468 140730172234032 140730172216576 140186987679479 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
/proc/24450/statm: 3753119 18305 2769 1 0 3715579 0
[pid=24450/tid=24451] ppid=24447 vsize=15012476 memory=-6150928374978363329 CPUtime=0.09 cores=0,2,4,6
/proc/24450/task/24451/stat : 24451 (java) R 24447 24447 19383 0 -1 4202560 5044 0 0 0 8 1 0 0 20 0 15 0 225192280 15372775424 18305 33554432000 4194304 4196468 140730172234032 140186959491464 140186967955200 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24452] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24452/stat : 24452 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186991922064 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24453] ppid=24447 vsize=15012476 memory=140395410577024 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24453/stat : 24453 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186806078224 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24454] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24454/stat : 24454 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186805025936 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24455] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24455/stat : 24455 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186803973136 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24456] ppid=24447 vsize=15012476 memory=140395410577024 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24456/stat : 24456 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192283 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186025355376 140186987690626 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24457] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24457/stat : 24457 (java) S 24447 24447 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225192284 15372775424 18371 33554432000 4194304 4196468 140730172234032 140185517941536 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24458] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24458/stat : 24458 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192284 15372775424 18371 33554432000 4194304 4196468 140730172234032 140185249506416 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24459] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24459/stat : 24459 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192286 15372775424 18371 33554432000 4194304 4196468 140730172234032 140184874997840 140186987698075 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24460] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24460/stat : 24460 (java) S 24447 24447 19383 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186024303216 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24461] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24461/stat : 24461 (java) S 24447 24447 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186023250416 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24462] ppid=24447 vsize=15012476 memory=140395410577024 CPUtime=0.01 cores=0,2,4,6
/proc/24450/task/24462/stat : 24462 (java) S 24447 24447 19383 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 225192287 15372775424 18371 33554432000 4194304 4196468 140730172234032 140186022198128 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24463] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24463/stat : 24463 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 18437 33554432000 4194304 4196468 140730172234032 140184377093088 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24464] ppid=24447 vsize=15012476 memory=140395410577024 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24464/stat : 24464 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 18437 33554432000 4194304 4196468 140730172234032 140186021145008 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74616 KiB
[startup+0.211108 s]*
/proc/loadavg: 4.80 4.21 3.25 3/225 24464
/proc/meminfo: memFree=12229336/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225192280 115843072 349 33554432000 4194304 5098028 140726980731792 140726980729048 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 349 296 221 0 87 0
[pid=24450] ppid=24447 vsize=15012476 memory=86040 CPUtime=0.26 cores=0,2,4,6
/proc/24450/stat : 24450 (java) S 24447 24447 19383 0 -1 1077944320 10366 0 0 0 23 3 0 0 20 0 15 0 225192280 15372775424 21510 33554432000 4194304 4196468 140730172234032 140730172216576 140186987679479 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
/proc/24450/statm: 3753119 21510 2874 1 0 3715579 0
[pid=24450/tid=24451] ppid=24447 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/24450/task/24451/stat : 24451 (java) R 24447 24447 19383 0 -1 4202560 8276 0 0 0 18 2 0 0 20 0 15 0 225192280 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186959505872 140186475565376 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24452] ppid=24447 vsize=15012476 memory=550 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24452/stat : 24452 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186991922064 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24453] ppid=24447 vsize=15012476 memory=140395410596891 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24453/stat : 24453 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186806078224 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24454] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24454/stat : 24454 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186805025936 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24455] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24455/stat : 24455 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186803973136 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24456] ppid=24447 vsize=15012476 memory=140395410577024 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24456/stat : 24456 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192283 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186025355376 140186987690626 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24457] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24457/stat : 24457 (java) S 24447 24447 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225192284 15372775424 21510 33554432000 4194304 4196468 140730172234032 140185517941536 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24458] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24458/stat : 24458 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192284 15372775424 21510 33554432000 4194304 4196468 140730172234032 140185249506416 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24459] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24459/stat : 24459 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192286 15372775424 21510 33554432000 4194304 4196468 140730172234032 140184874997840 140186987698075 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24460] ppid=24447 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24450/task/24460/stat : 24460 (java) R 24447 24447 19383 0 -1 4202560 449 0 0 0 1 0 0 0 20 0 15 0 225192287 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186024303216 140186971134600 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24461] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24461/stat : 24461 (java) S 24447 24447 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186023250416 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24462] ppid=24447 vsize=15012476 memory=140395410577024 CPUtime=0.03 cores=0,2,4,6
/proc/24450/task/24462/stat : 24462 (java) R 24447 24447 19383 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 225192287 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186022198128 140186987690626 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24463] ppid=24447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24463/stat : 24463 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 21510 33554432000 4194304 4196468 140730172234032 140184377093088 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24464] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24464/stat : 24464 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 21510 33554432000 4194304 4196468 140730172234032 140186021145008 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87436 KiB
[startup+0.311058 s]*
/proc/loadavg: 4.80 4.21 3.25 3/225 24464
/proc/meminfo: memFree=12225800/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225192280 115843072 349 33554432000 4194304 5098028 140726980731792 140726980729048 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 349 296 221 0 87 0
[pid=24450] ppid=24447 vsize=15012476 memory=89560 CPUtime=0.43 cores=0,2,4,6
/proc/24450/stat : 24450 (java) S 24447 24447 19383 0 -1 1077944320 10901 0 0 0 40 3 0 0 20 0 15 0 225192280 15372775424 22390 33554432000 4194304 4196468 140730172234032 140730172216576 140186987679479 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
/proc/24450/statm: 3753119 22390 2978 1 0 3715579 0
[pid=24450/tid=24451] ppid=24447 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24450/task/24451/stat : 24451 (java) R 24447 24447 19383 0 -1 4202560 8653 0 0 0 27 2 0 0 20 0 15 0 225192280 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186959507680 140186969243008 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24452] ppid=24447 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24452/stat : 24452 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186991922064 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24453] ppid=24447 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24453/stat : 24453 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186806078224 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24454] ppid=24447 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24454/stat : 24454 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186805025936 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24455] ppid=24447 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24455/stat : 24455 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186803973136 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24456] ppid=24447 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24456/stat : 24456 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192283 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186025355376 140186987690626 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24457] ppid=24447 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24457/stat : 24457 (java) S 24447 24447 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225192284 15372775424 22390 33554432000 4194304 4196468 140730172234032 140185517941536 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24458] ppid=24447 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24458/stat : 24458 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192284 15372775424 22390 33554432000 4194304 4196468 140730172234032 140185249506416 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24459] ppid=24447 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24459/stat : 24459 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192286 15372775424 22390 33554432000 4194304 4196468 140730172234032 140184874997840 140186987698075 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24460] ppid=24447 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24450/task/24460/stat : 24460 (java) S 24447 24447 19383 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 15 0 225192287 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186024303216 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24461] ppid=24447 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24450/task/24461/stat : 24461 (java) R 24447 24447 19383 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 225192287 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186023250416 140186979968928 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24462] ppid=24447 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24450/task/24462/stat : 24462 (java) S 24447 24447 19383 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 225192287 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186022198128 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24463] ppid=24447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24463/stat : 24463 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 22390 33554432000 4194304 4196468 140730172234032 140184377093088 140186987689685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24464] ppid=24447 vsize=15012476 memory=4121417289171017777 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24464/stat : 24464 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192287 15372775424 22390 33554432000 4194304 4196468 140730172234032 140186021145008 140186987690626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90956 KiB
[startup+0.701199 s]
/proc/loadavg: 4.80 4.21 3.25 3/225 24464
/proc/meminfo: memFree=12201492/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225192280 115843072 349 33554432000 4194304 5098028 140726980731792 140726980729048 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 349 296 221 0 87 0
[pid=24450] ppid=24447 vsize=15018748 memory=130568 CPUtime=1.01 cores=0,2,4,6
/proc/24450/stat : 24450 (java) S 24447 24447 19383 0 -1 1077944320 17745 0 0 0 96 5 0 0 20 0 15 0 225192280 15379197952 32642 33554432000 4194304 4196468 140730172234032 140730172216576 140186987679479 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
/proc/24450/statm: 3754687 32642 3123 1 0 3716091 0
[pid=24450/tid=24451] ppid=24447 vsize=15018748 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/24450/task/24451/stat : 24451 (java) R 24447 24447 19383 0 -1 4202560 15128 0 0 0 63 4 0 0 20 0 15 0 225192280 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186959513520 140186987701405 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24452] ppid=24447 vsize=15018748 memory=288230377057958153 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24452/stat : 24452 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192282 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186991922064 140186987689685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24453] ppid=24447 vsize=15018748 memory=14975555351106623 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24453/stat : 24453 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186806078224 140186987689685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24454] ppid=24447 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24454/stat : 24454 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186805025936 140186987689685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24455] ppid=24447 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24455/stat : 24455 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225192282 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186803973136 140186987689685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24456] ppid=24447 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24456/stat : 24456 (java) S 24447 24447 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225192283 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186025355376 140186987690626 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24457] ppid=24447 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24457/stat : 24457 (java) S 24447 24447 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225192284 15379197952 32642 33554432000 4194304 4196468 140730172234032 140185517941536 140186987689685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24458] ppid=24447 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24458/stat : 24458 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192284 15379197952 32642 33554432000 4194304 4196468 140730172234032 140185249506416 140186987689685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24459] ppid=24447 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24459/stat : 24459 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192286 15379197952 32642 33554432000 4194304 4196468 140730172234032 140184874997840 140186987698075 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24460] ppid=24447 vsize=15018748 memory=280790600515824 CPUtime=0.11 cores=0,2,4,6
/proc/24450/task/24460/stat : 24460 (java) R 24447 24447 19383 0 -1 4202560 776 0 0 0 11 0 0 0 20 0 15 0 225192287 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186024284512 140186979968768 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24461] ppid=24447 vsize=15018748 memory=6942133144549615185 CPUtime=0.05 cores=0,2,4,6
/proc/24450/task/24461/stat : 24461 (java) S 24447 24447 19383 0 -1 1077944384 101 0 0 0 5 0 0 0 20 0 15 0 225192287 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186023250416 140186987690626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24462] ppid=24447 vsize=15018748 memory=7883944108235712103 CPUtime=0.15 cores=0,2,4,6
/proc/24450/task/24462/stat : 24462 (java) S 24447 24447 19383 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 225192287 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186022198128 140186987690626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24463] ppid=24447 vsize=15018748 memory=7649399367118631986 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24463/stat : 24463 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225192287 15379197952 32642 33554432000 4194304 4196468 140730172234032 140184377093088 140186987689685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
[pid=24450/tid=24464] ppid=24447 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24450/task/24464/stat : 24464 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225192287 15379197952 32642 33554432000 4194304 4196468 140730172234032 140186021145008 140186987690626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26456064 140730172240903 140730172241201 140730172241201 140730172243919 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131964 KiB
[startup+1.50702 s]
/proc/loadavg: 4.80 4.21 3.25 5/225 24464
/proc/meminfo: memFree=12076444/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225192280 115843072 349 33554432000 4194304 5098028 140726980731792 140726980729048 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/24476/task/24492/stat : 24492 (java) S 24447 24447 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447147927232 140448049057561 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24494] ppid=24447 vsize=8068220 memory=12144 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24494/stat : 24494 (java) S 24447 24447 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445296340752 140448049054877 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24495] ppid=24447 vsize=8068220 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24495/stat : 24495 (java) S 24447 24447 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445430562448 140448049054877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24496] ppid=24447 vsize=8068220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24496/stat : 24496 (java) S 24447 24447 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225209607 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445027916960 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
Current children cumulated CPU time: 283.51 s
Current children cumulated vsize: 8425120 KiB
Current children cumulated memory: 308740 KiB
[startup+228.001 s]*
/proc/loadavg: 2.11 3.10 3.01 3/232 24497
/proc/meminfo: memFree=11962728/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1472 CPUtime=228.39 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 592 97521 0 0 0 0 22294 545 20 0 1 0 225192280 115843072 368 33554432000 4194304 5098028 140726980731792 140726980728536 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 368 311 221 0 87 0
[pid=24476] ppid=24447 vsize=8068220 memory=116824 CPUtime=1.18 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24447 24447 19383 0 -1 1077944320 17949 0 0 0 110 8 0 0 20 0 19 0 225209532 8261857280 29206 33554432000 4194304 4196468 140733094635888 140733094618432 140448049032951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
/proc/24476/statm: 2017055 29206 3152 1 0 1978454 0
[pid=24491] ppid=24476 vsize=243772 memory=190444 CPUtime=54.75 cores=0,2,4,6
/proc/24491/stat : 24491 (minisat_release) R 24476 24447 19383 0 -1 4202496 198930 0 0 0 5456 19 0 0 20 0 1 0 225209604 249622528 47611 33554432000 4194304 4308513 140721863040192 140721863037816 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 9752576 140721863046260 140721863046358 140721863046358 140721863049157 0
/proc/24491/statm: 60943 47611 342 28 0 57183 0
[pid=24476/tid=24477] ppid=24447 vsize=8068220 memory=-7824251494390650471 CPUtime=0.74 cores=0,2,4,6
/proc/24476/task/24477/stat : 24477 (java) S 24447 24447 19383 0 -1 1077944384 15043 0 0 0 69 5 0 0 20 0 19 0 225209532 8261857280 29206 33554432000 4194304 4196468 140733094635888 140448020873104 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24478] ppid=24447 vsize=8068220 memory=190444 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24478/stat : 24478 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140448053275280 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24479] ppid=24447 vsize=8068220 memory=-7824251494390650471 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24479/stat : 24479 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447853443600 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24480] ppid=24447 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24480/stat : 24480 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447852390800 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24481] ppid=24447 vsize=8068220 memory=116824 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24481/stat : 24481 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447851338000 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24482] ppid=24447 vsize=8068220 memory=190444 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24482/stat : 24482 (java) S 24447 24447 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225209535 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447159614320 140448049044098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24483] ppid=24447 vsize=8068220 memory=-7824251494390650471 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24483/stat : 24483 (java) S 24447 24447 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225209535 8261857280 29206 33554432000 4194304 4196468 140733094635888 140446974076448 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24484] ppid=24447 vsize=8068220 memory=7518876600292501101 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24484/stat : 24484 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225209536 8261857280 29206 33554432000 4194304 4196468 140733094635888 140446705640816 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24485] ppid=24447 vsize=8068220 memory=7450766214309691502 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24485/stat : 24485 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140446331132240 140448049051547 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24486] ppid=24447 vsize=8068220 memory=-7824251494390650471 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24486/stat : 24486 (java) S 24447 24447 19383 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447158561136 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24487] ppid=24447 vsize=8068220 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24487/stat : 24487 (java) S 24447 24447 19383 0 -1 1077944384 224 0 0 0 8 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447157508336 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24488] ppid=24447 vsize=8068220 memory=644 CPUtime=0.19 cores=0,2,4,6
/proc/24476/task/24488/stat : 24488 (java) S 24447 24447 19383 0 -1 1077944384 528 0 0 0 19 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447156455536 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24489] ppid=24447 vsize=8068220 memory=952 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24489/stat : 24489 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225209539 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445833226464 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24490] ppid=24447 vsize=8068220 memory=2416 CPUtime=0.04 cores=0,2,4,6
/proc/24476/task/24490/stat : 24490 (java) S 24447 24447 19383 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 225209539 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447155403952 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24492] ppid=24447 vsize=8068220 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24492/stat : 24492 (java) S 24447 24447 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447147927232 140448049057561 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24494] ppid=24447 vsize=8068220 memory=3047711553219693942 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24494/stat : 24494 (java) S 24447 24447 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445296340752 140448049054877 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24495] ppid=24447 vsize=8068220 memory=4629546024076873078 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24495/stat : 24495 (java) S 24447 24447 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445430562448 140448049054877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24496] ppid=24447 vsize=8068220 memory=-7666414585839465563 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24496/stat : 24496 (java) S 24447 24447 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225209607 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445027916960 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
Current children cumulated CPU time: 284.32 s
Current children cumulated vsize: 8425120 KiB
Current children cumulated memory: 308740 KiB
[startup+228.801 s]
/proc/loadavg: 2.11 3.10 3.01 3/232 24497
/proc/meminfo: memFree=11962728/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1472 CPUtime=228.39 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 592 97521 0 0 0 0 22294 545 20 0 1 0 225192280 115843072 368 33554432000 4194304 5098028 140726980731792 140726980728536 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 368 311 221 0 87 0
[pid=24476] ppid=24447 vsize=8068220 memory=116824 CPUtime=1.18 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24447 24447 19383 0 -1 1077944320 17949 0 0 0 110 8 0 0 20 0 19 0 225209532 8261857280 29206 33554432000 4194304 4196468 140733094635888 140733094618432 140448049032951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
/proc/24476/statm: 2017055 29206 3152 1 0 1978454 0
[pid=24491] ppid=24476 vsize=243772 memory=190444 CPUtime=55.54 cores=0,2,4,6
/proc/24491/stat : 24491 (minisat_release) R 24476 24447 19383 0 -1 4202496 198992 0 0 0 5535 19 0 0 20 0 1 0 225209604 249622528 47611 33554432000 4194304 4308513 140721863040192 140721863037816 4251090 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 9752576 140721863046260 140721863046358 140721863046358 140721863049157 0
/proc/24491/statm: 60943 47611 342 28 0 57183 0
[pid=24476/tid=24477] ppid=24447 vsize=8068220 memory=-7824251494390650471 CPUtime=0.74 cores=0,2,4,6
/proc/24476/task/24477/stat : 24477 (java) S 24447 24447 19383 0 -1 1077944384 15043 0 0 0 69 5 0 0 20 0 19 0 225209532 8261857280 29206 33554432000 4194304 4196468 140733094635888 140448020873104 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24478] ppid=24447 vsize=8068220 memory=116824 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24478/stat : 24478 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140448053275280 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24479] ppid=24447 vsize=8068220 memory=190444 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24479/stat : 24479 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447853443600 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24480] ppid=24447 vsize=8068220 memory=188396 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24480/stat : 24480 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447852390800 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24481] ppid=24447 vsize=8068220 memory=35028 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24481/stat : 24481 (java) S 24447 24447 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225209534 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447851338000 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24482] ppid=24447 vsize=8068220 memory=18220 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24482/stat : 24482 (java) S 24447 24447 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225209535 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447159614320 140448049044098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24483] ppid=24447 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24483/stat : 24483 (java) S 24447 24447 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225209535 8261857280 29206 33554432000 4194304 4196468 140733094635888 140446974076448 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24484] ppid=24447 vsize=8068220 memory=116824 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24484/stat : 24484 (java) S 24447 24447 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225209536 8261857280 29206 33554432000 4194304 4196468 140733094635888 140446705640816 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24485] ppid=24447 vsize=8068220 memory=190444 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24485/stat : 24485 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140446331132240 140448049051547 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24486] ppid=24447 vsize=8068220 memory=1444 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24486/stat : 24486 (java) S 24447 24447 19383 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447158561136 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24487] ppid=24447 vsize=8068220 memory=1160 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24487/stat : 24487 (java) S 24447 24447 19383 0 -1 1077944384 224 0 0 0 8 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447157508336 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24488] ppid=24447 vsize=8068220 memory=968 CPUtime=0.19 cores=0,2,4,6
/proc/24476/task/24488/stat : 24488 (java) S 24447 24447 19383 0 -1 1077944384 528 0 0 0 19 0 0 0 20 0 19 0 225209538 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447156455536 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24489] ppid=24447 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24489/stat : 24489 (java) S 24447 24447 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225209539 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445833226464 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24490] ppid=24447 vsize=8068220 memory=116824 CPUtime=0.04 cores=0,2,4,6
/proc/24476/task/24490/stat : 24490 (java) S 24447 24447 19383 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 225209539 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447155403952 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24492] ppid=24447 vsize=8068220 memory=190444 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24492/stat : 24492 (java) S 24447 24447 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140447147927232 140448049057561 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24494] ppid=24447 vsize=8068220 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24494/stat : 24494 (java) S 24447 24447 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445296340752 140448049054877 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24495] ppid=24447 vsize=8068220 memory=116824 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24495/stat : 24495 (java) S 24447 24447 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225209605 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445430562448 140448049054877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24496] ppid=24447 vsize=8068220 memory=188396 CPUtime=0 cores=0,2,4,6
/proc/24476/task/24496/stat : 24496 (java) S 24447 24447 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225209607 8261857280 29206 33554432000 4194304 4196468 140733094635888 140445027916960 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
Current children cumulated CPU time: 285.11 s
Current children cumulated vsize: 8425120 KiB
Current children cumulated memory: 308740 KiB
[startup+229.001 s]*
/proc/loadavg: 2.11 3.10 3.01 4/229 24497
/proc/meminfo: memFree=12111208/32770624 swapFree=67108860/67108860
[pid=24447] ppid=24444 vsize=113128 memory=1472 CPUtime=228.39 cores=0,2,4,6
/proc/24447/stat : 24447 (scop.sh) S 24444 24447 19383 0 -1 4202496 592 97521 0 0 0 0 22294 545 20 0 1 0 225192280 115843072 368 33554432000 4194304 5098028 140726980731792 140726980728536 140314506412668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38617088 140726980740161 140726980740359 140726980740359 140726980743117 0
/proc/24447/statm: 28282 368 311 221 0 87 0
[pid=24476] ppid=24447 vsize=7937144 memory=160844 CPUtime=57.19 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24447 24447 19383 0 -1 1077944320 19253 199290 0 0 149 10 5540 20 20 0 17 0 225209532 8127635456 40211 33554432000 4194304 4196468 140733094635888 140733094618432 140448049032951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
/proc/24476/statm: 1984286 40211 3172 1 0 1945685 0
[pid=24476/tid=24477] ppid=24447 vsize=7937144 memory=6791534058613427641 CPUtime=56.4 cores=0,2,4,6
/proc/24476/task/24477/stat : 24477 (java) R 24447 24447 19383 0 -1 4202560 15254 199290 0 0 75 5 5540 20 20 0 17 0 225209532 8127635456 40211 33554432000 4194304 4196468 140733094635888 140448020857264 140447527868335 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24478] ppid=24447 vsize=7937144 memory=-8634980985311628903 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24478/stat : 24478 (java) S 24447 24447 19383 0 -1 1077944384 2 199290 0 0 0 0 5540 20 20 0 17 0 225209534 8127635456 40211 33554432000 4194304 4196468 140733094635888 140448053275280 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24479] ppid=24447 vsize=7937144 memory=7897517683652307531 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24479/stat : 24479 (java) S 24447 24447 19383 0 -1 1077944384 2 199290 0 0 0 0 5540 20 20 0 17 0 225209534 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447853443600 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24480] ppid=24447 vsize=7937144 memory=8514726395715349656 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24480/stat : 24480 (java) S 24447 24447 19383 0 -1 1077944384 1 199290 0 0 0 0 5540 20 20 0 17 0 225209534 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447852390800 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24481] ppid=24447 vsize=7937144 memory=3047711553320166262 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24481/stat : 24481 (java) S 24447 24447 19383 0 -1 1077944384 2 199290 0 0 0 0 5540 20 20 0 17 0 225209534 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447851338000 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24482] ppid=24447 vsize=7937144 memory=8514701219730523551 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24482/stat : 24482 (java) S 24447 24447 19383 0 -1 1077944384 5 199290 0 0 0 0 5540 20 20 0 17 0 225209535 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447159614320 140448049044098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24483] ppid=24447 vsize=7937144 memory=7522257542392867941 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24483/stat : 24483 (java) S 24447 24447 19383 0 -1 1077944384 13 199290 0 0 0 0 5540 20 20 0 17 0 225209535 8127635456 40211 33554432000 4194304 4196468 140733094635888 140446974076448 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24484] ppid=24447 vsize=7937144 memory=7885630772561666387 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24484/stat : 24484 (java) S 24447 24447 19383 0 -1 1077944384 1 199290 0 0 0 0 5540 20 20 0 17 0 225209536 8127635456 40211 33554432000 4194304 4196468 140733094635888 140446705640816 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24485] ppid=24447 vsize=7937144 memory=7233154081415390826 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24485/stat : 24485 (java) S 24447 24447 19383 0 -1 1077944384 3 199290 0 0 0 0 5540 20 20 0 17 0 225209538 8127635456 40211 33554432000 4194304 4196468 140733094635888 140446331132240 140448049051547 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24486] ppid=24447 vsize=7937144 memory=7524503900901105746 CPUtime=55.77 cores=0,2,4,6
/proc/24476/task/24486/stat : 24486 (java) R 24447 24447 19383 0 -1 1077944384 772 199290 0 0 17 0 5540 20 20 0 17 0 225209538 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447158561136 140448049044098 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24487] ppid=24447 vsize=7937144 memory=7235710566141946944 CPUtime=55.75 cores=0,2,4,6
/proc/24476/task/24487/stat : 24487 (java) R 24447 24447 19383 0 -1 4202560 639 199290 0 0 15 0 5540 20 20 0 17 0 225209538 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447157498192 140448032936259 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24488] ppid=24447 vsize=7937144 memory=7518876600292501101 CPUtime=55.85 cores=0,2,4,6
/proc/24476/task/24488/stat : 24488 (java) R 24447 24447 19383 0 -1 4202560 1099 199290 0 0 25 0 5540 20 20 0 17 0 225209538 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447156455536 140448042017993 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24489] ppid=24447 vsize=7937144 memory=7450766214309691502 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24489/stat : 24489 (java) S 24447 24447 19383 0 -1 1077944384 3 199290 0 0 0 0 5540 20 20 0 17 0 225209539 8127635456 40211 33554432000 4194304 4196468 140733094635888 140445833226464 140448049043157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24490] ppid=24447 vsize=7937144 memory=7596282180397983848 CPUtime=55.64 cores=0,2,4,6
/proc/24476/task/24490/stat : 24490 (java) S 24447 24447 19383 0 -1 1077944384 5 199290 0 0 2 2 5540 20 20 0 17 0 225209539 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447155403952 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24492] ppid=24447 vsize=7937144 memory=6226067512689060455 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24492/stat : 24492 (java) S 24447 24447 19383 0 -1 1077944384 24 199290 0 0 0 0 5540 20 20 0 17 0 225209605 8127635456 40211 33554432000 4194304 4196468 140733094635888 140447147926416 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
[pid=24476/tid=24496] ppid=24447 vsize=7937144 memory=7811021216397093730 CPUtime=55.6 cores=0,2,4,6
/proc/24476/task/24496/stat : 24496 (java) S 24447 24447 19383 0 -1 1077944384 10 199290 0 0 0 0 5540 20 20 0 17 0 225209607 8127635456 40211 33554432000 4194304 4196468 140733094635888 140445027918768 140448049044098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26284032 140733094642869 140733094642993 140733094642993 140733094645711 0
Current children cumulated CPU time: 285.58 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 162316 KiB
Child status: 0
Real time (s): 229.031
CPU time (s): 285.641
CPU user time (s): 279.859
CPU system time (s): 5.78258
CPU usage (%): 124.717
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 7888704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 279.859
system time used= 5.78258
maximum resident set size= 7888252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 89448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12427
involuntary context switches= 954
# summary of solver processes directly reported to runsolver:
# pid: 24447
# total CPU time (s): 285.641
# total CPU user time (s): 279.859
# total CPU system time (s): 5.78258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61755 second user time and 2.38739 second system time
The end