0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23588-serial-file.bin HOME/instance-4305450-1534089150.xml
0.54/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 17:52:31 CEST 2018
0.67/0.54 c PID: 23591
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.99/1.18 c (0,0) Parsing End
1.99/1.19 c (0,0) CSP: 852 int (0 aux), 0 bool (0 aux), 372 ctr, max domain size 276
1.99/1.19 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.99/1.19 c (0,0) Constraint Name Generate Begin
2.25/1.20 c (0,0) Ctr:HOME/instance-4305450-1534089150.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
2.25/1.20 c (0,0) Constraint Name Generate End
2.25/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.25/1.20 c (0,0) CSP to CSPinCNF Begin
10.84/5.06 c (4,4) translated 38 (10%) constraints
13.48/7.60 c (7,7) translated 75 (20%) constraints
16.70/10.22 c (9,9) translated 112 (30%) constraints
19.07/12.53 c (12,11) translated 149 (40%) constraints
21.43/14.85 c (14,14) translated 186 (50%) constraints
24.99/17.50 c (16,16) translated 224 (60%) constraints
27.32/19.80 c (19,18) translated 261 (70%) constraints
32.41/22.47 c (21,21) translated 298 (80%) constraints
36.65/24.33 c (23,22) translated 335 (90%) constraints
37.70/24.83 c (24,23) translated 372 (100%) constraints
42.01/26.76 c (26,25) STATISTICS1:HOME/instance-4305450-1534089150.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.01/26.76 c (26,25) ==========================================
42.01/26.76 c (26,25) Order
42.01/26.76 c (26,25) ==========================================
43.82/27.50 c (26,25) translated 47339 (10%) constraints
44.44/28.13 c (27,26) translated 94677 (20%) constraints
45.08/28.76 c (28,27) translated 142015 (30%) constraints
45.68/29.38 c (28,27) translated 189354 (40%) constraints
46.28/30.00 c (29,28) translated 236692 (50%) constraints
46.98/30.62 c (30,28) translated 284030 (60%) constraints
47.58/31.24 c (30,29) translated 331369 (70%) constraints
48.18/31.87 c (31,30) translated 378707 (80%) constraints
52.02/33.49 c (32,31) translated 426045 (90%) constraints
57.35/36.45 c (35,34) translated 473383 (100%) constraints
57.35/36.45 c (35,34) CSP to CSPinCNF End
57.66/36.51 c (35,34) CSP: 7188 int (6336 aux), 110793 bool (110793 aux), 512412 ctr, max domain size 274
57.66/36.51 c (35,34) Heap : 1794 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
57.66/36.51 c (35,34) CSPinCNF Propagation Begin
65.01/40.55 c (40,37) 11565 values, 39888 unsatisfiable literals, and 28458 valid clauses are removed
65.01/40.55 c (40,37) CSPinCNF Propagation End
65.01/40.59 c (40,37) CSP: 14211 int (13359 aux), 103770 bool (103770 aux), 483954 ctr, max domain size 274
65.01/40.59 c (40,37) Heap : 1841 MiB used (max 10329 MiB), NonHeap : 32 MiB used (max 0 MiB)
65.01/40.59 c (40,37) Simplify CSPinCNF Begin
67.49/42.66 c (42,39) Simplify CSPinCNF End
67.59/42.72 c (42,39) CSP: 14211 int (13359 aux), 191178 bool (191178 aux), 571362 ctr, max domain size 274
67.59/42.72 c (42,39) Heap : 2963 MiB used (max 10329 MiB), NonHeap : 32 MiB used (max 0 MiB)
67.59/42.72 c (42,39) Calculate Precise Domain Begin
69.84/43.37 c (42,39) 1410 values are removed by re-calculation
69.84/43.37 c (42,39) Calculate Precise Domain End
70.17/43.44 c (42,39) CSP: 14211 int (13359 aux), 191178 bool (191178 aux), 571362 ctr, max domain size 274
70.17/43.44 c (42,39) Heap : 765 MiB used (max 10562 MiB), NonHeap : 32 MiB used (max 0 MiB)
70.17/43.44 c (42,39) CSPinCNF to SatSolver Begin
71.27/44.01 c (43,40) 57137 (10 %) CSP clauses are encoded (293010 SAT variables, 151984 SAT clauses)
71.49/44.28 c (43,40) 114273 (20 %) CSP clauses are encoded (293010 SAT variables, 209120 SAT clauses)
71.79/44.55 c (44,41) 171409 (30 %) CSP clauses are encoded (293010 SAT variables, 266256 SAT clauses)
72.09/44.81 c (44,41) 228545 (40 %) CSP clauses are encoded (293010 SAT variables, 323392 SAT clauses)
72.30/45.08 c (44,41) 285681 (50 %) CSP clauses are encoded (293010 SAT variables, 380528 SAT clauses)
72.59/45.35 c (44,41) 342818 (60 %) CSP clauses are encoded (293010 SAT variables, 437665 SAT clauses)
84.69/54.64 c (54,49) 399954 (70 %) CSP clauses are encoded (293010 SAT variables, 4064822 SAT clauses)
103.93/75.09 c (74,68) 457090 (80 %) CSP clauses are encoded (293010 SAT variables, 13749303 SAT clauses)
116.85/87.72 c (87,80) 514226 (90 %) CSP clauses are encoded (293010 SAT variables, 19845787 SAT clauses)
118.32/89.13 c (88,82) 571362 (100 %) CSP clauses are encoded (293010 SAT variables, 20205249 SAT clauses)
118.32/89.13 c (88,82) Launch Command will be: minisat_release
118.32/89.13 c (88,82) CSPinCNF to SatSolver End
118.32/89.13 c (88,82) Heap : 913 MiB used (max 10846 MiB), NonHeap : 34 MiB used (max 0 MiB)
120.84/90.70 c (90,83) STATISTICS2:HOME/instance-4305450-1534089150.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,
120.84/90.70 c (90,83) 293010 bool, 20205271 clause
120.84/90.70 c (90,83) Export Begin
121.03/90.84 c (90,83) Export to HOME/scop-23588-serial-file.bin
121.03/90.84 c (90,83) Export End
121.03/90.84 c (90,83) Export File Size: 0.18 MB
121.03/90.84 c (90,83) 0,0,35,40,42,42,88,STOP-AFTER(DIMACS)
121.03/90.84 c END-Prog: Sun Aug 12 17:54:01 CEST 2018
121.03/90.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23588-serial-file.bin
121.74/91.37 c (0,0) Read Serial File Begin
121.74/91.37 c (0,0) HOME/scop-23588-serial-file.bin
122.32/91.61 c (0,0) Read Serial File End
122.32/91.62
122.32/91.62 scop order+minisat_release (2018-07-31)
122.32/91.62 (Solving Process)
122.32/91.62
122.32/91.64 c BEGIN-Prog: Sun Aug 12 17:54:02 CEST 2018
122.32/91.64 c PID: 23607
122.32/91.64 c IP: 172.20.3.107
122.32/91.64 c HOST: node107.alineos.net
122.32/91.65 c (0,0) SatSolver.solve Begin
122.32/91.65 c (0,0) 0 bool, 0 clause
122.32/91.65 c (0,0) minisat_release HOME/instance-4305450-1534089150.xml-scop-23591.cnf
2520.04/2487.50 c (2396,0) receiving signal SIGTERM
2520.04/2487.50 s UNKNOWN
2520.04/2487.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2487.51 c (scop.sh) Remove HOME/scop-23588-serial-file.bin.
2520.04/2487.51 c (scop.sh) Killing background jobs.
2520.04/2487.51 c (2396,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 (12795 MiB free)
memory of node 1: 16384 MiB (11389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305450-1534089150/watcher-4305450-1534089150 -o /tmp/evaluation-result-4305450-1534089150/solver-4305450-1534089150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305450-1534089150.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=23588, runsolver pid=23585
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.03 2.05 3/222 23605
/proc/meminfo: memFree=24705840/32770624 swapFree=67108860/67108860
[pid=23588] ppid=23585 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23588/stat : 23588 (scop.sh) S 23585 23588 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 226478182 115843072 349 33554432000 4194304 5098028 140732477233216 140732477230472 139688799281788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29069312 140732477240384 140732477240583 140732477240583 140732477243341 0
/proc/23588/statm: 28282 349 296 221 0 87 0
[pid=23591] ppid=23588 vsize=15012476 memory=72220 CPUtime=0.11 cores=1,3,5,7
/proc/23591/stat : 23591 (java) S 23588 23588 16605 0 -1 1077944320 6675 0 0 0 9 2 0 0 20 0 15 0 226478182 15372775424 18055 33554432000 4194304 4196468 140726679466576 140726679449120 139772111970039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
/proc/23591/statm: 3753119 18055 2770 1 0 3715579 0
[pid=23591/tid=23592] ppid=23588 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/23591/task/23592/stat : 23592 (java) R 23588 23588 16605 0 -1 4202560 4757 0 0 0 8 1 0 0 20 0 15 0 226478183 15372775424 18055 33554432000 4194304 4196468 140726679466576 139772083793472 139772095156848 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23593] ppid=23588 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23593/stat : 23593 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 18055 33554432000 4194304 4196468 140726679466576 139772116211984 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23594] ppid=23588 vsize=15012476 memory=140675865527936 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23594/stat : 23594 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771930368400 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23595] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23595/stat : 23595 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771929315856 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23596] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23596/stat : 23596 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771928263312 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23597] ppid=23588 vsize=15012476 memory=140675865527936 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23597/stat : 23597 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478186 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771082496496 139772111981186 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23598] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23598/stat : 23598 (java) S 23588 23588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226478186 15372775424 18055 33554432000 4194304 4196468 140726679466576 139770718053792 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23599] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23599/stat : 23599 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478187 15372775424 18055 33554432000 4194304 4196468 140726679466576 139770449618416 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23600] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23600/stat : 23600 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 18055 33554432000 4194304 4196468 140726679466576 139770075110096 139772111988635 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23601] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23601/stat : 23601 (java) S 23588 23588 16605 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771081443312 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23602] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23602/stat : 23602 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771080390768 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23603] ppid=23588 vsize=15012476 memory=140675865527936 CPUtime=0.01 cores=1,3,5,7
/proc/23591/task/23603/stat : 23603 (java) S 23588 23588 16605 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 226478189 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771079338224 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23604] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23604/stat : 23604 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 18055 33554432000 4194304 4196468 140726679466576 139769577204320 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23605] ppid=23588 vsize=15012476 memory=140675865527936 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23605/stat : 23605 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 18055 33554432000 4194304 4196468 140726679466576 139771078286128 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73616 KiB
[startup+0.210586 s]*
/proc/loadavg: 2.00 2.03 2.05 4/222 23605
/proc/meminfo: memFree=24691640/32770624 swapFree=67108860/67108860
[pid=23588] ppid=23585 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23588/stat : 23588 (scop.sh) S 23585 23588 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 226478182 115843072 349 33554432000 4194304 5098028 140732477233216 140732477230472 139688799281788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29069312 140732477240384 140732477240583 140732477240583 140732477243341 0
/proc/23588/statm: 28282 349 296 221 0 87 0
[pid=23591] ppid=23588 vsize=15012476 memory=85516 CPUtime=0.26 cores=1,3,5,7
/proc/23591/stat : 23591 (java) S 23588 23588 16605 0 -1 1077944320 10276 0 0 0 23 3 0 0 20 0 15 0 226478182 15372775424 21379 33554432000 4194304 4196468 140726679466576 140726679449120 139772111970039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
/proc/23591/statm: 3753119 21379 2903 1 0 3715579 0
[pid=23591/tid=23592] ppid=23588 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/23591/task/23592/stat : 23592 (java) R 23588 23588 16605 0 -1 4202560 8174 0 0 0 18 2 0 0 20 0 15 0 226478183 15372775424 21379 33554432000 4194304 4196468 140726679466576 139772083782912 139772111981974 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23593] ppid=23588 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23593/stat : 23593 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 21379 33554432000 4194304 4196468 140726679466576 139772116211984 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23594] ppid=23588 vsize=15012476 memory=140675866723381 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23594/stat : 23594 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771930368400 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23595] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23595/stat : 23595 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771929315856 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23596] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23596/stat : 23596 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771928263312 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23597] ppid=23588 vsize=15012476 memory=140675865527936 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23597/stat : 23597 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478186 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771082496496 139772111981186 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23598] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23598/stat : 23598 (java) S 23588 23588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226478186 15372775424 21379 33554432000 4194304 4196468 140726679466576 139770718053792 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23599] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23599/stat : 23599 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478187 15372775424 21379 33554432000 4194304 4196468 140726679466576 139770449618416 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23600] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23600/stat : 23600 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 21379 33554432000 4194304 4196468 140726679466576 139770075110096 139772111988635 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23601] ppid=23588 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23591/task/23601/stat : 23601 (java) S 23588 23588 16605 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 15 0 226478189 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771081443312 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23602] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23602/stat : 23602 (java) S 23588 23588 16605 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771080390768 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23603] ppid=23588 vsize=15012476 memory=140675865527936 CPUtime=0.03 cores=1,3,5,7
/proc/23591/task/23603/stat : 23603 (java) R 23588 23588 16605 0 -1 4202560 304 0 0 0 3 0 0 0 20 0 15 0 226478189 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771079338224 139772096050526 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23604] ppid=23588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23604/stat : 23604 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 21379 33554432000 4194304 4196468 140726679466576 139769577204320 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23605] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23605/stat : 23605 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 21379 33554432000 4194304 4196468 140726679466576 139771078286128 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86912 KiB
[startup+0.310593 s]*
/proc/loadavg: 2.00 2.03 2.05 3/222 23605
/proc/meminfo: memFree=24687560/32770624 swapFree=67108860/67108860
[pid=23588] ppid=23585 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23588/stat : 23588 (scop.sh) S 23585 23588 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 226478182 115843072 349 33554432000 4194304 5098028 140732477233216 140732477230472 139688799281788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29069312 140732477240384 140732477240583 140732477240583 140732477243341 0
/proc/23588/statm: 28282 349 296 221 0 87 0
[pid=23591] ppid=23588 vsize=15012476 memory=89924 CPUtime=0.43 cores=1,3,5,7
/proc/23591/stat : 23591 (java) S 23588 23588 16605 0 -1 1077944320 10894 0 0 0 40 3 0 0 20 0 15 0 226478182 15372775424 22481 33554432000 4194304 4196468 140726679466576 140726679449120 139772111970039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
/proc/23591/statm: 3753119 22481 3017 1 0 3715579 0
[pid=23591/tid=23592] ppid=23588 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23591/task/23592/stat : 23592 (java) R 23588 23588 16605 0 -1 4202560 8607 0 0 0 27 2 0 0 20 0 15 0 226478183 15372775424 22481 33554432000 4194304 4196468 140726679466576 139772083765040 139772096013669 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23593] ppid=23588 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23593/stat : 23593 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 22481 33554432000 4194304 4196468 140726679466576 139772116211984 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23594] ppid=23588 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23594/stat : 23594 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771930368400 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23595] ppid=23588 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23595/stat : 23595 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771929315856 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23596] ppid=23588 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23596/stat : 23596 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771928263312 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23597] ppid=23588 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23597/stat : 23597 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478186 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771082496496 139772111981186 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23598] ppid=23588 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23598/stat : 23598 (java) S 23588 23588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226478186 15372775424 22481 33554432000 4194304 4196468 140726679466576 139770718053792 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23599] ppid=23588 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23599/stat : 23599 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478187 15372775424 22481 33554432000 4194304 4196468 140726679466576 139770449618416 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23600] ppid=23588 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23600/stat : 23600 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 22481 33554432000 4194304 4196468 140726679466576 139770075110096 139772111988635 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23601] ppid=23588 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23591/task/23601/stat : 23601 (java) R 23588 23588 16605 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 226478189 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771081443312 139772111981186 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23602] ppid=23588 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23591/task/23602/stat : 23602 (java) R 23588 23588 16605 0 -1 4202560 212 0 0 0 1 0 0 0 20 0 15 0 226478189 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771080390768 139772097135711 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23603] ppid=23588 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23591/task/23603/stat : 23603 (java) R 23588 23588 16605 0 -1 4202560 346 0 0 0 7 0 0 0 20 0 15 0 226478189 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771079338224 139772090462001 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23604] ppid=23588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23604/stat : 23604 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 22481 33554432000 4194304 4196468 140726679466576 139769577204320 139772111980245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23605] ppid=23588 vsize=15012476 memory=3472898942829666353 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23605/stat : 23605 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478189 15372775424 22481 33554432000 4194304 4196468 140726679466576 139771078286128 139772111981186 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91320 KiB
[startup+0.710046 s]
/proc/loadavg: 2.00 2.03 2.05 3/222 23605
/proc/meminfo: memFree=24662880/32770624 swapFree=67108860/67108860
[pid=23588] ppid=23585 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23588/stat : 23588 (scop.sh) S 23585 23588 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 226478182 115843072 349 33554432000 4194304 5098028 140732477233216 140732477230472 139688799281788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29069312 140732477240384 140732477240583 140732477240583 140732477243341 0
/proc/23588/statm: 28282 349 296 221 0 87 0
[pid=23591] ppid=23588 vsize=15020872 memory=129756 CPUtime=1.02 cores=1,3,5,7
/proc/23591/stat : 23591 (java) S 23588 23588 16605 0 -1 1077944320 18117 0 0 0 97 5 0 0 20 0 15 0 226478182 15381372928 32439 33554432000 4194304 4196468 140726679466576 140726679449120 139772111970039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
/proc/23591/statm: 3755218 32439 3152 1 0 3716603 0
[pid=23591/tid=23592] ppid=23588 vsize=15020872 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/23591/task/23592/stat : 23592 (java) R 23588 23588 16605 0 -1 4202560 15352 0 0 0 64 4 0 0 20 0 15 0 226478183 15381372928 32439 33554432000 4194304 4196468 140726679466576 139772083804896 139771607589557 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23593] ppid=23588 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23593/stat : 23593 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15381372928 32439 33554432000 4194304 4196468 140726679466576 139772116211984 139772111980245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23594] ppid=23588 vsize=15020872 memory=61616 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23594/stat : 23594 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478184 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771930368400 139772111980245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23595] ppid=23588 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23595/stat : 23595 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771929315856 139772111980245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23596] ppid=23588 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23596/stat : 23596 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226478184 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771928263312 139772111980245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23597] ppid=23588 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23597/stat : 23597 (java) S 23588 23588 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226478186 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771082496496 139772111981186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23598] ppid=23588 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23598/stat : 23598 (java) S 23588 23588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226478186 15381372928 32439 33554432000 4194304 4196468 140726679466576 139770718053792 139772111980245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23599] ppid=23588 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23599/stat : 23599 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478187 15381372928 32439 33554432000 4194304 4196468 140726679466576 139770449618416 139772111980245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23600] ppid=23588 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23600/stat : 23600 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15381372928 32439 33554432000 4194304 4196468 140726679466576 139770075110096 139772111988635 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23601] ppid=23588 vsize=15020872 memory=1120 CPUtime=0.09 cores=1,3,5,7
/proc/23591/task/23601/stat : 23601 (java) R 23588 23588 16605 0 -1 4202560 622 0 0 0 9 0 0 0 20 0 15 0 226478189 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771081422144 139772097095974 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23602] ppid=23588 vsize=15020872 memory=6120 CPUtime=0.07 cores=1,3,5,7
/proc/23591/task/23602/stat : 23602 (java) R 23588 23588 16605 0 -1 4202560 305 0 0 0 7 0 0 0 20 0 15 0 226478189 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771080377312 139772097093618 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23603] ppid=23588 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/23591/task/23603/stat : 23603 (java) R 23588 23588 16605 0 -1 4202560 502 0 0 0 16 0 0 0 20 0 15 0 226478189 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771079338224 139772105066875 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23604] ppid=23588 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23604/stat : 23604 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226478189 15381372928 32439 33554432000 4194304 4196468 140726679466576 139769577204320 139772111980245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
[pid=23591/tid=23605] ppid=23588 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23605/stat : 23605 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226478189 15381372928 32439 33554432000 4194304 4196468 140726679466576 139771078286128 139772111981186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7143424 140726679471110 140726679471409 140726679471409 140726679474127 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131152 KiB
[startup+1.5008 s]
/proc/loadavg: 2.00 2.03 2.05 5/222 23605
/proc/meminfo: memFree=24632784/32770624 swapFree=67108860/67108860
[pid=23588] ppid=23585 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23588/stat : 23588 (scop.sh) S 23585 23588 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 226478182 115843072 349 33554432000 4194304 5098028 140732477233216 140732477230472 139688799281788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29069312 140732477240384 140732477240583 140732477240583 140732477243341 0
/proc/23588/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/23607/stat : 23607 (java) S 23588 23588 16605 0 -1 1077944320 18164 0 0 0 200 87 0 0 20 0 19 0 226487271 8261857280 30240 33554432000 4194304 4196468 140728631429712 140728631412256 139705355947767 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
/proc/23607/statm: 2017055 30240 3139 1 0 1978454 0
[pid=23622] ppid=23607 vsize=1823900 memory=1713008 CPUtime=2350.75 cores=1,3,5,7
/proc/23622/stat : 23622 (minisat_release) R 23607 23588 16605 0 -1 4202496 8856373 0 0 0 234470 605 0 0 20 0 1 0 226487349 1867673600 428252 33554432000 4194304 4308513 140736200468928 140736200466552 4269735 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33128448 140736200471668 140736200471766 140736200471766 140736200474565 0
/proc/23622/statm: 455975 428252 342 28 0 452215 0
[pid=23607/tid=23608] ppid=23588 vsize=8068220 memory=120960 CPUtime=0.8 cores=1,3,5,7
/proc/23607/task/23608/stat : 23608 (java) S 23588 23588 16605 0 -1 1077944384 14537 0 0 0 73 7 0 0 20 0 19 0 226487271 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705327787920 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23609] ppid=23588 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705360189712 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23610] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705160358288 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23611] ppid=23588 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705159305744 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23612] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705158253200 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23613] ppid=23588 vsize=8068220 memory=23 CPUtime=0.05 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23588 23588 16605 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 226487274 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704735304176 139705355958914 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23614] ppid=23588 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23614/stat : 23614 (java) S 23588 23588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226487274 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704280278432 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23615] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23615/stat : 23615 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487274 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704011843056 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23616] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23616/stat : 23616 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139703637334736 139705355966363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23617] ppid=23588 vsize=8068220 memory=1713008 CPUtime=0.16 cores=1,3,5,7
/proc/23607/task/23617/stat : 23617 (java) S 23588 23588 16605 0 -1 1077944384 685 0 0 0 16 0 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704734250992 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23618] ppid=23588 vsize=8068220 memory=1472 CPUtime=0.16 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23588 23588 16605 0 -1 1077944384 773 0 0 0 15 1 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704733198448 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23619] ppid=23588 vsize=8068220 memory=120960 CPUtime=0.23 cores=1,3,5,7
/proc/23607/task/23619/stat : 23619 (java) S 23588 23588 16605 0 -1 1077944384 601 0 0 0 22 1 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704732145904 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23620] ppid=23588 vsize=8068220 memory=3488 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23620/stat : 23620 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139703139428960 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23621] ppid=23588 vsize=8068220 memory=1472 CPUtime=1.4 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23588 23588 16605 0 -1 1077944384 157 0 0 0 63 77 0 0 20 0 19 0 226487278 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704731093808 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23623] ppid=23588 vsize=8068220 memory=-7824251494390586725 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23623/stat : 23623 (java) S 23588 23588 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226487349 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704723285568 139705355972377 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23625] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23625/stat : 23625 (java) S 23588 23588 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226487350 8261857280 30240 33554432000 4194304 4196468 140728631429712 139702602543248 139705355969693 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23626] ppid=23588 vsize=8068220 memory=1713008 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23626/stat : 23626 (java) S 23588 23588 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226487350 8261857280 30240 33554432000 4194304 4196468 140728631429712 139702736764176 139705355969693 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23627] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23627/stat : 23627 (java) S 23588 23588 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226487352 8261857280 30240 33554432000 4194304 4196468 140728631429712 139702334118944 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
Current children cumulated CPU time: 2474.82 s
Current children cumulated vsize: 10005248 KiB
Current children cumulated memory: 1835440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2487.5 s]
/proc/loadavg: 2.00 2.00 2.03 3/227 23821
/proc/meminfo: memFree=19041492/32770624 swapFree=67108860/67108860
[pid=23588] ppid=23585 vsize=113128 memory=1472 CPUtime=121.2 cores=1,3,5,7
/proc/23588/stat : 23588 (scop.sh) S 23585 23588 16605 0 -1 4202496 591 81929 0 0 0 0 11770 350 20 0 1 0 226478182 115843072 368 33554432000 4194304 5098028 140732477233216 140732477229960 139688799281788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29069312 140732477240384 140732477240583 140732477240583 140732477243341 0
/proc/23588/statm: 28282 368 311 221 0 87 0
[pid=23607] ppid=23588 vsize=8068220 memory=120960 CPUtime=2.89 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23588 23588 16605 0 -1 1077944320 18168 0 0 0 201 88 0 0 20 0 19 0 226487271 8261857280 30240 33554432000 4194304 4196468 140728631429712 140728631412256 139705355947767 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
/proc/23607/statm: 2017055 30240 3139 1 0 1978454 0
[pid=23622] ppid=23607 vsize=1823900 memory=1615008 CPUtime=2395.95 cores=1,3,5,7
/proc/23622/stat : 23622 (minisat_release) R 23607 23588 16605 0 -1 4202496 9038334 0 0 0 238973 622 0 0 20 0 1 0 226487349 1867673600 403752 33554432000 4194304 4308513 140736200468928 140736200466376 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33128448 140736200471668 140736200471766 140736200471766 140736200474565 0
/proc/23622/statm: 455975 403752 342 28 0 452215 0
[pid=23607/tid=23608] ppid=23588 vsize=8068220 memory=120960 CPUtime=0.8 cores=1,3,5,7
/proc/23607/task/23608/stat : 23608 (java) S 23588 23588 16605 0 -1 1077944384 14537 0 0 0 73 7 0 0 20 0 19 0 226487271 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705327787920 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23609] ppid=23588 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705360189712 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23610] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705160358288 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23611] ppid=23588 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705159305744 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23612] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23588 23588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226487272 8261857280 30240 33554432000 4194304 4196468 140728631429712 139705158253200 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23613] ppid=23588 vsize=8068220 memory=120960 CPUtime=0.05 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23588 23588 16605 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 226487274 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704735304176 139705355958914 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23614] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23614/stat : 23614 (java) S 23588 23588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226487274 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704280278432 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23615] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23615/stat : 23615 (java) S 23588 23588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487274 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704011843056 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23616] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23616/stat : 23616 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139703637334736 139705355966363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23617] ppid=23588 vsize=8068220 memory=120960 CPUtime=0.16 cores=1,3,5,7
/proc/23607/task/23617/stat : 23617 (java) S 23588 23588 16605 0 -1 1077944384 685 0 0 0 16 0 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704734250992 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23618] ppid=23588 vsize=8068220 memory=1472 CPUtime=0.16 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23588 23588 16605 0 -1 1077944384 773 0 0 0 15 1 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704733198448 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23619] ppid=23588 vsize=8068220 memory=120960 CPUtime=0.23 cores=1,3,5,7
/proc/23607/task/23619/stat : 23619 (java) S 23588 23588 16605 0 -1 1077944384 601 0 0 0 22 1 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704732145904 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23620] ppid=23588 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23620/stat : 23620 (java) S 23588 23588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487277 8261857280 30240 33554432000 4194304 4196468 140728631429712 139703139428960 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23621] ppid=23588 vsize=8068220 memory=1472 CPUtime=1.43 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23588 23588 16605 0 -1 1077944384 161 0 0 0 65 78 0 0 20 0 19 0 226487278 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704731093808 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23623] ppid=23588 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23623/stat : 23623 (java) S 23588 23588 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226487349 8261857280 30240 33554432000 4194304 4196468 140728631429712 139704723285568 139705355972377 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23625] ppid=23588 vsize=8068220 memory=120960 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23625/stat : 23625 (java) S 23588 23588 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226487350 8261857280 30240 33554432000 4194304 4196468 140728631429712 139702602543248 139705355969693 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23626] ppid=23588 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23626/stat : 23626 (java) S 23588 23588 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226487350 8261857280 30240 33554432000 4194304 4196468 140728631429712 139702736764176 139705355969693 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23627] ppid=23588 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23627/stat : 23627 (java) S 23588 23588 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226487352 8261857280 30240 33554432000 4194304 4196468 140728631429712 139702334118944 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10005248 KiB
Current children cumulated memory: 1737440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2487.51 s]
# the end of solver process 23588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=117.702 s, system=3.50449 s
[startup+2487.64 s]
# the end of solver process 23607 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.46 s, system=10.7628 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: 2.00 2.00 2.03 3/223 23825
/proc/meminfo: memFree=20952376/32770624 swapFree=67108860/67108860
[pid=23607] ppid=23585 vsize=8198264 memory=133260 CPUtime=2398.97 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23585 23588 16605 0 -1 1077944320 18212 9038334 0 0 201 94 238973 629 20 0 17 0 226487271 8395022336 33315 33554432000 4194304 4196468 140728631429712 140728631412256 139705355947767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
/proc/23607/statm: 2049566 33315 3140 1 0 2010965 0
[pid=23607/tid=23608] ppid=23585 vsize=8198264 memory=-7824251494390912356 CPUtime=2396.82 cores=1,3,5,7
/proc/23607/task/23608/stat : 23608 (java) S 23585 23588 16605 0 -1 1077944384 14537 9038334 0 0 73 7 238973 629 20 0 17 0 226487271 8395022336 33315 33554432000 4194304 4196468 140728631429712 139705327787920 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23609] ppid=23585 vsize=8198264 memory=4872558044660077418 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) S 23585 23588 16605 0 -1 1077944384 1 9038334 0 0 0 0 238973 629 20 0 17 0 226487272 8395022336 33315 33554432000 4194304 4196468 140728631429712 139705360189712 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23610] ppid=23585 vsize=8198264 memory=6120 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23585 23588 16605 0 -1 1077944384 2 9038334 0 0 0 0 238973 629 20 0 17 0 226487272 8395022336 33315 33554432000 4194304 4196468 140728631429712 139705160358288 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23611] ppid=23585 vsize=8198264 memory=1724 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23585 23588 16605 0 -1 1077944384 1 9038334 0 0 0 0 238973 629 20 0 17 0 226487272 8395022336 33315 33554432000 4194304 4196468 140728631429712 139705159305744 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23612] ppid=23585 vsize=8198264 memory=4004 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23585 23588 16605 0 -1 1077944384 2 9038334 0 0 0 0 238973 629 20 0 17 0 226487272 8395022336 33315 33554432000 4194304 4196468 140728631429712 139705158253200 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23613] ppid=23585 vsize=8198264 memory=3516 CPUtime=2396.07 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23585 23588 16605 0 -1 1077944384 7 9038334 0 0 2 3 238973 629 20 0 17 0 226487274 8395022336 33315 33554432000 4194304 4196468 140728631429712 139704735303680 139705355958914 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23614] ppid=23585 vsize=8198264 memory=872 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23614/stat : 23614 (java) S 23585 23588 16605 0 -1 1077944384 13 9038334 0 0 0 0 238973 629 20 0 17 0 226487274 8395022336 33315 33554432000 4194304 4196468 140728631429712 139704280278432 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23615] ppid=23585 vsize=8198264 memory=1288 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23615/stat : 23615 (java) S 23585 23588 16605 0 -1 1077944384 1 9038334 0 0 0 0 238973 629 20 0 17 0 226487274 8395022336 33315 33554432000 4194304 4196468 140728631429712 139704011843056 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23617] ppid=23585 vsize=8198264 memory=4872558044660077418 CPUtime=2396.18 cores=1,3,5,7
/proc/23607/task/23617/stat : 23617 (java) S 23585 23588 16605 0 -1 1077944384 685 9038334 0 0 16 0 238973 629 20 0 17 0 226487277 8395022336 33315 33554432000 4194304 4196468 140728631429712 139704734250992 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23618] ppid=23585 vsize=8198264 memory=1724 CPUtime=2396.18 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23585 23588 16605 0 -1 1077944384 773 9038334 0 0 15 1 238973 629 20 0 17 0 226487277 8395022336 33315 33554432000 4194304 4196468 140728631429712 139704733198448 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23619] ppid=23585 vsize=8198264 memory=4004 CPUtime=2396.25 cores=1,3,5,7
/proc/23607/task/23619/stat : 23619 (java) S 23585 23588 16605 0 -1 1077944384 601 9038334 0 0 22 1 238973 629 20 0 17 0 226487277 8395022336 33315 33554432000 4194304 4196468 140728631429712 139704732145904 139705355958914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23620] ppid=23585 vsize=8198264 memory=3516 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23620/stat : 23620 (java) S 23585 23588 16605 0 -1 1077944384 3 9038334 0 0 0 0 238973 629 20 0 17 0 226487277 8395022336 33315 33554432000 4194304 4196468 140728631429712 139703139428960 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23623] ppid=23585 vsize=8198264 memory=872 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23623/stat : 23623 (java) S 23585 23588 16605 0 -1 1077944384 24 9038334 0 0 0 0 238973 629 20 0 17 0 226487349 8395022336 33315 33554432000 4194304 4196468 140728631429712 139704723282992 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23627] ppid=23585 vsize=8198264 memory=1288 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23627/stat : 23627 (java) S 23585 23588 16605 0 -1 1077944384 7 9038334 0 0 0 0 238973 629 20 0 17 0 226487352 8395022336 33315 33554432000 4194304 4196468 140728631429712 139702334108160 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23822] ppid=23585 vsize=8198264 memory=1088 CPUtime=2396.07 cores=1,3,5,7
/proc/23607/task/23822/stat : 23822 (java) R 23585 23588 16605 0 -1 4202560 4 9038334 0 0 0 5 238973 629 20 0 17 0 226726933 8395022336 33315 33554432000 4194304 4196468 140728631429712 139702065685784 139705348633399 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
[pid=23607/tid=23825] ppid=23585 vsize=8198264 memory=15512 CPUtime=2396.02 cores=1,3,5,7
/proc/23607/task/23825/stat : 23825 (java) S 23585 23588 16605 0 -1 1077944384 2 9038334 0 0 0 0 238973 629 20 0 17 0 226726933 8395022336 33315 33554432000 4194304 4196468 140728631429712 139701797249104 139705355957973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140728631432373 140728631432497 140728631432497 140728631435215 0
Current cumulated CPU time of completed processes: 121.206 s
Current children cumulated CPU time: 2398.97 s
Current children cumulated vsize: 8198264 KiB
Current children cumulated memory: 133260 KiB
Child status: 1
Real time (s): 2487.64
CPU time (s): 2520.22
CPU user time (s): 2509.46
CPU system time (s): 10.7628
CPU usage (%): 101.309
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4784280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.46
system time used= 10.7628
maximum resident set size= 4783236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139568
page faults= 0
swaps= 0
block input operations= 8
block output operations= 906928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62913
involuntary context switches= 1220
# summary of solver processes directly reported to runsolver:
# pid: 23588,23607
# total CPU time (s): 2520.22
# total CPU user time (s): 2509.46
# total CPU system time (s): 10.7628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.4224 second user time and 19.3158 second system time
The end