0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-29366-serial-file.bin HOME/instance-4305691-1534081869.xml
0.65/0.53
0.65/0.53 scop both+minisat_release (2018-07-31)
0.65/0.53 (Encoding Process)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Sun Aug 12 15:51:10 CEST 2018
0.65/0.56 c PID: 29369
0.65/0.56 c IP: 172.20.3.106
0.65/0.56 c HOST: node106.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.55/0.93 c (0,0) Parsing End
1.55/0.94 c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 115 ctr, max domain size 100
1.55/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.55/0.94 c (0,0) Constraint Name Generate Begin
1.55/0.95 c (0,0) Ctr:HOME/instance-4305691-1534081869.xml,AllDifferent:ExtensionSupport:IntVar
1.55/0.95 c (0,0) Constraint Name Generate End
1.55/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.55/0.95 c (0,0) CSP to CSPinCNF Begin
8.93/3.41 c (2,2) translated 12 (10%) constraints
10.69/4.74 c (4,4) translated 23 (20%) constraints
12.13/6.17 c (5,5) translated 35 (30%) constraints
13.49/7.47 c (6,6) translated 46 (40%) constraints
15.52/8.99 c (8,8) translated 58 (50%) constraints
16.74/10.19 c (9,9) translated 69 (60%) constraints
18.21/11.49 c (10,10) translated 81 (70%) constraints
19.43/12.68 c (12,11) translated 92 (80%) constraints
21.82/14.23 c (13,13) translated 104 (90%) constraints
23.02/15.42 c (14,14) translated 115 (100%) constraints
24.45/16.31 c (15,15) STATISTICS1:HOME/instance-4305691-1534081869.xml,AllDifferent:ExtensionSupport:IntVar,11442,353465,100,100,101,2,100:861,100:683754;2:363888,101:114;42:2;3:329460;2:23889,2:861;1:1045920;0:114,
24.45/16.31 c (15,15) ==========================================
24.45/16.31 c (15,15) Both Encoding selects:
24.45/16.31 c (15,15) Order
24.45/16.31 c (15,15) ==========================================
26.06/16.92 c (16,15) translated 35347 (10%) constraints
26.50/17.33 c (16,16) translated 70693 (20%) constraints
26.90/17.72 c (17,16) translated 106040 (30%) constraints
28.48/18.42 c (17,17) translated 141386 (40%) constraints
28.90/18.81 c (18,17) translated 176733 (50%) constraints
29.30/19.21 c (18,17) translated 212079 (60%) constraints
29.70/19.60 c (19,18) translated 247426 (70%) constraints
30.00/20.00 c (19,18) translated 282772 (80%) constraints
30.40/20.39 c (19,19) translated 318119 (90%) constraints
30.81/20.79 c (20,19) translated 353465 (100%) constraints
30.81/20.79 c (20,19) CSP to CSPinCNF End
30.81/20.79 c (20,19) CSP: 42 int (0 aux), 11400 bool (11400 aux), 353465 ctr, max domain size 100
30.81/20.79 c (20,19) Heap : 1384 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
30.81/20.79 c (20,19) CSPinCNF Propagation Begin
32.39/22.00 c (21,20) 0 values, 114 unsatisfiable literals, and 0 valid clauses are removed
32.39/22.00 c (21,20) CSPinCNF Propagation End
32.39/22.00 c (21,20) CSP: 42 int (0 aux), 11400 bool (11400 aux), 353465 ctr, max domain size 100
32.39/22.00 c (21,20) Heap : 2875 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.39/22.00 c (21,20) Simplify CSPinCNF Begin
34.17/22.79 c (22,21) Simplify CSPinCNF End
34.17/22.79 c (22,21) CSP: 42 int (0 aux), 13122 bool (13122 aux), 355187 ctr, max domain size 100
34.17/22.79 c (22,21) Heap : 384 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
34.17/22.79 c (22,21) Calculate Precise Domain Begin
34.17/22.79 c (22,21) 0 values are removed by re-calculation
34.17/22.79 c (22,21) Calculate Precise Domain End
34.17/22.79 c (22,21) CSP: 42 int (0 aux), 13122 bool (13122 aux), 355187 ctr, max domain size 100
34.17/22.79 c (22,21) Heap : 392 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
34.17/22.79 c (22,21) CSPinCNF to SatSolver Begin
36.14/23.56 c (23,21) 35519 (10 %) CSP clauses are encoded (17280 SAT variables, 210112 SAT clauses)
36.36/23.72 c (23,22) 71038 (20 %) CSP clauses are encoded (17280 SAT variables, 245631 SAT clauses)
36.46/23.87 c (23,22) 106557 (30 %) CSP clauses are encoded (17280 SAT variables, 281150 SAT clauses)
36.68/24.02 c (23,22) 142075 (40 %) CSP clauses are encoded (17280 SAT variables, 316668 SAT clauses)
36.78/24.18 c (23,22) 177594 (50 %) CSP clauses are encoded (17280 SAT variables, 352187 SAT clauses)
36.99/24.33 c (23,22) 213113 (60 %) CSP clauses are encoded (17280 SAT variables, 387706 SAT clauses)
37.10/24.48 c (23,22) 248631 (70 %) CSP clauses are encoded (17280 SAT variables, 423224 SAT clauses)
37.29/24.64 c (24,23) 284150 (80 %) CSP clauses are encoded (17280 SAT variables, 458743 SAT clauses)
37.39/24.79 c (24,23) 319669 (90 %) CSP clauses are encoded (17280 SAT variables, 494262 SAT clauses)
37.59/24.94 c (24,23) 355187 (100 %) CSP clauses are encoded (17280 SAT variables, 529780 SAT clauses)
37.59/24.94 c (24,23) Launch Command will be: minisat_release
37.59/24.94 c (24,23) CSPinCNF to SatSolver End
37.59/24.94 c (24,23) Heap : 2335 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.33/25.85 c (25,24) STATISTICS2:HOME/instance-4305691-1534081869.xml,AllDifferent:ExtensionSupport:IntVar,13164,355187,100,100,100,2,100:1722,100:685476;2:367332,100:114;42:2;3:329460;2:25611,2:1722;1:1049364,
39.33/25.85 c (25,24) 17280 bool, 529781 clause
39.33/25.85 c (25,24) Export Begin
39.40/26.08 c (25,24) Export to HOME/scop-29366-serial-file.bin
39.40/26.08 c (25,24) Export End
39.40/26.08 c (25,24) Export File Size: 0.01 MB
39.40/26.08 c (25,24) 0,0,20,21,22,22,24,STOP-AFTER(DIMACS)
39.40/26.08 c END-Prog: Sun Aug 12 15:51:35 CEST 2018
39.40/26.10 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-29366-serial-file.bin
39.57/26.60 c (0,0) Read Serial File Begin
39.57/26.60 c (0,0) HOME/scop-29366-serial-file.bin
39.57/26.76 c (0,0) Read Serial File End
39.57/26.77
39.57/26.77 scop order+minisat_release (2018-07-31)
39.57/26.77 (Solving Process)
39.57/26.77
39.57/26.80 c BEGIN-Prog: Sun Aug 12 15:51:36 CEST 2018
39.57/26.80 c PID: 29384
39.57/26.80 c IP: 172.20.3.106
39.57/26.80 c HOST: node106.alineos.net
39.57/26.80 c (0,0) SatSolver.solve Begin
39.57/26.80 c (0,0) 0 bool, 0 clause
39.57/26.80 c (0,0) minisat_release HOME/instance-4305691-1534081869.xml-scop-29369.cnf
2520.09/2505.01 c (2478,0) receiving signal SIGTERM
2520.09/2505.01 s UNKNOWN
2520.09/2505.01 c (2478,0) SatSolver is killed by some reasons.
2520.09/2505.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2505.02 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 (9807 MiB free)
memory of node 1: 16384 MiB (12708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305691-1534081869/watcher-4305691-1534081869 -o /tmp/evaluation-result-4305691-1534081869/solver-4305691-1534081869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305691-1534081869.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29366, runsolver pid=29363
Current StackSize limit: 8192 KiB
[startup+0.100281 s]*
/proc/loadavg: 2.00 2.01 2.05 3/223 29383
/proc/meminfo: memFree=22999404/32770624 swapFree=67108688/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/29366/stat : 29366 (scop.sh) S 29363 29366 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225749768 115843072 348 33554432000 4194304 5098028 140728362277728 140728362274984 140534469689980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21725184 140728362284097 140728362284295 140728362284295 140728362287053 0
/proc/29366/statm: 28282 348 296 221 0 87 0
[pid=29369] ppid=29366 vsize=15012476 memory=70076 CPUtime=0.1 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29366 29366 23167 0 -1 1077944320 6720 0 0 0 9 1 0 0 20 0 15 0 225749768 15372775424 17519 33554432000 4194304 4196468 140731517576128 140731517558672 139827722018551 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
/proc/29369/statm: 3753119 17519 2739 1 0 3715579 0
[pid=29369/tid=29370] ppid=29366 vsize=15012476 memory=-6292511387775451073 CPUtime=0.08 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29366 29366 23167 0 -1 4202560 4816 0 0 0 7 1 0 0 20 0 15 0 225749768 15372775424 17519 33554432000 4194304 4196468 140731517576128 139827693821496 139827706099038 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29371] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 17519 33554432000 4194304 4196468 140731517576128 139827726261264 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29372] ppid=29366 vsize=15012476 memory=140659306899072 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 17519 33554432000 4194304 4196468 140731517576128 139827182820496 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29373] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 17519 33554432000 4194304 4196468 140731517576128 139827181767440 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29374] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 17519 33554432000 4194304 4196468 140731517576128 139827180714896 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29375] ppid=29366 vsize=15012476 memory=140659306899072 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749771 15372775424 17519 33554432000 4194304 4196468 140731517576128 139826759588080 139827722029698 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29376] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29366 29366 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225749772 15372775424 17519 33554432000 4194304 4196468 140731517576128 139826284192928 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29377] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749772 15372775424 17519 33554432000 4194304 4196468 140731517576128 139826015757040 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29378] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 17519 33554432000 4194304 4196468 140731517576128 139825641248720 139827722037147 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29379] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) S 29366 29366 23167 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 17519 33554432000 4194304 4196468 140731517576128 139826758535920 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29380] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 17519 33554432000 4194304 4196468 140731517576128 139826757483376 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29381] ppid=29366 vsize=15012476 memory=140659306899072 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) S 29366 29366 23167 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 17519 33554432000 4194304 4196468 140731517576128 139826756430320 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29382] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749775 15372775424 17519 33554432000 4194304 4196468 140731517576128 139825143343968 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29383] ppid=29366 vsize=15012476 memory=140659306899072 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749775 15372775424 17519 33554432000 4194304 4196468 140731517576128 139826755377712 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71468 KiB
[startup+0.210443 s]*
/proc/loadavg: 2.00 2.01 2.05 4/223 29383
/proc/meminfo: memFree=22985344/32770624 swapFree=67108688/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/29366/stat : 29366 (scop.sh) S 29363 29366 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225749768 115843072 348 33554432000 4194304 5098028 140728362277728 140728362274984 140534469689980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21725184 140728362284097 140728362284295 140728362284295 140728362287053 0
/proc/29366/statm: 28282 348 296 221 0 87 0
[pid=29369] ppid=29366 vsize=15012476 memory=84192 CPUtime=0.24 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29366 29366 23167 0 -1 1077944320 10379 0 0 0 22 2 0 0 20 0 15 0 225749768 15372775424 21048 33554432000 4194304 4196468 140731517576128 140731517558672 139827722018551 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
/proc/29369/statm: 3753119 21048 2916 1 0 3715579 0
[pid=29369/tid=29370] ppid=29366 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29366 29366 23167 0 -1 4202560 8221 0 0 0 17 2 0 0 20 0 15 0 225749768 15372775424 21048 33554432000 4194304 4196468 140731517576128 139827693839904 139827701733366 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29371] ppid=29366 vsize=15012476 memory=553 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 21048 33554432000 4194304 4196468 140731517576128 139827726261264 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29372] ppid=29366 vsize=15012476 memory=3472473383676520096 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 21048 33554432000 4194304 4196468 140731517576128 139827182820496 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29373] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 21048 33554432000 4194304 4196468 140731517576128 139827181767440 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29374] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 21048 33554432000 4194304 4196468 140731517576128 139827180714896 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29375] ppid=29366 vsize=15012476 memory=140659306899072 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749771 15372775424 21048 33554432000 4194304 4196468 140731517576128 139826759588080 139827722029698 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29376] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29366 29366 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225749772 15372775424 21048 33554432000 4194304 4196468 140731517576128 139826284192928 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29377] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749772 15372775424 21048 33554432000 4194304 4196468 140731517576128 139826015757040 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29378] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 21048 33554432000 4194304 4196468 140731517576128 139825641248720 139827722037147 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29379] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) S 29366 29366 23167 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 21048 33554432000 4194304 4196468 140731517576128 139826758535920 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29380] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) S 29366 29366 23167 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 21048 33554432000 4194304 4196468 140731517576128 139826757483376 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29381] ppid=29366 vsize=15012476 memory=140659306899072 CPUtime=0.02 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) S 29366 29366 23167 0 -1 1077944384 338 0 0 0 2 0 0 0 20 0 15 0 225749774 15372775424 21048 33554432000 4194304 4196468 140731517576128 139826756430320 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29382] ppid=29366 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749775 15372775424 21048 33554432000 4194304 4196468 140731517576128 139825143343968 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29383] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749775 15372775424 21048 33554432000 4194304 4196468 140731517576128 139826755377712 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85584 KiB
[startup+0.310447 s]*
/proc/loadavg: 2.00 2.01 2.05 3/223 29383
/proc/meminfo: memFree=22981064/32770624 swapFree=67108688/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/29366/stat : 29366 (scop.sh) S 29363 29366 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225749768 115843072 348 33554432000 4194304 5098028 140728362277728 140728362274984 140534469689980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21725184 140728362284097 140728362284295 140728362284295 140728362287053 0
/proc/29366/statm: 28282 348 296 221 0 87 0
[pid=29369] ppid=29366 vsize=15012476 memory=88416 CPUtime=0.42 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29366 29366 23167 0 -1 1077944320 11095 0 0 0 39 3 0 0 20 0 15 0 225749768 15372775424 22104 33554432000 4194304 4196468 140731517576128 140731517558672 139827722018551 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
/proc/29369/statm: 3753119 22104 3004 1 0 3715579 0
[pid=29369/tid=29370] ppid=29366 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29366 29366 23167 0 -1 4202560 8661 0 0 0 27 2 0 0 20 0 15 0 225749768 15372775424 22104 33554432000 4194304 4196468 140731517576128 139827693814000 139827706099038 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29371] ppid=29366 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 22104 33554432000 4194304 4196468 140731517576128 139827726261264 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29372] ppid=29366 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 22104 33554432000 4194304 4196468 140731517576128 139827182820496 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29373] ppid=29366 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 22104 33554432000 4194304 4196468 140731517576128 139827181767440 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29374] ppid=29366 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15372775424 22104 33554432000 4194304 4196468 140731517576128 139827180714896 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29375] ppid=29366 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749771 15372775424 22104 33554432000 4194304 4196468 140731517576128 139826759588080 139827722029698 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29376] ppid=29366 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29366 29366 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225749772 15372775424 22104 33554432000 4194304 4196468 140731517576128 139826284192928 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29377] ppid=29366 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749772 15372775424 22104 33554432000 4194304 4196468 140731517576128 139826015757040 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29378] ppid=29366 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749774 15372775424 22104 33554432000 4194304 4196468 140731517576128 139825641248720 139827722037147 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29379] ppid=29366 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) S 29366 29366 23167 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 225749774 15372775424 22104 33554432000 4194304 4196468 140731517576128 139826758535920 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29380] ppid=29366 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) S 29366 29366 23167 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 225749774 15372775424 22104 33554432000 4194304 4196468 140731517576128 139826757483376 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29381] ppid=29366 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) S 29366 29366 23167 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 15 0 225749774 15372775424 22104 33554432000 4194304 4196468 140731517576128 139826756430320 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29382] ppid=29366 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749775 15372775424 22104 33554432000 4194304 4196468 140731517576128 139825143343968 139827722028757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29383] ppid=29366 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749775 15372775424 22104 33554432000 4194304 4196468 140731517576128 139826755377712 139827722029698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89808 KiB
[startup+0.701671 s]
/proc/loadavg: 2.00 2.01 2.05 3/223 29383
/proc/meminfo: memFree=22957064/32770624 swapFree=67108688/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/29366/stat : 29366 (scop.sh) S 29363 29366 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225749768 115843072 348 33554432000 4194304 5098028 140728362277728 140728362274984 140534469689980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21725184 140728362284097 140728362284295 140728362284295 140728362287053 0
/proc/29366/statm: 28282 348 296 221 0 87 0
[pid=29369] ppid=29366 vsize=15020872 memory=126808 CPUtime=0.98 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29366 29366 23167 0 -1 1077944320 18312 0 0 0 94 4 0 0 20 0 15 0 225749768 15381372928 31702 33554432000 4194304 4196468 140731517576128 140731517558672 139827722018551 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
/proc/29369/statm: 3755218 31702 3149 1 0 3716603 0
[pid=29369/tid=29370] ppid=29366 vsize=15020872 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29366 29366 23167 0 -1 4202560 15340 0 0 0 63 3 0 0 20 0 15 0 225749768 15381372928 31702 33554432000 4194304 4196468 140731517576128 139827693855456 139827706062181 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29371] ppid=29366 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15381372928 31702 33554432000 4194304 4196468 140731517576128 139827726261264 139827722028757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29372] ppid=29366 vsize=15020872 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15381372928 31702 33554432000 4194304 4196468 140731517576128 139827182820496 139827722028757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29373] ppid=29366 vsize=15020872 memory=25008 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749770 15381372928 31702 33554432000 4194304 4196468 140731517576128 139827181767440 139827722028757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29374] ppid=29366 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225749770 15381372928 31702 33554432000 4194304 4196468 140731517576128 139827180714896 139827722028757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29375] ppid=29366 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29366 29366 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225749771 15381372928 31726 33554432000 4194304 4196468 140731517576128 139826759588080 139827722029698 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29376] ppid=29366 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29366 29366 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225749772 15381372928 31726 33554432000 4194304 4196468 140731517576128 139826284192928 139827722028757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29377] ppid=29366 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749772 15381372928 31726 33554432000 4194304 4196468 140731517576128 139826015757040 139827722028757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29378] ppid=29366 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749774 15381372928 31726 33554432000 4194304 4196468 140731517576128 139825641248720 139827722037147 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29379] ppid=29366 vsize=15020872 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) S 29366 29366 23167 0 -1 1077944384 544 0 0 0 6 0 0 0 20 0 15 0 225749774 15381372928 31726 33554432000 4194304 4196468 140731517576128 139826758535920 139827722029698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29380] ppid=29366 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) R 29366 29366 23167 0 -1 4202560 424 0 0 0 7 0 0 0 20 0 15 0 225749774 15381372928 31726 33554432000 4194304 4196468 140731517576128 139826757473168 139827722030486 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29381] ppid=29366 vsize=15020872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) S 29366 29366 23167 0 -1 1077944384 669 0 0 0 15 0 0 0 20 0 15 0 225749774 15381372928 31726 33554432000 4194304 4196468 140731517576128 139826756430320 139827722029698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29382] ppid=29366 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225749775 15381372928 31726 33554432000 4194304 4196468 140731517576128 139825143343968 139827722028757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
[pid=29369/tid=29383] ppid=29366 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225749775 15381372928 31726 33554432000 4194304 4196468 140731517576128 139826755377712 139827722029698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140731517580295 140731517580593 140731517580593 140731517583311 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128200 KiB
[startup+1.50826 s]
/proc/loadavg: 2.00 2.01 2.05 4/223 29383
/proc/meminfo: memFree=22925800/32770624 swapFree=67108688/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/29366/stat : 29366 (scop.sh) S 29363 29366 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225749768 115843072 348 33554432000 4194304 5098028 140728362277728 140728362274984 140534469689980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21725184 140728362284097 140728362284295 140728362284295 140728362287053 0
/proc/29366/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=29384/tid=29387] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29387/stat : 29387 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315912166416 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29388] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29388/stat : 29388 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315583306640 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29389] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29389/stat : 29389 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315582253840 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29390] ppid=29366 vsize=8068220 memory=119000 CPUtime=0.05 cores=0,2,4,6
/proc/29384/task/29390/stat : 29390 (java) S 29366 29366 23167 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315344185712 140316099373698 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29391] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29391/stat : 29391 (java) S 29366 29366 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314970940448 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29392] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29392/stat : 29392 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314702504816 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29393] ppid=29366 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29393/stat : 29393 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314327996240 140316099381147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29394] ppid=29366 vsize=8068220 memory=3980 CPUtime=0.08 cores=0,2,4,6
/proc/29384/task/29394/stat : 29394 (java) S 29366 29366 23167 0 -1 1077944384 606 0 0 0 7 1 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315343133552 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29395] ppid=29366 vsize=8068220 memory=1924 CPUtime=0.1 cores=0,2,4,6
/proc/29384/task/29395/stat : 29395 (java) S 29366 29366 23167 0 -1 1077944384 341 0 0 0 10 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315342080752 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29396] ppid=29366 vsize=8068220 memory=1468 CPUtime=0.2 cores=0,2,4,6
/proc/29384/task/29396/stat : 29396 (java) S 29366 29366 23167 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315341027952 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29397] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29397/stat : 29397 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313830091488 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29398] ppid=29366 vsize=8068220 memory=1468 CPUtime=1.4 cores=0,2,4,6
/proc/29384/task/29398/stat : 29398 (java) S 29366 29366 23167 0 -1 1077944384 163 0 0 0 73 67 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315339975344 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29400] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29400/stat : 29400 (java) S 29366 29366 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225752450 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315441022144 140316099387161 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29402] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29402/stat : 29402 (java) S 29366 29366 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225752450 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313293204752 140316099384477 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29403] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29403/stat : 29403 (java) S 29366 29366 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225752451 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313024774288 140316099384477 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29404] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29404/stat : 29404 (java) S 29366 29366 23167 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225752453 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313427435168 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
Current children cumulated CPU time: 2457.35 s
Current children cumulated vsize: 8359272 KiB
Current children cumulated memory: 260124 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.10 3/228 29801
/proc/meminfo: memFree=23331400/32770624 swapFree=67108688/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1468 CPUtime=39.57 cores=0,2,4,6
/proc/29366/stat : 29366 (scop.sh) S 29363 29366 23167 0 -1 4202496 590 55298 0 0 0 0 3822 135 20 0 1 0 225749768 115843072 367 33554432000 4194304 5098028 140728362277728 140728362274472 140534469689980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21725184 140728362284097 140728362284295 140728362284295 140728362287053 0
/proc/29366/statm: 28282 367 311 221 0 87 0
[pid=29384] ppid=29366 vsize=8068220 memory=119000 CPUtime=2.66 cores=0,2,4,6
/proc/29384/stat : 29384 (java) S 29366 29366 23167 0 -1 1077944320 17591 0 0 0 196 70 0 0 20 0 19 0 225752379 8261857280 29750 33554432000 4194304 4196468 140728684494064 140728684476608 140316099362551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
/proc/29384/statm: 2017055 29750 3150 1 0 1978454 0
[pid=29399] ppid=29384 vsize=147104 memory=130132 CPUtime=2475.15 cores=0,2,4,6
/proc/29399/stat : 29399 (minisat_release) R 29384 29366 23167 0 -1 4202496 501058 0 0 0 247411 104 0 0 20 0 1 0 225752450 150634496 32533 33554432000 4194304 4308513 140728719124128 140728719121576 4262745 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36786176 140728719131764 140728719131862 140728719131862 140728719134661 0
/proc/29399/statm: 36776 32533 340 28 0 33016 0
[pid=29384/tid=29385] ppid=29366 vsize=8068220 memory=119000 CPUtime=0.73 cores=0,2,4,6
/proc/29384/task/29385/stat : 29385 (java) S 29366 29366 23167 0 -1 1077944384 14519 0 0 0 69 4 0 0 20 0 19 0 225752379 8261857280 29750 33554432000 4194304 4196468 140728684494064 140316071202704 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29386] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29386/stat : 29386 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140316103605392 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29387] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29387/stat : 29387 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315912166416 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29388] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29388/stat : 29388 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315583306640 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29389] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29389/stat : 29389 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315582253840 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29390] ppid=29366 vsize=8068220 memory=119000 CPUtime=0.05 cores=0,2,4,6
/proc/29384/task/29390/stat : 29390 (java) S 29366 29366 23167 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315344185712 140316099373698 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29391] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29391/stat : 29391 (java) S 29366 29366 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314970940448 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29392] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29392/stat : 29392 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314702504816 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29393] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29393/stat : 29393 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314327996240 140316099381147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29394] ppid=29366 vsize=8068220 memory=119000 CPUtime=0.08 cores=0,2,4,6
/proc/29384/task/29394/stat : 29394 (java) S 29366 29366 23167 0 -1 1077944384 606 0 0 0 7 1 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315343133552 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29395] ppid=29366 vsize=8068220 memory=1468 CPUtime=0.1 cores=0,2,4,6
/proc/29384/task/29395/stat : 29395 (java) S 29366 29366 23167 0 -1 1077944384 341 0 0 0 10 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315342080752 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29396] ppid=29366 vsize=8068220 memory=1468 CPUtime=0.2 cores=0,2,4,6
/proc/29384/task/29396/stat : 29396 (java) S 29366 29366 23167 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315341027952 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29397] ppid=29366 vsize=8068220 memory=119000 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29397/stat : 29397 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313830091488 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29398] ppid=29366 vsize=8068220 memory=127100 CPUtime=1.44 cores=0,2,4,6
/proc/29384/task/29398/stat : 29398 (java) S 29366 29366 23167 0 -1 1077944384 167 0 0 0 75 69 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315339975344 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29400] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29400/stat : 29400 (java) S 29366 29366 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225752450 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315441022144 140316099387161 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29402] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29402/stat : 29402 (java) S 29366 29366 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225752450 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313293204752 140316099384477 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29403] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29403/stat : 29403 (java) S 29366 29366 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225752451 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313024774288 140316099384477 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29404] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29404/stat : 29404 (java) S 29366 29366 23167 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225752453 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313427435168 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
Current children cumulated CPU time: 2517.38 s
Current children cumulated vsize: 8328452 KiB
Current children cumulated memory: 250600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505 s]*
/proc/loadavg: 2.00 2.04 2.10 3/228 29801
/proc/meminfo: memFree=23330408/32770624 swapFree=67108688/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1468 CPUtime=39.57 cores=0,2,4,6
/proc/29366/stat : 29366 (scop.sh) S 29363 29366 23167 0 -1 4202496 590 55298 0 0 0 0 3822 135 20 0 1 0 225749768 115843072 367 33554432000 4194304 5098028 140728362277728 140728362274472 140534469689980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21725184 140728362284097 140728362284295 140728362284295 140728362287053 0
/proc/29366/statm: 28282 367 311 221 0 87 0
[pid=29384] ppid=29366 vsize=8068220 memory=119000 CPUtime=2.66 cores=0,2,4,6
/proc/29384/stat : 29384 (java) S 29366 29366 23167 0 -1 1077944320 17591 0 0 0 196 70 0 0 20 0 19 0 225752379 8261857280 29750 33554432000 4194304 4196468 140728684494064 140728684476608 140316099362551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
/proc/29384/statm: 2017055 29750 3150 1 0 1978454 0
[pid=29399] ppid=29384 vsize=177924 memory=130952 CPUtime=2477.86 cores=0,2,4,6
/proc/29399/stat : 29399 (minisat_release) R 29384 29366 23167 0 -1 4202496 501262 0 0 0 247681 105 0 0 20 0 1 0 225752450 182194176 32738 33554432000 4194304 4308513 140728719124128 140728719121576 4276465 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36786176 140728719131764 140728719131862 140728719131862 140728719134661 0
/proc/29399/statm: 44481 32738 340 28 0 40721 0
[pid=29384/tid=29385] ppid=29366 vsize=8068220 memory=1398720917958146503 CPUtime=0.73 cores=0,2,4,6
/proc/29384/task/29385/stat : 29385 (java) S 29366 29366 23167 0 -1 1077944384 14519 0 0 0 69 4 0 0 20 0 19 0 225752379 8261857280 29750 33554432000 4194304 4196468 140728684494064 140316071202704 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29386] ppid=29366 vsize=8068220 memory=4123401283169797999 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29386/stat : 29386 (java) S 29366 29366 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140316103605392 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29387] ppid=29366 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29387/stat : 29387 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315912166416 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29388] ppid=29366 vsize=8068220 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29388/stat : 29388 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315583306640 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29389] ppid=29366 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29389/stat : 29389 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752380 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315582253840 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29390] ppid=29366 vsize=8068220 memory=2192 CPUtime=0.05 cores=0,2,4,6
/proc/29384/task/29390/stat : 29390 (java) S 29366 29366 23167 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315344185712 140316099373698 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29391] ppid=29366 vsize=8068220 memory=288230591722422566 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29391/stat : 29391 (java) S 29366 29366 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314970940448 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29392] ppid=29366 vsize=8068220 memory=15544015747548815 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29392/stat : 29392 (java) S 29366 29366 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225752382 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314702504816 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29393] ppid=29366 vsize=8068220 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29393/stat : 29393 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140314327996240 140316099381147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29394] ppid=29366 vsize=8068220 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/29384/task/29394/stat : 29394 (java) S 29366 29366 23167 0 -1 1077944384 606 0 0 0 7 1 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315343133552 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29395] ppid=29366 vsize=8068220 memory=1796 CPUtime=0.1 cores=0,2,4,6
/proc/29384/task/29395/stat : 29395 (java) S 29366 29366 23167 0 -1 1077944384 341 0 0 0 10 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315342080752 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29396] ppid=29366 vsize=8068220 memory=912 CPUtime=0.2 cores=0,2,4,6
/proc/29384/task/29396/stat : 29396 (java) S 29366 29366 23167 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315341027952 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29397] ppid=29366 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29397/stat : 29397 (java) S 29366 29366 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313830091488 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29398] ppid=29366 vsize=8068220 memory=3420 CPUtime=1.44 cores=0,2,4,6
/proc/29384/task/29398/stat : 29398 (java) S 29366 29366 23167 0 -1 1077944384 167 0 0 0 75 69 0 0 20 0 19 0 225752385 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315339975344 140316099373698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29400] ppid=29366 vsize=8068220 memory=3424 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29400/stat : 29400 (java) S 29366 29366 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225752450 8261857280 29750 33554432000 4194304 4196468 140728684494064 140315441022144 140316099387161 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29402] ppid=29366 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29402/stat : 29402 (java) S 29366 29366 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225752450 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313293204752 140316099384477 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29403] ppid=29366 vsize=8068220 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29403/stat : 29403 (java) S 29366 29366 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225752451 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313024774288 140316099384477 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
[pid=29384/tid=29404] ppid=29366 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/29384/task/29404/stat : 29404 (java) S 29366 29366 23167 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225752453 8261857280 29750 33554432000 4194304 4196468 140728684494064 140313427435168 140316099372757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33783808 140728684500149 140728684500273 140728684500273 140728684502991 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8359272 KiB
Current children cumulated memory: 251420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.02 s]
# the end of solver process 29366 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.2292 s, system=1.35218 s
[startup+2505.03 s]
# the end of solver process 29384 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.02 s, system=3.12215 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2505.03
CPU time (s): 2520.14
CPU user time (s): 2517.02
CPU system time (s): 3.12215
CPU usage (%): 100.603
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 3679592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.02
system time used= 3.12215
maximum resident set size= 3679492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61175
involuntary context switches= 3318
# summary of solver processes directly reported to runsolver:
# pid: 29366,29384
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.02
# total CPU system time (s): 3.12215
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4269 second user time and 27.3961 second system time
The end