runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459033-1307147507/watcher-3459033-1307147507 -o /tmp/evaluation-result-3459033-1307147507/solver-3459033-1307147507 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459033-1307147507.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.08 1.41 3/547 1628
/proc/meminfo: memFree=15203448/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1628/stat : 1628 (java) R 1626 1628 32282 0 -1 4202496 852 0 0 0 0 0 0 0 21 0 1 0 826349348 23580672 596 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242965587712 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1628/statm: 5757 607 449 9 0 124 0
[pid=1628/tid=1629] ppid=1626 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 8108 0 1 0 0 0 0 0 23 0 2 0 826349348 13850947584 8925 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.040307 s]
/proc/loadavg: 1.00 1.08 1.41 3/547 1628
/proc/meminfo: memFree=15203448/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 13605 0 1 0 2 1 0 0 21 0 13 0 826349348 13874667520 13303 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3387370 13303 1638 9 0 3378118 0
[pid=1628/tid=1629] ppid=1626 vsize=13549480 CPUtime=0.02 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 12459 0 1 0 1 1 0 0 25 0 13 0 826349348 13874667520 13305 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242970593370 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.104322 s]
/proc/loadavg: 1.00 1.08 1.41 3/547 1628
/proc/meminfo: memFree=15203448/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13622152 CPUtime=0.11 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 15557 0 1 0 9 2 0 0 21 0 18 0 826349348 13949083648 15254 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3405538 15254 2092 9 0 3396272 0
[pid=1628/tid=1629] ppid=1626 vsize=13622152 CPUtime=0.08 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 13632 0 1 0 7 1 0 0 22 0 18 0 826349348 13949083648 15254 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505099412 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622152
[startup+0.300209 s]
/proc/loadavg: 1.00 1.08 1.41 3/547 1628
/proc/meminfo: memFree=15203448/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13622704 CPUtime=0.53 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 20284 0 1 0 51 2 0 0 21 0 18 0 826349348 13949648896 19211 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3405676 19211 2201 9 0 3396410 0
[pid=1628/tid=1629] ppid=1626 vsize=13622704 CPUtime=0.27 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 16630 0 1 0 26 1 0 0 22 0 18 0 826349348 13949648896 19211 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 47409799570769 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13622704
[startup+0.700139 s]
/proc/loadavg: 1.00 1.08 1.41 3/547 1628
/proc/meminfo: memFree=15203448/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13628804 CPUtime=1.53 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 30501 0 1 0 149 4 0 0 21 0 19 0 826349348 13955895296 27981 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3407201 27981 2230 9 0 3397935 0
[pid=1628/tid=1629] ppid=1626 vsize=13628804 CPUtime=0.68 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 23481 0 1 0 65 3 0 0 25 0 19 0 826349348 13955895296 27981 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505332608 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13628804
[startup+1.50105 s]
/proc/loadavg: 1.00 1.08 1.41 5/567 1694
/proc/meminfo: memFree=15083872/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13628804 CPUtime=2.48 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 32443 0 1 0 244 4 0 0 21 0 19 0 826349348 13955895296 29922 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3407201 29922 2238 9 0 3397935 0
[pid=1628/tid=1629] ppid=1626 vsize=13628804 CPUtime=1.48 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 25392 0 1 0 145 3 0 0 25 0 19 0 826349348 13955895296 29922 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505792704 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826349350 13955895296 29922 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 29922 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 29922 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 29922 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 32282 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 826349351 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 0 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826349352 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826349352 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826349354 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982373809 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=13628804 CPUtime=0.52 cores=1,3,5,7
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 32282 0 -1 4202560 3735 0 0 0 52 0 0 0 18 0 19 0 826349354 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=13628804 CPUtime=0.46 cores=1,3,5,7
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 32282 0 -1 4202560 2154 0 0 0 46 0 0 0 15 0 19 0 826349354 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1645] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1645/stat : 1645 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826349354 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826349354 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1676] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1676/stat : 1676 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826349395 13955895296 29923 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 13628804
[startup+3.10077 s]
/proc/loadavg: 1.00 1.08 1.41 3/567 1694
/proc/meminfo: memFree=15064280/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13628804 CPUtime=4.11 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 35773 0 1 0 406 5 0 0 21 0 19 0 826349348 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3407201 33251 2238 9 0 3397935 0
[pid=1628/tid=1629] ppid=1626 vsize=13628804 CPUtime=3.07 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 28721 0 1 0 304 3 0 0 25 0 19 0 826349348 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505901440 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826349350 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 32282 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 826349351 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 0 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826349352 13955895296 33251 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826349352 13955895296 33252 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826349354 13955895296 33252 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982373809 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 32282 0 -1 4202560 3736 0 0 0 54 0 0 0 17 0 19 0 826349354 13955895296 33252 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=13628804 CPUtime=0.47 cores=1,3,5,7
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 32282 0 -1 4202560 2154 0 0 0 47 0 0 0 15 0 19 0 826349354 13955895296 33252 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1645] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1645/stat : 1645 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826349354 13955895296 33252 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826349354 13955895296 33252 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1676] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1676/stat : 1676 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826349395 13955895296 33252 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13628804
[startup+6.30122 s]
/proc/loadavg: 1.24 1.13 1.42 3/567 1694
/proc/meminfo: memFree=15027840/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13628804 CPUtime=7.43 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 49052 0 1 0 737 6 0 0 21 0 19 0 826349348 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3407201 46510 2263 9 0 3397935 0
[pid=1628/tid=1629] ppid=1626 vsize=13628804 CPUtime=6.2 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 28935 0 1 0 617 3 0 0 19 0 19 0 826349348 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505847660 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=13628804 CPUtime=0.01 cores=1,3,5,7
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 32282 0 -1 4202560 1836 0 0 0 1 0 0 0 18 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 32282 0 -1 4202560 2200 0 0 0 0 0 0 0 16 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 32282 0 -1 4202560 2513 0 0 0 0 0 0 0 16 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 32282 0 -1 4202560 989 0 0 0 0 0 0 0 16 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=13628804 CPUtime=0.01 cores=1,3,5,7
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 32282 0 -1 4202560 840 0 0 0 1 0 0 0 15 0 19 0 826349350 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=13628804 CPUtime=0.04 cores=1,3,5,7
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 32282 0 -1 4202560 4670 0 0 0 4 0 0 0 15 0 19 0 826349351 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 0 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826349354 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982373809 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=13628804 CPUtime=0.61 cores=1,3,5,7
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 32282 0 -1 4202560 3753 0 0 0 61 0 0 0 15 0 19 0 826349354 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=13628804 CPUtime=0.5 cores=1,3,5,7
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 32282 0 -1 4202560 2161 0 0 0 50 0 0 0 16 0 19 0 826349354 13955895296 46510 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=1628/tid=1636] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 32282 0 -1 4202560 2830 0 0 0 54 0 0 0 15 0 19 0 826349350 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=13628804 CPUtime=0.49 cores=1,3,5,7
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 32282 0 -1 4202560 6310 0 0 0 48 1 0 0 15 0 19 0 826349350 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=13628804 CPUtime=0.45 cores=1,3,5,7
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 32282 0 -1 4202560 6544 0 0 0 44 1 0 0 16 0 19 0 826349350 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=13628804 CPUtime=6.66 cores=1,3,5,7
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 32282 0 -1 4202560 20843 0 0 0 662 4 0 0 15 0 19 0 826349351 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 0 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826349354 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982373809 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=13628804 CPUtime=0.73 cores=1,3,5,7
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 32282 0 -1 4202560 3764 0 0 0 73 0 0 0 15 0 19 0 826349354 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 32282 0 -1 4202560 2162 0 0 0 54 0 0 0 15 0 19 0 826349354 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1645] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1645/stat : 1645 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826349354 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 32282 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826349354 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1676] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1676/stat : 1676 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826349395 13955895296 100499 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.76
Current children cumulated vsize (KiB) 13628804
[startup+1782.3 s]
/proc/loadavg: 2.15 2.11 1.95 3/567 1749
/proc/meminfo: memFree=14700580/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13628804 CPUtime=1785.87 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 118638 0 1 0 178566 21 0 0 21 0 19 0 826349348 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3407201 115673 2264 9 0 3397935 0
[pid=1628/tid=1629] ppid=1626 vsize=13628804 CPUtime=1773.53 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 35091 0 1 0 177347 6 0 0 25 0 19 0 826349348 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505801155 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=13628804 CPUtime=0.41 cores=1,3,5,7
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 32282 0 -1 4202560 2913 0 0 0 41 0 0 0 15 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=13628804 CPUtime=0.51 cores=1,3,5,7
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 32282 0 -1 4202560 9011 0 0 0 50 1 0 0 15 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=13628804 CPUtime=0.48 cores=1,3,5,7
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 32282 0 -1 4202560 6655 0 0 0 47 1 0 0 16 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=13628804 CPUtime=0.48 cores=1,3,5,7
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 32282 0 -1 4202560 2763 0 0 0 48 0 0 0 15 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=13628804 CPUtime=0.53 cores=1,3,5,7
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 32282 0 -1 4202560 3340 0 0 0 53 0 0 0 15 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=13628804 CPUtime=0.55 cores=1,3,5,7
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 32282 0 -1 4202560 2830 0 0 0 55 0 0 0 15 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 32282 0 -1 4202560 6312 0 0 0 53 1 0 0 16 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=13628804 CPUtime=0.48 cores=1,3,5,7
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 32282 0 -1 4202560 6547 0 0 0 47 1 0 0 16 0 19 0 826349350 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=13628804 CPUtime=6.98 cores=1,3,5,7
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 32282 0 -1 4202560 35995 0 0 0 692 6 0 0 15 0 19 0 826349351 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 0 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826349354 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982373809 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=13628804 CPUtime=0.73 cores=1,3,5,7
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 32282 0 -1 4202560 3764 0 0 0 73 0 0 0 15 0 19 0 826349354 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 32282 0 -1 4202560 2162 0 0 0 54 0 0 0 15 0 19 0 826349354 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1645] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1645/stat : 1645 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826349354 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 32282 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826349354 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1676] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1676/stat : 1676 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826349395 13955895296 115673 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.87
Current children cumulated vsize (KiB) 13628804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.5 s]
/proc/loadavg: 2.11 2.10 1.95 3/567 1751
/proc/meminfo: memFree=14700452/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13628804 CPUtime=1800.09 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 118652 0 1 0 179988 21 0 0 21 0 19 0 826349348 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3407201 115686 2264 9 0 3397935 0
[pid=1628/tid=1629] ppid=1626 vsize=13628804 CPUtime=1787.68 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 35092 0 1 0 178762 6 0 0 25 0 19 0 826349348 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505796684 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=13628804 CPUtime=0.41 cores=1,3,5,7
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 32282 0 -1 4202560 2913 0 0 0 41 0 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=13628804 CPUtime=0.51 cores=1,3,5,7
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 32282 0 -1 4202560 9015 0 0 0 50 1 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=13628804 CPUtime=0.49 cores=1,3,5,7
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 32282 0 -1 4202560 6657 0 0 0 48 1 0 0 16 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=13628804 CPUtime=0.48 cores=1,3,5,7
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 32282 0 -1 4202560 2763 0 0 0 48 0 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=13628804 CPUtime=0.55 cores=1,3,5,7
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 32282 0 -1 4202560 3347 0 0 0 55 0 0 0 16 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=13628804 CPUtime=0.55 cores=1,3,5,7
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 32282 0 -1 4202560 2830 0 0 0 55 0 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 32282 0 -1 4202560 6312 0 0 0 53 1 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=13628804 CPUtime=0.48 cores=1,3,5,7
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 32282 0 -1 4202560 6547 0 0 0 47 1 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=13628804 CPUtime=7.04 cores=1,3,5,7
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 32282 0 -1 4202560 35995 0 0 0 698 6 0 0 15 0 19 0 826349351 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 0 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982373809 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=13628804 CPUtime=0.73 cores=1,3,5,7
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 32282 0 -1 4202560 3764 0 0 0 73 0 0 0 15 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 32282 0 -1 4202560 2162 0 0 0 54 0 0 0 15 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1645] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1645/stat : 1645 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 32282 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1676] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1676/stat : 1676 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826349395 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.5 s]
/proc/loadavg: 2.11 2.10 1.95 3/567 1751
/proc/meminfo: memFree=14700452/32951132 swapFree=46579808/67111528
[pid=1628] ppid=1626 vsize=13628804 CPUtime=1800.09 cores=1,3,5,7
/proc/1628/stat : 1628 (java) S 1626 1628 32282 0 -1 4202496 118652 0 1 0 179988 21 0 0 21 0 19 0 826349348 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1628/statm: 3407201 115686 2264 9 0 3397935 0
[pid=1628/tid=1629] ppid=1626 vsize=13628804 CPUtime=1787.68 cores=1,3,5,7
/proc/1628/task/1629/stat : 1629 (java) R 1626 1628 32282 0 -1 4202560 35092 0 1 0 178762 6 0 0 25 0 19 0 826349348 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 46912505796684 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=13628804 CPUtime=0.41 cores=1,3,5,7
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 32282 0 -1 4202560 2913 0 0 0 41 0 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=13628804 CPUtime=0.51 cores=1,3,5,7
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 32282 0 -1 4202560 9015 0 0 0 50 1 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=13628804 CPUtime=0.49 cores=1,3,5,7
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 32282 0 -1 4202560 6657 0 0 0 48 1 0 0 16 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=13628804 CPUtime=0.48 cores=1,3,5,7
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 32282 0 -1 4202560 2763 0 0 0 48 0 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=13628804 CPUtime=0.55 cores=1,3,5,7
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 32282 0 -1 4202560 3347 0 0 0 55 0 0 0 16 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=13628804 CPUtime=0.55 cores=1,3,5,7
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 32282 0 -1 4202560 2830 0 0 0 55 0 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 7 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 32282 0 -1 4202560 6312 0 0 0 53 1 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=13628804 CPUtime=0.48 cores=1,3,5,7
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 32282 0 -1 4202560 6547 0 0 0 47 1 0 0 15 0 19 0 826349350 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=13628804 CPUtime=7.04 cores=1,3,5,7
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 32282 0 -1 4202560 35995 0 0 0 698 6 0 0 15 0 19 0 826349351 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 0 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826349352 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982373809 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=13628804 CPUtime=0.73 cores=1,3,5,7
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 32282 0 -1 4202560 3764 0 0 0 73 0 0 0 15 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 5 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=13628804 CPUtime=0.54 cores=1,3,5,7
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 32282 0 -1 4202560 2162 0 0 0 54 0 0 0 15 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1645] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1645/stat : 1645 (java) S 1626 1628 32282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366105 0 4 0 16800975 18446604465410508992 0 0 -1 3 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 32282 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826349354 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
[pid=1628/tid=1676] ppid=1626 vsize=13628804 CPUtime=0 cores=1,3,5,7
/proc/1628/task/1676/stat : 1676 (java) S 1626 1628 32282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826349395 13955895296 115686 33554432000 1073741824 1073778376 140736822734320 18446744073709551615 242982366720 0 4 0 16800975 18446604465410508992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628804
Child status: 143
Real time (s): 1796.59
CPU time (s): 1800.22
CPU user time (s): 1799.98
CPU system time (s): 0.237963
CPU usage (%): 100.202
Max. virtual memory (cumulated for all children) (KiB): 13628804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118734
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41455
involuntary context switches= 31821
runsolver used 9.40457 second user time and 22.1936 second system time
The end