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-11916-serial-file.bin HOME/instance-4305477-1534086481.xml
0.54/0.51
0.54/0.51 scop order+minisat_release (2018-07-31)
0.54/0.51 (Encoding Process)
0.54/0.51
0.66/0.54 c BEGIN-Prog: Sun Aug 12 17:08:02 CEST 2018
0.66/0.54 c PID: 11919
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.04/1.33 c (0,0) Parsing End
3.04/1.34 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 549 ctr, max domain size 26
3.04/1.34 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.04/1.34 c (0,0) Constraint Name Generate Begin
3.04/1.35 c (0,0) Ctr:HOME/instance-4305477-1534086481.xml,ExtensionConflict:ExtensionSupport:IntVar
3.04/1.35 c (0,0) Constraint Name Generate End
3.04/1.35 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.04/1.35 c (0,0) CSP to CSPinCNF Begin
6.64/2.54 c (2,2) translated 55 (10%) constraints
8.19/3.06 c (2,2) translated 110 (20%) constraints
9.68/3.54 c (3,3) translated 165 (30%) constraints
11.23/4.01 c (3,3) translated 220 (40%) constraints
12.42/4.45 c (3,3) translated 275 (50%) constraints
13.47/4.90 c (4,4) translated 330 (60%) constraints
14.68/5.25 c (4,4) translated 385 (70%) constraints
15.43/5.53 c (5,4) translated 440 (80%) constraints
16.10/5.82 c (5,5) translated 495 (90%) constraints
16.34/6.08 c (5,5) translated 549 (100%) constraints
17.56/6.51 c (5,5) STATISTICS1:HOME/instance-4305477-1534086481.xml,ExtensionConflict:ExtensionSupport:IntVar,501,78050,-1,26,27,1,,26:292081;2:6730,27:17;4:65335;3:11633;2:1065,1:298811;0:17,
17.56/6.51 c (5,5) ==========================================
17.56/6.51 c (5,5) Order
17.56/6.51 c (5,5) ==========================================
18.13/6.74 c (6,6) translated 7805 (10%) constraints
18.42/6.90 c (6,6) translated 15610 (20%) constraints
18.83/7.03 c (6,6) translated 23415 (30%) constraints
18.95/7.16 c (6,6) translated 31220 (40%) constraints
19.03/7.30 c (6,6) translated 39025 (50%) constraints
19.59/7.58 c (7,6) translated 46830 (60%) constraints
19.97/7.70 c (7,6) translated 54635 (70%) constraints
20.07/7.83 c (7,7) translated 62440 (80%) constraints
20.17/7.95 c (7,7) translated 70245 (90%) constraints
20.28/8.07 c (7,7) translated 78050 (100%) constraints
20.28/8.07 c (7,7) CSP to CSPinCNF End
20.28/8.08 c (7,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
20.28/8.08 c (7,7) Heap : 407 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.28/8.08 c (7,7) CSPinCNF Propagation Begin
21.04/8.47 c (7,7) 0 values, 6651 unsatisfiable literals, and 0 valid clauses are removed
21.04/8.47 c (7,7) CSPinCNF Propagation End
21.04/8.47 c (7,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.04/8.47 c (7,7) Heap : 789 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.04/8.47 c (7,7) Simplify CSPinCNF Begin
21.43/8.63 c (8,7) Simplify CSPinCNF End
21.43/8.63 c (8,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.43/8.63 c (8,7) Heap : 844 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.43/8.63 c (8,7) Calculate Precise Domain Begin
21.43/8.63 c (8,7) 0 values are removed by re-calculation
21.43/8.63 c (8,7) Calculate Precise Domain End
21.43/8.63 c (8,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.43/8.63 c (8,7) Heap : 844 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.43/8.63 c (8,7) CSPinCNF to SatSolver Begin
21.66/8.79 c (8,8) 7805 (10 %) CSP clauses are encoded (1917 SAT variables, 9220 SAT clauses)
21.95/8.85 c (8,8) 15610 (20 %) CSP clauses are encoded (1917 SAT variables, 17025 SAT clauses)
22.18/8.90 c (8,8) 23415 (30 %) CSP clauses are encoded (1917 SAT variables, 24830 SAT clauses)
22.18/8.95 c (8,8) 31220 (40 %) CSP clauses are encoded (1917 SAT variables, 32635 SAT clauses)
22.18/8.99 c (8,8) 39025 (50 %) CSP clauses are encoded (1917 SAT variables, 40440 SAT clauses)
22.31/9.04 c (8,8) 46830 (60 %) CSP clauses are encoded (1917 SAT variables, 48245 SAT clauses)
22.31/9.08 c (8,8) 54635 (70 %) CSP clauses are encoded (1917 SAT variables, 56050 SAT clauses)
22.42/9.13 c (8,8) 62440 (80 %) CSP clauses are encoded (1917 SAT variables, 63855 SAT clauses)
22.42/9.18 c (8,8) 70245 (90 %) CSP clauses are encoded (1917 SAT variables, 71660 SAT clauses)
22.51/9.23 c (8,8) 78050 (100 %) CSP clauses are encoded (1917 SAT variables, 79465 SAT clauses)
22.51/9.23 c (8,8) Launch Command will be: minisat_release
22.51/9.23 c (8,8) CSPinCNF to SatSolver End
22.51/9.23 c (8,8) Heap : 1336 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.07/9.51 c (8,8) STATISTICS2:HOME/instance-4305477-1534086481.xml,ExtensionConflict:ExtensionSupport:IntVar,501,78050,-1,26,26,1,,26:285447;2:6730,26:17;4:59112;3:17445;2:1476,1:292177,
23.07/9.52 c (9,8) 1917 bool, 79466 clause
23.07/9.52 c (9,8) Export Begin
23.24/9.60 c (9,8) Export to HOME/scop-11916-serial-file.bin
23.24/9.60 c (9,8) Export End
23.24/9.61 c (9,8) Export File Size: 0.01 MB
23.24/9.61 c (9,8) 0,0,7,7,8,8,8,STOP-AFTER(DIMACS)
23.24/9.61 c END-Prog: Sun Aug 12 17:08:11 CEST 2018
23.24/9.63 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-11916-serial-file.bin
23.88/10.11 c (0,0) Read Serial File Begin
23.88/10.11 c (0,0) HOME/scop-11916-serial-file.bin
24.03/10.28 c (0,0) Read Serial File End
24.03/10.30
24.03/10.30 scop order+minisat_release (2018-07-31)
24.03/10.30 (Solving Process)
24.03/10.30
24.17/10.32 c BEGIN-Prog: Sun Aug 12 17:08:12 CEST 2018
24.17/10.32 c PID: 11934
24.17/10.32 c IP: 172.20.3.151
24.17/10.32 c HOST: node151.alineos.net
24.17/10.32 c (0,0) SatSolver.solve Begin
24.17/10.32 c (0,0) 0 bool, 0 clause
24.17/10.32 c (0,0) minisat_release HOME/instance-4305477-1534086481.xml-scop-11919.cnf
2520.00/2504.90 c (2494,0) SatSolver is killed by some reasons.
2520.00/2504.90 c (2494,0) receiving signal SIGTERM
2520.00/2504.90 s UNKNOWN
2520.00/2504.91 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2504.91 c (scop.sh) Killing background jobs.
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 (8552 MiB free)
memory of node 1: 16384 MiB (9602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305477-1534086481/watcher-4305477-1534086481 -o /tmp/evaluation-result-4305477-1534086481/solver-4305477-1534086481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305477-1534086481.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=11916, runsolver pid=11913
Current StackSize limit: 8192 KiB
[startup+0.100259 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 11933
/proc/meminfo: memFree=18527944/32770624 swapFree=67108196/67108860
[pid=11916] ppid=11913 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11916/stat : 11916 (scop.sh) S 11913 11916 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226211341 115843072 348 33554432000 4194304 5098028 140733527257184 140733527254440 140481086046844 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29564928 140733527258176 140733527258375 140733527258375 140733527261133 0
/proc/11916/statm: 28282 348 296 221 0 87 0
[pid=11919] ppid=11916 vsize=15012476 memory=73584 CPUtime=0.11 cores=1,3,5,7
/proc/11919/stat : 11919 (java) S 11916 11916 3762 0 -1 1077944320 5980 0 0 0 9 2 0 0 20 0 15 0 226211341 15372775424 18396 33554432000 4194304 4196468 140722227622944 140722227605488 139985826619127 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
/proc/11919/statm: 3753119 18396 2766 1 0 3715579 0
[pid=11919/tid=11920] ppid=11916 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=1,3,5,7
/proc/11919/task/11920/stat : 11920 (java) R 11916 11916 3762 0 -1 4202560 4132 0 0 0 7 1 0 0 20 0 15 0 226211342 15372775424 18462 33554432000 4194304 4196468 140722227622944 139985798431112 139985806894955 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11921] ppid=11916 vsize=15012476 memory=3472468994150745776 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11921/stat : 11921 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 18462 33554432000 4194304 4196468 140722227622944 139985830861072 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11922] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11922/stat : 11922 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 18462 33554432000 4194304 4196468 140722227622944 139985606564240 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11923] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11923/stat : 11923 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 18462 33554432000 4194304 4196468 140722227622944 139985605511696 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11924] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11924/stat : 11924 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 18462 33554432000 4194304 4196468 140722227622944 139985604459152 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11925] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11925/stat : 11925 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211345 15372775424 18462 33554432000 4194304 4196468 140722227622944 139984864233968 139985826630274 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11926] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11926/stat : 11926 (java) S 11916 11916 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226211345 15372775424 18462 33554432000 4194304 4196468 140722227622944 139984392676768 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11927] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11927/stat : 11927 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211346 15372775424 18462 33554432000 4194304 4196468 140722227622944 139984124241392 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11928] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11928/stat : 11928 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 18462 33554432000 4194304 4196468 140722227622944 139983749733072 139985826637723 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11929] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11929/stat : 11929 (java) S 11916 11916 3762 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 18528 33554432000 4194304 4196468 140722227622944 139984795330544 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11930] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11930/stat : 11930 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 18528 33554432000 4194304 4196468 140722227622944 139984794278000 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11931] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0.01 cores=1,3,5,7
/proc/11919/task/11931/stat : 11931 (java) S 11916 11916 3762 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 226211348 15372775424 18528 33554432000 4194304 4196468 140722227622944 139984793225456 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11932] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11932/stat : 11932 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 18528 33554432000 4194304 4196468 140722227622944 139983251827296 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11933] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11933/stat : 11933 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 18528 33554432000 4194304 4196468 140722227622944 139984792173360 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74976 KiB
[startup+0.210621 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 11933
/proc/meminfo: memFree=18514696/32770624 swapFree=67108196/67108860
[pid=11916] ppid=11913 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11916/stat : 11916 (scop.sh) S 11913 11916 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226211341 115843072 348 33554432000 4194304 5098028 140733527257184 140733527254440 140481086046844 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29564928 140733527258176 140733527258375 140733527258375 140733527261133 0
/proc/11916/statm: 28282 348 296 221 0 87 0
[pid=11919] ppid=11916 vsize=15012476 memory=86628 CPUtime=0.25 cores=1,3,5,7
/proc/11919/stat : 11919 (java) S 11916 11916 3762 0 -1 1077944320 9493 0 0 0 22 3 0 0 20 0 15 0 226211341 15372775424 21657 33554432000 4194304 4196468 140722227622944 140722227605488 139985826619127 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
/proc/11919/statm: 3753119 21657 2899 1 0 3715579 0
[pid=11919/tid=11920] ppid=11916 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=1,3,5,7
/proc/11919/task/11920/stat : 11920 (java) R 11916 11916 3762 0 -1 4202560 7400 0 0 0 18 2 0 0 20 0 15 0 226211342 15372775424 21657 33554432000 4194304 4196468 140722227622944 139985798445520 139985826631062 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11921] ppid=11916 vsize=15012476 memory=3472468994150745776 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11921/stat : 11921 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 21657 33554432000 4194304 4196468 140722227622944 139985830861072 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11922] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11922/stat : 11922 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 21657 33554432000 4194304 4196468 140722227622944 139985606564240 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11923] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11923/stat : 11923 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 21657 33554432000 4194304 4196468 140722227622944 139985605511696 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11924] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11924/stat : 11924 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 21657 33554432000 4194304 4196468 140722227622944 139985604459152 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11925] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11925/stat : 11925 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211345 15372775424 21657 33554432000 4194304 4196468 140722227622944 139984864233968 139985826630274 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11926] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11926/stat : 11926 (java) S 11916 11916 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226211345 15372775424 21657 33554432000 4194304 4196468 140722227622944 139984392676768 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11927] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11927/stat : 11927 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211346 15372775424 21657 33554432000 4194304 4196468 140722227622944 139984124241392 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11928] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11928/stat : 11928 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 21657 33554432000 4194304 4196468 140722227622944 139983749733072 139985826637723 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11929] ppid=11916 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11929/stat : 11929 (java) R 11916 11916 3762 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 21657 33554432000 4194304 4196468 140722227622944 139984795330544 139985826630274 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11930] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11930/stat : 11930 (java) R 11916 11916 3762 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 21657 33554432000 4194304 4196468 140722227622944 139984794278096 139985819604169 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11931] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0.03 cores=1,3,5,7
/proc/11919/task/11931/stat : 11931 (java) R 11916 11916 3762 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 226211348 15372775424 21657 33554432000 4194304 4196468 140722227622944 139984793225456 139985826631062 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11932] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11932/stat : 11932 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 21657 33554432000 4194304 4196468 140722227622944 139983251827296 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11933] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11933/stat : 11933 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 21657 33554432000 4194304 4196468 140722227622944 139984792173360 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88020 KiB
[startup+0.310673 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 11933
/proc/meminfo: memFree=18511500/32770624 swapFree=67108196/67108860
[pid=11916] ppid=11913 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11916/stat : 11916 (scop.sh) S 11913 11916 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226211341 115843072 348 33554432000 4194304 5098028 140733527257184 140733527254440 140481086046844 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29564928 140733527258176 140733527258375 140733527258375 140733527261133 0
/proc/11916/statm: 28282 348 296 221 0 87 0
[pid=11919] ppid=11916 vsize=15012476 memory=90156 CPUtime=0.43 cores=1,3,5,7
/proc/11919/stat : 11919 (java) S 11916 11916 3762 0 -1 1077944320 10036 0 0 0 40 3 0 0 20 0 15 0 226211341 15372775424 22539 33554432000 4194304 4196468 140722227622944 140722227605488 139985826619127 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
/proc/11919/statm: 3753119 22539 2978 1 0 3715579 0
[pid=11919/tid=11920] ppid=11916 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/11919/task/11920/stat : 11920 (java) R 11916 11916 3762 0 -1 4202560 7781 0 0 0 27 2 0 0 20 0 15 0 226211342 15372775424 22539 33554432000 4194304 4196468 140722227622944 139985798414128 139985826633031 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11921] ppid=11916 vsize=15012476 memory=3472468994150745776 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11921/stat : 11921 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 22539 33554432000 4194304 4196468 140722227622944 139985830861072 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11922] ppid=11916 vsize=15012476 memory=281395683089280 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11922/stat : 11922 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 22539 33554432000 4194304 4196468 140722227622944 139985606564240 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11923] ppid=11916 vsize=15012476 memory=281395520079904 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11923/stat : 11923 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 22539 33554432000 4194304 4196468 140722227622944 139985605511696 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11924] ppid=11916 vsize=15012476 memory=140697760023823 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11924/stat : 11924 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15372775424 22539 33554432000 4194304 4196468 140722227622944 139985604459152 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11925] ppid=11916 vsize=15012476 memory=281395683096192 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11925/stat : 11925 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211345 15372775424 22539 33554432000 4194304 4196468 140722227622944 139984864233968 139985826630274 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11926] ppid=11916 vsize=15012476 memory=140697760028431 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11926/stat : 11926 (java) S 11916 11916 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226211345 15372775424 22539 33554432000 4194304 4196468 140722227622944 139984392676768 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11927] ppid=11916 vsize=15012476 memory=140697760042499 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11927/stat : 11927 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211346 15372775424 22539 33554432000 4194304 4196468 140722227622944 139984124241392 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11928] ppid=11916 vsize=15012476 memory=281395520089120 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11928/stat : 11928 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 22539 33554432000 4194304 4196468 140722227622944 139983749733072 139985826637723 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11929] ppid=11916 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11919/task/11929/stat : 11929 (java) R 11916 11916 3762 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 15 0 226211348 15372775424 22539 33554432000 4194304 4196468 140722227622944 139984795330640 139985810005908 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11930] ppid=11916 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11919/task/11930/stat : 11930 (java) S 11916 11916 3762 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 15 0 226211348 15372775424 22539 33554432000 4194304 4196468 140722227622944 139984794278000 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11931] ppid=11916 vsize=15012476 memory=140697923065472 CPUtime=0.07 cores=1,3,5,7
/proc/11919/task/11931/stat : 11931 (java) S 11916 11916 3762 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 15 0 226211348 15372775424 22539 33554432000 4194304 4196468 140722227622944 139984793225456 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11932] ppid=11916 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11932/stat : 11932 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 22539 33554432000 4194304 4196468 140722227622944 139983251827296 139985826629333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11933] ppid=11916 vsize=15012476 memory=140697923066864 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11933/stat : 11933 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211348 15372775424 22539 33554432000 4194304 4196468 140722227622944 139984792173360 139985826630274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91548 KiB
[startup+0.707259 s]
/proc/loadavg: 2.00 2.01 2.05 2/222 11933
/proc/meminfo: memFree=18487316/32770624 swapFree=67108196/67108860
[pid=11916] ppid=11913 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11916/stat : 11916 (scop.sh) S 11913 11916 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226211341 115843072 348 33554432000 4194304 5098028 140733527257184 140733527254440 140481086046844 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29564928 140733527258176 140733527258375 140733527258375 140733527261133 0
/proc/11916/statm: 28282 348 296 221 0 87 0
[pid=11919] ppid=11916 vsize=15020872 memory=132312 CPUtime=1.05 cores=1,3,5,7
/proc/11919/stat : 11919 (java) S 11916 11916 3762 0 -1 1077944320 17103 0 0 0 100 5 0 0 20 0 15 0 226211341 15381372928 33078 33554432000 4194304 4196468 140722227622944 140722227605488 139985826619127 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
/proc/11919/statm: 3755218 33078 3165 1 0 3716603 0
[pid=11919/tid=11920] ppid=11916 vsize=15020872 memory=54 CPUtime=0.68 cores=1,3,5,7
/proc/11919/task/11920/stat : 11920 (java) R 11916 11916 3762 0 -1 4202560 14261 0 0 0 64 4 0 0 20 0 15 0 226211342 15381372928 33078 33554432000 4194304 4196468 140722227622944 139985798457072 139985810699614 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11921] ppid=11916 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11921/stat : 11921 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15381372928 33078 33554432000 4194304 4196468 140722227622944 139985830861072 139985826629333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11922] ppid=11916 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11922/stat : 11922 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15381372928 33078 33554432000 4194304 4196468 140722227622944 139985606564240 139985826629333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11923] ppid=11916 vsize=15020872 memory=5788902677008311104 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11923/stat : 11923 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226211343 15381372928 33078 33554432000 4194304 4196468 140722227622944 139985605511696 139985826629333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11924] ppid=11916 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11924/stat : 11924 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211343 15381372928 33078 33554432000 4194304 4196468 140722227622944 139985604459152 139985826629333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11925] ppid=11916 vsize=15020872 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11925/stat : 11925 (java) S 11916 11916 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226211345 15381372928 33078 33554432000 4194304 4196468 140722227622944 139984864233968 139985826630274 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11926] ppid=11916 vsize=15020872 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11926/stat : 11926 (java) S 11916 11916 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226211345 15381372928 33078 33554432000 4194304 4196468 140722227622944 139984392676768 139985826629333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11927] ppid=11916 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11927/stat : 11927 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211346 15381372928 33078 33554432000 4194304 4196468 140722227622944 139984124241392 139985826629333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11928] ppid=11916 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11928/stat : 11928 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15381372928 33078 33554432000 4194304 4196468 140722227622944 139983749733072 139985826637723 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11929] ppid=11916 vsize=15020872 memory=4168 CPUtime=0.09 cores=1,3,5,7
/proc/11919/task/11929/stat : 11929 (java) R 11916 11916 3762 0 -1 4202560 612 0 0 0 9 0 0 0 20 0 15 0 226211348 15381372928 33078 33554432000 4194304 4196468 140722227622944 139984795322384 139985806274353 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11930] ppid=11916 vsize=15020872 memory=7852 CPUtime=0.08 cores=1,3,5,7
/proc/11919/task/11930/stat : 11930 (java) S 11916 11916 3762 0 -1 1077944384 424 0 0 0 8 0 0 0 20 0 15 0 226211348 15381372928 33078 33554432000 4194304 4196468 140722227622944 139984794278000 139985826630274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11931] ppid=11916 vsize=15020872 memory=1628 CPUtime=0.17 cores=1,3,5,7
/proc/11919/task/11931/stat : 11931 (java) R 11916 11916 3762 0 -1 4202560 471 0 0 0 17 0 0 0 20 0 15 0 226211348 15381372928 33078 33554432000 4194304 4196468 140722227622944 139984793225456 139985826640474 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11932] ppid=11916 vsize=15020872 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11932/stat : 11932 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226211348 15381372928 33078 33554432000 4194304 4196468 140722227622944 139983251827296 139985826629333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
[pid=11919/tid=11933] ppid=11916 vsize=15020872 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/11919/task/11933/stat : 11933 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226211348 15381372928 33078 33554432000 4194304 4196468 140722227622944 139984792173360 139985826630274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140722227631110 140722227631409 140722227631409 140722227634127 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133704 KiB
[startup+1.50926 s]
/proc/loadavg: 2.00 2.01 2.05 6/222 11933
/proc/meminfo: memFree=18383004/32770624 swapFree=67108196/67108860
[pid=11916] ppid=11913 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11916/stat : 11916 (scop.sh) S 11913 11916 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226211341 115843072 348 33554432000 4194304 5098028 140733527257184 140733527254440 140481086046844 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29564928 140733527258176 140733527258375 140733527258375 140733527261133 0
/proc/11916/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=11934/tid=11937] ppid=11916 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11937/stat : 11937 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549786679568 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11938] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11938/stat : 11938 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549460494992 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11939] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11939/stat : 11939 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549459442192 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11940] ppid=11916 vsize=8068220 memory=1468 CPUtime=0.04 cores=1,3,5,7
/proc/11934/task/11940/stat : 11940 (java) S 11916 11916 3762 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226212307 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549020408432 140549976685186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11941] ppid=11916 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11941/stat : 11941 (java) S 11916 11916 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226212308 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548912440608 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11942] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11942/stat : 11942 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212308 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548644005488 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11943] ppid=11916 vsize=8068220 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11943/stat : 11943 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548269496912 140549976692635 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11944] ppid=11916 vsize=8068220 memory=1628 CPUtime=0.08 cores=1,3,5,7
/proc/11934/task/11944/stat : 11944 (java) S 11916 11916 3762 0 -1 1077944384 525 0 0 0 8 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549019355248 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11945] ppid=11916 vsize=8068220 memory=1140 CPUtime=0.09 cores=1,3,5,7
/proc/11934/task/11945/stat : 11945 (java) S 11916 11916 3762 0 -1 1077944384 444 0 0 0 9 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549018302448 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11946] ppid=11916 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/11934/task/11946/stat : 11946 (java) S 11916 11916 3762 0 -1 1077944384 560 0 0 0 20 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549017250160 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11947] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11947/stat : 11947 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226212311 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547771591136 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11948] ppid=11916 vsize=8068220 memory=1468 CPUtime=1.1 cores=1,3,5,7
/proc/11934/task/11948/stat : 11948 (java) S 11916 11916 3762 0 -1 1077944384 167 0 0 0 47 63 0 0 20 0 19 0 226212311 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549016198064 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11950] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11950/stat : 11950 (java) S 11916 11916 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226212376 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549008389568 140549976698649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11952] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11952/stat : 11952 (java) S 11916 11916 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226212376 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547234705424 140549976695965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11953] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11953/stat : 11953 (java) S 11916 11916 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226212377 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547100482960 140549976695965 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11954] ppid=11916 vsize=8068220 memory=73300 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11954/stat : 11954 (java) S 11916 11916 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226212379 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547368934304 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
Current children cumulated CPU time: 2517.4 s
Current children cumulated vsize: 8270552 KiB
Current children cumulated memory: 195632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.9 s]
/proc/loadavg: 2.03 2.02 2.05 3/227 12128
/proc/meminfo: memFree=18383636/32770624 swapFree=67108196/67108860
[pid=11916] ppid=11913 vsize=113128 memory=1468 CPUtime=23.27 cores=1,3,5,7
/proc/11916/stat : 11916 (scop.sh) S 11913 11916 3762 0 -1 4202496 589 38096 0 0 0 0 2258 69 20 0 1 0 226211341 115843072 367 33554432000 4194304 5098028 140733527257184 140733527253928 140481086046844 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29564928 140733527258176 140733527258375 140733527258375 140733527261133 0
/proc/11916/statm: 28282 367 311 221 0 87 0
[pid=11934] ppid=11916 vsize=8068220 memory=120864 CPUtime=2.29 cores=1,3,5,7
/proc/11934/stat : 11934 (java) S 11916 11916 3762 0 -1 1077944320 17583 0 0 0 160 69 0 0 20 0 19 0 226212304 8261857280 30216 33554432000 4194304 4196468 140730143801584 140730143784128 140549976674039 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
/proc/11934/statm: 2017055 30216 3147 1 0 1978454 0
[pid=11949] ppid=11934 vsize=89204 memory=73300 CPUtime=2494.44 cores=1,3,5,7
/proc/11949/stat : 11949 (minisat_release) R 11934 11916 3762 0 -1 4202496 168791 0 0 0 249425 19 0 0 20 0 1 0 226212376 91344896 18325 33554432000 4194304 4308513 140724392490528 140724392487432 4276025 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 14848000 140724392498292 140724392498390 140724392498390 140724392501189 0
/proc/11949/statm: 22301 18325 341 28 0 18541 0
[pid=11934/tid=11935] ppid=11916 vsize=8068220 memory=120864 CPUtime=0.74 cores=1,3,5,7
/proc/11934/task/11935/stat : 11935 (java) S 11916 11916 3762 0 -1 1077944384 14494 0 0 0 69 5 0 0 20 0 19 0 226212305 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549948514192 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11936] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11936/stat : 11936 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549980916112 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11937] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11937/stat : 11937 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549786679568 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11938] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11938/stat : 11938 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549460494992 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11939] ppid=11916 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11939/stat : 11939 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549459442192 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11940] ppid=11916 vsize=8068220 memory=1240 CPUtime=0.04 cores=1,3,5,7
/proc/11934/task/11940/stat : 11940 (java) S 11916 11916 3762 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226212307 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549020408432 140549976685186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11941] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11941/stat : 11941 (java) S 11916 11916 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226212308 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548912440608 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11942] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11942/stat : 11942 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212308 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548644005488 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11943] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11943/stat : 11943 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548269496912 140549976692635 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11944] ppid=11916 vsize=8068220 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/11934/task/11944/stat : 11944 (java) S 11916 11916 3762 0 -1 1077944384 525 0 0 0 8 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549019355248 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11945] ppid=11916 vsize=8068220 memory=73300 CPUtime=0.09 cores=1,3,5,7
/proc/11934/task/11945/stat : 11945 (java) S 11916 11916 3762 0 -1 1077944384 444 0 0 0 9 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549018302448 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11946] ppid=11916 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/11934/task/11946/stat : 11946 (java) S 11916 11916 3762 0 -1 1077944384 560 0 0 0 20 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549017250160 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11947] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11947/stat : 11947 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226212311 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547771591136 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11948] ppid=11916 vsize=8068220 memory=1140 CPUtime=1.1 cores=1,3,5,7
/proc/11934/task/11948/stat : 11948 (java) S 11916 11916 3762 0 -1 1077944384 167 0 0 0 47 63 0 0 20 0 19 0 226212311 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549016198064 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11950] ppid=11916 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11950/stat : 11950 (java) S 11916 11916 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226212376 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549008389568 140549976698649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11952] ppid=11916 vsize=8068220 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11952/stat : 11952 (java) S 11916 11916 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226212376 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547234705424 140549976695965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11953] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11953/stat : 11953 (java) S 11916 11916 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226212377 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547100482960 140549976695965 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11954] ppid=11916 vsize=8068220 memory=73300 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11954/stat : 11954 (java) S 11916 11916 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226212379 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547368934304 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8270552 KiB
Current children cumulated memory: 195632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.91 s]
# the end of solver process 11916 was just reported to runsolver
# cumulated CPU time of all completed processes: user=22.5868 s, system=0.699223 s
[startup+2504.91 s]
# the end of solver process 11934 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.45 s, system=1.61117 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+2504.9 s]
/proc/loadavg: 2.03 2.02 2.05 3/227 12128
/proc/meminfo: memFree=18383636/32770624 swapFree=67108196/67108860
[pid=11916] ppid=11913 vsize=113128 memory=1468 CPUtime=23.27 cores=1,3,5,7
/proc/11916/stat : 11916 (scop.sh) S 11913 11916 3762 0 -1 4202496 589 38096 0 0 0 0 2258 69 20 0 1 0 226211341 115843072 367 33554432000 4194304 5098028 140733527257184 140733527253928 140481086046844 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29564928 140733527258176 140733527258375 140733527258375 140733527261133 0
/proc/11916/statm: 28282 367 311 221 0 87 0
[pid=11934] ppid=11916 vsize=8068220 memory=120864 CPUtime=2.29 cores=1,3,5,7
/proc/11934/stat : 11934 (java) S 11916 11916 3762 0 -1 1077944320 17583 0 0 0 160 69 0 0 20 0 19 0 226212304 8261857280 30216 33554432000 4194304 4196468 140730143801584 140730143784128 140549976674039 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
/proc/11934/statm: 2017055 30216 3147 1 0 1978454 0
[pid=11949] ppid=11934 vsize=89204 memory=73300 CPUtime=2494.44 cores=1,3,5,7
/proc/11949/stat : 11949 (minisat_release) R 11934 11916 3762 0 -1 4202496 168791 0 0 0 249425 19 0 0 20 0 1 0 226212376 91344896 18325 33554432000 4194304 4308513 140724392490528 140724392487432 4276025 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 14848000 140724392498292 140724392498390 140724392498390 140724392501189 0
/proc/11949/statm: 22301 18325 341 28 0 18541 0
[pid=11934/tid=11935] ppid=11916 vsize=8068220 memory=120864 CPUtime=0.74 cores=1,3,5,7
/proc/11934/task/11935/stat : 11935 (java) S 11916 11916 3762 0 -1 1077944384 14494 0 0 0 69 5 0 0 20 0 19 0 226212305 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549948514192 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11936] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11936/stat : 11936 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549980916112 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11937] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11937/stat : 11937 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549786679568 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11938] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11938/stat : 11938 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549460494992 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11939] ppid=11916 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11939/stat : 11939 (java) S 11916 11916 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226212306 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549459442192 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11940] ppid=11916 vsize=8068220 memory=1240 CPUtime=0.04 cores=1,3,5,7
/proc/11934/task/11940/stat : 11940 (java) S 11916 11916 3762 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226212307 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549020408432 140549976685186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11941] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11941/stat : 11941 (java) S 11916 11916 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226212308 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548912440608 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11942] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11942/stat : 11942 (java) S 11916 11916 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226212308 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548644005488 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11943] ppid=11916 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11943/stat : 11943 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140548269496912 140549976692635 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11944] ppid=11916 vsize=8068220 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/11934/task/11944/stat : 11944 (java) S 11916 11916 3762 0 -1 1077944384 525 0 0 0 8 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549019355248 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11945] ppid=11916 vsize=8068220 memory=73300 CPUtime=0.09 cores=1,3,5,7
/proc/11934/task/11945/stat : 11945 (java) S 11916 11916 3762 0 -1 1077944384 444 0 0 0 9 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549018302448 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11946] ppid=11916 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/11934/task/11946/stat : 11946 (java) S 11916 11916 3762 0 -1 1077944384 560 0 0 0 20 0 0 0 20 0 19 0 226212310 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549017250160 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11947] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11947/stat : 11947 (java) S 11916 11916 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226212311 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547771591136 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11948] ppid=11916 vsize=8068220 memory=1140 CPUtime=1.1 cores=1,3,5,7
/proc/11934/task/11948/stat : 11948 (java) S 11916 11916 3762 0 -1 1077944384 167 0 0 0 47 63 0 0 20 0 19 0 226212311 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549016198064 140549976685186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11950] ppid=11916 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11950/stat : 11950 (java) S 11916 11916 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226212376 8261857280 30216 33554432000 4194304 4196468 140730143801584 140549008389568 140549976698649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11952] ppid=11916 vsize=8068220 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11952/stat : 11952 (java) S 11916 11916 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226212376 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547234705424 140549976695965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11953] ppid=11916 vsize=8068220 memory=120864 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11953/stat : 11953 (java) S 11916 11916 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226212377 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547100482960 140549976695965 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
[pid=11934/tid=11954] ppid=11916 vsize=8068220 memory=73300 CPUtime=0 cores=1,3,5,7
/proc/11934/task/11954/stat : 11954 (java) S 11916 11916 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 226212379 8261857280 30216 33554432000 4194304 4196468 140730143801584 140547368934304 140549976684245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140730143806645 140730143806769 140730143806769 140730143809487 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8270552 KiB
Current children cumulated memory: 195632 KiB
Child status: 1
Real time (s): 2504.91
CPU time (s): 2520.06
CPU user time (s): 2518.45
CPU system time (s): 1.61117
CPU usage (%): 100.605
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3130864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.45
system time used= 1.61117
maximum resident set size= 3130184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59565
involuntary context switches= 857
# summary of solver processes directly reported to runsolver:
# pid: 11916,11934
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.45
# total CPU system time (s): 1.61117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9552 second user time and 27.5601 second system time
The end