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-14016-serial-file.bin HOME/instance-4305686-1534129073.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 04:57:54 CEST 2018
0.66/0.55 c PID: 14020
0.66/0.55 c IP: 172.20.3.132
0.66/0.55 c HOST: node132.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.94/1.19 c (0,0) Parsing End
2.20/1.20 c (0,0) CSP: 852 int (0 aux), 0 bool (0 aux), 372 ctr, max domain size 276
2.20/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.20/1.20 c (0,0) Constraint Name Generate Begin
2.20/1.21 c (0,0) Ctr:HOME/instance-4305686-1534129073.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
2.20/1.21 c (0,0) Constraint Name Generate End
2.20/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.20/1.21 c (0,0) CSP to CSPinCNF Begin
10.48/4.96 c (4,4) translated 38 (10%) constraints
13.04/7.48 c (6,6) translated 75 (20%) constraints
16.27/10.09 c (9,9) translated 112 (30%) constraints
18.60/12.38 c (11,11) translated 149 (40%) constraints
20.97/14.68 c (14,13) translated 186 (50%) constraints
24.55/17.32 c (16,16) translated 224 (60%) constraints
26.77/19.59 c (19,18) translated 261 (70%) constraints
32.21/22.29 c (21,20) translated 298 (80%) constraints
36.25/24.15 c (23,22) translated 335 (90%) constraints
37.29/24.65 c (24,23) translated 372 (100%) constraints
42.84/26.96 c (26,25) STATISTICS1:HOME/instance-4305686-1534129073.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,97476,473383,140737488355328,276,276,48,140737488355328:576;35184372088832:576;2048:46;276:34716;23:6636;1:3234,276:364056;23:351744;2:709392;1:16560,276:2;24:876;23:276;22:276;21:276;20:276;19:276;18:276;17:276;16:276;15:276;14:276;13:276;12:276;11:276;10:276;9:276;8:276;7:276;6:276;5:276;4:139380;3:109044;2:217926;1:911,48:576;46:576;12:46;2:44586;1:1326096;0:276,
42.84/26.96 c (26,25) ==========================================
42.84/26.96 c (26,25) Both Encoding selects:
42.84/26.96 c (26,25) Order
42.84/26.96 c (26,25) ==========================================
44.57/27.79 c (27,26) translated 47339 (10%) constraints
45.32/28.44 c (27,26) translated 94677 (20%) constraints
45.93/29.08 c (28,27) translated 142015 (30%) constraints
46.66/29.73 c (29,27) translated 189354 (40%) constraints
47.26/30.37 c (29,28) translated 236692 (50%) constraints
47.97/31.02 c (30,29) translated 284030 (60%) constraints
48.56/31.66 c (31,29) translated 331369 (70%) constraints
49.26/32.30 c (31,30) translated 378707 (80%) constraints
53.31/33.92 c (33,31) translated 426045 (90%) constraints
58.51/36.86 c (36,34) translated 473383 (100%) constraints
58.51/36.86 c (36,34) CSP to CSPinCNF End
58.81/36.91 c (36,34) CSP: 7188 int (6336 aux), 110793 bool (110793 aux), 512412 ctr, max domain size 274
58.81/36.91 c (36,34) Heap : 1794 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
58.81/36.91 c (36,34) CSPinCNF Propagation Begin
66.63/41.11 c (40,38) 11565 values, 39888 unsatisfiable literals, and 28458 valid clauses are removed
66.63/41.11 c (40,38) CSPinCNF Propagation End
66.63/41.14 c (40,38) CSP: 14211 int (13359 aux), 103770 bool (103770 aux), 483954 ctr, max domain size 274
66.63/41.14 c (40,38) Heap : 1804 MiB used (max 10296 MiB), NonHeap : 32 MiB used (max 0 MiB)
66.63/41.14 c (40,38) Simplify CSPinCNF Begin
69.00/43.18 c (42,40) Simplify CSPinCNF End
69.10/43.25 c (42,40) CSP: 14211 int (13359 aux), 191178 bool (191178 aux), 571362 ctr, max domain size 274
69.10/43.25 c (42,40) Heap : 2956 MiB used (max 10296 MiB), NonHeap : 33 MiB used (max 0 MiB)
69.10/43.25 c (42,40) Calculate Precise Domain Begin
71.67/43.92 c (43,40) 1410 values are removed by re-calculation
71.67/43.92 c (43,40) Calculate Precise Domain End
71.67/43.99 c (43,40) CSP: 14211 int (13359 aux), 191178 bool (191178 aux), 571362 ctr, max domain size 274
71.67/43.99 c (43,40) Heap : 800 MiB used (max 10545 MiB), NonHeap : 33 MiB used (max 0 MiB)
71.67/43.99 c (43,40) CSPinCNF to SatSolver Begin
72.84/44.57 c (44,40) 57137 (10 %) CSP clauses are encoded (293010 SAT variables, 151984 SAT clauses)
73.17/44.84 c (44,41) 114273 (20 %) CSP clauses are encoded (293010 SAT variables, 209120 SAT clauses)
73.38/45.10 c (44,41) 171409 (30 %) CSP clauses are encoded (293010 SAT variables, 266256 SAT clauses)
73.67/45.37 c (44,41) 228545 (40 %) CSP clauses are encoded (293010 SAT variables, 323392 SAT clauses)
73.97/45.63 c (45,42) 285681 (50 %) CSP clauses are encoded (293010 SAT variables, 380528 SAT clauses)
74.27/45.90 c (45,42) 342818 (60 %) CSP clauses are encoded (293010 SAT variables, 437665 SAT clauses)
86.82/55.11 c (54,50) 399954 (70 %) CSP clauses are encoded (293010 SAT variables, 4064822 SAT clauses)
107.08/77.12 c (76,70) 457090 (80 %) CSP clauses are encoded (293010 SAT variables, 13749303 SAT clauses)
120.41/90.96 c (90,83) 514226 (90 %) CSP clauses are encoded (293010 SAT variables, 19845787 SAT clauses)
121.90/92.67 c (92,84) 571362 (100 %) CSP clauses are encoded (293010 SAT variables, 20205249 SAT clauses)
121.90/92.67 c (92,84) Launch Command will be: minisat_release
121.90/92.67 c (92,84) CSPinCNF to SatSolver End
121.90/92.67 c (92,84) Heap : 1522 MiB used (max 10838 MiB), NonHeap : 33 MiB used (max 0 MiB)
124.51/94.28 c (93,86) STATISTICS2:HOME/instance-4305686-1534129073.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,205389,571362,274,274,23,9,274:69432;256:3528;128:2016;64:504;32:24;27:231;24:231;23:3468;22:9240;21:231;18:33;16:788;15:11;14:21;12:55;10:2;9:3432;8:221;4:356;1:5280,274:433464;23:322440;22:45672;10:462;9:494;8:536;7:526;6:111;5:31;4:120;3:16896;2:889512;1:10800,23:528;22:528;21:264;20:264;19:264;18:264;17:264;16:264;15:264;14:264;13:264;12:310;11:264;10:264;9:264;8:264;7:264;6:264;5:264;4:133320;3:100548;2:320208;1:11696,9:5760;8:1152;5:132;3:4640;2:87420;1:1470588,
124.51/94.28 c (93,86) 293010 bool, 20205271 clause
124.51/94.28 c (93,86) Export Begin
124.81/94.43 c (93,86) Export to HOME/scop-14016-serial-file.bin
124.81/94.43 c (93,86) Export End
124.81/94.43 c (93,86) Export File Size: 0.18 MB
124.81/94.43 c (93,86) 0,0,36,40,42,43,92,STOP-AFTER(DIMACS)
124.81/94.43 c END-Prog: Mon Aug 13 04:59:28 CEST 2018
124.81/94.47 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14016-serial-file.bin
124.97/94.98 c (0,0) Read Serial File Begin
124.97/94.98 c (0,0) HOME/scop-14016-serial-file.bin
126.07/95.21 c (0,0) Read Serial File End
126.07/95.23
126.07/95.23 scop order+minisat_release (2018-07-31)
126.07/95.23 (Solving Process)
126.07/95.23
126.07/95.25 c BEGIN-Prog: Mon Aug 13 04:59:29 CEST 2018
126.07/95.25 c PID: 14079
126.07/95.25 c IP: 172.20.3.132
126.07/95.25 c HOST: node132.alineos.net
126.07/95.25 c (0,0) SatSolver.solve Begin
126.07/95.25 c (0,0) 0 bool, 0 clause
126.07/95.25 c (0,0) minisat_release HOME/instance-4305686-1534129073.xml-scop-14020.cnf
2520.08/2487.50 c (2392,0) receiving signal SIGTERM
2520.08/2487.50 s UNKNOWN
2520.08/2487.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2487.51 c (scop.sh) Remove HOME/scop-14016-serial-file.bin.
2520.08/2487.51 c (scop.sh) Killing background jobs.
2520.08/2487.51 c (2392,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 (6911 MiB free)
memory of node 1: 16384 MiB (10455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305686-1534129073/watcher-4305686-1534129073 -o /tmp/evaluation-result-4305686-1534129073/solver-4305686-1534129073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534129073-13990 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305686-1534129073.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14016, runsolver pid=14012
Current StackSize limit: 8192 KiB
[startup+0.100855 s]*
/proc/loadavg: 0.60 0.93 1.21 3/222 14054
/proc/meminfo: memFree=17663424/32770624 swapFree=67108860/67108860
[pid=14016] ppid=14012 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (scop.sh) S 14012 14016 6975 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723313271600 140723313268856 140334180131452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17502208 140723313280065 140723313280263 140723313280263 140723313283021 0
/proc/14016/statm: 28282 349 296 221 0 87 0
[pid=14020] ppid=14016 vsize=15012476 memory=71536 CPUtime=0.11 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14016 14016 6975 0 -1 1077944320 6546 0 0 0 9 2 0 0 20 0 15 0 230470525 15372775424 17884 33554432000 4194304 4196468 140723623250704 140723623233248 139797139615479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
/proc/14020/statm: 3753119 17884 2739 1 0 3715579 0
[pid=14020/tid=14026] ppid=14016 vsize=15012476 memory=4711481268140934024 CPUtime=0.08 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) R 14016 14016 6975 0 -1 4202560 4686 0 0 0 7 1 0 0 20 0 15 0 230470526 15372775424 17884 33554432000 4194304 4196468 140723623250704 139797111404592 139797123695966 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14029] ppid=14016 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 17884 33554432000 4194304 4196468 140723623250704 139797143857808 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14030] ppid=14016 vsize=15012476 memory=139758566360704 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 17884 33554432000 4194304 4196468 140723623250704 139796600400400 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14031] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 17884 33554432000 4194304 4196468 140723623250704 139796599347600 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14032] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 17884 33554432000 4194304 4196468 140723623250704 139796598294800 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14037] ppid=14016 vsize=15012476 memory=139758566360704 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 17884 33554432000 4194304 4196468 140723623250704 139796177169264 139797139626626 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14039] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14039/stat : 14039 (java) S 14016 14016 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 17884 33554432000 4194304 4196468 140723623250704 139795682551328 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14040] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14040/stat : 14040 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 17884 33554432000 4194304 4196468 140723623250704 139795414115696 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14043] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14043/stat : 14043 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 17884 33554432000 4194304 4196468 140723623250704 139795039607120 139797139634075 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14044] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14044/stat : 14044 (java) S 14016 14016 6975 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 17884 33554432000 4194304 4196468 140723623250704 139796176116080 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14045] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14045/stat : 14045 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 17884 33554432000 4194304 4196468 140723623250704 139796175063280 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14046] ppid=14016 vsize=15012476 memory=139758566360704 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14046/stat : 14046 (java) R 14016 14016 6975 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 17950 33554432000 4194304 4196468 140723623250704 139796174010480 139797123695966 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14047] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14047/stat : 14047 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 17950 33554432000 4194304 4196468 140723623250704 139794541701344 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14052] ppid=14016 vsize=15012476 memory=139758566360704 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14052/stat : 14052 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 17950 33554432000 4194304 4196468 140723623250704 139796172958896 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72932 KiB
[startup+0.210689 s]*
/proc/loadavg: 0.60 0.93 1.21 3/222 14054
/proc/meminfo: memFree=17632584/32770624 swapFree=67108860/67108860
[pid=14016] ppid=14012 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (scop.sh) S 14012 14016 6975 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723313271600 140723313268856 140334180131452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17502208 140723313280065 140723313280263 140723313280263 140723313283021 0
/proc/14016/statm: 28282 349 296 221 0 87 0
[pid=14020] ppid=14016 vsize=15012476 memory=85372 CPUtime=0.25 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14016 14016 6975 0 -1 1077944320 10250 0 0 0 22 3 0 0 20 0 15 0 230470525 15372775424 21343 33554432000 4194304 4196468 140723623250704 140723623233248 139797139615479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
/proc/14020/statm: 3753119 21343 2873 1 0 3715579 0
[pid=14020/tid=14026] ppid=14016 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) R 14016 14016 6975 0 -1 4202560 8144 0 0 0 17 2 0 0 20 0 15 0 230470526 15372775424 21343 33554432000 4194304 4196468 140723623250704 139797111431536 139797123695966 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14029] ppid=14016 vsize=15012476 memory=15369 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 21343 33554432000 4194304 4196468 140723623250704 139797143857808 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14030] ppid=14016 vsize=15012476 memory=288370134718072448 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796600400400 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14031] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796599347600 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14032] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796598294800 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14037] ppid=14016 vsize=15012476 memory=139758566360704 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796177169264 139797139626626 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14039] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14039/stat : 14039 (java) S 14016 14016 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 21343 33554432000 4194304 4196468 140723623250704 139795682551328 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14040] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14040/stat : 14040 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 21343 33554432000 4194304 4196468 140723623250704 139795414115696 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14043] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14043/stat : 14043 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 21343 33554432000 4194304 4196468 140723623250704 139795039607120 139797139634075 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14044] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14044/stat : 14044 (java) S 14016 14016 6975 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796176116080 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14045] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14045/stat : 14045 (java) S 14016 14016 6975 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796175063280 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14046] ppid=14016 vsize=15012476 memory=139758566360704 CPUtime=0.03 cores=1,3,5,7
/proc/14020/task/14046/stat : 14046 (java) R 14016 14016 6975 0 -1 4202560 308 0 0 0 3 0 0 0 20 0 15 0 230470532 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796174010480 139797118135984 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14047] ppid=14016 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14047/stat : 14047 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 21343 33554432000 4194304 4196468 140723623250704 139794541701344 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14052] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14052/stat : 14052 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 21343 33554432000 4194304 4196468 140723623250704 139796172958896 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86768 KiB
[startup+0.310724 s]*
/proc/loadavg: 0.60 0.93 1.21 3/222 14054
/proc/meminfo: memFree=17625140/32770624 swapFree=67108860/67108860
[pid=14016] ppid=14012 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (scop.sh) S 14012 14016 6975 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723313271600 140723313268856 140334180131452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17502208 140723313280065 140723313280263 140723313280263 140723313283021 0
/proc/14016/statm: 28282 349 296 221 0 87 0
[pid=14020] ppid=14016 vsize=15012476 memory=89860 CPUtime=0.42 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14016 14016 6975 0 -1 1077944320 10871 0 0 0 39 3 0 0 20 0 15 0 230470525 15372775424 22465 33554432000 4194304 4196468 140723623250704 140723623233248 139797139615479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
/proc/14020/statm: 3753119 22465 3028 1 0 3715579 0
[pid=14020/tid=14026] ppid=14016 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) R 14016 14016 6975 0 -1 4202560 8584 0 0 0 27 2 0 0 20 0 15 0 230470526 15372775424 22465 33554432000 4194304 4196468 140723623250704 139797111410480 139797123659109 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14029] ppid=14016 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 22465 33554432000 4194304 4196468 140723623250704 139797143857808 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14030] ppid=14016 vsize=15012476 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796600400400 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14031] ppid=14016 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796599347600 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14032] ppid=14016 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796598294800 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14037] ppid=14016 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796177169264 139797139626626 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14039] ppid=14016 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14039/stat : 14039 (java) S 14016 14016 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 22465 33554432000 4194304 4196468 140723623250704 139795682551328 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14040] ppid=14016 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14040/stat : 14040 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 22465 33554432000 4194304 4196468 140723623250704 139795414115696 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14043] ppid=14016 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14043/stat : 14043 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22465 33554432000 4194304 4196468 140723623250704 139795039607120 139797139634075 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14044] ppid=14016 vsize=15012476 memory=-9001728533042062950 CPUtime=0.01 cores=1,3,5,7
/proc/14020/task/14044/stat : 14044 (java) S 14016 14016 6975 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 230470532 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796176116080 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14045] ppid=14016 vsize=15012476 memory=-6519613052471072158 CPUtime=0.02 cores=1,3,5,7
/proc/14020/task/14045/stat : 14045 (java) S 14016 14016 6975 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 230470532 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796175063280 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14046] ppid=14016 vsize=15012476 memory=-8187100386482147110 CPUtime=0.07 cores=1,3,5,7
/proc/14020/task/14046/stat : 14046 (java) S 14016 14016 6975 0 -1 1077944384 350 0 0 0 7 0 0 0 20 0 15 0 230470532 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796174010480 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14047] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14047/stat : 14047 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22465 33554432000 4194304 4196468 140723623250704 139794541701344 139797139625685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14052] ppid=14016 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14052/stat : 14052 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22465 33554432000 4194304 4196468 140723623250704 139796172958896 139797139626626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91256 KiB
[startup+0.700798 s]
/proc/loadavg: 0.60 0.93 1.21 5/222 14054
/proc/meminfo: memFree=17578940/32770624 swapFree=67108860/67108860
[pid=14016] ppid=14012 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (scop.sh) S 14012 14016 6975 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723313271600 140723313268856 140334180131452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17502208 140723313280065 140723313280263 140723313280263 140723313283021 0
/proc/14016/statm: 28282 349 296 221 0 87 0
[pid=14020] ppid=14016 vsize=15020872 memory=127084 CPUtime=0.98 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14016 14016 6975 0 -1 1077944320 17945 0 0 0 93 5 0 0 20 0 15 0 230470525 15381372928 31771 33554432000 4194304 4196468 140723623250704 140723623233248 139797139615479 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
/proc/14020/statm: 3755218 31771 3128 1 0 3716603 0
[pid=14020/tid=14026] ppid=14016 vsize=15020872 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) R 14016 14016 6975 0 -1 4202560 15201 0 0 0 62 4 0 0 20 0 15 0 230470526 15381372928 31771 33554432000 4194304 4196468 140723623250704 139797111447376 139797123695966 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14029] ppid=14016 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15381372928 31771 33554432000 4194304 4196468 140723623250704 139797143857808 139797139625685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14030] ppid=14016 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470527 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796600400400 139797139625685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14031] ppid=14016 vsize=15020872 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796599347600 139797139625685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14032] ppid=14016 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470527 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796598294800 139797139625685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14037] ppid=14016 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14016 14016 6975 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230470529 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796177169264 139797139626626 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14039] ppid=14016 vsize=15020872 memory=7304 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14039/stat : 14039 (java) S 14016 14016 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470529 15381372928 31771 33554432000 4194304 4196468 140723623250704 139795682551328 139797139625685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14040] ppid=14016 vsize=15020872 memory=5400 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14040/stat : 14040 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15381372928 31771 33554432000 4194304 4196468 140723623250704 139795414115696 139797139625685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14043] ppid=14016 vsize=15020872 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14043/stat : 14043 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15381372928 31771 33554432000 4194304 4196468 140723623250704 139795039607120 139797139634075 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14044] ppid=14016 vsize=15020872 memory=10784 CPUtime=0.05 cores=1,3,5,7
/proc/14020/task/14044/stat : 14044 (java) S 14016 14016 6975 0 -1 1077944384 555 0 0 0 5 0 0 0 20 0 15 0 230470532 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796176116080 139797139626626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14045] ppid=14016 vsize=15020872 memory=872 CPUtime=0.09 cores=1,3,5,7
/proc/14020/task/14045/stat : 14045 (java) S 14016 14016 6975 0 -1 1077944384 368 0 0 0 9 0 0 0 20 0 15 0 230470532 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796175063280 139797139626626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14046] ppid=14016 vsize=15020872 memory=4280 CPUtime=0.16 cores=1,3,5,7
/proc/14020/task/14046/stat : 14046 (java) S 14016 14016 6975 0 -1 1077944384 486 0 0 0 16 0 0 0 20 0 15 0 230470532 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796174010480 139797139626626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14047] ppid=14016 vsize=15020872 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14047/stat : 14047 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15381372928 31771 33554432000 4194304 4196468 140723623250704 139794541701344 139797139625685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
[pid=14020/tid=14052] ppid=14016 vsize=15020872 memory=34616 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14052/stat : 14052 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470532 15381372928 31771 33554432000 4194304 4196468 140723623250704 139796172958896 139797139626626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12185600 140723623257095 140723623257393 140723623257393 140723623260111 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128480 KiB
[startup+1.50077 s]
/proc/loadavg: 0.72 0.95 1.22 6/222 14054
/proc/meminfo: memFree=17520192/32770624 swapFree=67108860/67108860
[pid=14016] ppid=14012 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (scop.sh) S 14012 14016 6975 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723313271600 140723313268856 140334180131452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17502208 140723313280065 140723313280263 140723313280263 140723313283021 0
/proc/14016/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=14094] ppid=14079 vsize=1823900 memory=1712900 CPUtime=2347 cores=1,3,5,7
/proc/14094/stat : 14094 (minisat_release) R 14079 14016 6975 0 -1 4202496 8838465 0 0 0 234053 647 0 0 20 0 1 0 230480053 1867673600 428225 33554432000 4194304 4308513 140731034301776 140731034299400 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 10194944 140731034305652 140731034305750 140731034305750 140731034308549 0
/proc/14094/statm: 455975 428225 341 28 0 452215 0
[pid=14079/tid=14080] ppid=14016 vsize=8068220 memory=123048 CPUtime=0.81 cores=1,3,5,7
/proc/14079/task/14080/stat : 14080 (java) S 14016 14016 6975 0 -1 1077944384 15041 0 0 0 76 5 0 0 20 0 19 0 230479974 8261857280 30762 33554432000 4194304 4196468 140725570728448 140142446677904 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14081] ppid=14016 vsize=8068220 memory=123048 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14081/stat : 14081 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140142479079696 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14082] ppid=14016 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14082/stat : 14082 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140142301575568 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14083] ppid=14016 vsize=8068220 memory=123048 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14083/stat : 14083 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141958740496 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14084] ppid=14016 vsize=8068220 memory=123048 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14084/stat : 14084 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141957687952 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14085] ppid=14016 vsize=8068220 memory=1712900 CPUtime=0.05 cores=1,3,5,7
/proc/14079/task/14085/stat : 14085 (java) S 14016 14016 6975 0 -1 1077944384 7 0 0 0 1 4 0 0 20 0 19 0 230479976 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141921266160 140142474848898 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14086] ppid=14016 vsize=8068220 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14086/stat : 14086 (java) S 14016 14016 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230479977 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141293200800 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14087] ppid=14016 vsize=8068220 memory=62716 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14087/stat : 14087 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479977 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141024765424 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14088] ppid=14016 vsize=8068220 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14088/stat : 14088 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140140650257104 140142474856347 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14089] ppid=14016 vsize=8068220 memory=62716 CPUtime=0.17 cores=1,3,5,7
/proc/14079/task/14089/stat : 14089 (java) S 14016 14016 6975 0 -1 1077944384 1001 0 0 0 17 0 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141920212976 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14090] ppid=14016 vsize=8068220 memory=1472 CPUtime=0.16 cores=1,3,5,7
/proc/14079/task/14090/stat : 14090 (java) S 14016 14016 6975 0 -1 1077944384 448 0 0 0 15 1 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141919160432 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14091] ppid=14016 vsize=8068220 memory=4132 CPUtime=0.24 cores=1,3,5,7
/proc/14079/task/14091/stat : 14091 (java) S 14016 14016 6975 0 -1 1077944384 581 0 0 0 23 1 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141918107888 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14092] ppid=14016 vsize=8068220 memory=10784 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14092/stat : 14092 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140140152351328 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14093] ppid=14016 vsize=8068220 memory=872 CPUtime=1.41 cores=1,3,5,7
/proc/14079/task/14093/stat : 14093 (java) S 14016 14016 6975 0 -1 1077944384 157 0 0 0 64 77 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141917055792 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14095] ppid=14016 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14095/stat : 14095 (java) S 14016 14016 6975 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230480053 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141909247552 140142474862361 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14097] ppid=14016 vsize=8068220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14097/stat : 14097 (java) S 14016 14016 6975 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230480053 8261857280 30762 33554432000 4194304 4196468 140725570728448 140139615465648 140142474859677 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14098] ppid=14016 vsize=8068220 memory=-7824251494390453867 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14098/stat : 14098 (java) S 14016 14016 6975 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230480053 8261857280 30762 33554432000 4194304 4196468 140725570728448 140139749686576 140142474859677 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14099] ppid=14016 vsize=8068220 memory=123048 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14099/stat : 14099 (java) S 14016 14016 6975 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230480056 8261857280 30762 33554432000 4194304 4196468 140725570728448 140139347041312 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
Current children cumulated CPU time: 2474.85 s
Current children cumulated vsize: 10005248 KiB
Current children cumulated memory: 1837420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2487.5 s]
/proc/loadavg: 1.00 1.17 1.49 2/203 14249
/proc/meminfo: memFree=15607156/32770624 swapFree=67108860/67108860
[pid=14016] ppid=14012 vsize=113128 memory=1472 CPUtime=124.97 cores=1,3,5,7
/proc/14016/stat : 14016 (scop.sh) S 14012 14016 6975 0 -1 4202496 591 83809 0 0 0 0 12141 356 20 0 1 0 230470525 115843072 368 33554432000 4194304 5098028 140723313271600 140723313268344 140334180131452 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17502208 140723313280065 140723313280263 140723313280263 140723313283021 0
/proc/14016/statm: 28282 368 311 221 0 87 0
[pid=14079] ppid=14016 vsize=8068220 memory=123048 CPUtime=2.91 cores=1,3,5,7
/proc/14079/stat : 14079 (java) S 14016 14016 6975 0 -1 1077944320 18641 0 0 0 207 84 0 0 20 0 19 0 230479973 8261857280 30762 33554432000 4194304 4196468 140725570728448 140725570710992 140142474837751 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
/proc/14079/statm: 2017055 30762 3156 1 0 1978454 0
[pid=14094] ppid=14079 vsize=1823900 memory=1614900 CPUtime=2392.2 cores=1,3,5,7
/proc/14094/stat : 14094 (minisat_release) R 14079 14016 6975 0 -1 4202496 9035815 0 0 0 238556 664 0 0 20 0 1 0 230480053 1867673600 403725 33554432000 4194304 4308513 140731034301776 140731034299224 4276089 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 10194944 140731034305652 140731034305750 140731034305750 140731034308549 0
/proc/14094/statm: 455975 403725 341 28 0 452215 0
[pid=14079/tid=14080] ppid=14016 vsize=8068220 memory=1472 CPUtime=0.81 cores=1,3,5,7
/proc/14079/task/14080/stat : 14080 (java) S 14016 14016 6975 0 -1 1077944384 15041 0 0 0 76 5 0 0 20 0 19 0 230479974 8261857280 30762 33554432000 4194304 4196468 140725570728448 140142446677904 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14081] ppid=14016 vsize=8068220 memory=123048 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14081/stat : 14081 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140142479079696 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14082] ppid=14016 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14082/stat : 14082 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140142301575568 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14083] ppid=14016 vsize=8068220 memory=123048 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14083/stat : 14083 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141958740496 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14084] ppid=14016 vsize=8068220 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14084/stat : 14084 (java) S 14016 14016 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230479975 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141957687952 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14085] ppid=14016 vsize=8068220 memory=7667485492390679397 CPUtime=0.05 cores=1,3,5,7
/proc/14079/task/14085/stat : 14085 (java) S 14016 14016 6975 0 -1 1077944384 7 0 0 0 1 4 0 0 20 0 19 0 230479976 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141921266160 140142474848898 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14086] ppid=14016 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14086/stat : 14086 (java) S 14016 14016 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230479977 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141293200800 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14087] ppid=14016 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14087/stat : 14087 (java) S 14016 14016 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230479977 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141024765424 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14088] ppid=14016 vsize=8068220 memory=1614900 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14088/stat : 14088 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140140650257104 140142474856347 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14089] ppid=14016 vsize=8068220 memory=4132 CPUtime=0.17 cores=1,3,5,7
/proc/14079/task/14089/stat : 14089 (java) S 14016 14016 6975 0 -1 1077944384 1001 0 0 0 17 0 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141920212976 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14090] ppid=14016 vsize=8068220 memory=62716 CPUtime=0.16 cores=1,3,5,7
/proc/14079/task/14090/stat : 14090 (java) S 14016 14016 6975 0 -1 1077944384 448 0 0 0 15 1 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141919160432 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14091] ppid=14016 vsize=8068220 memory=1236 CPUtime=0.24 cores=1,3,5,7
/proc/14079/task/14091/stat : 14091 (java) S 14016 14016 6975 0 -1 1077944384 581 0 0 0 23 1 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141918107888 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14092] ppid=14016 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14092/stat : 14092 (java) S 14016 14016 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140140152351328 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14093] ppid=14016 vsize=8068220 memory=916 CPUtime=1.43 cores=1,3,5,7
/proc/14079/task/14093/stat : 14093 (java) S 14016 14016 6975 0 -1 1077944384 161 0 0 0 65 78 0 0 20 0 19 0 230479980 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141917055792 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14095] ppid=14016 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14095/stat : 14095 (java) S 14016 14016 6975 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230480053 8261857280 30762 33554432000 4194304 4196468 140725570728448 140141909247552 140142474862361 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14097] ppid=14016 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14097/stat : 14097 (java) S 14016 14016 6975 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230480053 8261857280 30762 33554432000 4194304 4196468 140725570728448 140139615465648 140142474859677 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14098] ppid=14016 vsize=8068220 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14098/stat : 14098 (java) S 14016 14016 6975 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230480053 8261857280 30762 33554432000 4194304 4196468 140725570728448 140139749686576 140142474859677 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14099] ppid=14016 vsize=8068220 memory=62716 CPUtime=0 cores=1,3,5,7
/proc/14079/task/14099/stat : 14099 (java) S 14016 14016 6975 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230480056 8261857280 30762 33554432000 4194304 4196468 140725570728448 140139347041312 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10005248 KiB
Current children cumulated memory: 1739420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2487.51 s]
# the end of solver process 14016 was just reported to runsolver
# cumulated CPU time of all completed processes: user=121.415 s, system=3.56407 s
[startup+2487.65 s]
# the end of solver process 14079 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.06 s, system=11.2208 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2487.61 s]*
/proc/loadavg: 1.00 1.17 1.49 2/200 14253
/proc/meminfo: memFree=17451356/32770624 swapFree=67108860/67108860
[pid=14079] ppid=14012 vsize=8199292 memory=135316 CPUtime=2395.25 cores=1,3,5,7
/proc/14079/stat : 14079 (java) S 14012 14016 6975 0 -1 1077944320 18681 9035821 0 0 207 90 238556 672 20 0 18 0 230479973 8396075008 33829 33554432000 4194304 4196468 140725570728448 140725570710992 140142474837751 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
/proc/14079/statm: 2049823 33829 3157 1 0 2011222 0
[pid=14079/tid=14080] ppid=14012 vsize=8199292 memory=1398720917958146503 CPUtime=2393.09 cores=1,3,5,7
/proc/14079/task/14080/stat : 14080 (java) S 14012 14016 6975 0 -1 1077944384 15041 9035821 0 0 76 5 238556 672 20 0 18 0 230479974 8396075008 33829 33554432000 4194304 4196468 140725570728448 140142446677904 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14081] ppid=14012 vsize=8199292 memory=3500 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14081/stat : 14081 (java) S 14012 14016 6975 0 -1 1077944384 1 9035821 0 0 0 0 238556 672 20 0 18 0 230479975 8396075008 33829 33554432000 4194304 4196468 140725570728448 140142479079696 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14082] ppid=14012 vsize=8199292 memory=8171612656058065234 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14082/stat : 14082 (java) S 14012 14016 6975 0 -1 1077944384 1 9035821 0 0 0 0 238556 672 20 0 18 0 230479975 8396075008 33829 33554432000 4194304 4196468 140725570728448 140142301575568 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14083] ppid=14012 vsize=8199292 memory=7523937549420029546 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14083/stat : 14083 (java) S 14012 14016 6975 0 -1 1077944384 1 9035821 0 0 0 0 238556 672 20 0 18 0 230479975 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141958740496 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14084] ppid=14012 vsize=8199292 memory=4872558044660077418 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14084/stat : 14084 (java) S 14012 14016 6975 0 -1 1077944384 2 9035821 0 0 0 0 238556 672 20 0 18 0 230479975 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141957687952 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14085] ppid=14012 vsize=8199292 memory=2444 CPUtime=2392.33 cores=1,3,5,7
/proc/14079/task/14085/stat : 14085 (java) S 14012 14016 6975 0 -1 1077944384 7 9035821 0 0 1 4 238556 672 20 0 18 0 230479976 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141921265664 140142474848898 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14086] ppid=14012 vsize=8199292 memory=1832 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14086/stat : 14086 (java) S 14012 14016 6975 0 -1 1077944384 13 9035821 0 0 0 0 238556 672 20 0 18 0 230479977 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141293200800 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14087] ppid=14012 vsize=8199292 memory=1920 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14087/stat : 14087 (java) S 14012 14016 6975 0 -1 1077944384 1 9035821 0 0 0 0 238556 672 20 0 18 0 230479977 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141024765424 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14088] ppid=14012 vsize=8199292 memory=1192 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14088/stat : 14088 (java) S 14012 14016 6975 0 -1 1077944384 33 9035821 0 0 0 0 238556 672 20 0 18 0 230479980 8396075008 33829 33554432000 4194304 4196468 140725570728448 140140650256752 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14089] ppid=14012 vsize=8199292 memory=1616 CPUtime=2392.45 cores=1,3,5,7
/proc/14079/task/14089/stat : 14089 (java) S 14012 14016 6975 0 -1 1077944384 1001 9035821 0 0 17 0 238556 672 20 0 18 0 230479980 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141920212976 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14090] ppid=14012 vsize=8199292 memory=1384 CPUtime=2392.44 cores=1,3,5,7
/proc/14079/task/14090/stat : 14090 (java) S 14012 14016 6975 0 -1 1077944384 448 9035821 0 0 15 1 238556 672 20 0 18 0 230479980 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141919160432 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14091] ppid=14012 vsize=8199292 memory=752 CPUtime=2392.52 cores=1,3,5,7
/proc/14079/task/14091/stat : 14091 (java) S 14012 14016 6975 0 -1 1077944384 581 9035821 0 0 23 1 238556 672 20 0 18 0 230479980 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141918107888 140142474848898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14092] ppid=14012 vsize=8199292 memory=7304 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14092/stat : 14092 (java) S 14012 14016 6975 0 -1 1077944384 3 9035821 0 0 0 0 238556 672 20 0 18 0 230479980 8396075008 33829 33554432000 4194304 4196468 140725570728448 140140152351328 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14095] ppid=14012 vsize=8199292 memory=5400 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14095/stat : 14095 (java) S 14012 14016 6975 0 -1 1077944384 24 9035821 0 0 0 0 238556 672 20 0 18 0 230480053 8396075008 33829 33554432000 4194304 4196468 140725570728448 140141909241904 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14099] ppid=14012 vsize=8199292 memory=1108 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14099/stat : 14099 (java) S 14012 14016 6975 0 -1 1077944384 5 9035821 0 0 0 0 238556 672 20 0 18 0 230480056 8396075008 33829 33554432000 4194304 4196468 140725570728448 140139347031568 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14250] ppid=14012 vsize=8199292 memory=10784 CPUtime=2392.28 cores=1,3,5,7
/proc/14079/task/14250/stat : 14250 (java) S 14012 14016 6975 0 -1 1077944384 3 9035821 0 0 0 0 238556 672 20 0 18 0 230719276 8396075008 33829 33554432000 4194304 4196468 140725570728448 140139078606800 140142474847957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
[pid=14079/tid=14253] ppid=14012 vsize=8199292 memory=1472 CPUtime=2392.32 cores=1,3,5,7
/proc/14079/task/14253/stat : 14253 (java) R 14012 14016 6975 0 -1 4202560 2 9035821 0 0 0 4 238556 672 20 0 18 0 230719277 8396075008 33829 33554432000 4194304 4196468 140725570728448 140138810172320 140142467523383 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30593024 140725570737333 140725570737457 140725570737457 140725570740175 0
Current cumulated CPU time of completed processes: 124.98 s
Current children cumulated CPU time: 2395.25 s
Current children cumulated vsize: 8199292 KiB
Current children cumulated memory: 135316 KiB
Child status: 1
Real time (s): 2487.65
CPU time (s): 2520.28
CPU user time (s): 2509.06
CPU system time (s): 11.2208
CPU usage (%): 101.312
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4818880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.06
system time used= 11.2208
maximum resident set size= 4817716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139407
page faults= 0
swaps= 0
block input operations= 424
block output operations= 906928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62977
involuntary context switches= 1079
# summary of solver processes directly reported to runsolver:
# pid: 14016,14079
# total CPU time (s): 2520.28
# total CPU user time (s): 2509.06
# total CPU system time (s): 11.2208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3451 second user time and 25.8077 second system time
The end