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-30999-serial-file.bin HOME/instance-4305626-1534134766.xml
0.67/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Aug 13 06:32:46 CEST 2018
0.67/0.55 c PID: 31002
0.67/0.55 c IP: 172.20.3.139
0.67/0.55 c HOST: node139.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.20/1.61 c (1,1) Parsing End
3.20/1.63 c (1,1) CSP: 705 int (0 aux), 0 bool (0 aux), 286 ctr, max domain size 225
3.20/1.63 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.20/1.63 c (1,1) Constraint Name Generate Begin
3.20/1.64 c (1,1) Ctr:HOME/instance-4305626-1534134766.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
3.20/1.64 c (1,1) Constraint Name Generate End
3.20/1.64 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.20/1.64 c (1,1) CSP to CSPinCNF Begin
39.84/25.91 c (25,24) translated 29 (10%) constraints
65.93/49.48 c (48,47) translated 58 (20%) constraints
91.66/72.35 c (71,69) translated 86 (30%) constraints
116.76/95.71 c (95,92) translated 115 (40%) constraints
140.21/118.08 c (117,114) translated 143 (50%) constraints
164.54/141.24 c (140,137) translated 172 (60%) constraints
188.80/164.37 c (163,159) translated 201 (70%) constraints
210.85/185.16 c (184,180) translated 229 (80%) constraints
210.85/185.16 c (184,180) translated 258 (90%) constraints
210.85/185.16 c (184,180) translated 286 (100%) constraints
218.39/190.66 c (190,185) STATISTICS1:HOME/instance-4305626-1534134766.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,303105,1948787,225,225,226,2,225:25200,225:151650;22:2330160;2:3321225;1:166500,226:225;225:2;5:35100;4:814725;3:286650;2:812025;1:60,2:25200;1:5919195;0:225,
218.39/190.66 c (190,185) ==========================================
218.39/190.66 c (190,185) Both Encoding selects:
218.39/190.66 c (190,185) Order
218.39/190.66 c (190,185) ==========================================
223.47/193.94 c (193,188) translated 194879 (10%) constraints
226.29/196.70 c (196,191) translated 389758 (20%) constraints
229.00/199.45 c (198,194) translated 584637 (30%) constraints
232.87/202.50 c (201,197) translated 779515 (40%) constraints
235.67/205.29 c (204,199) translated 974394 (50%) constraints
238.58/208.15 c (207,202) translated 1169273 (60%) constraints
243.18/211.48 c (210,205) translated 1364151 (70%) constraints
246.08/214.36 c (213,208) translated 1559030 (80%) constraints
248.99/217.23 c (216,211) translated 1753909 (90%) constraints
253.67/220.58 c (220,214) translated 1948787 (100%) constraints
253.67/220.59 c (220,214) CSP to CSPinCNF End
254.08/220.71 c (220,214) CSP: 705 int (0 aux), 302400 bool (302400 aux), 1948847 ctr, max domain size 225
254.08/220.71 c (220,214) Heap : 2932 MiB used (max 10885 MiB), NonHeap : 31 MiB used (max 0 MiB)
254.08/220.71 c (220,214) CSPinCNF Propagation Begin
327.35/284.00 c (283,274) 59953 values, 313119 unsatisfiable literals, and 347199 valid clauses are removed
327.35/284.00 c (283,274) CSPinCNF Propagation End
327.56/284.13 c (283,274) CSP: 50986 int (50281 aux), 252119 bool (252119 aux), 1601648 ctr, max domain size 225
327.56/284.13 c (283,274) Heap : 4051 MiB used (max 10896 MiB), NonHeap : 31 MiB used (max 0 MiB)
327.56/284.13 c (283,274) Simplify CSPinCNF Begin
331.62/287.47 c (286,278) Simplify CSPinCNF End
331.82/287.61 c (287,278) CSP: 50986 int (50281 aux), 302519 bool (302519 aux), 1652048 ctr, max domain size 225
331.82/287.61 c (287,278) Heap : 5752 MiB used (max 10896 MiB), NonHeap : 31 MiB used (max 0 MiB)
331.82/287.61 c (287,278) Calculate Precise Domain Begin
331.82/287.61 c (287,278) 0 values are removed by re-calculation
331.82/287.61 c (287,278) Calculate Precise Domain End
331.92/287.75 c (287,278) CSP: 50986 int (50281 aux), 302519 bool (302519 aux), 1652048 ctr, max domain size 225
331.92/287.75 c (287,278) Heap : 5752 MiB used (max 10896 MiB), NonHeap : 31 MiB used (max 0 MiB)
331.92/287.75 c (287,278) CSPinCNF to SatSolver Begin
357.96/309.26 c (308,297) 165205 (10 %) CSP clauses are encoded (352067 SAT variables, 7691795 SAT clauses)
358.92/310.17 c (309,298) 330410 (20 %) CSP clauses are encoded (352067 SAT variables, 7857000 SAT clauses)
359.82/311.08 c (310,299) 495615 (30 %) CSP clauses are encoded (352067 SAT variables, 8022205 SAT clauses)
360.71/311.99 c (311,300) 660820 (40 %) CSP clauses are encoded (352067 SAT variables, 8187410 SAT clauses)
361.75/312.93 c (312,301) 826024 (50 %) CSP clauses are encoded (352067 SAT variables, 8352614 SAT clauses)
362.65/313.88 c (313,302) 991229 (60 %) CSP clauses are encoded (352067 SAT variables, 8517819 SAT clauses)
363.65/314.81 c (314,303) 1156434 (70 %) CSP clauses are encoded (352067 SAT variables, 8683024 SAT clauses)
364.55/315.74 c (315,304) 1321639 (80 %) CSP clauses are encoded (352067 SAT variables, 8848229 SAT clauses)
365.49/316.68 c (316,305) 1486844 (90 %) CSP clauses are encoded (352067 SAT variables, 9013434 SAT clauses)
366.50/317.60 c (317,306) 1652048 (100 %) CSP clauses are encoded (352067 SAT variables, 9178638 SAT clauses)
366.50/317.60 c (317,306) Launch Command will be: minisat_release
366.50/317.60 c (317,306) CSPinCNF to SatSolver End
366.50/317.60 c (317,306) Heap : 5091 MiB used (max 10850 MiB), NonHeap : 31 MiB used (max 0 MiB)
371.49/321.90 c (321,310) STATISTICS2:HOME/instance-4305626-1534134766.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,353505,1652048,225,225,225,2,225:28392;56:20228;4:1780,225:151762;56:29068;22:2029302;4:1820;2:2807494,225:170;169:1;56:52;5:26897;4:654855;3:233664;2:736409,2:50400;1:4918646,
371.49/321.90 c (321,310) 352067 bool, 9178639 clause
371.49/321.90 c (321,310) Export Begin
371.71/322.04 c (321,310) Export to HOME/scop-30999-serial-file.bin
371.71/322.04 c (321,310) Export End
371.71/322.04 c (321,310) Export File Size: 0.15 MB
371.71/322.04 c (321,310) 1,1,220,283,287,287,317,STOP-AFTER(DIMACS)
371.71/322.04 c END-Prog: Mon Aug 13 06:38:08 CEST 2018
371.71/322.09 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30999-serial-file.bin
371.85/322.59 c (0,0) Read Serial File Begin
371.85/322.59 c (0,0) HOME/scop-30999-serial-file.bin
371.85/322.81 c (0,0) Read Serial File End
371.85/322.82
371.85/322.82 scop order+minisat_release (2018-07-31)
371.85/322.82 (Solving Process)
371.85/322.82
371.85/322.85 c BEGIN-Prog: Mon Aug 13 06:38:09 CEST 2018
371.85/322.85 c PID: 31022
371.85/322.85 c IP: 172.20.3.139
371.85/322.85 c HOST: node139.alineos.net
371.85/322.85 c (0,0) SatSolver.solve Begin
371.85/322.85 c (0,0) 0 bool, 0 clause
371.85/322.85 c (0,0) minisat_release HOME/instance-4305626-1534134766.xml-scop-31002.cnf
2520.06/2468.20 c (2145,0) receiving signal SIGTERM
2520.06/2468.20 s UNKNOWN
2520.06/2468.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2468.21 c (scop.sh) Remove HOME/scop-30999-serial-file.bin.
2520.06/2468.21 c (scop.sh) Killing background jobs.
2520.06/2468.21 c (2145,0) receiving signal SIGTERM
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 (5934 MiB free)
memory of node 1: 16384 MiB (6835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305626-1534134766/watcher-4305626-1534134766 -o /tmp/evaluation-result-4305626-1534134766/solver-4305626-1534134766 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29820 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305626-1534134766.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30999, runsolver pid=30996
Current StackSize limit: 8192 KiB
[startup+0.101329 s]*
/proc/loadavg: 2.27 2.11 2.07 5/223 31016
/proc/meminfo: memFree=13015820/32770624 swapFree=67108860/67108860
[pid=30999] ppid=30996 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30999/stat : 30999 (scop.sh) S 30996 30999 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231039747 115843072 349 33554432000 4194304 5098028 140724812622384 140724812619640 139934876467836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31637504 140724812624961 140724812625159 140724812625159 140724812627917 0
/proc/30999/statm: 28282 349 296 221 0 87 0
[pid=31002] ppid=30999 vsize=15012476 memory=74288 CPUtime=0.11 cores=0,2,4,6
/proc/31002/stat : 31002 (java) S 30999 30999 29789 0 -1 1077944320 6149 0 0 0 9 2 0 0 20 0 15 0 231039747 15372775424 18506 33554432000 4194304 4196468 140727464033888 140727464016432 139747046366967 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
/proc/31002/statm: 3753119 18506 2761 1 0 3715579 0
[pid=31002/tid=31003] ppid=30999 vsize=15012476 memory=-6367101157092147139 CPUtime=0.08 cores=0,2,4,6
/proc/31002/task/31003/stat : 31003 (java) R 30999 30999 29789 0 -1 4202560 4252 0 0 0 7 1 0 0 20 0 15 0 231039747 15372775424 18572 33554432000 4194304 4196468 140727464033888 139747018178952 139747026642674 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31004] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31004/stat : 31004 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 18572 33554432000 4194304 4196468 140727464033888 139747050609552 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31005] ppid=30999 vsize=15012476 memory=140359995979392 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31005/stat : 31005 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 18572 33554432000 4194304 4196468 140727464033888 139746841692944 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31006] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31006/stat : 31006 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 18572 33554432000 4194304 4196468 140727464033888 139746840640656 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31007] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31007/stat : 31007 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 18572 33554432000 4194304 4196468 140727464033888 139746839587856 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31008] ppid=30999 vsize=15012476 memory=140359995979392 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31008/stat : 31008 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231039750 15372775424 18572 33554432000 4194304 4196468 140727464033888 139746385954928 139747046378114 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31009] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31009/stat : 31009 (java) S 30999 30999 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231039751 15372775424 18572 33554432000 4194304 4196468 140727464033888 139745686446880 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31010] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31010/stat : 31010 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039751 15372775424 18572 33554432000 4194304 4196468 140727464033888 139745418011760 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31011] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31011/stat : 31011 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 18572 33554432000 4194304 4196468 140727464033888 139745043503184 139747046385563 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31012] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31012/stat : 31012 (java) S 30999 30999 29789 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 18638 33554432000 4194304 4196468 140727464033888 139746384902768 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31013] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31013/stat : 31013 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 18638 33554432000 4194304 4196468 140727464033888 139746383849968 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31014] ppid=30999 vsize=15012476 memory=140359995979392 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31014/stat : 31014 (java) S 30999 30999 29789 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 18638 33554432000 4194304 4196468 140727464033888 139746382797680 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31015] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31015/stat : 31015 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 18638 33554432000 4194304 4196468 140727464033888 139744545598432 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31016] ppid=30999 vsize=15012476 memory=140359995979392 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31016/stat : 31016 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 18638 33554432000 4194304 4196468 140727464033888 139746381744560 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75684 KiB
[startup+0.210576 s]*
/proc/loadavg: 2.27 2.11 2.07 3/223 31016
/proc/meminfo: memFree=13001128/32770624 swapFree=67108860/67108860
[pid=30999] ppid=30996 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30999/stat : 30999 (scop.sh) S 30996 30999 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231039747 115843072 349 33554432000 4194304 5098028 140724812622384 140724812619640 139934876467836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31637504 140724812624961 140724812625159 140724812625159 140724812627917 0
/proc/30999/statm: 28282 349 296 221 0 87 0
[pid=31002] ppid=30999 vsize=15012476 memory=87320 CPUtime=0.25 cores=0,2,4,6
/proc/31002/stat : 31002 (java) S 30999 30999 29789 0 -1 1077944320 9729 0 0 0 22 3 0 0 20 0 15 0 231039747 15372775424 21830 33554432000 4194304 4196468 140727464033888 140727464016432 139747046366967 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
/proc/31002/statm: 3753119 21830 2897 1 0 3715579 0
[pid=31002/tid=31003] ppid=30999 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/31002/task/31003/stat : 31003 (java) R 30999 30999 29789 0 -1 4202560 7615 0 0 0 17 2 0 0 20 0 15 0 231039747 15372775424 21830 33554432000 4194304 4196468 140727464033888 139747018183024 139747030410597 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31004] ppid=30999 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31004/stat : 31004 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 21830 33554432000 4194304 4196468 140727464033888 139747050609552 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31005] ppid=30999 vsize=15012476 memory=4123246537645455008 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31005/stat : 31005 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746841692944 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31006] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31006/stat : 31006 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746840640656 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31007] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31007/stat : 31007 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746839587856 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31008] ppid=30999 vsize=15012476 memory=140359995979392 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31008/stat : 31008 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231039750 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746385954928 139747046378114 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31009] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31009/stat : 31009 (java) S 30999 30999 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231039751 15372775424 21830 33554432000 4194304 4196468 140727464033888 139745686446880 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31010] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31010/stat : 31010 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039751 15372775424 21830 33554432000 4194304 4196468 140727464033888 139745418011760 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31011] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31011/stat : 31011 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 21830 33554432000 4194304 4196468 140727464033888 139745043503184 139747046385563 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31012] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31012/stat : 31012 (java) S 30999 30999 29789 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746384902768 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31013] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31013/stat : 31013 (java) S 30999 30999 29789 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746383849968 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31014] ppid=30999 vsize=15012476 memory=140359995979392 CPUtime=0.03 cores=0,2,4,6
/proc/31002/task/31014/stat : 31014 (java) R 30999 30999 29789 0 -1 4202560 329 0 0 0 3 0 0 0 20 0 15 0 231039754 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746382797680 139747030447454 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31015] ppid=30999 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31015/stat : 31015 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 21830 33554432000 4194304 4196468 140727464033888 139744545598432 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31016] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31016/stat : 31016 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 21830 33554432000 4194304 4196468 140727464033888 139746381744560 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88716 KiB
[startup+0.310835 s]*
/proc/loadavg: 2.27 2.11 2.07 3/223 31016
/proc/meminfo: memFree=12997376/32770624 swapFree=67108860/67108860
[pid=30999] ppid=30996 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30999/stat : 30999 (scop.sh) S 30996 30999 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231039747 115843072 349 33554432000 4194304 5098028 140724812622384 140724812619640 139934876467836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31637504 140724812624961 140724812625159 140724812625159 140724812627917 0
/proc/30999/statm: 28282 349 296 221 0 87 0
[pid=31002] ppid=30999 vsize=15012476 memory=91524 CPUtime=0.42 cores=0,2,4,6
/proc/31002/stat : 31002 (java) S 30999 30999 29789 0 -1 1077944320 10350 0 0 0 39 3 0 0 20 0 15 0 231039747 15372775424 22881 33554432000 4194304 4196468 140727464033888 140727464016432 139747046366967 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
/proc/31002/statm: 3753119 22881 2981 1 0 3715579 0
[pid=31002/tid=31003] ppid=30999 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/31002/task/31003/stat : 31003 (java) R 30999 30999 29789 0 -1 4202560 8047 0 0 0 27 2 0 0 20 0 15 0 231039747 15372775424 22881 33554432000 4194304 4196468 140727464033888 139747018162416 139747030447454 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31004] ppid=30999 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31004/stat : 31004 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 22881 33554432000 4194304 4196468 140727464033888 139747050609552 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31005] ppid=30999 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31005/stat : 31005 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746841692944 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31006] ppid=30999 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31006/stat : 31006 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746840640656 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31007] ppid=30999 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31007/stat : 31007 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746839587856 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31008] ppid=30999 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31008/stat : 31008 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231039750 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746385954928 139747046378114 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31009] ppid=30999 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31009/stat : 31009 (java) S 30999 30999 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231039751 15372775424 22881 33554432000 4194304 4196468 140727464033888 139745686446880 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31010] ppid=30999 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31010/stat : 31010 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039751 15372775424 22881 33554432000 4194304 4196468 140727464033888 139745418011760 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31011] ppid=30999 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31011/stat : 31011 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 22881 33554432000 4194304 4196468 140727464033888 139745043503184 139747046385563 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31012] ppid=30999 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31002/task/31012/stat : 31012 (java) S 30999 30999 29789 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 231039754 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746384902768 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31013] ppid=30999 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31002/task/31013/stat : 31013 (java) S 30999 30999 29789 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 15 0 231039754 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746383849968 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31014] ppid=30999 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31002/task/31014/stat : 31014 (java) S 30999 30999 29789 0 -1 1077944384 372 0 0 0 7 0 0 0 20 0 15 0 231039754 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746382797680 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31015] ppid=30999 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31015/stat : 31015 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 22881 33554432000 4194304 4196468 140727464033888 139744545598432 139747046377173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31016] ppid=30999 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31016/stat : 31016 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039754 15372775424 22881 33554432000 4194304 4196468 140727464033888 139746381744560 139747046378114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 92920 KiB
[startup+0.70093 s]
/proc/loadavg: 2.27 2.11 2.07 4/223 31016
/proc/meminfo: memFree=12973068/32770624 swapFree=67108860/67108860
[pid=30999] ppid=30996 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30999/stat : 30999 (scop.sh) S 30996 30999 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231039747 115843072 349 33554432000 4194304 5098028 140724812622384 140724812619640 139934876467836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31637504 140724812624961 140724812625159 140724812625159 140724812627917 0
/proc/30999/statm: 28282 349 296 221 0 87 0
[pid=31002] ppid=30999 vsize=15018748 memory=133116 CPUtime=1.02 cores=0,2,4,6
/proc/31002/stat : 31002 (java) S 30999 30999 29789 0 -1 1077944320 17371 0 0 0 96 6 0 0 20 0 15 0 231039747 15379197952 33279 33554432000 4194304 4196468 140727464033888 140727464016432 139747046366967 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
/proc/31002/statm: 3754687 33279 3145 1 0 3716091 0
[pid=31002/tid=31003] ppid=30999 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/31002/task/31003/stat : 31003 (java) R 30999 30999 29789 0 -1 4202560 14512 0 0 0 62 5 0 0 20 0 15 0 231039747 15379197952 33279 33554432000 4194304 4196468 140727464033888 139747018203152 139747046388893 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31004] ppid=30999 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31004/stat : 31004 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231039749 15379197952 33279 33554432000 4194304 4196468 140727464033888 139747050609552 139747046377173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31005] ppid=30999 vsize=15018748 memory=62644 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31005/stat : 31005 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746841692944 139747046377173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31006] ppid=30999 vsize=15018748 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31006/stat : 31006 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746840640656 139747046377173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31007] ppid=30999 vsize=15018748 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31007/stat : 31007 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039749 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746839587856 139747046377173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31008] ppid=30999 vsize=15018748 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31008/stat : 31008 (java) S 30999 30999 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231039750 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746385954928 139747046378114 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31009] ppid=30999 vsize=15018748 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31009/stat : 31009 (java) S 30999 30999 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231039751 15379197952 33279 33554432000 4194304 4196468 140727464033888 139745686446880 139747046377173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31010] ppid=30999 vsize=15018748 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31010/stat : 31010 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039751 15379197952 33279 33554432000 4194304 4196468 140727464033888 139745418011760 139747046377173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31011] ppid=30999 vsize=15018748 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31011/stat : 31011 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15379197952 33279 33554432000 4194304 4196468 140727464033888 139745043503184 139747046385563 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31012] ppid=30999 vsize=15018748 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/31002/task/31012/stat : 31012 (java) R 30999 30999 29789 0 -1 4202560 527 0 0 0 7 0 0 0 20 0 15 0 231039754 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746384902768 139747027888223 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31013] ppid=30999 vsize=15018748 memory=10096 CPUtime=0.09 cores=0,2,4,6
/proc/31002/task/31013/stat : 31013 (java) R 30999 30999 29789 0 -1 1077944384 463 0 0 0 9 0 0 0 20 0 15 0 231039754 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746383849968 139747046378114 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31014] ppid=30999 vsize=15018748 memory=1228 CPUtime=0.16 cores=0,2,4,6
/proc/31002/task/31014/stat : 31014 (java) R 30999 30999 29789 0 -1 4202560 536 0 0 0 16 0 0 0 20 0 15 0 231039754 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746382797680 139747024954829 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31015] ppid=30999 vsize=15018748 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31015/stat : 31015 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231039754 15379197952 33279 33554432000 4194304 4196468 140727464033888 139744545598432 139747046377173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
[pid=31002/tid=31016] ppid=30999 vsize=15018748 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/31002/task/31016/stat : 31016 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231039754 15379197952 33279 33554432000 4194304 4196468 140727464033888 139746381744560 139747046378114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39477248 140727464039431 140727464039729 140727464039729 140727464042447 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 134512 KiB
[startup+1.5007 s]
/proc/loadavg: 2.27 2.11 2.07 5/223 31016
/proc/meminfo: memFree=12853180/32770624 swapFree=67108860/67108860
[pid=30999] ppid=30996 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30999/stat : 30999 (scop.sh) S 30996 30999 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231039747 115843072 349 33554432000 4194304 5098028 140724812622384 140724812619640 139934876467836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31637504 140724812624961 140724812625159 140724812625159 140724812627917 0
/proc/30999/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=31022/tid=31025] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31025/stat : 31025 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703213971728 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31026] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31026/stat : 31026 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703212919440 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31027] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31027/stat : 31027 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703211866640 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31028] ppid=30999 vsize=8068220 memory=6 CPUtime=0.06 cores=0,2,4,6
/proc/31022/task/31028/stat : 31028 (java) S 30999 30999 29789 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 231071959 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702788876912 139703409572482 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31029] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31029/stat : 31029 (java) S 30999 30999 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231071960 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702267012384 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31030] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31030/stat : 31030 (java) S 30999 30999 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231071960 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702132790896 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31031] ppid=30999 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31031/stat : 31031 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139701758286416 139703409579931 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31032] ppid=30999 vsize=8068220 memory=62712 CPUtime=0.18 cores=0,2,4,6
/proc/31022/task/31032/stat : 31032 (java) S 30999 30999 29789 0 -1 1077944384 1030 0 0 0 17 1 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702787823728 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31033] ppid=30999 vsize=8068220 memory=118848 CPUtime=0.15 cores=0,2,4,6
/proc/31022/task/31033/stat : 31033 (java) S 30999 30999 29789 0 -1 1077944384 352 0 0 0 15 0 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702786770928 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31034] ppid=30999 vsize=8068220 memory=911572 CPUtime=0.24 cores=0,2,4,6
/proc/31022/task/31034/stat : 31034 (java) S 30999 30999 29789 0 -1 1077944384 604 0 0 0 23 1 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702785718640 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31035] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31035/stat : 31035 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231071963 8261857280 29712 33554432000 4194304 4196468 140733481323168 139701260380640 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31036] ppid=30999 vsize=8068220 memory=1472 CPUtime=1.59 cores=0,2,4,6
/proc/31022/task/31036/stat : 31036 (java) S 30999 30999 29789 0 -1 1077944384 139 0 0 0 79 80 0 0 20 0 19 0 231071963 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702784666544 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31038] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31038/stat : 31038 (java) S 30999 30999 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231072034 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702776858048 139703409585945 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31040] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31040/stat : 31040 (java) S 30999 30999 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231072035 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700723494960 139703409583261 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31041] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31041/stat : 31041 (java) S 30999 30999 29789 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231072035 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700455062960 139703409583261 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31042] ppid=30999 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31042/stat : 31042 (java) S 30999 30999 29789 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 231072037 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700857723808 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
Current children cumulated CPU time: 2434.11 s
Current children cumulated vsize: 9346452 KiB
Current children cumulated memory: 1061936 KiB
[startup+2442.3 s]
/proc/loadavg: 2.13 2.07 2.08 3/228 31134
/proc/meminfo: memFree=11809432/32770624 swapFree=67108860/67108860
[pid=30999] ppid=30996 vsize=113128 memory=1472 CPUtime=371.85 cores=0,2,4,6
/proc/30999/stat : 30999 (scop.sh) S 30996 30999 29789 0 -1 4202496 591 126604 0 0 0 0 36604 581 20 0 1 0 231039747 115843072 368 33554432000 4194304 5098028 140724812622384 140724812619128 139934876467836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31637504 140724812624961 140724812625159 140724812625159 140724812627917 0
/proc/30999/statm: 28282 368 311 221 0 87 0
[pid=31022] ppid=30999 vsize=8068220 memory=118848 CPUtime=3.1 cores=0,2,4,6
/proc/31022/stat : 31022 (java) S 30999 30999 29789 0 -1 1077944320 18100 0 0 0 229 81 0 0 20 0 19 0 231071956 8261857280 29712 33554432000 4194304 4196468 140733481323168 140733481305712 139703409561335 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
/proc/31022/statm: 2017055 29712 3158 1 0 1978454 0
[pid=31037] ppid=31022 vsize=950180 memory=894816 CPUtime=2119.19 cores=0,2,4,6
/proc/31037/stat : 31037 (minisat_release) R 31022 30999 29789 0 -1 4202496 4945300 0 0 0 211480 439 0 0 20 0 1 0 231072034 972984320 223704 33554432000 4194304 4308513 140727262250896 140727262248344 4276859 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 28758016 140727262258292 140727262258390 140727262258390 140727262261189 0
/proc/31037/statm: 237545 223704 341 28 0 233785 0
[pid=31022/tid=31023] ppid=30999 vsize=8068220 memory=888672 CPUtime=0.79 cores=0,2,4,6
/proc/31022/task/31023/stat : 31023 (java) S 30999 30999 29789 0 -1 1077944384 14561 0 0 0 73 6 0 0 20 0 19 0 231071956 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703381401488 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31024] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31024/stat : 31024 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703413803408 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31025] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31025/stat : 31025 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703213971728 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31026] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31026/stat : 31026 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703212919440 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31027] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31027/stat : 31027 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703211866640 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31028] ppid=30999 vsize=8068220 memory=118848 CPUtime=0.06 cores=0,2,4,6
/proc/31022/task/31028/stat : 31028 (java) S 30999 30999 29789 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 231071959 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702788876912 139703409572482 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31029] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31029/stat : 31029 (java) S 30999 30999 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231071960 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702267012384 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31030] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31030/stat : 31030 (java) S 30999 30999 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231071960 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702132790896 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31031] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31031/stat : 31031 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139701758286416 139703409579931 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31032] ppid=30999 vsize=8068220 memory=890720 CPUtime=0.18 cores=0,2,4,6
/proc/31022/task/31032/stat : 31032 (java) S 30999 30999 29789 0 -1 1077944384 1030 0 0 0 17 1 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702787823728 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31033] ppid=30999 vsize=8068220 memory=118848 CPUtime=0.15 cores=0,2,4,6
/proc/31022/task/31033/stat : 31033 (java) S 30999 30999 29789 0 -1 1077944384 352 0 0 0 15 0 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702786770928 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31034] ppid=30999 vsize=8068220 memory=1472 CPUtime=0.24 cores=0,2,4,6
/proc/31022/task/31034/stat : 31034 (java) S 30999 30999 29789 0 -1 1077944384 604 0 0 0 23 1 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702785718640 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31035] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31035/stat : 31035 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231071963 8261857280 29712 33554432000 4194304 4196468 140733481323168 139701260380640 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31036] ppid=30999 vsize=8068220 memory=118848 CPUtime=1.63 cores=0,2,4,6
/proc/31022/task/31036/stat : 31036 (java) S 30999 30999 29789 0 -1 1077944384 143 0 0 0 81 82 0 0 20 0 19 0 231071963 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702784666544 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31038] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31038/stat : 31038 (java) S 30999 30999 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231072034 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702776858048 139703409585945 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31040] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31040/stat : 31040 (java) S 30999 30999 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231072035 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700723494960 139703409583261 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31041] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31041/stat : 31041 (java) S 30999 30999 29789 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231072035 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700455062960 139703409583261 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31042] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31042/stat : 31042 (java) S 30999 30999 29789 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 231072037 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700857723808 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
Current children cumulated CPU time: 2494.14 s
Current children cumulated vsize: 9131528 KiB
Current children cumulated memory: 1015136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.2 s]
/proc/loadavg: 2.51 2.16 2.10 5/223 31214
/proc/meminfo: memFree=11119612/32770624 swapFree=67108860/67108860
[pid=30999] ppid=30996 vsize=113128 memory=1472 CPUtime=371.85 cores=0,2,4,6
/proc/30999/stat : 30999 (scop.sh) S 30996 30999 29789 0 -1 4202496 591 126604 0 0 0 0 36604 581 20 0 1 0 231039747 115843072 368 33554432000 4194304 5098028 140724812622384 140724812619128 139934876467836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31637504 140724812624961 140724812625159 140724812625159 140724812627917 0
/proc/30999/statm: 28282 368 311 221 0 87 0
[pid=31022] ppid=30999 vsize=8068220 memory=118848 CPUtime=3.12 cores=0,2,4,6
/proc/31022/stat : 31022 (java) S 30999 30999 29789 0 -1 1077944320 18100 0 0 0 230 82 0 0 20 0 19 0 231071956 8261857280 29712 33554432000 4194304 4196468 140733481323168 140733481305712 139703409561335 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
/proc/31022/statm: 2017055 29712 3158 1 0 1978454 0
[pid=31037] ppid=31022 vsize=1165104 memory=919088 CPUtime=2145.09 cores=0,2,4,6
/proc/31037/stat : 31037 (minisat_release) R 31022 30999 29789 0 -1 4202496 4998908 0 0 0 214066 443 0 0 20 0 1 0 231072034 1193066496 229772 33554432000 4194304 4308513 140727262250896 140727262248312 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 28758016 140727262258292 140727262258390 140727262258390 140727262261189 0
/proc/31037/statm: 291276 229772 341 28 0 287516 0
[pid=31022/tid=31023] ppid=30999 vsize=8068220 memory=-7824251494390913899 CPUtime=0.79 cores=0,2,4,6
/proc/31022/task/31023/stat : 31023 (java) S 30999 30999 29789 0 -1 1077944384 14561 0 0 0 73 6 0 0 20 0 19 0 231071956 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703381401488 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31024] ppid=30999 vsize=8068220 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31024/stat : 31024 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703413803408 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31025] ppid=30999 vsize=8068220 memory=13567093857585738 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31025/stat : 31025 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703213971728 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31026] ppid=30999 vsize=8068220 memory=135412064455402 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31026/stat : 31026 (java) S 30999 30999 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703212919440 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31027] ppid=30999 vsize=8068220 memory=135412064455146 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31027/stat : 31027 (java) S 30999 30999 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231071958 8261857280 29712 33554432000 4194304 4196468 140733481323168 139703211866640 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31028] ppid=30999 vsize=8068220 memory=135412064455146 CPUtime=0.06 cores=0,2,4,6
/proc/31022/task/31028/stat : 31028 (java) S 30999 30999 29789 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 231071959 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702788876912 139703409572482 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31029] ppid=30999 vsize=8068220 memory=135412064454890 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31029/stat : 31029 (java) S 30999 30999 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231071960 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702267012384 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31030] ppid=30999 vsize=8068220 memory=2723344811777 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31030/stat : 31030 (java) S 30999 30999 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231071960 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702132790896 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31031] ppid=30999 vsize=8068220 memory=-7824251494390913899 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31031/stat : 31031 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139701758286416 139703409579931 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31032] ppid=30999 vsize=8068220 memory=3818561472001 CPUtime=0.18 cores=0,2,4,6
/proc/31022/task/31032/stat : 31032 (java) S 30999 30999 29789 0 -1 1077944384 1030 0 0 0 17 1 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702787823728 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31033] ppid=30999 vsize=8068220 memory=3840036308225 CPUtime=0.15 cores=0,2,4,6
/proc/31022/task/31033/stat : 31033 (java) S 30999 30999 29789 0 -1 1077944384 352 0 0 0 15 0 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702786770928 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31034] ppid=30999 vsize=8068220 memory=2110710474509844 CPUtime=0.24 cores=0,2,4,6
/proc/31022/task/31034/stat : 31034 (java) S 30999 30999 29789 0 -1 1077944384 604 0 0 0 23 1 0 0 20 0 19 0 231071962 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702785718640 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31035] ppid=30999 vsize=8068220 memory=-7374774502974968712 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31035/stat : 31035 (java) S 30999 30999 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231071963 8261857280 29712 33554432000 4194304 4196468 140733481323168 139701260380640 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31036] ppid=30999 vsize=8068220 memory=-7668328693054263944 CPUtime=1.65 cores=0,2,4,6
/proc/31022/task/31036/stat : 31036 (java) S 30999 30999 29789 0 -1 1077944384 143 0 0 0 82 83 0 0 20 0 19 0 231071963 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702784666544 139703409572482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31038] ppid=30999 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31038/stat : 31038 (java) S 30999 30999 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231072034 8261857280 29712 33554432000 4194304 4196468 140733481323168 139702776858048 139703409585945 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31040] ppid=30999 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31040/stat : 31040 (java) S 30999 30999 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231072035 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700723494960 139703409583261 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31041] ppid=30999 vsize=8068220 memory=118848 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31041/stat : 31041 (java) S 30999 30999 29789 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231072035 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700455062960 139703409583261 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
[pid=31022/tid=31042] ppid=30999 vsize=8068220 memory=912484 CPUtime=0 cores=0,2,4,6
/proc/31022/task/31042/stat : 31042 (java) S 30999 30999 29789 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 231072037 8261857280 29712 33554432000 4194304 4196468 140733481323168 139700857723808 139703409571541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39174144 140733481325749 140733481325873 140733481325873 140733481328591 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 9346452 KiB
Current children cumulated memory: 1039408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.21 s]
# the end of solver process 30999 was just reported to runsolver
# cumulated CPU time of all completed processes: user=366.051 s, system=5.81829 s
[startup+2468.29 s]
# the end of solver process 31022 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.03 s, system=11.1866 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2468.29
CPU time (s): 2520.21
CPU user time (s): 2509.03
CPU system time (s): 11.1866
CPU usage (%): 102.103
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 7656480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.03
system time used= 11.1866
maximum resident set size= 7655436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5144748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 404992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62883
involuntary context switches= 3138
# summary of solver processes directly reported to runsolver:
# pid: 30999,31022
# total CPU time (s): 2520.21
# total CPU user time (s): 2509.03
# total CPU system time (s): 11.1866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9348 second user time and 26.8738 second system time
The end