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-28395-serial-file.bin HOME/instance-4305718-1534077111.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: Sun Aug 12 14:31:52 CEST 2018
0.67/0.55 c PID: 28398
0.67/0.55 c IP: 172.20.3.106
0.67/0.55 c HOST: node106.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.97/1.42 c (0,0) Parsing End
2.97/1.42 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 15 ctr, max domain size 26
2.97/1.42 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.97/1.42 c (0,0) Constraint Name Generate Begin
2.97/1.43 c (0,0) Ctr:HOME/instance-4305718-1534077111.xml,ExtensionSupport:IntVar
2.97/1.43 c (0,0) Constraint Name Generate End
2.97/1.43 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.97/1.43 c (0,0) CSP to CSPinCNF Begin
48.49/33.60 c (33,32) translated 2 (10%) constraints
65.80/46.23 c (45,44) translated 3 (20%) constraints
103.85/72.63 c (72,66) translated 5 (30%) constraints
119.23/84.92 c (84,77) translated 6 (40%) constraints
149.91/109.75 c (109,100) translated 8 (50%) constraints
172.31/129.81 c (129,120) translated 9 (60%) constraints
192.73/146.75 c (146,135) translated 11 (70%) constraints
204.00/155.43 c (154,143) translated 12 (80%) constraints
223.05/172.12 c (171,159) translated 14 (90%) constraints
233.73/180.69 c (180,167) translated 15 (100%) constraints
253.62/196.71 c (196,182) STATISTICS1:HOME/instance-4305718-1534077111.xml,ExtensionSupport:IntVar,368542,3669637,-1,26,27,1,,26:5758368;2:6862760,27:405;26:145;25:146;24:250;23:292;22:390;21:355;20:429;19:476;18:596;17:528;16:667;15:796;14:1105;13:1386;12:1570;11:2429;10:2988;9:4326;8:6769;7:9983;6:18134;5:31343;4:1959582;3:889262;2:735285,1:12621128;0:15,
253.62/196.71 c (196,182) ==========================================
253.62/196.71 c (196,182) Both Encoding selects:
253.62/196.71 c (196,182) Order
253.62/196.71 c (196,182) ==========================================
259.30/201.67 c (201,187) translated 366964 (10%) constraints
265.55/206.90 c (206,192) translated 733928 (20%) constraints
270.50/211.85 c (211,197) translated 1100892 (30%) constraints
277.85/217.43 c (216,202) translated 1467855 (40%) constraints
285.24/223.02 c (222,207) translated 1834819 (50%) constraints
292.34/228.57 c (228,212) translated 2201783 (60%) constraints
297.46/233.63 c (233,217) translated 2568746 (70%) constraints
304.79/239.29 c (238,222) translated 2935710 (80%) constraints
312.15/244.93 c (244,227) translated 3302674 (90%) constraints
320.31/250.78 c (250,232) translated 3669637 (100%) constraints
320.31/250.79 c (250,232) CSP to CSPinCNF End
320.57/250.90 c (250,232) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
320.57/250.90 c (250,232) Heap : 5326 MiB used (max 10829 MiB), NonHeap : 27 MiB used (max 0 MiB)
320.57/250.90 c (250,232) CSPinCNF Propagation Begin
359.10/273.13 c (272,249) 0 values, 15 unsatisfiable literals, and 0 valid clauses are removed
359.10/273.13 c (272,249) CSPinCNF Propagation End
359.20/273.24 c (272,249) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
359.20/273.24 c (272,249) Heap : 9396 MiB used (max 10859 MiB), NonHeap : 28 MiB used (max 0 MiB)
359.20/273.24 c (272,249) Simplify CSPinCNF Begin
444.22/299.16 c (298,255) Simplify CSPinCNF End
444.31/299.26 c (298,255) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
444.31/299.26 c (298,255) Heap : 4291 MiB used (max 10626 MiB), NonHeap : 28 MiB used (max 0 MiB)
444.31/299.26 c (298,255) Calculate Precise Domain Begin
444.31/299.26 c (298,255) 0 values are removed by re-calculation
444.31/299.26 c (298,255) Calculate Precise Domain End
444.41/299.37 c (298,255) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
444.41/299.37 c (298,255) Heap : 4291 MiB used (max 10626 MiB), NonHeap : 28 MiB used (max 0 MiB)
444.41/299.37 c (298,255) CSPinCNF to SatSolver Begin
447.22/301.66 c (301,257) 366964 (10 %) CSP clauses are encoded (369886 SAT variables, 368307 SAT clauses)
449.32/303.59 c (303,259) 733928 (20 %) CSP clauses are encoded (369886 SAT variables, 735271 SAT clauses)
451.46/305.55 c (305,261) 1100892 (30 %) CSP clauses are encoded (369886 SAT variables, 1102235 SAT clauses)
453.39/307.58 c (307,263) 1467855 (40 %) CSP clauses are encoded (369886 SAT variables, 1469198 SAT clauses)
455.29/309.49 c (308,265) 1834819 (50 %) CSP clauses are encoded (369886 SAT variables, 1836162 SAT clauses)
457.31/311.43 c (310,267) 2201783 (60 %) CSP clauses are encoded (369886 SAT variables, 2203126 SAT clauses)
459.25/313.36 c (312,269) 2568746 (70 %) CSP clauses are encoded (369886 SAT variables, 2570089 SAT clauses)
461.17/315.30 c (314,271) 2935710 (80 %) CSP clauses are encoded (369886 SAT variables, 2937053 SAT clauses)
463.17/317.23 c (316,273) 3302674 (90 %) CSP clauses are encoded (369886 SAT variables, 3304017 SAT clauses)
465.11/319.18 c (318,275) 3669637 (100 %) CSP clauses are encoded (369886 SAT variables, 3670980 SAT clauses)
465.11/319.18 c (318,275) Launch Command will be: minisat_release
465.11/319.18 c (318,275) CSPinCNF to SatSolver End
465.11/319.18 c (318,275) Heap : 5959 MiB used (max 10698 MiB), NonHeap : 28 MiB used (max 0 MiB)
473.58/327.12 c (326,283) STATISTICS2:HOME/instance-4305718-1534077111.xml,ExtensionSupport:IntVar,368542,3669637,-1,26,27,1,,26:5758368;2:6862760,27:390;26:160;25:146;24:250;23:292;22:390;21:355;20:429;19:476;18:596;17:528;16:667;15:796;14:1105;13:1386;12:1570;11:2429;10:2988;9:4326;8:6769;7:9983;6:18134;5:31343;4:1959582;3:889262;2:735285,1:12621128,
473.58/327.12 c (326,283) 369886 bool, 3670981 clause
473.58/327.12 c (326,283) Export Begin
473.75/327.21 c (326,283) Export to HOME/scop-28395-serial-file.bin
473.75/327.21 c (326,283) Export End
473.75/327.21 c (326,283) Export File Size: 0.01 MB
473.75/327.21 c (326,283) 0,0,250,272,298,298,318,STOP-AFTER(DIMACS)
473.75/327.21 c END-Prog: Sun Aug 12 14:37:19 CEST 2018
0.00/327.50 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-28395-serial-file.bin
474.04/328.00 c (0,0) Read Serial File Begin
474.04/328.00 c (0,0) HOME/scop-28395-serial-file.bin
474.85/328.17 c (0,0) Read Serial File End
474.85/328.18
474.85/328.18 scop order+minisat_release (2018-07-31)
474.85/328.18 (Solving Process)
474.85/328.18
474.98/328.20 c BEGIN-Prog: Sun Aug 12 14:37:20 CEST 2018
474.98/328.20 c PID: 28418
474.98/328.20 c IP: 172.20.3.106
474.98/328.20 c HOST: node106.alineos.net
474.98/328.21 c (0,0) SatSolver.solve Begin
474.98/328.21 c (0,0) 0 bool, 0 clause
474.98/328.21 c (0,0) minisat_release HOME/instance-4305718-1534077111.xml-scop-28398.cnf
2520.01/2372.01 c (2044,0) receiving signal SIGTERM
2520.01/2372.01 s UNKNOWN
2520.01/2372.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2372.02 c (scop.sh) Remove HOME/scop-28395-serial-file.bin.
2520.01/2372.02 c (scop.sh) Killing background jobs.
2520.01/2372.02 c (2044,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 (975 MiB free)
memory of node 1: 16384 MiB (8058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305718-1534077111/watcher-4305718-1534077111 -o /tmp/evaluation-result-4305718-1534077111/solver-4305718-1534077111 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305718-1534077111.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28395, runsolver pid=28392
[startup+0.100092 s]*
/proc/loadavg: 2.47 3.26 3.03 7/218 28412
/proc/meminfo: memFree=9189704/32770624 swapFree=67108688/67108860
[pid=28395] ppid=28392 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/28395/stat : 28395 (scop.sh) S 28392 28395 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225274027 115843072 349 33554432000 4194304 5098028 140722975729120 140722975726376 139816852550268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11685888 140722975732801 140722975732999 140722975732999 140722975735757 0
/proc/28395/statm: 28282 349 296 221 0 87 0
[pid=28398] ppid=28395 vsize=15012476 memory=73824 CPUtime=0.12 cores=1,3,5,7
/proc/28398/stat : 28398 (java) S 28395 28395 23167 0 -1 1077944320 6589 0 0 0 10 2 0 0 20 0 15 0 225274027 15372775424 18456 33554432000 4194304 4196468 140737312137968 140737312120512 140425731870455 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
/proc/28398/statm: 3753119 18456 2757 1 0 3715579 0
[pid=28398/tid=28399] ppid=28395 vsize=15012476 memory=-6601833317647732518 CPUtime=0.08 cores=1,3,5,7
/proc/28398/task/28399/stat : 28399 (java) R 28395 28395 23167 0 -1 4202560 4685 0 0 0 7 1 0 0 20 0 15 0 225274028 15372775424 18456 33554432000 4194304 4196468 140737312137968 140425703682440 140425712147280 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28400] ppid=28395 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28400/stat : 28400 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425736112528 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28401] ppid=28395 vsize=15012476 memory=139967819703936 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28401/stat : 28401 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425192036624 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28402] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28402/stat : 28402 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425190984336 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28403] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28403/stat : 28403 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425189931536 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28404] ppid=28395 vsize=15012476 memory=139967819703936 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28404/stat : 28404 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274031 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425071389296 140425731881602 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28405] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28405/stat : 28405 (java) S 28395 28395 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225274031 15372775424 18522 33554432000 4194304 4196468 140737312137968 140424358389024 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28406] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28406/stat : 28406 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274032 15372775424 18522 33554432000 4194304 4196468 140737312137968 140424089953904 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28407] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28407/stat : 28407 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 18522 33554432000 4194304 4196468 140737312137968 140423715445328 140425731889051 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28408] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28408/stat : 28408 (java) S 28395 28395 23167 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425070336112 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28409] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28409/stat : 28409 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425069283312 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28410] ppid=28395 vsize=15012476 memory=139967819703936 CPUtime=0.01 cores=1,3,5,7
/proc/28398/task/28410/stat : 28410 (java) S 28395 28395 23167 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 225274034 15372775424 18522 33554432000 4194304 4196468 140737312137968 140425068231024 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28411] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28411/stat : 28411 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 18522 33554432000 4194304 4196468 140737312137968 140423217539552 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28412] ppid=28395 vsize=15012476 memory=139967819703936 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28412/stat : 28412 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 18588 33554432000 4194304 4196468 140737312137968 140425067178928 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75220 KiB
[startup+0.21051 s]*
/proc/loadavg: 2.68 3.29 3.05 6/218 28412
/proc/meminfo: memFree=9175628/32770624 swapFree=67108688/67108860
[pid=28395] ppid=28392 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/28395/stat : 28395 (scop.sh) S 28392 28395 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225274027 115843072 349 33554432000 4194304 5098028 140722975729120 140722975726376 139816852550268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11685888 140722975732801 140722975732999 140722975732999 140722975735757 0
/proc/28395/statm: 28282 349 296 221 0 87 0
[pid=28398] ppid=28395 vsize=15012476 memory=87404 CPUtime=0.26 cores=1,3,5,7
/proc/28398/stat : 28398 (java) S 28395 28395 23167 0 -1 1077944320 10140 0 0 0 23 3 0 0 20 0 15 0 225274027 15372775424 21851 33554432000 4194304 4196468 140737312137968 140737312120512 140425731870455 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
/proc/28398/statm: 3753119 21851 2927 1 0 3715579 0
[pid=28398/tid=28399] ppid=28395 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/28398/task/28399/stat : 28399 (java) R 28395 28395 23167 0 -1 4202560 7974 0 0 0 17 2 0 0 20 0 15 0 225274028 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425703692752 140425731882390 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28400] ppid=28395 vsize=15012476 memory=12629 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28400/stat : 28400 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425736112528 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28401] ppid=28395 vsize=15012476 memory=139967820903606 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28401/stat : 28401 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425192036624 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28402] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28402/stat : 28402 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425190984336 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28403] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28403/stat : 28403 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425189931536 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28404] ppid=28395 vsize=15012476 memory=139967819703936 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28404/stat : 28404 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274031 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425071389296 140425731881602 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28405] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28405/stat : 28405 (java) S 28395 28395 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225274031 15372775424 21851 33554432000 4194304 4196468 140737312137968 140424358389024 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28406] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28406/stat : 28406 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274032 15372775424 21851 33554432000 4194304 4196468 140737312137968 140424089953904 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28407] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28407/stat : 28407 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 21851 33554432000 4194304 4196468 140737312137968 140423715445328 140425731889051 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28408] ppid=28395 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28398/task/28408/stat : 28408 (java) S 28395 28395 23167 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 225274034 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425070336112 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28409] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28409/stat : 28409 (java) S 28395 28395 23167 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425069283312 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28410] ppid=28395 vsize=15012476 memory=139967819703936 CPUtime=0.03 cores=1,3,5,7
/proc/28398/task/28410/stat : 28410 (java) R 28395 28395 23167 0 -1 4202560 349 0 0 0 3 0 0 0 20 0 15 0 225274034 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425068231024 140425711841640 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28411] ppid=28395 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28411/stat : 28411 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 21851 33554432000 4194304 4196468 140737312137968 140423217539552 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28412] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28412/stat : 28412 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 21851 33554432000 4194304 4196468 140737312137968 140425067178928 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88800 KiB
[startup+0.31056 s]*
/proc/loadavg: 2.68 3.29 3.05 6/218 28412
/proc/meminfo: memFree=9171596/32770624 swapFree=67108688/67108860
[pid=28395] ppid=28392 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/28395/stat : 28395 (scop.sh) S 28392 28395 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225274027 115843072 349 33554432000 4194304 5098028 140722975729120 140722975726376 139816852550268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11685888 140722975732801 140722975732999 140722975732999 140722975735757 0
/proc/28395/statm: 28282 349 296 221 0 87 0
[pid=28398] ppid=28395 vsize=15012476 memory=91212 CPUtime=0.43 cores=1,3,5,7
/proc/28398/stat : 28398 (java) S 28395 28395 23167 0 -1 1077944320 10775 0 0 0 40 3 0 0 20 0 15 0 225274027 15372775424 22803 33554432000 4194304 4196468 140737312137968 140737312120512 140425731870455 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
/proc/28398/statm: 3753119 22803 2992 1 0 3715579 0
[pid=28398/tid=28399] ppid=28395 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/28398/task/28399/stat : 28399 (java) R 28395 28395 23167 0 -1 4202560 8358 0 0 0 27 2 0 0 20 0 15 0 225274028 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425703665456 140425715914085 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28400] ppid=28395 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28400/stat : 28400 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425736112528 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28401] ppid=28395 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28401/stat : 28401 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425192036624 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28402] ppid=28395 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28402/stat : 28402 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425190984336 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28403] ppid=28395 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28403/stat : 28403 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425189931536 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28404] ppid=28395 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28404/stat : 28404 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274031 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425071389296 140425731881602 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28405] ppid=28395 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28405/stat : 28405 (java) S 28395 28395 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225274031 15372775424 22803 33554432000 4194304 4196468 140737312137968 140424358389024 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28406] ppid=28395 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28406/stat : 28406 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274032 15372775424 22803 33554432000 4194304 4196468 140737312137968 140424089953904 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28407] ppid=28395 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28407/stat : 28407 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 22803 33554432000 4194304 4196468 140737312137968 140423715445328 140425731889051 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28408] ppid=28395 vsize=15012476 memory=4426078206164241782 CPUtime=0.02 cores=1,3,5,7
/proc/28398/task/28408/stat : 28408 (java) R 28395 28395 23167 0 -1 1077944384 568 0 0 0 2 0 0 0 20 0 15 0 225274034 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425070336112 140425731881602 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28409] ppid=28395 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28398/task/28409/stat : 28409 (java) R 28395 28395 23167 0 -1 4202560 81 0 0 0 1 0 0 0 20 0 15 0 225274034 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425069283312 140425724855497 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28410] ppid=28395 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28398/task/28410/stat : 28410 (java) R 28395 28395 23167 0 -1 4202560 437 0 0 0 7 0 0 0 20 0 15 0 225274034 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425068231024 140425731882390 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28411] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28411/stat : 28411 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 22803 33554432000 4194304 4196468 140737312137968 140423217539552 140425731880661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28412] ppid=28395 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28412/stat : 28412 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274034 15372775424 22803 33554432000 4194304 4196468 140737312137968 140425067178928 140425731881602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 92608 KiB
[startup+0.700952 s]
/proc/loadavg: 2.68 3.29 3.05 6/218 28412
/proc/meminfo: memFree=9147368/32770624 swapFree=67108688/67108860
[pid=28395] ppid=28392 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/28395/stat : 28395 (scop.sh) S 28392 28395 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225274027 115843072 349 33554432000 4194304 5098028 140722975729120 140722975726376 139816852550268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11685888 140722975732801 140722975732999 140722975732999 140722975735757 0
/proc/28395/statm: 28282 349 296 221 0 87 0
[pid=28398] ppid=28395 vsize=15018748 memory=132252 CPUtime=1.01 cores=1,3,5,7
/proc/28398/stat : 28398 (java) S 28395 28395 23167 0 -1 1077944320 17668 0 0 0 97 4 0 0 20 0 15 0 225274027 15379197952 33063 33554432000 4194304 4196468 140737312137968 140737312120512 140425731870455 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
/proc/28398/statm: 3754687 33063 3142 1 0 3716091 0
[pid=28398/tid=28399] ppid=28395 vsize=15018748 memory=61316 CPUtime=0.67 cores=1,3,5,7
/proc/28398/task/28399/stat : 28399 (java) R 28395 28395 23167 0 -1 4202560 14676 0 0 0 63 4 0 0 20 0 15 0 225274028 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425703706640 140425731892381 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28400] ppid=28395 vsize=15018748 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28400/stat : 28400 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425736112528 140425731880661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28401] ppid=28395 vsize=15018748 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28401/stat : 28401 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225274029 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425192036624 140425731880661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28402] ppid=28395 vsize=15018748 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28402/stat : 28402 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425190984336 140425731880661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28403] ppid=28395 vsize=15018748 memory=868 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28403/stat : 28403 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274029 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425189931536 140425731880661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28404] ppid=28395 vsize=15018748 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28404/stat : 28404 (java) S 28395 28395 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225274031 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425071389296 140425731881602 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28405] ppid=28395 vsize=15018748 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28405/stat : 28405 (java) S 28395 28395 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225274031 15379197952 33063 33554432000 4194304 4196468 140737312137968 140424358389024 140425731880661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28406] ppid=28395 vsize=15018748 memory=748 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28406/stat : 28406 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274032 15379197952 33063 33554432000 4194304 4196468 140737312137968 140424089953904 140425731880661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28407] ppid=28395 vsize=15018748 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28407/stat : 28407 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15379197952 33063 33554432000 4194304 4196468 140737312137968 140423715445328 140425731889051 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28408] ppid=28395 vsize=15018748 memory=6580 CPUtime=0.08 cores=1,3,5,7
/proc/28398/task/28408/stat : 28408 (java) S 28395 28395 23167 0 -1 1077944384 720 0 0 0 8 0 0 0 20 0 15 0 225274034 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425070336112 140425731881602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28409] ppid=28395 vsize=15018748 memory=1296 CPUtime=0.09 cores=1,3,5,7
/proc/28398/task/28409/stat : 28409 (java) R 28395 28395 23167 0 -1 4202560 339 0 0 0 9 0 0 0 20 0 15 0 225274034 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425069283312 140425711524001 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28410] ppid=28395 vsize=15018748 memory=4452 CPUtime=0.15 cores=1,3,5,7
/proc/28398/task/28410/stat : 28410 (java) S 28395 28395 23167 0 -1 1077944384 597 0 0 0 15 0 0 0 20 0 15 0 225274034 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425068231024 140425731881602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28411] ppid=28395 vsize=15018748 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28411/stat : 28411 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225274034 15379197952 33063 33554432000 4194304 4196468 140737312137968 140423217539552 140425731880661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
[pid=28398/tid=28412] ppid=28395 vsize=15018748 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/28398/task/28412/stat : 28412 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225274034 15379197952 33063 33554432000 4194304 4196468 140737312137968 140425067178928 140425731881602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22949888 140737312146439 140737312146737 140737312146737 140737312149455 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133648 KiB
[startup+1.50082 s]
/proc/loadavg: 2.68 3.29 3.05 7/218 28412
/proc/meminfo: memFree=9019100/32770624 swapFree=67108688/67108860
[pid=28395] ppid=28392 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/28395/stat : 28395 (scop.sh) S 28392 28395 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225274027 115843072 349 33554432000 4194304 5098028 140722975729120 140722975726376 139816852550268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11685888 140722975732801 140722975732999 140722975732999 140722975735757 0
/proc/28395/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=28418/tid=28421] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28421/stat : 28421 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633217952528 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28422] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28422/stat : 28422 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633216900240 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28423] ppid=28395 vsize=8068220 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28423/stat : 28423 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633215847440 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28424] ppid=28395 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/28418/task/28424/stat : 28424 (java) S 28395 28395 23167 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 225306781 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632777095280 140633733294722 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28425] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28425/stat : 28425 (java) S 28395 28395 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225306782 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632664302368 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28426] ppid=28395 vsize=8068220 memory=349912 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28426/stat : 28426 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225306782 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632395867248 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28427] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28427/stat : 28427 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632021358672 140633733302171 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28428] ppid=28395 vsize=8068220 memory=116900 CPUtime=0.1 cores=1,3,5,7
/proc/28418/task/28428/stat : 28428 (java) S 28395 28395 23167 0 -1 1077944384 597 0 0 0 9 1 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632776043120 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28429] ppid=28395 vsize=8068220 memory=349904 CPUtime=0.08 cores=1,3,5,7
/proc/28418/task/28429/stat : 28429 (java) S 28395 28395 23167 0 -1 1077944384 354 0 0 0 8 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632774990320 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28430] ppid=28395 vsize=8068220 memory=1472 CPUtime=0.2 cores=1,3,5,7
/proc/28418/task/28430/stat : 28430 (java) S 28395 28395 23167 0 -1 1077944384 532 0 0 0 20 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632773938032 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28431] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28431/stat : 28431 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140631523453920 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28432] ppid=28395 vsize=8068220 memory=47404 CPUtime=1.1 cores=1,3,5,7
/proc/28418/task/28432/stat : 28432 (java) S 28395 28395 23167 0 -1 1077944384 131 0 0 0 50 60 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632772884912 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28434] ppid=28395 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28434/stat : 28434 (java) S 28395 28395 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225306850 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632765076416 140633733308185 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28436] ppid=28395 vsize=8068220 memory=349912 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28436/stat : 28436 (java) S 28395 28395 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225306851 8261857280 29225 33554432000 4194304 4196468 140728951299088 140630986567184 140633733305501 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28437] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28437/stat : 28437 (java) S 28395 28395 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225306851 8261857280 29225 33554432000 4194304 4196468 140728951299088 140631120789392 140633733305501 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28438] ppid=28395 vsize=8068220 memory=15768 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28438/stat : 28438 (java) S 28395 28395 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225306853 8261857280 29225 33554432000 4194304 4196468 140728951299088 140630718143904 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
Current children cumulated CPU time: 2410.25 s
Current children cumulated vsize: 8584740 KiB
Current children cumulated memory: 468284 KiB
[startup+2322.3 s]
/proc/loadavg: 2.07 2.07 2.35 3/228 28925
/proc/meminfo: memFree=22549012/32770624 swapFree=67108688/67108860
[pid=28395] ppid=28392 vsize=113128 memory=1472 CPUtime=474.04 cores=1,3,5,7
/proc/28395/stat : 28395 (scop.sh) S 28392 28395 23167 0 -1 4202496 590 1479410 0 0 0 0 44808 2596 20 0 1 0 225274027 115843072 368 33554432000 4194304 5098028 140722975729120 140722975725864 139816852550268 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11685888 140722975732801 140722975732999 140722975732999 140722975735757 0
/proc/28395/statm: 28282 368 311 221 0 87 0
[pid=28418] ppid=28395 vsize=8068220 memory=116900 CPUtime=2.35 cores=1,3,5,7
/proc/28418/stat : 28418 (java) S 28395 28395 23167 0 -1 1077944320 17582 0 3 0 168 67 0 0 20 0 19 0 225306777 8261857280 29225 33554432000 4194304 4196468 140728951299088 140728951281632 140633733283575 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
/proc/28418/statm: 2017055 29225 3152 1 0 1978454 0
[pid=28433] ppid=28418 vsize=403392 memory=351964 CPUtime=1993.89 cores=1,3,5,7
/proc/28433/stat : 28433 (minisat_release) R 28418 28395 23167 0 -1 4202496 1779030 0 0 0 199255 134 0 0 20 0 1 0 225306850 413073408 87991 33554432000 4194304 4308513 140721445430192 140721445427640 4251582 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22986752 140721445438580 140721445438678 140721445438678 140721445441477 0
/proc/28433/statm: 100848 87991 341 28 0 97088 0
[pid=28418/tid=28419] ppid=28395 vsize=8068220 memory=116900 CPUtime=0.74 cores=1,3,5,7
/proc/28418/task/28419/stat : 28419 (java) S 28395 28395 23167 0 -1 1077944384 14557 0 0 0 69 5 0 0 20 0 19 0 225306779 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633705123728 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28420] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28420/stat : 28420 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633737526160 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28421] ppid=28395 vsize=8068220 memory=116900 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28421/stat : 28421 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633217952528 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28422] ppid=28395 vsize=8068220 memory=116900 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28422/stat : 28422 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633216900240 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28423] ppid=28395 vsize=8068220 memory=116900 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28423/stat : 28423 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633215847440 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28424] ppid=28395 vsize=8068220 memory=116900 CPUtime=0.04 cores=1,3,5,7
/proc/28418/task/28424/stat : 28424 (java) S 28395 28395 23167 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 225306781 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632777095280 140633733294722 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28425] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28425/stat : 28425 (java) S 28395 28395 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225306782 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632664302368 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28426] ppid=28395 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28426/stat : 28426 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225306782 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632395867248 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28427] ppid=28395 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28427/stat : 28427 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632021358672 140633733302171 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28428] ppid=28395 vsize=8068220 memory=2192 CPUtime=0.1 cores=1,3,5,7
/proc/28418/task/28428/stat : 28428 (java) S 28395 28395 23167 0 -1 1077944384 597 0 0 0 9 1 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632776043120 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28429] ppid=28395 vsize=8068220 memory=3980 CPUtime=0.08 cores=1,3,5,7
/proc/28418/task/28429/stat : 28429 (java) S 28395 28395 23167 0 -1 1077944384 354 0 0 0 8 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632774990320 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28430] ppid=28395 vsize=8068220 memory=1472 CPUtime=0.2 cores=1,3,5,7
/proc/28418/task/28430/stat : 28430 (java) S 28395 28395 23167 0 -1 1077944384 532 0 0 0 20 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632773938032 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28431] ppid=28395 vsize=8068220 memory=116900 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28431/stat : 28431 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140631523453920 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28432] ppid=28395 vsize=8068220 memory=349896 CPUtime=1.14 cores=1,3,5,7
/proc/28418/task/28432/stat : 28432 (java) S 28395 28395 23167 0 -1 1077944384 135 0 0 0 52 62 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632772884912 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28434] ppid=28395 vsize=8068220 memory=748 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28434/stat : 28434 (java) S 28395 28395 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225306850 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632765076416 140633733308185 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28436] ppid=28395 vsize=8068220 memory=349916 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28436/stat : 28436 (java) S 28395 28395 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225306851 8261857280 29225 33554432000 4194304 4196468 140728951299088 140630986567184 140633733305501 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28437] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28437/stat : 28437 (java) S 28395 28395 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225306851 8261857280 29225 33554432000 4194304 4196468 140728951299088 140631120789392 140633733305501 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28438] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28438/stat : 28438 (java) S 28395 28395 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225306853 8261857280 29225 33554432000 4194304 4196468 140728951299088 140630718143904 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
Current children cumulated CPU time: 2470.28 s
Current children cumulated vsize: 8584740 KiB
Current children cumulated memory: 470336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2372 s]*
/proc/loadavg: 2.03 2.06 2.33 3/228 28925
/proc/meminfo: memFree=22539120/32770624 swapFree=67108688/67108860
[pid=28395] ppid=28392 vsize=113128 memory=1472 CPUtime=474.04 cores=1,3,5,7
/proc/28395/stat : 28395 (scop.sh) S 28392 28395 23167 0 -1 4202496 590 1479410 0 0 0 0 44808 2596 20 0 1 0 225274027 115843072 368 33554432000 4194304 5098028 140722975729120 140722975725864 139816852550268 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11685888 140722975732801 140722975732999 140722975732999 140722975735757 0
/proc/28395/statm: 28282 368 311 221 0 87 0
[pid=28418] ppid=28395 vsize=8068220 memory=116900 CPUtime=2.38 cores=1,3,5,7
/proc/28418/stat : 28418 (java) S 28395 28395 23167 0 -1 1077944320 17584 0 3 0 169 69 0 0 20 0 19 0 225306777 8261857280 29225 33554432000 4194304 4196468 140728951299088 140728951281632 140633733283575 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
/proc/28418/statm: 2017055 29225 3152 1 0 1978454 0
[pid=28433] ppid=28418 vsize=403392 memory=351976 CPUtime=2043.59 cores=1,3,5,7
/proc/28433/stat : 28433 (minisat_release) R 28418 28395 23167 0 -1 4202496 1823122 0 0 0 204222 137 0 0 20 0 1 0 225306850 413073408 87994 33554432000 4194304 4308513 140721445430192 140721445427640 4269801 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22986752 140721445438580 140721445438678 140721445438678 140721445441477 0
/proc/28433/statm: 100848 87994 341 28 0 97088 0
[pid=28418/tid=28419] ppid=28395 vsize=8068220 memory=-7824251494390649955 CPUtime=0.74 cores=1,3,5,7
/proc/28418/task/28419/stat : 28419 (java) S 28395 28395 23167 0 -1 1077944384 14557 0 0 0 69 5 0 0 20 0 19 0 225306779 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633705123728 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28420] ppid=28395 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28420/stat : 28420 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633737526160 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28421] ppid=28395 vsize=8068220 memory=351976 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28421/stat : 28421 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633217952528 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28422] ppid=28395 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28422/stat : 28422 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633216900240 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28423] ppid=28395 vsize=8068220 memory=3188 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28423/stat : 28423 (java) S 28395 28395 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225306780 8261857280 29225 33554432000 4194304 4196468 140728951299088 140633215847440 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28424] ppid=28395 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/28418/task/28424/stat : 28424 (java) S 28395 28395 23167 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 225306781 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632777095280 140633733294722 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28425] ppid=28395 vsize=8068220 memory=116900 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28425/stat : 28425 (java) S 28395 28395 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225306782 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632664302368 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28426] ppid=28395 vsize=8068220 memory=351976 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28426/stat : 28426 (java) S 28395 28395 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225306782 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632395867248 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28427] ppid=28395 vsize=8068220 memory=-7824251494390649955 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28427/stat : 28427 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632021358672 140633733302171 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28428] ppid=28395 vsize=8068220 memory=4126316290023845779 CPUtime=0.1 cores=1,3,5,7
/proc/28418/task/28428/stat : 28428 (java) S 28395 28395 23167 0 -1 1077944384 597 0 0 0 9 1 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632776043120 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28429] ppid=28395 vsize=8068220 memory=3420 CPUtime=0.08 cores=1,3,5,7
/proc/28418/task/28429/stat : 28429 (java) S 28395 28395 23167 0 -1 1077944384 354 0 0 0 8 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632774990320 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28430] ppid=28395 vsize=8068220 memory=3424 CPUtime=0.2 cores=1,3,5,7
/proc/28418/task/28430/stat : 28430 (java) S 28395 28395 23167 0 -1 1077944384 532 0 0 0 20 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632773938032 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28431] ppid=28395 vsize=8068220 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28431/stat : 28431 (java) S 28395 28395 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140631523453920 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28432] ppid=28395 vsize=8068220 memory=1408 CPUtime=1.16 cores=1,3,5,7
/proc/28418/task/28432/stat : 28432 (java) S 28395 28395 23167 0 -1 1077944384 137 0 0 0 53 63 0 0 20 0 19 0 225306785 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632772884912 140633733294722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28434] ppid=28395 vsize=8068220 memory=3520 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28434/stat : 28434 (java) S 28395 28395 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225306850 8261857280 29225 33554432000 4194304 4196468 140728951299088 140632765076416 140633733308185 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28436] ppid=28395 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28436/stat : 28436 (java) S 28395 28395 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225306851 8261857280 29225 33554432000 4194304 4196468 140728951299088 140630986567184 140633733305501 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28437] ppid=28395 vsize=8068220 memory=116900 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28437/stat : 28437 (java) S 28395 28395 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225306851 8261857280 29225 33554432000 4194304 4196468 140728951299088 140631120789392 140633733305501 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
[pid=28418/tid=28438] ppid=28395 vsize=8068220 memory=351976 CPUtime=0 cores=1,3,5,7
/proc/28418/task/28438/stat : 28438 (java) S 28395 28395 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225306853 8261857280 29225 33554432000 4194304 4196468 140728951299088 140630718143904 140633733293781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36454400 140728951305397 140728951305521 140728951305521 140728951308239 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8584740 KiB
Current children cumulated memory: 470348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2372.03 s]
# the end of solver process 28395 was just reported to runsolver
# cumulated CPU time of all completed processes: user=448.09 s, system=25.9662 s
[startup+2372.06 s]
# the end of solver process 28418 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2492.02 s, system=28.0826 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): 2372.06
CPU time (s): 2520.1
CPU user time (s): 2492.02
CPU system time (s): 28.0826
CPU usage (%): 106.241
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 11473228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2492.02
system time used= 28.0826
maximum resident set size= 11471900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3321249
page faults= 3
swaps= 0
block input operations= 1336
block output operations= 166320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59043
involuntary context switches= 3228
# summary of solver processes directly reported to runsolver:
# pid: 28395,28418
# total CPU time (s): 2520.1
# total CPU user time (s): 2492.02
# total CPU system time (s): 28.0826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2794 second user time and 25.1507 second system time
The end