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-11085-serial-file.bin HOME/instance-4305461-1534080585.xml
0.66/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.55 c BEGIN-Prog: Sun Aug 12 15:29:45 CEST 2018
0.66/0.55 c PID: 11088
0.66/0.55 c IP: 172.20.3.151
0.66/0.55 c HOST: node151.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.07/1.14 c (0,0) Parsing End
2.07/1.15 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 996 ctr, max domain size 128
2.07/1.15 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.15 c (0,0) Constraint Name Generate Begin
2.07/1.16 c (0,0) Ctr:HOME/instance-4305461-1534080585.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
2.07/1.16 c (0,0) Constraint Name Generate End
2.07/1.16 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.16 c (0,0) CSP to CSPinCNF Begin
43.29/31.90 c (31,30) translated 100 (10%) constraints
80.89/62.50 c (61,58) translated 200 (20%) constraints
114.33/91.89 c (91,86) translated 299 (30%) constraints
146.38/120.97 c (120,114) translated 399 (40%) constraints
177.68/149.74 c (149,142) translated 498 (50%) constraints
210.27/179.04 c (178,170) translated 598 (60%) constraints
242.32/208.25 c (207,198) translated 698 (70%) constraints
274.47/237.51 c (236,227) translated 797 (80%) constraints
306.76/266.85 c (266,255) translated 897 (90%) constraints
310.04/270.03 c (269,258) translated 996 (100%) constraints
328.58/286.00 c (285,274) STATISTICS1:HOME/instance-4305461-1534080585.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,
328.58/286.00 c (285,274) ==========================================
328.58/286.00 c (285,274) Order
328.58/286.00 c (285,274) ==========================================
338.60/294.47 c (293,282) translated 654488 (10%) constraints
348.68/303.12 c (302,290) translated 1308975 (20%) constraints
358.96/311.91 c (311,298) translated 1963463 (30%) constraints
369.27/320.73 c (320,307) translated 2617950 (40%) constraints
379.64/329.62 c (329,315) translated 3272438 (50%) constraints
390.01/338.54 c (338,323) translated 3926925 (60%) constraints
400.86/347.58 c (347,332) translated 4581413 (70%) constraints
411.21/356.52 c (355,340) translated 5235900 (80%) constraints
421.50/365.49 c (364,349) translated 5890388 (90%) constraints
432.25/374.57 c (374,357) translated 6544875 (100%) constraints
432.25/374.57 c (374,357) CSP to CSPinCNF End
432.38/374.63 c (374,357) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128
432.38/374.63 c (374,357) Heap : 9004 MiB used (max 10843 MiB), NonHeap : 30 MiB used (max 0 MiB)
432.38/374.63 c (374,357) CSPinCNF Propagation Begin
576.93/428.60 c (428,381) 0 values, 906 unsatisfiable literals, and 0 valid clauses are removed
576.93/428.60 c (428,381) CSPinCNF Propagation End
576.93/428.65 c (428,381) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128
576.93/428.65 c (428,381) Heap : 9589 MiB used (max 10731 MiB), NonHeap : 30 MiB used (max 0 MiB)
576.93/428.65 c (428,381) Simplify CSPinCNF Begin
629.16/448.43 c (447,390) Simplify CSPinCNF End
629.16/448.47 c (447,390) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128
629.16/448.47 c (447,390) Heap : 7644 MiB used (max 10645 MiB), NonHeap : 30 MiB used (max 0 MiB)
629.16/448.47 c (447,390) Calculate Precise Domain Begin
629.16/448.48 c (447,390) 0 values are removed by re-calculation
629.16/448.48 c (447,390) Calculate Precise Domain End
629.26/448.52 c (448,390) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128
629.26/448.52 c (448,390) Heap : 7644 MiB used (max 10645 MiB), NonHeap : 30 MiB used (max 0 MiB)
629.26/448.52 c (448,390) CSPinCNF to SatSolver Begin
639.13/456.19 c (455,397) 655478 (10 %) CSP clauses are encoded (138568 SAT variables, 1925377 SAT clauses)
642.98/459.95 c (459,401) 1310955 (20 %) CSP clauses are encoded (138568 SAT variables, 2580854 SAT clauses)
646.82/463.72 c (463,405) 1966433 (30 %) CSP clauses are encoded (138568 SAT variables, 3236332 SAT clauses)
650.55/467.48 c (466,409) 2621910 (40 %) CSP clauses are encoded (138568 SAT variables, 3891809 SAT clauses)
654.40/471.25 c (470,412) 3277388 (50 %) CSP clauses are encoded (138568 SAT variables, 4547287 SAT clauses)
658.24/475.03 c (474,416) 3932865 (60 %) CSP clauses are encoded (138568 SAT variables, 5202764 SAT clauses)
662.11/478.96 c (478,420) 4588343 (70 %) CSP clauses are encoded (138568 SAT variables, 5858242 SAT clauses)
665.95/482.77 c (482,424) 5243820 (80 %) CSP clauses are encoded (138568 SAT variables, 6513719 SAT clauses)
669.79/486.56 c (486,428) 5899298 (90 %) CSP clauses are encoded (138568 SAT variables, 7169197 SAT clauses)
673.63/490.35 c (489,431) 6554775 (100 %) CSP clauses are encoded (138568 SAT variables, 7824674 SAT clauses)
673.63/490.35 c (489,431) Launch Command will be: minisat_release
673.63/490.35 c (489,431) CSPinCNF to SatSolver End
673.63/490.35 c (489,431) Heap : 7403 MiB used (max 10808 MiB), NonHeap : 32 MiB used (max 0 MiB)
690.81/506.85 c (506,448) STATISTICS2:HOME/instance-4305461-1534080585.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,
690.81/506.85 c (506,448) 138568 bool, 7824675 clause
690.81/506.85 c (506,448) Export Begin
690.95/506.95 c (506,448) Export to HOME/scop-11085-serial-file.bin
690.95/506.95 c (506,448) Export End
690.95/506.95 c (506,448) Export File Size: 0.02 MB
690.95/506.95 c (506,448) 0,0,374,428,447,448,489,STOP-AFTER(DIMACS)
690.95/506.95 c END-Prog: Sun Aug 12 15:38:12 CEST 2018
0.00/507.20 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-11085-serial-file.bin
691.30/507.70 c (0,0) Read Serial File Begin
691.30/507.70 c (0,0) HOME/scop-11085-serial-file.bin
691.30/507.88 c (0,0) Read Serial File End
691.30/507.90
691.30/507.90 scop order+minisat_release (2018-07-31)
691.30/507.90 (Solving Process)
691.30/507.90
691.30/507.92 c BEGIN-Prog: Sun Aug 12 15:38:13 CEST 2018
691.30/507.92 c PID: 11218
691.30/507.92 c IP: 172.20.3.151
691.30/507.92 c HOST: node151.alineos.net
691.30/507.92 c (0,0) SatSolver.solve Begin
691.30/507.92 c (0,0) 0 bool, 0 clause
691.30/507.92 c (0,0) minisat_release HOME/instance-4305461-1534080585.xml-scop-11088.cnf
2520.06/2334.60 c (1827,0) receiving signal SIGTERM
2520.06/2334.60 s UNKNOWN
2520.06/2334.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2334.61 c (scop.sh) Remove HOME/scop-11085-serial-file.bin.
2520.06/2334.61 c (scop.sh) Killing background jobs.
2520.06/2334.61 c (1827,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 (6937 MiB free)
memory of node 1: 16384 MiB (8223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305461-1534080585/watcher-4305461-1534080585 -o /tmp/evaluation-result-4305461-1534080585/solver-4305461-1534080585 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305461-1534080585.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=11085, runsolver pid=11082
[startup+0.100089 s]*
/proc/loadavg: 2.08 2.03 2.13 3/222 11102
/proc/meminfo: memFree=15464232/32770624 swapFree=67108860/67108860
[pid=11085] ppid=11082 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11085/stat : 11085 (scop.sh) S 11082 11085 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225621682 115843072 349 33554432000 4194304 5098028 140720624476080 140720624473336 140553243468412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140720624481344 140720624481543 140720624481543 140720624484301 0
/proc/11085/statm: 28282 349 296 221 0 87 0
[pid=11088] ppid=11085 vsize=15012476 memory=73320 CPUtime=0.11 cores=0,2,4,6
/proc/11088/stat : 11088 (java) S 11085 11085 3762 0 -1 1077944320 5940 0 0 0 9 2 0 0 20 0 15 0 225621682 15372775424 18330 33554432000 4194304 4196468 140733292190224 140733292172768 140061983563511 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
/proc/11088/statm: 3753119 18330 2743 1 0 3715579 0
[pid=11088/tid=11089] ppid=11085 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=0,2,4,6
/proc/11088/task/11089/stat : 11089 (java) R 11085 11085 3762 0 -1 4202560 4080 0 0 0 7 1 0 0 20 0 15 0 225621683 15372775424 18330 33554432000 4194304 4196468 140733292190224 140061955368984 140061983577420 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11090] ppid=11085 vsize=15012476 memory=3472468970046871216 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11090/stat : 11090 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 18330 33554432000 4194304 4196468 140733292190224 140061987806352 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11091] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11091/stat : 11091 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 18330 33554432000 4194304 4196468 140733292190224 140061778889744 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11092] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11092/stat : 11092 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 18330 33554432000 4194304 4196468 140733292190224 140061777836944 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11093] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11093/stat : 11093 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 18330 33554432000 4194304 4196468 140733292190224 140061776784144 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11094] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11094/stat : 11094 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225621686 15372775424 18330 33554432000 4194304 4196468 140733292190224 140060752677232 140061983574658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11095] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11095/stat : 11095 (java) S 11085 11085 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225621686 15372775424 18330 33554432000 4194304 4196468 140733292190224 140060628345888 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11096] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11096/stat : 11096 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621687 15372775424 18330 33554432000 4194304 4196468 140733292190224 140060359910256 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11097] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11097/stat : 11097 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 18330 33554432000 4194304 4196468 140733292190224 140059985401680 140061983582107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11098] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11098/stat : 11098 (java) S 11085 11085 3762 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 18330 33554432000 4194304 4196468 140733292190224 140060751625072 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11099] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11099/stat : 11099 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 18330 33554432000 4194304 4196468 140733292190224 140060750572272 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11100] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0.01 cores=0,2,4,6
/proc/11088/task/11100/stat : 11100 (java) S 11085 11085 3762 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 225621689 15372775424 18330 33554432000 4194304 4196468 140733292190224 140060749519472 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11101] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11101/stat : 11101 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 18330 33554432000 4194304 4196468 140733292190224 140059487496928 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11102] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11102/stat : 11102 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 18330 33554432000 4194304 4196468 140733292190224 140060748466864 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74716 KiB
[startup+0.210627 s]*
/proc/loadavg: 2.08 2.03 2.13 3/222 11102
/proc/meminfo: memFree=15449984/32770624 swapFree=67108860/67108860
[pid=11085] ppid=11082 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11085/stat : 11085 (scop.sh) S 11082 11085 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225621682 115843072 349 33554432000 4194304 5098028 140720624476080 140720624473336 140553243468412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140720624481344 140720624481543 140720624481543 140720624484301 0
/proc/11085/statm: 28282 349 296 221 0 87 0
[pid=11088] ppid=11085 vsize=15012476 memory=86672 CPUtime=0.25 cores=0,2,4,6
/proc/11088/stat : 11088 (java) S 11085 11085 3762 0 -1 1077944320 9488 0 0 0 22 3 0 0 20 0 15 0 225621682 15372775424 21668 33554432000 4194304 4196468 140733292190224 140733292172768 140061983563511 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
/proc/11088/statm: 3753119 21668 2874 1 0 3715579 0
[pid=11088/tid=11089] ppid=11085 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/11088/task/11089/stat : 11089 (java) R 11085 11085 3762 0 -1 4202560 7408 0 0 0 18 2 0 0 20 0 15 0 225621683 15372775424 21668 33554432000 4194304 4196468 140733292190224 140061955378864 140061983575446 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11090] ppid=11085 vsize=15012476 memory=3472468970046871216 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11090/stat : 11090 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 21668 33554432000 4194304 4196468 140733292190224 140061987806352 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11091] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11091/stat : 11091 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 21668 33554432000 4194304 4196468 140733292190224 140061778889744 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11092] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11092/stat : 11092 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 21668 33554432000 4194304 4196468 140733292190224 140061777836944 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11093] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11093/stat : 11093 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 21668 33554432000 4194304 4196468 140733292190224 140061776784144 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11094] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11094/stat : 11094 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225621686 15372775424 21668 33554432000 4194304 4196468 140733292190224 140060752677232 140061983574658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11095] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11095/stat : 11095 (java) S 11085 11085 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225621686 15372775424 21668 33554432000 4194304 4196468 140733292190224 140060628345888 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11096] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11096/stat : 11096 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621687 15372775424 21668 33554432000 4194304 4196468 140733292190224 140060359910256 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11097] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11097/stat : 11097 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 21668 33554432000 4194304 4196468 140733292190224 140059985401680 140061983582107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11098] ppid=11085 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11098/stat : 11098 (java) S 11085 11085 3762 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 21668 33554432000 4194304 4196468 140733292190224 140060751625072 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11099] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11099/stat : 11099 (java) S 11085 11085 3762 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 21668 33554432000 4194304 4196468 140733292190224 140060750572272 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11100] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0.03 cores=0,2,4,6
/proc/11088/task/11100/stat : 11100 (java) R 11085 11085 3762 0 -1 4202560 280 0 0 0 3 0 0 0 20 0 15 0 225621689 15372775424 21668 33554432000 4194304 4196468 140733292190224 140060749519472 140061962683320 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11101] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11101/stat : 11101 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 21668 33554432000 4194304 4196468 140733292190224 140059487496928 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11102] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11102/stat : 11102 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 21668 33554432000 4194304 4196468 140733292190224 140060748466864 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88068 KiB
[startup+0.31053 s]*
/proc/loadavg: 2.08 2.03 2.13 3/222 11102
/proc/meminfo: memFree=15446432/32770624 swapFree=67108860/67108860
[pid=11085] ppid=11082 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11085/stat : 11085 (scop.sh) S 11082 11085 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225621682 115843072 349 33554432000 4194304 5098028 140720624476080 140720624473336 140553243468412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140720624481344 140720624481543 140720624481543 140720624484301 0
/proc/11085/statm: 28282 349 296 221 0 87 0
[pid=11088] ppid=11085 vsize=15012476 memory=90188 CPUtime=0.42 cores=0,2,4,6
/proc/11088/stat : 11088 (java) S 11085 11085 3762 0 -1 1077944320 10018 0 0 0 39 3 0 0 20 0 15 0 225621682 15372775424 22547 33554432000 4194304 4196468 140733292190224 140733292172768 140061983563511 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
/proc/11088/statm: 3753119 22547 2974 1 0 3715579 0
[pid=11088/tid=11089] ppid=11085 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/11088/task/11089/stat : 11089 (java) R 11085 11085 3762 0 -1 4202560 7777 0 0 0 27 2 0 0 20 0 15 0 225621683 15372775424 22547 33554432000 4194304 4196468 140733292190224 140061955358960 140061983585437 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11090] ppid=11085 vsize=15012476 memory=3472468970046871216 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11090/stat : 11090 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 22547 33554432000 4194304 4196468 140733292190224 140061987806352 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11091] ppid=11085 vsize=15012476 memory=281347487132544 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11091/stat : 11091 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 22547 33554432000 4194304 4196468 140733292190224 140061778889744 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11092] ppid=11085 vsize=15012476 memory=281347335915552 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11092/stat : 11092 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 22547 33554432000 4194304 4196468 140733292190224 140061777836944 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11093] ppid=11085 vsize=15012476 memory=140673667941647 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11093/stat : 11093 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225621685 15372775424 22547 33554432000 4194304 4196468 140733292190224 140061776784144 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11094] ppid=11085 vsize=15012476 memory=281347487139456 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11094/stat : 11094 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225621686 15372775424 22547 33554432000 4194304 4196468 140733292190224 140060752677232 140061983574658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11095] ppid=11085 vsize=15012476 memory=140673667946255 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11095/stat : 11095 (java) S 11085 11085 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225621686 15372775424 22547 33554432000 4194304 4196468 140733292190224 140060628345888 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11096] ppid=11085 vsize=15012476 memory=140673667959454 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11096/stat : 11096 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621687 15372775424 22547 33554432000 4194304 4196468 140733292190224 140060359910256 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11097] ppid=11085 vsize=15012476 memory=281347335924768 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11097/stat : 11097 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 22547 33554432000 4194304 4196468 140733292190224 140059985401680 140061983582107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11098] ppid=11085 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11088/task/11098/stat : 11098 (java) S 11085 11085 3762 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 225621689 15372775424 22547 33554432000 4194304 4196468 140733292190224 140060751625072 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11099] ppid=11085 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11088/task/11099/stat : 11099 (java) S 11085 11085 3762 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 225621689 15372775424 22547 33554432000 4194304 4196468 140733292190224 140060750572272 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11100] ppid=11085 vsize=15012476 memory=140673819190912 CPUtime=0.07 cores=0,2,4,6
/proc/11088/task/11100/stat : 11100 (java) S 11085 11085 3762 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 15 0 225621689 15372775424 22547 33554432000 4194304 4196468 140733292190224 140060749519472 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11101] ppid=11085 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11101/stat : 11101 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 22547 33554432000 4194304 4196468 140733292190224 140059487496928 140061983573717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11102] ppid=11085 vsize=15012476 memory=140673819192308 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11102/stat : 11102 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621689 15372775424 22547 33554432000 4194304 4196468 140733292190224 140060748466864 140061983574658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91584 KiB
[startup+0.700984 s]
/proc/loadavg: 2.08 2.03 2.13 3/222 11102
/proc/meminfo: memFree=15422496/32770624 swapFree=67108860/67108860
[pid=11085] ppid=11082 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11085/stat : 11085 (scop.sh) S 11082 11085 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225621682 115843072 349 33554432000 4194304 5098028 140720624476080 140720624473336 140553243468412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140720624481344 140720624481543 140720624481543 140720624484301 0
/proc/11085/statm: 28282 349 296 221 0 87 0
[pid=11088] ppid=11085 vsize=15018748 memory=128940 CPUtime=1.02 cores=0,2,4,6
/proc/11088/stat : 11088 (java) S 11085 11085 3762 0 -1 1077944320 16897 0 0 0 97 5 0 0 20 0 15 0 225621682 15379197952 32235 33554432000 4194304 4196468 140733292190224 140733292172768 140061983563511 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
/proc/11088/statm: 3754687 32235 3141 1 0 3716091 0
[pid=11088/tid=11089] ppid=11085 vsize=15018748 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/11088/task/11089/stat : 11089 (java) R 11085 11085 3762 0 -1 4202560 14188 0 0 0 63 4 0 0 20 0 15 0 225621683 15379197952 32235 33554432000 4194304 4196468 140733292190224 140061955392976 140061967643998 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11090] ppid=11085 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11090/stat : 11090 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15379197952 32235 33554432000 4194304 4196468 140733292190224 140061987806352 140061983573717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11091] ppid=11085 vsize=15018748 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11091/stat : 11091 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15379197952 32235 33554432000 4194304 4196468 140733292190224 140061778889744 140061983573717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11092] ppid=11085 vsize=15018748 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11092/stat : 11092 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621685 15379197952 32235 33554432000 4194304 4196468 140733292190224 140061777836944 140061983573717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11093] ppid=11085 vsize=15018748 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11093/stat : 11093 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225621685 15379197952 32235 33554432000 4194304 4196468 140733292190224 140061776784144 140061983573717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11094] ppid=11085 vsize=15018748 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11094/stat : 11094 (java) S 11085 11085 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225621686 15379197952 32235 33554432000 4194304 4196468 140733292190224 140060752677232 140061983574658 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11095] ppid=11085 vsize=15018748 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11095/stat : 11095 (java) S 11085 11085 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225621686 15379197952 32235 33554432000 4194304 4196468 140733292190224 140060628345888 140061983573717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11096] ppid=11085 vsize=15018748 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11096/stat : 11096 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621687 15379197952 32235 33554432000 4194304 4196468 140733292190224 140060359910256 140061983573717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11097] ppid=11085 vsize=15018748 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11097/stat : 11097 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15379197952 32235 33554432000 4194304 4196468 140733292190224 140059985401680 140061983582107 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11098] ppid=11085 vsize=15018748 memory=4536 CPUtime=0.07 cores=0,2,4,6
/proc/11088/task/11098/stat : 11098 (java) S 11085 11085 3762 0 -1 1077944384 588 0 0 0 7 0 0 0 20 0 15 0 225621689 15379197952 32235 33554432000 4194304 4196468 140733292190224 140060751625072 140061983574658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11099] ppid=11085 vsize=15018748 memory=8448 CPUtime=0.09 cores=0,2,4,6
/proc/11088/task/11099/stat : 11099 (java) S 11085 11085 3762 0 -1 1077944384 342 0 0 0 9 0 0 0 20 0 15 0 225621689 15379197952 32235 33554432000 4194304 4196468 140733292190224 140060750572272 140061983574658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11100] ppid=11085 vsize=15018748 memory=1628 CPUtime=0.17 cores=0,2,4,6
/proc/11088/task/11100/stat : 11100 (java) R 11085 11085 3762 0 -1 4202560 446 0 0 0 17 0 0 0 20 0 15 0 225621689 15379197952 32235 33554432000 4194304 4196468 140733292190224 140060749514784 140061962548628 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11101] ppid=11085 vsize=15018748 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11101/stat : 11101 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225621689 15379197952 32235 33554432000 4194304 4196468 140733292190224 140059487496928 140061983573717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
[pid=11088/tid=11102] ppid=11085 vsize=15018748 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/11088/task/11102/stat : 11102 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225621689 15379197952 32235 33554432000 4194304 4196468 140733292190224 140060748466864 140061983574658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140733292192774 140733292193073 140733292193073 140733292195791 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130336 KiB
[startup+1.50078 s]
/proc/loadavg: 2.08 2.03 2.13 4/222 11102
/proc/meminfo: memFree=15385132/32770624 swapFree=67108860/67108860
[pid=11085] ppid=11082 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11085/stat : 11085 (scop.sh) S 11082 11085 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225621682 115843072 349 33554432000 4194304 5098028 140720624476080 140720624473336 140553243468412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140720624481344 140720624481543 140720624481543 140720624484301 0
/proc/11085/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=11218/tid=11221] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11221/stat : 11221 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797049334544 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11222] ppid=11085 vsize=8068220 memory=528676 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11222/stat : 11222 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797048282256 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11223] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11223/stat : 11223 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797047229456 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11224] ppid=11085 vsize=8068220 memory=4028 CPUtime=0.03 cores=0,2,4,6
/proc/11218/task/11224/stat : 11224 (java) S 11085 11085 3762 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 225672406 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796691224688 139797244934786 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11225] ppid=11085 vsize=8068220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11225/stat : 11225 (java) S 11085 11085 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225672407 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796085203744 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11226] ppid=11085 vsize=8068220 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11226/stat : 11226 (java) S 11085 11085 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225672407 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795950982256 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11227] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11227/stat : 11227 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225672409 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795576477776 139797244942235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11228] ppid=11085 vsize=8068220 memory=526628 CPUtime=0.08 cores=0,2,4,6
/proc/11218/task/11228/stat : 11228 (java) S 11085 11085 3762 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796622076528 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11229] ppid=11085 vsize=8068220 memory=115068 CPUtime=0.08 cores=0,2,4,6
/proc/11218/task/11229/stat : 11229 (java) S 11085 11085 3762 0 -1 1077944384 228 0 0 0 8 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796621023728 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11230] ppid=11085 vsize=8068220 memory=528676 CPUtime=0.21 cores=0,2,4,6
/proc/11218/task/11230/stat : 11230 (java) S 11085 11085 3762 0 -1 1077944384 594 0 0 0 21 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796619971440 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11231] ppid=11085 vsize=8068220 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11231/stat : 11231 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795078573024 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11232] ppid=11085 vsize=8068220 memory=61344 CPUtime=1.14 cores=0,2,4,6
/proc/11218/task/11232/stat : 11232 (java) S 11085 11085 3762 0 -1 1077944384 189 0 0 0 61 53 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796618918320 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11234] ppid=11085 vsize=8068220 memory=4947802326138 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11234/stat : 11234 (java) S 11085 11085 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796689839040 139797244948249 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11236] ppid=11085 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11236/stat : 11236 (java) S 11085 11085 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794541686288 139797244945565 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11237] ppid=11085 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11237/stat : 11237 (java) S 11085 11085 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794675908496 139797244945565 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11238] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11238/stat : 11238 (java) S 11085 11085 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225672479 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794273263008 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
Current children cumulated CPU time: 2447.74 s
Current children cumulated vsize: 8774676 KiB
Current children cumulated memory: 645216 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 11420
/proc/meminfo: memFree=17209396/32770624 swapFree=67108196/67108860
[pid=11085] ppid=11082 vsize=113128 memory=1472 CPUtime=691.3 cores=0,2,4,6
/proc/11085/stat : 11085 (scop.sh) S 11082 11085 3762 0 -1 4202496 589 2306745 0 0 0 0 67815 1315 20 0 1 0 225621682 115843072 368 33554432000 4194304 5098028 140720624476080 140720624472824 140553243468412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140720624481344 140720624481543 140720624481543 140720624484301 0
/proc/11085/statm: 28282 368 311 221 0 87 0
[pid=11218] ppid=11085 vsize=8068220 memory=115068 CPUtime=2.4 cores=0,2,4,6
/proc/11218/stat : 11218 (java) S 11085 11085 3762 0 -1 1077944320 18202 0 1 0 182 58 0 0 20 0 19 0 225672402 8261857280 28767 33554432000 4194304 4196468 140736286098240 140736286080784 139797244923639 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
/proc/11218/statm: 2017055 28767 3155 1 0 1978454 0
[pid=11233] ppid=11218 vsize=593328 memory=534820 CPUtime=1814.07 cores=0,2,4,6
/proc/11233/stat : 11233 (minisat_release) R 11218 11085 3762 0 -1 4202496 2022991 0 1 0 181255 152 0 0 20 0 1 0 225672477 607567872 133705 33554432000 4194304 4308513 140721831747024 140721831744472 4276446 0 4 0 8396802 0 0 0 17 2 0 0 4 0 0 6409496 6410680 35991552 140721831752820 140721831752918 140721831752918 140721831755717 0
/proc/11233/statm: 148332 133705 341 28 0 144572 0
[pid=11218/tid=11219] ppid=11085 vsize=8068220 memory=534820 CPUtime=0.76 cores=0,2,4,6
/proc/11218/task/11219/stat : 11219 (java) S 11085 11085 3762 0 -1 1077944384 15027 0 0 0 71 5 0 0 20 0 19 0 225672403 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797216763792 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11220] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11220/stat : 11220 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797249166224 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11221] ppid=11085 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11221/stat : 11221 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797049334544 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11222] ppid=11085 vsize=8068220 memory=281347335959952 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11222/stat : 11222 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797048282256 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11223] ppid=11085 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11223/stat : 11223 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797047229456 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11224] ppid=11085 vsize=8068220 memory=1472 CPUtime=0.03 cores=0,2,4,6
/proc/11218/task/11224/stat : 11224 (java) S 11085 11085 3762 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 225672406 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796691224688 139797244934786 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11225] ppid=11085 vsize=8068220 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11225/stat : 11225 (java) S 11085 11085 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225672407 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796085203744 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11226] ppid=11085 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11226/stat : 11226 (java) S 11085 11085 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225672407 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795950982256 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11227] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11227/stat : 11227 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225672409 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795576477776 139797244942235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11228] ppid=11085 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/11218/task/11228/stat : 11228 (java) S 11085 11085 3762 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796622076528 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11229] ppid=11085 vsize=8068220 memory=115068 CPUtime=0.08 cores=0,2,4,6
/proc/11218/task/11229/stat : 11229 (java) S 11085 11085 3762 0 -1 1077944384 228 0 0 0 8 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796621023728 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11230] ppid=11085 vsize=8068220 memory=-7824251494390520937 CPUtime=0.21 cores=0,2,4,6
/proc/11218/task/11230/stat : 11230 (java) S 11085 11085 3762 0 -1 1077944384 594 0 0 0 21 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796619971440 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11231] ppid=11085 vsize=8068220 memory=5060 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11231/stat : 11231 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795078573024 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11232] ppid=11085 vsize=8068220 memory=532772 CPUtime=1.17 cores=0,2,4,6
/proc/11218/task/11232/stat : 11232 (java) S 11085 11085 3762 0 -1 1077944384 193 0 0 0 62 55 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796618918320 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11234] ppid=11085 vsize=8068220 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11234/stat : 11234 (java) S 11085 11085 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796689839040 139797244948249 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11236] ppid=11085 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11236/stat : 11236 (java) S 11085 11085 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794541686288 139797244945565 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11237] ppid=11085 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11237/stat : 11237 (java) S 11085 11085 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794675908496 139797244945565 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11238] ppid=11085 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11238/stat : 11238 (java) S 11085 11085 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225672479 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794273263008 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
Current children cumulated CPU time: 2507.77 s
Current children cumulated vsize: 8774676 KiB
Current children cumulated memory: 651360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2334.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 11420
/proc/meminfo: memFree=17205748/32770624 swapFree=67108196/67108860
[pid=11085] ppid=11082 vsize=113128 memory=1472 CPUtime=691.3 cores=0,2,4,6
/proc/11085/stat : 11085 (scop.sh) S 11082 11085 3762 0 -1 4202496 589 2306745 0 0 0 0 67815 1315 20 0 1 0 225621682 115843072 368 33554432000 4194304 5098028 140720624476080 140720624472824 140553243468412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140720624481344 140720624481543 140720624481543 140720624484301 0
/proc/11085/statm: 28282 368 311 221 0 87 0
[pid=11218] ppid=11085 vsize=8068220 memory=115068 CPUtime=2.4 cores=0,2,4,6
/proc/11218/stat : 11218 (java) S 11085 11085 3762 0 -1 1077944320 18204 0 1 0 182 58 0 0 20 0 19 0 225672402 8261857280 28767 33554432000 4194304 4196468 140736286098240 140736286080784 139797244923639 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
/proc/11218/statm: 2017055 28767 3155 1 0 1978454 0
[pid=11233] ppid=11218 vsize=593328 memory=536868 CPUtime=1826.36 cores=0,2,4,6
/proc/11233/stat : 11233 (minisat_release) R 11218 11085 3762 0 -1 4202496 2028688 0 1 0 182484 152 0 0 20 0 1 0 225672477 607567872 134217 33554432000 4194304 4308513 140721831747024 140721831744472 4250503 0 4 0 8396802 0 0 0 17 2 0 0 4 0 0 6409496 6410680 35991552 140721831752820 140721831752918 140721831752918 140721831755717 0
/proc/11233/statm: 148332 134217 341 28 0 144572 0
[pid=11218/tid=11219] ppid=11085 vsize=8068220 memory=7852 CPUtime=0.76 cores=0,2,4,6
/proc/11218/task/11219/stat : 11219 (java) S 11085 11085 3762 0 -1 1077944384 15027 0 0 0 71 5 0 0 20 0 19 0 225672403 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797216763792 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11220] ppid=11085 vsize=8068220 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11220/stat : 11220 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797249166224 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11221] ppid=11085 vsize=8068220 memory=83 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11221/stat : 11221 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797049334544 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11222] ppid=11085 vsize=8068220 memory=510 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11222/stat : 11222 (java) S 11085 11085 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797048282256 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11223] ppid=11085 vsize=8068220 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11223/stat : 11223 (java) S 11085 11085 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225672405 8261857280 28767 33554432000 4194304 4196468 140736286098240 139797047229456 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11224] ppid=11085 vsize=8068220 memory=197 CPUtime=0.03 cores=0,2,4,6
/proc/11218/task/11224/stat : 11224 (java) S 11085 11085 3762 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 225672406 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796691224688 139797244934786 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11225] ppid=11085 vsize=8068220 memory=7 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11225/stat : 11225 (java) S 11085 11085 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225672407 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796085203744 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11226] ppid=11085 vsize=8068220 memory=584 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11226/stat : 11226 (java) S 11085 11085 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225672407 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795950982256 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11227] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11227/stat : 11227 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225672409 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795576477776 139797244942235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11228] ppid=11085 vsize=8068220 memory=536868 CPUtime=0.08 cores=0,2,4,6
/proc/11218/task/11228/stat : 11228 (java) S 11085 11085 3762 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796622076528 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11229] ppid=11085 vsize=8068220 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/11218/task/11229/stat : 11229 (java) S 11085 11085 3762 0 -1 1077944384 228 0 0 0 8 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796621023728 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11230] ppid=11085 vsize=8068220 memory=2092 CPUtime=0.21 cores=0,2,4,6
/proc/11218/task/11230/stat : 11230 (java) S 11085 11085 3762 0 -1 1077944384 594 0 0 0 21 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796619971440 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11231] ppid=11085 vsize=8068220 memory=8148 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11231/stat : 11231 (java) S 11085 11085 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139795078573024 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11232] ppid=11085 vsize=8068220 memory=844 CPUtime=1.17 cores=0,2,4,6
/proc/11218/task/11232/stat : 11232 (java) S 11085 11085 3762 0 -1 1077944384 195 0 0 0 62 55 0 0 20 0 19 0 225672410 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796618918320 139797244934786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11234] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11234/stat : 11234 (java) S 11085 11085 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139796689839040 139797244948249 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11236] ppid=11085 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11236/stat : 11236 (java) S 11085 11085 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794541686288 139797244945565 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11237] ppid=11085 vsize=8068220 memory=115068 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11237/stat : 11237 (java) S 11085 11085 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225672477 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794675908496 139797244945565 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
[pid=11218/tid=11238] ppid=11085 vsize=8068220 memory=536868 CPUtime=0 cores=0,2,4,6
/proc/11218/task/11238/stat : 11238 (java) S 11085 11085 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225672479 8261857280 28767 33554432000 4194304 4196468 140736286098240 139794273263008 139797244933845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140736286102709 140736286102833 140736286102833 140736286105551 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8774676 KiB
Current children cumulated memory: 653408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2334.61 s]
# the end of solver process 11085 was just reported to runsolver
# cumulated CPU time of all completed processes: user=678.159 s, system=13.1577 s
[startup+2334.67 s]
# the end of solver process 11218 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2504.83 s, system=15.3354 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): 2334.67
CPU time (s): 2520.17
CPU user time (s): 2504.83
CPU system time (s): 15.3354
CPU usage (%): 107.945
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 11798752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.83
system time used= 15.3354
maximum resident set size= 11797420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4354773
page faults= 2
swaps= 0
block input operations= 592
block output operations= 315560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65051
involuntary context switches= 5514
# summary of solver processes directly reported to runsolver:
# pid: 11085,11218
# total CPU time (s): 2520.17
# total CPU user time (s): 2504.83
# total CPU system time (s): 15.3354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.642 second user time and 22.2775 second system time
The end