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-11317-serial-file.bin HOME/instance-4305370-1534081462.xml
0.54/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 15:44:23 CEST 2018
0.66/0.54 c PID: 11320
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
1.20/0.88 c (0,0) Parsing End
1.20/0.89 c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 91
1.20/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.89 c (0,0) Constraint Name Generate Begin
1.20/0.90 c (0,0) Ctr:HOME/instance-4305370-1534081462.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.20/0.90 c (0,0) Constraint Name Generate End
1.20/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.90 c (0,0) CSP to CSPinCNF Begin
2.80/1.44 c (0,0) translated 4 (10%) constraints
2.80/1.45 c (0,0) translated 8 (20%) constraints
2.80/1.45 c (0,0) translated 12 (30%) constraints
2.80/1.45 c (0,0) translated 16 (40%) constraints
2.80/1.46 c (0,0) translated 20 (50%) constraints
2.80/1.46 c (0,0) translated 24 (60%) constraints
2.80/1.46 c (0,0) translated 28 (70%) constraints
2.80/1.47 c (0,0) translated 32 (80%) constraints
2.80/1.47 c (0,0) translated 36 (90%) constraints
2.80/1.47 c (0,0) translated 40 (100%) constraints
3.10/1.56 c (1,1) STATISTICS1:HOME/instance-4305370-1534081462.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,91,4136,9223372036854775807,91,91,11,9223372036854775807:6;427929800129788416:12;4702525276151521:12;51676101935731:12;567869252041:12;6103925100:4;6036103710:8;91:3570;90:349;89:182,91:8075;90:388;89:194,91:2;2:4095;1:39,11:6;10:12;9:12;8:12;7:12;6:12;2:4101;1:182,110889:2;110224:4
3.10/1.56 c (1,1) ==========================================
3.10/1.56 c (1,1) Order
3.10/1.56 c (1,1) ==========================================
3.42/1.62 c (1,1) translated 414 (10%) constraints
3.42/1.65 c (1,1) translated 828 (20%) constraints
3.42/1.68 c (1,1) translated 1241 (30%) constraints
3.74/1.71 c (1,1) translated 1655 (40%) constraints
3.74/1.73 c (1,1) translated 2068 (50%) constraints
3.74/1.76 c (1,1) translated 2482 (60%) constraints
3.74/1.78 c (1,1) translated 2896 (70%) constraints
4.03/1.81 c (1,1) translated 3309 (80%) constraints
4.03/1.83 c (1,1) translated 3723 (90%) constraints
4.40/1.94 c (1,1) translated 4136 (100%) constraints
4.40/1.94 c (1,1) CSP to CSPinCNF End
4.40/1.94 c (1,1) CSP: 265 int (174 aux), 0 bool (0 aux), 4517 ctr, max domain size 356
4.40/1.94 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.40/1.95 c (1,1) CSPinCNF Propagation Begin
4.40/2.00 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
4.40/2.00 c (1,1) CSPinCNF Propagation End
4.40/2.00 c (1,1) CSP: 265 int (174 aux), 0 bool (0 aux), 4517 ctr, max domain size 356
4.40/2.00 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.40/2.00 c (1,1) Simplify CSPinCNF Begin
5.31/2.27 c (1,1) Simplify CSPinCNF End
5.31/2.28 c (1,1) CSP: 265 int (174 aux), 8190 bool (8190 aux), 12707 ctr, max domain size 356
5.31/2.28 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.31/2.28 c (1,1) Calculate Precise Domain Begin
5.62/2.30 c (1,1) 1 values are removed by re-calculation
5.62/2.30 c (1,1) Calculate Precise Domain End
5.62/2.30 c (1,1) CSP: 265 int (174 aux), 8190 bool (8190 aux), 12707 ctr, max domain size 356
5.62/2.30 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.62/2.30 c (1,1) CSPinCNF to SatSolver Begin
6.88/2.75 c (2,2) 1271 (10 %) CSP clauses are encoded (53508 SAT variables, 122037 SAT clauses)
7.38/2.96 c (2,2) 2542 (20 %) CSP clauses are encoded (53508 SAT variables, 199244 SAT clauses)
7.61/3.15 c (2,2) 3813 (30 %) CSP clauses are encoded (53508 SAT variables, 276551 SAT clauses)
7.82/3.34 c (2,2) 5083 (40 %) CSP clauses are encoded (53508 SAT variables, 354003 SAT clauses)
8.04/3.53 c (3,2) 6354 (50 %) CSP clauses are encoded (53508 SAT variables, 431450 SAT clauses)
8.25/3.71 c (3,3) 7625 (60 %) CSP clauses are encoded (53508 SAT variables, 508895 SAT clauses)
8.45/3.94 c (3,3) 8895 (70 %) CSP clauses are encoded (53508 SAT variables, 586329 SAT clauses)
8.55/4.09 c (3,3) 10166 (80 %) CSP clauses are encoded (53508 SAT variables, 663750 SAT clauses)
8.77/4.27 c (3,3) 11437 (90 %) CSP clauses are encoded (53508 SAT variables, 741097 SAT clauses)
18.08/13.10 c (12,11) 12707 (100 %) CSP clauses are encoded (53508 SAT variables, 7646119 SAT clauses)
18.08/13.10 c (12,11) Launch Command will be: minisat_release
18.08/13.10 c (12,11) CSPinCNF to SatSolver End
18.08/13.10 c (12,11) Heap : 899 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.45/13.20 c (12,11) STATISTICS2:HOME/instance-4305370-1534081462.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,8455,12707,93495,356,89,3,93495:2;93224:2;92953:2;73441:24;49051:12;32761:24;32580:6;32399:6;21316:6;21025:4;20736:2;16471:102;8281:186;8190:18;8099:18;91:7140;90:516;89:540,356:24;345:8;344:8;343:8;271:180;246:24;181:348;180:12;179:12;146:36;145:24;144:12;91:15980;90:564;89:569;2:16380,89:1;86:1;2:12285;1:420,3:414;2:8196;1:16555,
18.45/13.20 c (12,11) 53508 bool, 7646207 clause
18.45/13.20 c (12,11) Export Begin
18.45/13.29 c (12,11) Export to HOME/scop-11317-serial-file.bin
18.45/13.29 c (12,11) Export End
18.45/13.29 c (12,12) Export File Size: 0.02 MB
18.45/13.29 c (12,12) 0,0,1,1,1,1,12,STOP-AFTER(DIMACS)
18.45/13.29 c END-Prog: Sun Aug 12 15:44:35 CEST 2018
18.78/13.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-11317-serial-file.bin
18.80/13.81 c (0,0) Read Serial File Begin
19.45/14.04 c (0,0) HOME/scop-11317-serial-file.bin
19.69/14.21 c (0,0) Read Serial File End
19.69/14.22
19.69/14.22 scop order+minisat_release (2018-07-31)
19.69/14.22 (Solving Process)
19.69/14.22
19.69/14.25 c BEGIN-Prog: Sun Aug 12 15:44:36 CEST 2018
19.69/14.25 c PID: 11335
19.69/14.25 c IP: 172.20.3.151
19.69/14.25 c HOST: node151.alineos.net
19.69/14.25 c (0,0) SatSolver.solve Begin
19.69/14.25 c (0,0) 0 bool, 0 clause
19.69/14.25 c (0,0) minisat_release HOME/instance-4305370-1534081462.xml-scop-11320.cnf
2520.00/2512.90 c (2499,0) receiving signal SIGTERM
2520.00/2512.90 s UNKNOWN
2520.00/2512.91 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2512.91 c (scop.sh) Remove HOME/scop-11317-serial-file.bin.
2520.00/2512.91 c (scop.sh) Killing background jobs.
2520.00/2512.91 c (2499,0) receiving signal SIGTERM
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8021 MiB free)
memory of node 1: 16384 MiB (9522 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305370-1534081462/watcher-4305370-1534081462 -o /tmp/evaluation-result-4305370-1534081462/solver-4305370-1534081462 -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-4305370-1534081462.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=11317, runsolver pid=11314
Current StackSize limit: 8192 KiB
[startup+0.100628 s]*
/proc/loadavg: 2.01 2.07 2.12 4/223 11334
/proc/meminfo: memFree=17903040/32770624 swapFree=67108196/67108860
[pid=11317] ppid=11314 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11317/stat : 11317 (scop.sh) S 11314 11317 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225709398 115843072 348 33554432000 4194304 5098028 140733999443152 140733999440408 140245565588092 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35356672 140733999445056 140733999445255 140733999445255 140733999448013 0
/proc/11317/statm: 28282 348 296 221 0 87 0
[pid=11320] ppid=11317 vsize=15012476 memory=73580 CPUtime=0.11 cores=1,3,5,7
/proc/11320/stat : 11320 (java) S 11317 11317 3762 0 -1 1077944320 6491 0 0 0 9 2 0 0 20 0 15 0 225709398 15372775424 18395 33554432000 4194304 4196468 140721869949808 140721869932352 140226249920247 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
/proc/11320/statm: 3753119 18395 2772 1 0 3715579 0
[pid=11320/tid=11321] ppid=11317 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/11320/task/11321/stat : 11321 (java) R 11317 11317 3762 0 -1 4202560 4592 0 0 0 8 1 0 0 20 0 15 0 225709398 15372775424 18395 33554432000 4194304 4196468 140721869949808 140226221732232 140226231483785 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11322] ppid=11317 vsize=15012476 memory=3472468733535692464 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11322/stat : 11322 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 18395 33554432000 4194304 4196468 140721869949808 140226254163088 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11323] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11323/stat : 11323 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 18395 33554432000 4194304 4196468 140721869949808 140226052938768 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11324] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11324/stat : 11324 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 18395 33554432000 4194304 4196468 140721869949808 140225709857680 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11325] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11325/stat : 11325 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 18395 33554432000 4194304 4196468 140721869949808 140225708804880 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11326] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11326/stat : 11326 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709401 15372775424 18395 33554432000 4194304 4196468 140721869949808 140225220274544 140226249931394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11327] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11327/stat : 11327 (java) S 11317 11317 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225709402 15372775424 18395 33554432000 4194304 4196468 140721869949808 140224843736096 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11328] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11328/stat : 11328 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709402 15372775424 18395 33554432000 4194304 4196468 140721869949808 140224575300464 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11329] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11329/stat : 11329 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709404 15372775424 18395 33554432000 4194304 4196468 140721869949808 140224200791888 140226249938843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11330] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11330/stat : 11330 (java) S 11317 11317 3762 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 225709404 15372775424 18395 33554432000 4194304 4196468 140721869949808 140225219222384 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11331] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11331/stat : 11331 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709404 15372775424 18395 33554432000 4194304 4196468 140721869949808 140225218169584 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11332] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0.01 cores=1,3,5,7
/proc/11320/task/11332/stat : 11332 (java) S 11317 11317 3762 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 225709404 15372775424 18395 33554432000 4194304 4196468 140721869949808 140225217116784 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11333] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11333/stat : 11333 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709405 15372775424 18395 33554432000 4194304 4196468 140721869949808 140223702887136 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11334] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11334/stat : 11334 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709405 15372775424 18395 33554432000 4194304 4196468 140721869949808 140225216064176 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74972 KiB
[startup+0.211628 s]*
/proc/loadavg: 2.01 2.07 2.12 4/223 11334
/proc/meminfo: memFree=17890180/32770624 swapFree=67108196/67108860
[pid=11317] ppid=11314 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11317/stat : 11317 (scop.sh) S 11314 11317 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225709398 115843072 348 33554432000 4194304 5098028 140733999443152 140733999440408 140245565588092 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35356672 140733999445056 140733999445255 140733999445255 140733999448013 0
/proc/11317/statm: 28282 348 296 221 0 87 0
[pid=11320] ppid=11317 vsize=15012476 memory=86668 CPUtime=0.25 cores=1,3,5,7
/proc/11320/stat : 11320 (java) S 11317 11317 3762 0 -1 1077944320 10003 0 0 0 22 3 0 0 20 0 15 0 225709398 15372775424 21667 33554432000 4194304 4196468 140721869949808 140721869932352 140226249920247 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
/proc/11320/statm: 3753119 21667 2906 1 0 3715579 0
[pid=11320/tid=11321] ppid=11317 vsize=15012476 memory=8514701219881124769 CPUtime=0.19 cores=1,3,5,7
/proc/11320/task/11321/stat : 11321 (java) R 11317 11317 3762 0 -1 4202560 7925 0 0 0 17 2 0 0 20 0 15 0 225709398 15372775424 21667 33554432000 4194304 4196468 140721869949808 140226221745456 140226249932182 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11322] ppid=11317 vsize=15012476 memory=3472468733535692464 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11322/stat : 11322 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 21667 33554432000 4194304 4196468 140721869949808 140226254163088 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11323] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11323/stat : 11323 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 21667 33554432000 4194304 4196468 140721869949808 140226052938768 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11324] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11324/stat : 11324 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 21667 33554432000 4194304 4196468 140721869949808 140225709857680 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11325] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11325/stat : 11325 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 21667 33554432000 4194304 4196468 140721869949808 140225708804880 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11326] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11326/stat : 11326 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709401 15372775424 21667 33554432000 4194304 4196468 140721869949808 140225220274544 140226249931394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11327] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11327/stat : 11327 (java) S 11317 11317 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225709402 15372775424 21667 33554432000 4194304 4196468 140721869949808 140224843736096 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11328] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11328/stat : 11328 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709402 15372775424 21667 33554432000 4194304 4196468 140721869949808 140224575300464 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11329] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11329/stat : 11329 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709404 15372775424 21667 33554432000 4194304 4196468 140721869949808 140224200791888 140226249938843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11330] ppid=11317 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11330/stat : 11330 (java) S 11317 11317 3762 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 225709404 15372775424 21667 33554432000 4194304 4196468 140721869949808 140225219222384 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11331] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11331/stat : 11331 (java) S 11317 11317 3762 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225709404 15372775424 21667 33554432000 4194304 4196468 140721869949808 140225218169584 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11332] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0.03 cores=1,3,5,7
/proc/11320/task/11332/stat : 11332 (java) R 11317 11317 3762 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 15 0 225709404 15372775424 21667 33554432000 4194304 4196468 140721869949808 140225217116784 140226234568680 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11333] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11333/stat : 11333 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709405 15372775424 21667 33554432000 4194304 4196468 140721869949808 140223702887136 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11334] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11334/stat : 11334 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709405 15372775424 21667 33554432000 4194304 4196468 140721869949808 140225216064176 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88060 KiB
[startup+0.310673 s]*
/proc/loadavg: 2.01 2.07 2.12 3/223 11334
/proc/meminfo: memFree=17886644/32770624 swapFree=67108196/67108860
[pid=11317] ppid=11314 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11317/stat : 11317 (scop.sh) S 11314 11317 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225709398 115843072 348 33554432000 4194304 5098028 140733999443152 140733999440408 140245565588092 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35356672 140733999445056 140733999445255 140733999445255 140733999448013 0
/proc/11317/statm: 28282 348 296 221 0 87 0
[pid=11320] ppid=11317 vsize=15012476 memory=90204 CPUtime=0.42 cores=1,3,5,7
/proc/11320/stat : 11320 (java) S 11317 11317 3762 0 -1 1077944320 10522 0 0 0 39 3 0 0 20 0 15 0 225709398 15372775424 22551 33554432000 4194304 4196468 140721869949808 140721869932352 140226249920247 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
/proc/11320/statm: 3753119 22551 2980 1 0 3715579 0
[pid=11320/tid=11321] ppid=11317 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/11320/task/11321/stat : 11321 (java) R 11317 11317 3762 0 -1 4202560 8297 0 0 0 27 2 0 0 20 0 15 0 225709398 15372775424 22551 33554432000 4194304 4196468 140721869949808 140226221715248 140226234000734 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11322] ppid=11317 vsize=15012476 memory=3472468733535692464 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11322/stat : 11322 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 22551 33554432000 4194304 4196468 140721869949808 140226254163088 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11323] ppid=11317 vsize=15012476 memory=280874484317056 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11323/stat : 11323 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 22551 33554432000 4194304 4196468 140721869949808 140226052938768 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11324] ppid=11317 vsize=15012476 memory=280874352642080 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11324/stat : 11324 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 22551 33554432000 4194304 4196468 140721869949808 140225709857680 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11325] ppid=11317 vsize=15012476 memory=140437176304911 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11325/stat : 11325 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709400 15372775424 22551 33554432000 4194304 4196468 140721869949808 140225708804880 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11326] ppid=11317 vsize=15012476 memory=280874484323968 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11326/stat : 11326 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709401 15372775424 22551 33554432000 4194304 4196468 140721869949808 140225220274544 140226249931394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11327] ppid=11317 vsize=15012476 memory=140437176309519 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11327/stat : 11327 (java) S 11317 11317 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225709402 15372775424 22551 33554432000 4194304 4196468 140721869949808 140224843736096 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11328] ppid=11317 vsize=15012476 memory=140437176322905 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11328/stat : 11328 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709402 15372775424 22551 33554432000 4194304 4196468 140721869949808 140224575300464 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11329] ppid=11317 vsize=15012476 memory=280874352651296 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11329/stat : 11329 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709404 15372775424 22551 33554432000 4194304 4196468 140721869949808 140224200791888 140226249938843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11330] ppid=11317 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11320/task/11330/stat : 11330 (java) S 11317 11317 3762 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 225709404 15372775424 22551 33554432000 4194304 4196468 140721869949808 140225219222384 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11331] ppid=11317 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11320/task/11331/stat : 11331 (java) S 11317 11317 3762 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 225709404 15372775424 22551 33554432000 4194304 4196468 140721869949808 140225218169584 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11332] ppid=11317 vsize=15012476 memory=140437308012160 CPUtime=0.07 cores=1,3,5,7
/proc/11320/task/11332/stat : 11332 (java) S 11317 11317 3762 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 225709404 15372775424 22551 33554432000 4194304 4196468 140721869949808 140225217116784 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11333] ppid=11317 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11333/stat : 11333 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709405 15372775424 22551 33554432000 4194304 4196468 140721869949808 140223702887136 140226249930453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11334] ppid=11317 vsize=15012476 memory=140437308013552 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11334/stat : 11334 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709405 15372775424 22551 33554432000 4194304 4196468 140721869949808 140225216064176 140226249931394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91596 KiB
[startup+0.70086 s]
/proc/loadavg: 2.01 2.07 2.12 3/223 11334
/proc/meminfo: memFree=17861840/32770624 swapFree=67108196/67108860
[pid=11317] ppid=11314 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11317/stat : 11317 (scop.sh) S 11314 11317 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225709398 115843072 348 33554432000 4194304 5098028 140733999443152 140733999440408 140245565588092 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35356672 140733999445056 140733999445255 140733999445255 140733999448013 0
/proc/11317/statm: 28282 348 296 221 0 87 0
[pid=11320] ppid=11317 vsize=15020872 memory=129668 CPUtime=1 cores=1,3,5,7
/proc/11320/stat : 11320 (java) S 11317 11317 3762 0 -1 1077944320 17593 0 0 0 95 5 0 0 20 0 15 0 225709398 15381372928 32417 33554432000 4194304 4196468 140721869949808 140721869932352 140226249920247 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
/proc/11320/statm: 3755218 32417 3148 1 0 3716603 0
[pid=11320/tid=11321] ppid=11317 vsize=15020872 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/11320/task/11321/stat : 11321 (java) R 11317 11317 3762 0 -1 4202560 14917 0 0 0 63 4 0 0 20 0 15 0 225709398 15381372928 32417 33554432000 4194304 4196468 140721869949808 140226221745216 140226242157374 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11322] ppid=11317 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11322/stat : 11322 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15381372928 32417 33554432000 4194304 4196468 140721869949808 140226254163088 140226249930453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11323] ppid=11317 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11323/stat : 11323 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15381372928 32417 33554432000 4194304 4196468 140721869949808 140226052938768 140226249930453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11324] ppid=11317 vsize=15020872 memory=5788902676991533888 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11324/stat : 11324 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225709400 15381372928 32417 33554432000 4194304 4196468 140721869949808 140225709857680 140226249930453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11325] ppid=11317 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11325/stat : 11325 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709400 15381372928 32417 33554432000 4194304 4196468 140721869949808 140225708804880 140226249930453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11326] ppid=11317 vsize=15020872 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11326/stat : 11326 (java) S 11317 11317 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225709401 15381372928 32417 33554432000 4194304 4196468 140721869949808 140225220274544 140226249931394 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11327] ppid=11317 vsize=15020872 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11327/stat : 11327 (java) S 11317 11317 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225709402 15381372928 32417 33554432000 4194304 4196468 140721869949808 140224843736096 140226249930453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11328] ppid=11317 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11328/stat : 11328 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709402 15381372928 32417 33554432000 4194304 4196468 140721869949808 140224575300464 140226249930453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11329] ppid=11317 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11329/stat : 11329 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709404 15381372928 32417 33554432000 4194304 4196468 140721869949808 140224200791888 140226249938843 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11330] ppid=11317 vsize=15020872 memory=4168 CPUtime=0.1 cores=1,3,5,7
/proc/11320/task/11330/stat : 11330 (java) S 11317 11317 3762 0 -1 1077944384 641 0 0 0 10 0 0 0 20 0 15 0 225709404 15381372928 32417 33554432000 4194304 4196468 140721869949808 140225219222384 140226249931394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11331] ppid=11317 vsize=15020872 memory=7852 CPUtime=0.06 cores=1,3,5,7
/proc/11320/task/11331/stat : 11331 (java) S 11317 11317 3762 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 15 0 225709404 15381372928 32417 33554432000 4194304 4196468 140721869949808 140225218169584 140226249931394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11332] ppid=11317 vsize=15020872 memory=1628 CPUtime=0.15 cores=1,3,5,7
/proc/11320/task/11332/stat : 11332 (java) S 11317 11317 3762 0 -1 1077944384 419 0 0 0 15 0 0 0 20 0 15 0 225709404 15381372928 32417 33554432000 4194304 4196468 140721869949808 140225217116784 140226249931394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11333] ppid=11317 vsize=15020872 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11333/stat : 11333 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225709405 15381372928 32417 33554432000 4194304 4196468 140721869949808 140223702887136 140226249930453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
[pid=11320/tid=11334] ppid=11317 vsize=15020872 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/11320/task/11334/stat : 11334 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225709405 15381372928 32417 33554432000 4194304 4196468 140721869949808 140225216064176 140226249931394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140721869952006 140721869952305 140721869952305 140721869955023 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131060 KiB
[startup+1.50256 s]
/proc/loadavg: 2.01 2.07 2.12 3/223 11334
/proc/meminfo: memFree=17832564/32770624 swapFree=67108196/67108860
[pid=11317] ppid=11314 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11317/stat : 11317 (scop.sh) S 11314 11317 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225709398 115843072 348 33554432000 4194304 5098028 140733999443152 140733999440408 140245565588092 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35356672 140733999445056 140733999445255 140733999445255 140733999448013 0
/proc/11317/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=11335/tid=11338] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11338/stat : 11338 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139987145734544 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11339] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11339/stat : 11339 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986800900624 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11340] ppid=11317 vsize=8068220 memory=520328 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11340/stat : 11340 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986799848080 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11341] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.06 cores=1,3,5,7
/proc/11335/task/11341/stat : 11341 (java) S 11317 11317 3762 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 225710733 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986629073392 139987316861570 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11342] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11342/stat : 11342 (java) S 11317 11317 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225710734 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986204616096 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11343] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11343/stat : 11343 (java) S 11317 11317 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225710734 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986070394352 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11344] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11344/stat : 11344 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139985695890128 139987316869019 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11345] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/11335/task/11345/stat : 11345 (java) S 11317 11317 3762 0 -1 1077944384 586 0 0 0 8 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986628020208 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11346] ppid=11317 vsize=8068220 memory=114400 CPUtime=0.1 cores=1,3,5,7
/proc/11335/task/11346/stat : 11346 (java) S 11317 11317 3762 0 -1 1077944384 357 0 0 0 9 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986626967664 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11347] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/11335/task/11347/stat : 11347 (java) S 11317 11317 3762 0 -1 1077944384 483 0 0 0 19 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986625915120 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11348] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11348/stat : 11348 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225710737 8261857280 28600 33554432000 4194304 4196468 140726748081264 139985197984352 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11349] ppid=11317 vsize=8068220 memory=4108 CPUtime=1.42 cores=1,3,5,7
/proc/11335/task/11349/stat : 11349 (java) S 11317 11317 3762 0 -1 1077944384 236 0 0 0 66 76 0 0 20 0 19 0 225710737 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986624863024 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11351] ppid=11317 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11351/stat : 11351 (java) S 11317 11317 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986617054784 139987316875033 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11353] ppid=11317 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11353/stat : 11353 (java) S 11317 11317 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984661098640 139987316872349 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11354] ppid=11317 vsize=8068220 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11354/stat : 11354 (java) S 11317 11317 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984795319568 139987316872349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11355] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11355/stat : 11355 (java) S 11317 11317 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225710828 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984392674336 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
Current children cumulated CPU time: 2509.4 s
Current children cumulated vsize: 8744008 KiB
Current children cumulated memory: 636196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.9 s]
/proc/loadavg: 2.03 2.03 2.05 3/227 11554
/proc/meminfo: memFree=17197632/32770624 swapFree=67108196/67108860
[pid=11317] ppid=11314 vsize=113128 memory=1468 CPUtime=18.8 cores=1,3,5,7
/proc/11317/stat : 11317 (scop.sh) S 11314 11317 3762 0 -1 4202496 590 32922 0 0 0 0 1801 79 20 0 1 0 225709398 115843072 367 33554432000 4194304 5098028 140733999443152 140733999439896 140245565588092 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35356672 140733999445056 140733999445255 140733999445255 140733999448013 0
/proc/11317/statm: 28282 367 311 221 0 87 0
[pid=11335] ppid=11317 vsize=8068220 memory=114400 CPUtime=2.66 cores=1,3,5,7
/proc/11335/stat : 11335 (java) S 11317 11317 3762 0 -1 1077944320 18602 0 0 0 181 85 0 0 20 0 19 0 225710730 8261857280 28600 33554432000 4194304 4196468 140726748081264 140726748063808 139987316850423 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
/proc/11335/statm: 2017055 28600 3151 1 0 1978454 0
[pid=11350] ppid=11335 vsize=562660 memory=522376 CPUtime=2498.54 cores=1,3,5,7
/proc/11350/stat : 11350 (minisat_release) R 11335 11317 3762 0 -1 4202496 2384236 0 0 0 249655 199 0 0 20 0 1 0 225710825 576163840 130594 33554432000 4194304 4308513 140725616947792 140725616945240 4276008 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 40312832 140725616952436 140725616952534 140725616952534 140725616955333 0
/proc/11350/statm: 140665 130594 341 28 0 136905 0
[pid=11335/tid=11336] ppid=11317 vsize=8068220 memory=114400 CPUtime=0.75 cores=1,3,5,7
/proc/11335/task/11336/stat : 11336 (java) S 11317 11317 3762 0 -1 1077944384 15506 0 0 0 70 5 0 0 20 0 19 0 225710731 8261857280 28600 33554432000 4194304 4196468 140726748081264 139987288690576 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11337] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11337/stat : 11337 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139987321092368 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11338] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11338/stat : 11338 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139987145734544 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11339] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11339/stat : 11339 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986800900624 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11340] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11340/stat : 11340 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986799848080 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11341] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.06 cores=1,3,5,7
/proc/11335/task/11341/stat : 11341 (java) S 11317 11317 3762 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 225710733 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986629073392 139987316861570 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11342] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11342/stat : 11342 (java) S 11317 11317 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225710734 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986204616096 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11343] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11343/stat : 11343 (java) S 11317 11317 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225710734 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986070394352 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11344] ppid=11317 vsize=8068220 memory=-5587100619679488608 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11344/stat : 11344 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139985695890128 139987316869019 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11345] ppid=11317 vsize=8068220 memory=5495680832962010268 CPUtime=0.09 cores=1,3,5,7
/proc/11335/task/11345/stat : 11345 (java) S 11317 11317 3762 0 -1 1077944384 586 0 0 0 8 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986628020208 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11346] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.1 cores=1,3,5,7
/proc/11335/task/11346/stat : 11346 (java) S 11317 11317 3762 0 -1 1077944384 357 0 0 0 9 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986626967664 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11347] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/11335/task/11347/stat : 11347 (java) S 11317 11317 3762 0 -1 1077944384 483 0 0 0 19 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986625915120 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11348] ppid=11317 vsize=8068220 memory=61364 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11348/stat : 11348 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225710737 8261857280 28600 33554432000 4194304 4196468 140726748081264 139985197984352 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11349] ppid=11317 vsize=8068220 memory=1240 CPUtime=1.44 cores=1,3,5,7
/proc/11335/task/11349/stat : 11349 (java) S 11317 11317 3762 0 -1 1077944384 238 0 0 0 67 77 0 0 20 0 19 0 225710737 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986624863024 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11351] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11351/stat : 11351 (java) S 11317 11317 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986617054784 139987316875033 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11353] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11353/stat : 11353 (java) S 11317 11317 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984661098640 139987316872349 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11354] ppid=11317 vsize=8068220 memory=520328 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11354/stat : 11354 (java) S 11317 11317 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984795319568 139987316872349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11355] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11355/stat : 11355 (java) S 11317 11317 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225710828 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984392674336 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8744008 KiB
Current children cumulated memory: 638244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.91 s]
# the end of solver process 11317 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.0168 s, system=0.793765 s
[startup+2512.96 s]
# the end of solver process 11335 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.706 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+2512.9 s]
/proc/loadavg: 2.03 2.03 2.05 3/227 11554
/proc/meminfo: memFree=17197632/32770624 swapFree=67108196/67108860
[pid=11317] ppid=11314 vsize=113128 memory=1468 CPUtime=18.8 cores=1,3,5,7
/proc/11317/stat : 11317 (scop.sh) S 11314 11317 3762 0 -1 4202496 590 32922 0 0 0 0 1801 79 20 0 1 0 225709398 115843072 367 33554432000 4194304 5098028 140733999443152 140733999439896 140245565588092 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35356672 140733999445056 140733999445255 140733999445255 140733999448013 0
/proc/11317/statm: 28282 367 311 221 0 87 0
[pid=11335] ppid=11317 vsize=8068220 memory=114400 CPUtime=2.66 cores=1,3,5,7
/proc/11335/stat : 11335 (java) S 11317 11317 3762 0 -1 1077944320 18602 0 0 0 181 85 0 0 20 0 19 0 225710730 8261857280 28600 33554432000 4194304 4196468 140726748081264 140726748063808 139987316850423 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
/proc/11335/statm: 2017055 28600 3151 1 0 1978454 0
[pid=11350] ppid=11335 vsize=562660 memory=522376 CPUtime=2498.54 cores=1,3,5,7
/proc/11350/stat : 11350 (minisat_release) R 11335 11317 3762 0 -1 4202496 2384236 0 0 0 249655 199 0 0 20 0 1 0 225710825 576163840 130594 33554432000 4194304 4308513 140725616947792 140725616945240 4276008 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 40312832 140725616952436 140725616952534 140725616952534 140725616955333 0
/proc/11350/statm: 140665 130594 341 28 0 136905 0
[pid=11335/tid=11336] ppid=11317 vsize=8068220 memory=114400 CPUtime=0.75 cores=1,3,5,7
/proc/11335/task/11336/stat : 11336 (java) S 11317 11317 3762 0 -1 1077944384 15506 0 0 0 70 5 0 0 20 0 19 0 225710731 8261857280 28600 33554432000 4194304 4196468 140726748081264 139987288690576 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11337] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11337/stat : 11337 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139987321092368 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11338] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11338/stat : 11338 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139987145734544 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11339] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11339/stat : 11339 (java) S 11317 11317 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986800900624 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11340] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11340/stat : 11340 (java) S 11317 11317 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225710732 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986799848080 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11341] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.06 cores=1,3,5,7
/proc/11335/task/11341/stat : 11341 (java) S 11317 11317 3762 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 225710733 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986629073392 139987316861570 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11342] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11342/stat : 11342 (java) S 11317 11317 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225710734 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986204616096 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11343] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11343/stat : 11343 (java) S 11317 11317 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225710734 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986070394352 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11344] ppid=11317 vsize=8068220 memory=-5587100619679488608 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11344/stat : 11344 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139985695890128 139987316869019 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11345] ppid=11317 vsize=8068220 memory=5495680832962010268 CPUtime=0.09 cores=1,3,5,7
/proc/11335/task/11345/stat : 11345 (java) S 11317 11317 3762 0 -1 1077944384 586 0 0 0 8 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986628020208 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11346] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.1 cores=1,3,5,7
/proc/11335/task/11346/stat : 11346 (java) S 11317 11317 3762 0 -1 1077944384 357 0 0 0 9 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986626967664 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11347] ppid=11317 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/11335/task/11347/stat : 11347 (java) S 11317 11317 3762 0 -1 1077944384 483 0 0 0 19 1 0 0 20 0 19 0 225710736 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986625915120 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11348] ppid=11317 vsize=8068220 memory=61364 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11348/stat : 11348 (java) S 11317 11317 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225710737 8261857280 28600 33554432000 4194304 4196468 140726748081264 139985197984352 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11349] ppid=11317 vsize=8068220 memory=1240 CPUtime=1.44 cores=1,3,5,7
/proc/11335/task/11349/stat : 11349 (java) S 11317 11317 3762 0 -1 1077944384 238 0 0 0 67 77 0 0 20 0 19 0 225710737 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986624863024 139987316861570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11351] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11351/stat : 11351 (java) S 11317 11317 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139986617054784 139987316875033 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11353] ppid=11317 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11353/stat : 11353 (java) S 11317 11317 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984661098640 139987316872349 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11354] ppid=11317 vsize=8068220 memory=520328 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11354/stat : 11354 (java) S 11317 11317 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225710825 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984795319568 139987316872349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
[pid=11335/tid=11355] ppid=11317 vsize=8068220 memory=114400 CPUtime=0 cores=1,3,5,7
/proc/11335/task/11355/stat : 11355 (java) S 11317 11317 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225710828 8261857280 28600 33554432000 4194304 4196468 140726748081264 139984392674336 139987316860629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14098432 140726748087477 140726748087601 140726748087601 140726748090319 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8744008 KiB
Current children cumulated memory: 638244 KiB
Child status: 1
Real time (s): 2512.96
CPU time (s): 2520.1
CPU user time (s): 2516.39
CPU system time (s): 3.706
CPU usage (%): 100.284
Max. virtual memory (cumulated for all children) (KiB): 15141252
Max. memory (cumulated for all children) (KiB): 3069512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.706
maximum resident set size= 3068704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2436895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 306024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59534
involuntary context switches= 702
# summary of solver processes directly reported to runsolver:
# pid: 11317,11335
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7627 second user time and 27.075 second system time
The end