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-29863-serial-file.bin HOME/instance-4305697-1534084375.xml
0.54/0.51
0.66/0.52 scop both+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 16:32:55 CEST 2018
0.66/0.54 c PID: 29866
0.66/0.54 c IP: 172.20.3.106
0.66/0.54 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.09/1.14 c (0,0) Parsing End
2.09/1.14 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 996 ctr, max domain size 128
2.09/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.09/1.14 c (0,0) Constraint Name Generate Begin
2.09/1.16 c (0,0) Ctr:HOME/instance-4305697-1534084375.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
2.09/1.16 c (0,0) Constraint Name Generate End
2.09/1.16 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.09/1.16 c (0,0) CSP to CSPinCNF Begin
42.10/31.41 c (30,29) translated 100 (10%) constraints
79.03/61.49 c (60,57) translated 200 (20%) constraints
112.06/90.40 c (89,85) translated 299 (30%) constraints
143.83/119.16 c (118,112) translated 399 (40%) constraints
174.82/147.58 c (147,140) translated 498 (50%) constraints
207.34/176.65 c (176,168) translated 598 (60%) constraints
239.13/205.53 c (205,196) translated 698 (70%) constraints
270.69/234.09 c (233,223) translated 797 (80%) constraints
302.77/262.97 c (262,251) translated 897 (90%) constraints
306.97/266.35 c (265,254) translated 996 (100%) constraints
323.92/281.08 c (280,269) STATISTICS1:HOME/instance-4305697-1534084375.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,116068,6544875,128,128,129,2,128:4950,128:12854386;2:6654570,129:906;100:2;3:6304854;2:239113,2:4950;1:19499056;0:906,
323.92/281.08 c (280,269) ==========================================
323.92/281.08 c (280,269) Both Encoding selects:
323.92/281.08 c (280,269) Order
323.92/281.08 c (280,269) ==========================================
334.02/289.47 c (288,277) translated 654488 (10%) constraints
343.80/297.98 c (297,285) translated 1308975 (20%) constraints
353.91/306.62 c (306,293) translated 1963463 (30%) constraints
363.81/315.22 c (314,301) translated 2617950 (40%) constraints
373.85/323.82 c (323,309) translated 3272438 (50%) constraints
383.79/332.37 c (331,317) translated 3926925 (60%) constraints
393.83/340.92 c (340,325) translated 4581413 (70%) constraints
403.65/349.43 c (348,334) translated 5235900 (80%) constraints
413.53/357.95 c (357,342) translated 5890388 (90%) constraints
423.51/366.54 c (366,350) translated 6544875 (100%) constraints
423.51/366.54 c (366,350) CSP to CSPinCNF End
423.51/366.59 c (366,350) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128
423.51/366.59 c (366,350) Heap : 9115 MiB used (max 10846 MiB), NonHeap : 30 MiB used (max 0 MiB)
423.51/366.59 c (366,350) CSPinCNF Propagation Begin
555.25/416.63 c (416,373) 0 values, 906 unsatisfiable literals, and 0 valid clauses are removed
555.25/416.63 c (416,373) CSPinCNF Propagation End
555.25/416.68 c (416,373) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128
555.25/416.68 c (416,373) Heap : 9545 MiB used (max 10844 MiB), NonHeap : 30 MiB used (max 0 MiB)
555.25/416.68 c (416,373) Simplify CSPinCNF Begin
605.03/435.11 c (434,381) Simplify CSPinCNF End
605.03/435.16 c (434,381) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128
605.03/435.16 c (434,381) Heap : 7835 MiB used (max 10422 MiB), NonHeap : 30 MiB used (max 0 MiB)
605.03/435.16 c (434,381) Calculate Precise Domain Begin
605.03/435.16 c (434,381) 0 values are removed by re-calculation
605.03/435.16 c (434,381) Calculate Precise Domain End
605.12/435.21 c (434,381) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128
605.12/435.21 c (434,381) Heap : 7835 MiB used (max 10422 MiB), NonHeap : 30 MiB used (max 0 MiB)
605.12/435.21 c (434,381) CSPinCNF to SatSolver Begin
614.48/442.30 c (441,387) 655478 (10 %) CSP clauses are encoded (138568 SAT variables, 1925377 SAT clauses)
617.87/445.61 c (445,391) 1310955 (20 %) CSP clauses are encoded (138568 SAT variables, 2580854 SAT clauses)
621.10/448.88 c (448,394) 1966433 (30 %) CSP clauses are encoded (138568 SAT variables, 3236332 SAT clauses)
624.48/452.33 c (451,397) 2621910 (40 %) CSP clauses are encoded (138568 SAT variables, 3891809 SAT clauses)
627.84/455.65 c (455,401) 3277388 (50 %) CSP clauses are encoded (138568 SAT variables, 4547287 SAT clauses)
631.19/458.91 c (458,404) 3932865 (60 %) CSP clauses are encoded (138568 SAT variables, 5202764 SAT clauses)
634.44/462.18 c (461,407) 4588343 (70 %) CSP clauses are encoded (138568 SAT variables, 5858242 SAT clauses)
637.76/465.45 c (464,410) 5243820 (80 %) CSP clauses are encoded (138568 SAT variables, 6513719 SAT clauses)
641.10/468.72 c (468,414) 5899298 (90 %) CSP clauses are encoded (138568 SAT variables, 7169197 SAT clauses)
644.48/472.02 c (471,417) 6554775 (100 %) CSP clauses are encoded (138568 SAT variables, 7824674 SAT clauses)
644.48/472.02 c (471,417) Launch Command will be: minisat_release
644.48/472.02 c (471,417) CSPinCNF to SatSolver End
644.48/472.02 c (471,417) Heap : 6376 MiB used (max 10762 MiB), NonHeap : 31 MiB used (max 0 MiB)
659.51/486.57 c (486,431) STATISTICS2:HOME/instance-4305697-1534084375.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,125968,6554775,128,128,128,2,128:9900,128:12864286;2:6674370,128:906;100:2;3:6304854;2:249013,2:9900;1:19518856,
659.51/486.57 c (486,431) 138568 bool, 7824675 clause
659.51/486.57 c (486,431) Export Begin
659.62/486.66 c (486,431) Export to HOME/scop-29863-serial-file.bin
659.62/486.66 c (486,431) Export End
659.62/486.66 c (486,431) Export File Size: 0.02 MB
659.62/486.66 c (486,431) 0,0,366,416,434,434,471,STOP-AFTER(DIMACS)
659.62/486.66 c END-Prog: Sun Aug 12 16:41:02 CEST 2018
0.00/486.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-29863-serial-file.bin
660.42/487.22 c (0,0) Read Serial File Begin
660.42/487.22 c (0,0) HOME/scop-29863-serial-file.bin
660.73/487.40 c (0,0) Read Serial File End
660.73/487.41
660.73/487.41 scop order+minisat_release (2018-07-31)
660.73/487.41 (Solving Process)
660.73/487.41
660.73/487.43 c BEGIN-Prog: Sun Aug 12 16:41:02 CEST 2018
660.73/487.43 c PID: 29997
660.73/487.43 c IP: 172.20.3.106
660.73/487.43 c HOST: node106.alineos.net
660.73/487.44 c (0,0) SatSolver.solve Begin
660.73/487.44 c (0,0) 0 bool, 0 clause
660.73/487.44 c (0,0) minisat_release HOME/instance-4305697-1534084375.xml-scop-29866.cnf
2520.08/2345.20 c (1858,0) receiving signal SIGTERM
2520.08/2345.20 s UNKNOWN
2520.08/2345.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2345.21 c (scop.sh) Remove HOME/scop-29863-serial-file.bin.
2520.08/2345.21 c (scop.sh) Killing background jobs.
2520.08/2345.21 c (1858,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 (9807 MiB free)
memory of node 1: 16384 MiB (13220 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305697-1534084375/watcher-4305697-1534084375 -o /tmp/evaluation-result-4305697-1534084375/solver-4305697-1534084375 -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-4305697-1534084375.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
Current StackSize limit: 8192 KiB
solver pid=29863, runsolver pid=29860
[startup+0.100058 s]*
/proc/loadavg: 2.00 2.04 2.10 4/223 29880
/proc/meminfo: memFree=23520596/32770624 swapFree=67108688/67108860
[pid=29863] ppid=29860 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29863/stat : 29863 (scop.sh) S 29860 29863 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226000349 115843072 349 33554432000 4194304 5098028 140728008513392 140728008510648 140602443989628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18690048 140728008516673 140728008516871 140728008516871 140728008519629 0
/proc/29863/statm: 28282 349 296 221 0 87 0
[pid=29866] ppid=29863 vsize=15012476 memory=72464 CPUtime=0.11 cores=0,2,4,6
/proc/29866/stat : 29866 (java) S 29863 29863 23167 0 -1 1077944320 6725 0 0 0 9 2 0 0 20 0 15 0 226000350 15372775424 18116 33554432000 4194304 4196468 140734737483984 140734737466528 140532934401783 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
/proc/29866/statm: 3753119 18116 2772 1 0 3715579 0
[pid=29866/tid=29867] ppid=29863 vsize=15012476 memory=-6078870780940435391 CPUtime=0.09 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (java) R 29863 29863 23167 0 -1 4202560 4812 0 0 0 8 1 0 0 20 0 15 0 226000350 15372775424 18116 33554432000 4194304 4196468 140734737483984 140532906213768 140532917588592 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29868] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 18116 33554432000 4194304 4196468 140734737483984 140532938644368 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29869] ppid=29863 vsize=15012476 memory=139969537775232 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 18116 33554432000 4194304 4196468 140734737483984 140532752800528 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29870] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 18116 33554432000 4194304 4196468 140734737483984 140532751748240 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29871] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29871/stat : 29871 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 18116 33554432000 4194304 4196468 140734737483984 140532750695440 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29872] ppid=29863 vsize=15012476 memory=139969537775232 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29872/stat : 29872 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226000353 15372775424 18116 33554432000 4194304 4196468 140734737483984 140531971954800 140532934412930 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29873] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29873/stat : 29873 (java) S 29863 29863 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226000354 15372775424 18116 33554432000 4194304 4196468 140734737483984 140531464135456 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29874] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29874/stat : 29874 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000354 15372775424 18116 33554432000 4194304 4196468 140734737483984 140531195700336 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29875] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29875/stat : 29875 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000356 15372775424 18116 33554432000 4194304 4196468 140734737483984 140530821191760 140532934420379 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29876] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29876/stat : 29876 (java) S 29863 29863 23167 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 226000356 15372775424 18116 33554432000 4194304 4196468 140734737483984 140531970902640 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29877] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29877/stat : 29877 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000356 15372775424 18116 33554432000 4194304 4196468 140734737483984 140531969849840 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29878] ppid=29863 vsize=15012476 memory=139969537775232 CPUtime=0.01 cores=0,2,4,6
/proc/29866/task/29878/stat : 29878 (java) R 29863 29863 23167 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 15 0 226000356 15372775424 18116 33554432000 4194304 4196468 140734737483984 140531968797552 140532926712016 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29879] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29879/stat : 29879 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000357 15372775424 18116 33554432000 4194304 4196468 140734737483984 140530323287008 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29880] ppid=29863 vsize=15012476 memory=139969537775232 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29880/stat : 29880 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000357 15372775424 18116 33554432000 4194304 4196468 140734737483984 140531967744432 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73860 KiB
[startup+0.210737 s]*
/proc/loadavg: 2.00 2.04 2.10 5/223 29880
/proc/meminfo: memFree=23505924/32770624 swapFree=67108688/67108860
[pid=29863] ppid=29860 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29863/stat : 29863 (scop.sh) S 29860 29863 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226000349 115843072 349 33554432000 4194304 5098028 140728008513392 140728008510648 140602443989628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18690048 140728008516673 140728008516871 140728008516871 140728008519629 0
/proc/29863/statm: 28282 349 296 221 0 87 0
[pid=29866] ppid=29863 vsize=15012476 memory=85508 CPUtime=0.25 cores=0,2,4,6
/proc/29866/stat : 29866 (java) S 29863 29863 23167 0 -1 1077944320 10265 0 0 0 22 3 0 0 20 0 15 0 226000350 15372775424 21377 33554432000 4194304 4196468 140734737483984 140734737466528 140532934401783 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
/proc/29866/statm: 3753119 21377 2877 1 0 3715579 0
[pid=29866/tid=29867] ppid=29863 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (java) R 29863 29863 23167 0 -1 4202560 8168 0 0 0 18 2 0 0 20 0 15 0 226000350 15372775424 21377 33554432000 4194304 4196468 140734737483984 140532906227152 140532420580826 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29868] ppid=29863 vsize=15012476 memory=553 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 21377 33554432000 4194304 4196468 140734737483984 140532938644368 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29869] ppid=29863 vsize=15012476 memory=3472472693907396256 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 21377 33554432000 4194304 4196468 140734737483984 140532752800528 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29870] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 21377 33554432000 4194304 4196468 140734737483984 140532751748240 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29871] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29871/stat : 29871 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 21377 33554432000 4194304 4196468 140734737483984 140532750695440 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29872] ppid=29863 vsize=15012476 memory=139969537775232 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29872/stat : 29872 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226000353 15372775424 21377 33554432000 4194304 4196468 140734737483984 140531971954800 140532934412930 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29873] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29873/stat : 29873 (java) S 29863 29863 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226000354 15372775424 21377 33554432000 4194304 4196468 140734737483984 140531464135456 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29874] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29874/stat : 29874 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000354 15372775424 21377 33554432000 4194304 4196468 140734737483984 140531195700336 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29875] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29875/stat : 29875 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000356 15372775424 21377 33554432000 4194304 4196468 140734737483984 140530821191760 140532934420379 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29876] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29876/stat : 29876 (java) S 29863 29863 23167 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 226000356 15372775424 21377 33554432000 4194304 4196468 140734737483984 140531970902640 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29877] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29877/stat : 29877 (java) S 29863 29863 23167 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 226000356 15372775424 21377 33554432000 4194304 4196468 140734737483984 140531969849840 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29878] ppid=29863 vsize=15012476 memory=139969537775232 CPUtime=0.03 cores=0,2,4,6
/proc/29866/task/29878/stat : 29878 (java) S 29863 29863 23167 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 226000356 15372775424 21377 33554432000 4194304 4196468 140734737483984 140531968797552 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29879] ppid=29863 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29879/stat : 29879 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000357 15372775424 21377 33554432000 4194304 4196468 140734737483984 140530323287008 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29880] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29880/stat : 29880 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000357 15372775424 21377 33554432000 4194304 4196468 140734737483984 140531967744432 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86904 KiB
[startup+0.310774 s]*
/proc/loadavg: 2.00 2.04 2.10 3/223 29880
/proc/meminfo: memFree=23502156/32770624 swapFree=67108688/67108860
[pid=29863] ppid=29860 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29863/stat : 29863 (scop.sh) S 29860 29863 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226000349 115843072 349 33554432000 4194304 5098028 140728008513392 140728008510648 140602443989628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18690048 140728008516673 140728008516871 140728008516871 140728008519629 0
/proc/29863/statm: 28282 349 296 221 0 87 0
[pid=29866] ppid=29863 vsize=15012476 memory=89676 CPUtime=0.42 cores=0,2,4,6
/proc/29866/stat : 29866 (java) S 29863 29863 23167 0 -1 1077944320 10873 0 0 0 39 3 0 0 20 0 15 0 226000350 15372775424 22419 33554432000 4194304 4196468 140734737483984 140734737466528 140532934401783 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
/proc/29866/statm: 3753119 22419 2977 1 0 3715579 0
[pid=29866/tid=29867] ppid=29863 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (java) R 29863 29863 23167 0 -1 4202560 8611 0 0 0 27 2 0 0 20 0 15 0 226000350 15372775424 22419 33554432000 4194304 4196468 140734737483984 140532906205384 140532934413718 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29868] ppid=29863 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 22419 33554432000 4194304 4196468 140734737483984 140532938644368 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29869] ppid=29863 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 22419 33554432000 4194304 4196468 140734737483984 140532752800528 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29870] ppid=29863 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 22419 33554432000 4194304 4196468 140734737483984 140532751748240 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29871] ppid=29863 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29871/stat : 29871 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15372775424 22419 33554432000 4194304 4196468 140734737483984 140532750695440 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29872] ppid=29863 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29872/stat : 29872 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226000353 15372775424 22419 33554432000 4194304 4196468 140734737483984 140531971954800 140532934412930 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29873] ppid=29863 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29873/stat : 29873 (java) S 29863 29863 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226000354 15372775424 22419 33554432000 4194304 4196468 140734737483984 140531464135456 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29874] ppid=29863 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29874/stat : 29874 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000354 15372775424 22419 33554432000 4194304 4196468 140734737483984 140531195700336 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29875] ppid=29863 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29875/stat : 29875 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000356 15372775424 22419 33554432000 4194304 4196468 140734737483984 140530821191760 140532934420379 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29876] ppid=29863 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29866/task/29876/stat : 29876 (java) S 29863 29863 23167 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 226000356 15372775424 22419 33554432000 4194304 4196468 140734737483984 140531970902640 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29877] ppid=29863 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29866/task/29877/stat : 29877 (java) S 29863 29863 23167 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 15 0 226000356 15372775424 22419 33554432000 4194304 4196468 140734737483984 140531969849840 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29878] ppid=29863 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29866/task/29878/stat : 29878 (java) R 29863 29863 23167 0 -1 4202560 337 0 0 0 7 0 0 0 20 0 15 0 226000356 15372775424 22419 33554432000 4194304 4196468 140734737483984 140531968797552 140532918565744 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29879] ppid=29863 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29879/stat : 29879 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000357 15372775424 22419 33554432000 4194304 4196468 140734737483984 140530323287008 140532934411989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29880] ppid=29863 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29880/stat : 29880 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000357 15372775424 22419 33554432000 4194304 4196468 140734737483984 140531967744432 140532934412930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91072 KiB
[startup+0.700766 s]
/proc/loadavg: 2.00 2.04 2.10 3/223 29880
/proc/meminfo: memFree=23478096/32770624 swapFree=67108688/67108860
[pid=29863] ppid=29860 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29863/stat : 29863 (scop.sh) S 29860 29863 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226000349 115843072 349 33554432000 4194304 5098028 140728008513392 140728008510648 140602443989628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18690048 140728008516673 140728008516871 140728008516871 140728008519629 0
/proc/29863/statm: 28282 349 296 221 0 87 0
[pid=29866] ppid=29863 vsize=15020872 memory=129252 CPUtime=1.01 cores=0,2,4,6
/proc/29866/stat : 29866 (java) S 29863 29863 23167 0 -1 1077944320 17996 0 0 0 95 6 0 0 20 0 15 0 226000350 15381372928 32313 33554432000 4194304 4196468 140734737483984 140734737466528 140532934401783 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
/proc/29866/statm: 3755218 32313 3127 1 0 3716603 0
[pid=29866/tid=29867] ppid=29863 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (java) R 29863 29863 23167 0 -1 4202560 15231 0 0 0 62 5 0 0 20 0 15 0 226000350 15381372928 32313 33554432000 4194304 4196468 140734737483984 140532906236352 140532918482270 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29868] ppid=29863 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15381372928 32313 33554432000 4194304 4196468 140734737483984 140532938644368 140532934411989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29869] ppid=29863 vsize=15020872 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226000352 15381372928 32313 33554432000 4194304 4196468 140734737483984 140532752800528 140532934411989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29870] ppid=29863 vsize=15020872 memory=25008 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15381372928 32313 33554432000 4194304 4196468 140734737483984 140532751748240 140532934411989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29871] ppid=29863 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29871/stat : 29871 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000352 15381372928 32313 33554432000 4194304 4196468 140734737483984 140532750695440 140532934411989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29872] ppid=29863 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29872/stat : 29872 (java) R 29863 29863 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 226000353 15381372928 32313 33554432000 4194304 4196468 140734737483984 140531971954800 140532927118935 0 0 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29873] ppid=29863 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29873/stat : 29873 (java) S 29863 29863 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226000354 15381372928 32313 33554432000 4194304 4196468 140734737483984 140531464135456 140532934411989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29874] ppid=29863 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29874/stat : 29874 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000354 15381372928 32313 33554432000 4194304 4196468 140734737483984 140531195700336 140532934411989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29875] ppid=29863 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29875/stat : 29875 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000356 15381372928 32313 33554432000 4194304 4196468 140734737483984 140530821191760 140532934420379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29876] ppid=29863 vsize=15020872 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29866/task/29876/stat : 29876 (java) S 29863 29863 23167 0 -1 1077944384 550 0 0 0 5 0 0 0 20 0 15 0 226000356 15381372928 32313 33554432000 4194304 4196468 140734737483984 140531970902640 140532934412930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29877] ppid=29863 vsize=15020872 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29866/task/29877/stat : 29877 (java) S 29863 29863 23167 0 -1 1077944384 370 0 0 0 9 0 0 0 20 0 15 0 226000356 15381372928 32313 33554432000 4194304 4196468 140734737483984 140531969849840 140532934412930 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29878] ppid=29863 vsize=15020872 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/29866/task/29878/stat : 29878 (java) R 29863 29863 23167 0 -1 4202560 512 0 0 0 17 0 0 0 20 0 15 0 226000356 15381372928 32313 33554432000 4194304 4196468 140734737483984 140531968792928 140532934423130 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29879] ppid=29863 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29879/stat : 29879 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226000357 15381372928 32313 33554432000 4194304 4196468 140734737483984 140530323287008 140532934411989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
[pid=29866/tid=29880] ppid=29863 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29866/task/29880/stat : 29880 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226000357 15381372928 32313 33554432000 4194304 4196468 140734737483984 140531967744432 140532934412930 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140734737486855 140734737487153 140734737487153 140734737489871 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130648 KiB
[startup+1.50176 s]
/proc/loadavg: 2.00 2.04 2.10 5/223 29880
/proc/meminfo: memFree=23440500/32770624 swapFree=67108688/67108860
[pid=29863] ppid=29860 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29863/stat : 29863 (scop.sh) S 29860 29863 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226000349 115843072 349 33554432000 4194304 5098028 140728008513392 140728008510648 140602443989628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18690048 140728008516673 140728008516871 140728008516871 140728008519629 0
/proc/29863/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=29997/tid=30000] ppid=29863 vsize=8068220 memory=116736 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30000/stat : 30000 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211479100048 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30001] ppid=29863 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30001/stat : 30001 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211478046992 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30002] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30002/stat : 30002 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211476994448 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30003] ppid=29863 vsize=8068220 memory=116736 CPUtime=0.03 cores=0,2,4,6
/proc/29997/task/30003/stat : 30003 (java) S 29863 29863 23167 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211439954672 140211993541250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30004] ppid=29863 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30004/stat : 30004 (java) S 29863 29863 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210885093024 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30005] ppid=29863 vsize=8068220 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30005/stat : 30005 (java) S 29863 29863 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210750870768 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30006] ppid=29863 vsize=8068220 memory=68 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30006/stat : 30006 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210376366544 140211993548699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30007] ppid=29863 vsize=8068220 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/29997/task/30007/stat : 30007 (java) S 29863 29863 23167 0 -1 1077944384 765 0 0 0 9 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211438901488 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30008] ppid=29863 vsize=8068220 memory=288230574492221466 CPUtime=0.09 cores=0,2,4,6
/proc/29997/task/30008/stat : 30008 (java) S 29863 29863 23167 0 -1 1077944384 180 0 0 0 9 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211437848944 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30009] ppid=29863 vsize=8068220 memory=288230583166042426 CPUtime=0.21 cores=0,2,4,6
/proc/29997/task/30009/stat : 30009 (java) S 29863 29863 23167 0 -1 1077944384 526 0 0 0 21 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211436795888 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30010] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30010/stat : 30010 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209878460768 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30011] ppid=29863 vsize=8068220 memory=1472 CPUtime=1.51 cores=0,2,4,6
/proc/29997/task/30011/stat : 30011 (java) S 29863 29863 23167 0 -1 1077944384 123 0 0 0 75 76 0 0 20 0 19 0 226049029 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211435744304 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30013] ppid=29863 vsize=8068220 memory=116736 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30013/stat : 30013 (java) S 29863 29863 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211427936064 140211993554713 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30015] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30015/stat : 30015 (java) S 29863 29863 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209341575056 140211993552029 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30016] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30016/stat : 30016 (java) S 29863 29863 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209475796496 140211993552029 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30017] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30017/stat : 30017 (java) S 29863 29863 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226049098 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209073151264 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
Current children cumulated CPU time: 2437.14 s
Current children cumulated vsize: 8774680 KiB
Current children cumulated memory: 647632 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 30097
/proc/meminfo: memFree=22726948/32770624 swapFree=67108688/67108860
[pid=29863] ppid=29860 vsize=113128 memory=1472 CPUtime=659.81 cores=0,2,4,6
/proc/29863/stat : 29863 (scop.sh) S 29860 29863 23167 0 -1 4202496 591 166557 0 0 0 0 65193 788 20 0 1 0 226000349 115843072 368 33554432000 4194304 5098028 140728008513392 140728008510136 140602443989628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18690048 140728008516673 140728008516871 140728008516871 140728008519629 0
/proc/29863/statm: 28282 368 311 221 0 87 0
[pid=29997] ppid=29863 vsize=8068220 memory=116736 CPUtime=2.79 cores=0,2,4,6
/proc/29997/stat : 29997 (java) S 29863 29863 23167 0 -1 1077944320 18580 0 0 0 210 69 0 0 20 0 19 0 226049021 8261857280 29184 33554432000 4194304 4196468 140724419405568 140724419388112 140211993530103 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
/proc/29997/statm: 2017055 29184 3146 1 0 1978454 0
[pid=30012] ppid=29997 vsize=593332 memory=535568 CPUtime=1834.58 cores=0,2,4,6
/proc/30012/stat : 30012 (minisat_release) R 29997 29863 23167 0 -1 4202496 2032681 0 0 0 183312 146 0 0 20 0 1 0 226049096 607571968 133892 33554432000 4194304 4308513 140736828053072 140736828050520 4275701 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 23298048 140736828060788 140736828060886 140736828060886 140736828063685 0
/proc/30012/statm: 148333 133892 340 28 0 144573 0
[pid=29997/tid=29998] ppid=29863 vsize=8068220 memory=116736 CPUtime=0.76 cores=0,2,4,6
/proc/29997/task/29998/stat : 29998 (java) S 29863 29863 23167 0 -1 1077944384 15574 0 0 0 72 4 0 0 20 0 19 0 226049022 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211965370256 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=29999] ppid=29863 vsize=8068220 memory=116736 CPUtime=0 cores=0,2,4,6
/proc/29997/task/29999/stat : 29999 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211997772304 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30000] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30000/stat : 30000 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211479100048 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30001] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30001/stat : 30001 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211478046992 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30002] ppid=29863 vsize=8068220 memory=116736 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30002/stat : 30002 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211476994448 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30003] ppid=29863 vsize=8068220 memory=116736 CPUtime=0.03 cores=0,2,4,6
/proc/29997/task/30003/stat : 30003 (java) S 29863 29863 23167 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211439954672 140211993541250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30004] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30004/stat : 30004 (java) S 29863 29863 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210885093024 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30005] ppid=29863 vsize=8068220 memory=116736 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30005/stat : 30005 (java) S 29863 29863 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210750870768 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30006] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30006/stat : 30006 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210376366544 140211993548699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30007] ppid=29863 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/29997/task/30007/stat : 30007 (java) S 29863 29863 23167 0 -1 1077944384 765 0 0 0 9 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211438901488 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30008] ppid=29863 vsize=8068220 memory=116736 CPUtime=0.09 cores=0,2,4,6
/proc/29997/task/30008/stat : 30008 (java) S 29863 29863 23167 0 -1 1077944384 180 0 0 0 9 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211437848944 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30009] ppid=29863 vsize=8068220 memory=116736 CPUtime=0.21 cores=0,2,4,6
/proc/29997/task/30009/stat : 30009 (java) S 29863 29863 23167 0 -1 1077944384 526 0 0 0 21 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211436795888 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30010] ppid=29863 vsize=8068220 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30010/stat : 30010 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209878460768 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30011] ppid=29863 vsize=8068220 memory=1472 CPUtime=1.55 cores=0,2,4,6
/proc/29997/task/30011/stat : 30011 (java) S 29863 29863 23167 0 -1 1077944384 127 0 0 0 77 78 0 0 20 0 19 0 226049029 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211435744304 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30013] ppid=29863 vsize=8068220 memory=116736 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30013/stat : 30013 (java) S 29863 29863 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211427936064 140211993554713 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30015] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30015/stat : 30015 (java) S 29863 29863 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209341575056 140211993552029 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30016] ppid=29863 vsize=8068220 memory=116736 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30016/stat : 30016 (java) S 29863 29863 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209475796496 140211993552029 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30017] ppid=29863 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30017/stat : 30017 (java) S 29863 29863 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226049098 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209073151264 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
Current children cumulated CPU time: 2497.18 s
Current children cumulated vsize: 8774680 KiB
Current children cumulated memory: 653776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2345.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 30097
/proc/meminfo: memFree=22722868/32770624 swapFree=67108688/67108860
[pid=29863] ppid=29860 vsize=113128 memory=1472 CPUtime=659.81 cores=0,2,4,6
/proc/29863/stat : 29863 (scop.sh) S 29860 29863 23167 0 -1 4202496 591 166557 0 0 0 0 65193 788 20 0 1 0 226000349 115843072 368 33554432000 4194304 5098028 140728008513392 140728008510136 140602443989628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18690048 140728008516673 140728008516871 140728008516871 140728008519629 0
/proc/29863/statm: 28282 368 311 221 0 87 0
[pid=29997] ppid=29863 vsize=8068220 memory=116736 CPUtime=2.79 cores=0,2,4,6
/proc/29997/stat : 29997 (java) S 29863 29863 23167 0 -1 1077944320 18582 0 0 0 210 69 0 0 20 0 19 0 226049021 8261857280 29184 33554432000 4194304 4196468 140724419405568 140724419388112 140211993530103 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
/proc/29997/statm: 2017055 29184 3146 1 0 1978454 0
[pid=30012] ppid=29997 vsize=593332 memory=539664 CPUtime=1857.48 cores=0,2,4,6
/proc/30012/stat : 30012 (minisat_release) R 29997 29863 23167 0 -1 4202496 2035418 0 0 0 185602 146 0 0 20 0 1 0 226049096 607571968 134916 33554432000 4194304 4308513 140736828053072 140736828050520 4276728 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 23298048 140736828060788 140736828060886 140736828060886 140736828063685 0
/proc/30012/statm: 148333 134916 340 28 0 144573 0
[pid=29997/tid=29998] ppid=29863 vsize=8068220 memory=7667774651013359936 CPUtime=0.76 cores=0,2,4,6
/proc/29997/task/29998/stat : 29998 (java) S 29863 29863 23167 0 -1 1077944384 15574 0 0 0 72 4 0 0 20 0 19 0 226049022 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211965370256 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=29999] ppid=29863 vsize=8068220 memory=7667774651013359936 CPUtime=0 cores=0,2,4,6
/proc/29997/task/29999/stat : 29999 (java) S 29863 29863 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211997772304 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30000] ppid=29863 vsize=8068220 memory=7595438846207672422 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30000/stat : 30000 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211479100048 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30001] ppid=29863 vsize=8068220 memory=7595438846207672422 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30001/stat : 30001 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211478046992 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30002] ppid=29863 vsize=8068220 memory=7667774651013359936 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30002/stat : 30002 (java) S 29863 29863 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226049023 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211476994448 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30003] ppid=29863 vsize=8068220 memory=7524216889661220459 CPUtime=0.03 cores=0,2,4,6
/proc/29997/task/30003/stat : 30003 (java) S 29863 29863 23167 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211439954672 140211993541250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30004] ppid=29863 vsize=8068220 memory=7524216889661220459 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30004/stat : 30004 (java) S 29863 29863 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210885093024 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30005] ppid=29863 vsize=8068220 memory=7738140087479069544 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30005/stat : 30005 (java) S 29863 29863 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226049025 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210750870768 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30006] ppid=29863 vsize=8068220 memory=7667774651013359936 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30006/stat : 30006 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140210376366544 140211993548699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30007] ppid=29863 vsize=8068220 memory=7162246507719780456 CPUtime=0.09 cores=0,2,4,6
/proc/29997/task/30007/stat : 30007 (java) S 29863 29863 23167 0 -1 1077944384 765 0 0 0 9 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211438901488 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30008] ppid=29863 vsize=8068220 memory=7661021442089902949 CPUtime=0.09 cores=0,2,4,6
/proc/29997/task/30008/stat : 30008 (java) S 29863 29863 23167 0 -1 1077944384 180 0 0 0 9 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211437848944 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30009] ppid=29863 vsize=8068220 memory=7523915644952669027 CPUtime=0.21 cores=0,2,4,6
/proc/29997/task/30009/stat : 30009 (java) S 29863 29863 23167 0 -1 1077944384 526 0 0 0 21 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211436795888 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30010] ppid=29863 vsize=8068220 memory=7661021442089902949 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30010/stat : 30010 (java) S 29863 29863 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226049028 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209878460768 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30011] ppid=29863 vsize=8068220 memory=288230574492221466 CPUtime=1.56 cores=0,2,4,6
/proc/29997/task/30011/stat : 30011 (java) S 29863 29863 23167 0 -1 1077944384 129 0 0 0 78 78 0 0 20 0 19 0 226049029 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211435744304 140211993541250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30013] ppid=29863 vsize=8068220 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30013/stat : 30013 (java) S 29863 29863 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140211427936064 140211993554713 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30015] ppid=29863 vsize=8068220 memory=13848581752756687 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30015/stat : 30015 (java) S 29863 29863 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209341575056 140211993552029 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30016] ppid=29863 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30016/stat : 30016 (java) S 29863 29863 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226049096 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209475796496 140211993552029 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
[pid=29997/tid=30017] ppid=29863 vsize=8068220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/29997/task/30017/stat : 30017 (java) S 29863 29863 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226049098 8261857280 29184 33554432000 4194304 4196468 140724419405568 140209073151264 140211993540309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140724419409077 140724419409201 140724419409201 140724419411919 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8774680 KiB
Current children cumulated memory: 657872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2345.21 s]
# the end of solver process 29863 was just reported to runsolver
# cumulated CPU time of all completed processes: user=651.937 s, system=7.88404 s
[startup+2345.27 s]
# the end of solver process 29997 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.07 s, system=10.1147 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): 2345.27
CPU time (s): 2520.18
CPU user time (s): 2510.07
CPU system time (s): 10.1147
CPU usage (%): 107.458
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 11842452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.07
system time used= 10.1147
maximum resident set size= 11841056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2221700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 315088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61741
involuntary context switches= 4920
# summary of solver processes directly reported to runsolver:
# pid: 29863,29997
# total CPU time (s): 2520.18
# total CPU user time (s): 2510.07
# total CPU system time (s): 10.1147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1409 second user time and 25.6279 second system time
The end