runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3735361-1338755457/watcher-3735361-1338755457 -o /tmp/evaluation-result-3735361-1338755457/solver-3735361-1338755457 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3735361-1338755457.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: 2.44 2.22 2.08 3/197 10038
/proc/meminfo: memFree=27917756/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 2 0 341671069 96370688 926 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 23528 930 705 9 0 16769 0
[pid=10038/tid=10039] ppid=10036 vsize=94176 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 2 0 341671069 96436224 937 33554432000 1073741824 1073778376 140737334152944 140089379536424 273896533383 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.057172 s]
/proc/loadavg: 2.44 2.22 2.08 3/197 10038
/proc/meminfo: memFree=27917756/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2648536 CPUtime=0.04 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 3780 0 1 0 3 1 0 0 20 0 18 0 341671069 2712100864 5500 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 662134 5500 1746 9 0 652835 0
[pid=10038/tid=10039] ppid=10036 vsize=2648536 CPUtime=0.03 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2572 0 1 0 3 0 0 0 20 0 18 0 341671069 2712100864 5500 33554432000 1073741824 1073778376 140737334152944 140089379543712 273909081357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648536
[startup+0.100334 s]
/proc/loadavg: 2.44 2.22 2.08 3/197 10038
/proc/meminfo: memFree=27917756/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 4685 0 1 0 9 1 0 0 20 0 18 0 341671069 2712133632 6404 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 662142 6404 2109 9 0 652835 0
[pid=10038/tid=10039] ppid=10036 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2733 0 1 0 6 1 0 0 20 0 18 0 341671069 2712133632 6404 33554432000 1073741824 1073778376 140737334152944 140089379532568 273909081357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300223 s]
/proc/loadavg: 2.44 2.22 2.08 3/197 10038
/proc/meminfo: memFree=27917756/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2648568 CPUtime=0.51 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 6005 0 1 0 50 1 0 0 20 0 18 0 341671069 2712133632 9691 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 662142 9691 2221 9 0 652835 0
[pid=10038/tid=10039] ppid=10036 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2749 0 1 0 26 1 0 0 20 0 18 0 341671069 2712133632 9691 33554432000 1073741824 1073778376 140737334152944 140089379540872 140089382826874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2648568
[startup+0.700234 s]
/proc/loadavg: 2.44 2.22 2.08 3/197 10038
/proc/meminfo: memFree=27917756/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2715132 CPUtime=1.43 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 10904 0 1 0 140 3 0 0 20 0 19 0 341671069 2780295168 24695 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 678783 24695 2250 9 0 669476 0
[pid=10038/tid=10039] ppid=10036 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2784 0 1 0 65 2 0 0 20 0 19 0 341671069 2780295168 24695 33554432000 1073741824 1073778376 140737334152944 140089379541776 140089382826903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 2715132
[startup+1.50065 s]
/proc/loadavg: 2.44 2.22 2.08 3/216 10057
/proc/meminfo: memFree=27821244/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2715132 CPUtime=2.43 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 11690 0 1 0 239 4 0 0 20 0 19 0 341671069 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 678783 25733 2255 9 0 669476 0
[pid=10038/tid=10039] ppid=10036 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2787 0 1 0 145 2 0 0 20 0 19 0 341671069 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089379541496 140089234348997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10041] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10041/stat : 10041 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089363990824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10042] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10042/stat : 10042 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089362938024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10043] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10043/stat : 10043 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089361885736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10044] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10044/stat : 10044 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089360832936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10045] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10045/stat : 10045 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089359780648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10046] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10046/stat : 10046 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089358727848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10047] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10047/stat : 10047 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089357675560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10048] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10048/stat : 10048 (java) S 10036 10038 6377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089356622760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10049] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10049/stat : 10049 (java) S 10036 10038 6377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341671071 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089226131688 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10050] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10050/stat : 10050 (java) S 10036 10038 6377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089225077752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10051] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10051/stat : 10051 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089224025352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10052] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10052/stat : 10052 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089222973840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10053] ppid=10036 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/10038/task/10053/stat : 10053 (java) S 10036 10038 6377 0 -1 4202560 4510 0 0 0 49 0 0 0 20 0 19 0 341671074 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089221921464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10054] ppid=10036 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/10038/task/10054/stat : 10054 (java) S 10036 10038 6377 0 -1 4202560 3200 0 0 0 41 0 0 0 20 0 19 0 341671074 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089220868664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10055] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10055/stat : 10055 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089219816568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10056] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10056/stat : 10056 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671075 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140089218763976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10057] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10057/stat : 10057 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671127 2780295168 25733 33554432000 1073741824 1073778376 140737334152944 140088210088872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 2715132
[startup+3.10066 s]
/proc/loadavg: 2.44 2.22 2.08 3/216 10057
/proc/meminfo: memFree=27814480/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2715132 CPUtime=4.04 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 11698 0 1 0 400 4 0 0 20 0 19 0 341671069 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 678783 28294 2255 9 0 669476 0
[pid=10038/tid=10039] ppid=10036 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2794 0 1 0 305 2 0 0 20 0 19 0 341671069 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089379541464 140089234258506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10041] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10041/stat : 10041 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089363990824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10042] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10042/stat : 10042 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089362938024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10043] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10043/stat : 10043 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089361885736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10044] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10044/stat : 10044 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089360832936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10045] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10045/stat : 10045 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089359780648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10046] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10046/stat : 10046 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089358727848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10047] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10047/stat : 10047 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089357675560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10048] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10048/stat : 10048 (java) S 10036 10038 6377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089356622760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10049] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10049/stat : 10049 (java) S 10036 10038 6377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341671071 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089226131688 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10050] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10050/stat : 10050 (java) S 10036 10038 6377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089225077752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10051] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10051/stat : 10051 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089224025352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10052] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10052/stat : 10052 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089222973840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10053] ppid=10036 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/10038/task/10053/stat : 10053 (java) S 10036 10038 6377 0 -1 4202560 4510 0 0 0 51 0 0 0 20 0 19 0 341671074 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089221921464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10054] ppid=10036 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/10038/task/10054/stat : 10054 (java) S 10036 10038 6377 0 -1 4202560 3200 0 0 0 42 0 0 0 20 0 19 0 341671074 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089220868664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10055] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10055/stat : 10055 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089219816568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10056] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10056/stat : 10056 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671075 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140089218763976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10057] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10057/stat : 10057 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671127 2780295168 28294 33554432000 1073741824 1073778376 140737334152944 140088210088872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 2715132
[startup+6.30062 s]
/proc/loadavg: 2.40 2.21 2.07 3/215 10057
/proc/meminfo: memFree=27789540/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2715132 CPUtime=7.25 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 11706 0 1 0 721 4 0 0 20 0 19 0 341671069 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 678783 31342 2255 9 0 669476 0
[pid=10038/tid=10039] ppid=10036 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2802 0 1 0 624 2 0 0 20 0 19 0 341671069 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089379539088 140089234306522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10041] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10041/stat : 10041 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089363990824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10042] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10042/stat : 10042 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089362938024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10043] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10043/stat : 10043 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089361885736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10044] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10044/stat : 10044 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089360832936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10045] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10045/stat : 10045 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089359780648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10046] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10046/stat : 10046 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089358727848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10047] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10047/stat : 10047 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089357675560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10048] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10048/stat : 10048 (java) S 10036 10038 6377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341671070 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089356622760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10049] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10049/stat : 10049 (java) S 10036 10038 6377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341671071 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089226131688 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10050] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10050/stat : 10050 (java) S 10036 10038 6377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089225077752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10051] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10051/stat : 10051 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089224025352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10052] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10052/stat : 10052 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089222973840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10053] ppid=10036 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/10038/task/10053/stat : 10053 (java) S 10036 10038 6377 0 -1 4202560 4510 0 0 0 51 0 0 0 20 0 19 0 341671074 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089221921464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10054] ppid=10036 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/10038/task/10054/stat : 10054 (java) S 10036 10038 6377 0 -1 4202560 3200 0 0 0 42 0 0 0 20 0 19 0 341671074 2780295168 31342 33554432000 1073741824 1073778376 140737334152944 140089220868664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=10038/tid=10053] ppid=10036 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/10038/task/10053/stat : 10053 (java) S 10036 10038 6377 0 -1 4202560 4565 0 0 0 59 0 0 0 20 0 19 0 341671074 2780295168 269087 33554432000 1073741824 1073778376 140737334152944 140089221921464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10054] ppid=10036 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/10038/task/10054/stat : 10054 (java) S 10036 10038 6377 0 -1 4202560 3203 0 0 0 45 0 0 0 20 0 19 0 341671074 2780295168 269087 33554432000 1073741824 1073778376 140737334152944 140089220868664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10055] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10055/stat : 10055 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 269087 33554432000 1073741824 1073778376 140737334152944 140089219816568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10056] ppid=10036 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/10038/task/10056/stat : 10056 (java) S 10036 10038 6377 0 -1 4202560 95 0 0 0 18 14 0 0 20 0 19 0 341671075 2780295168 269087 33554432000 1073741824 1073778376 140737334152944 140089218763976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10057] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10057/stat : 10057 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671127 2780295168 269087 33554432000 1073741824 1073778376 140737334152944 140088210088872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1665.88
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 10069
/proc/meminfo: memFree=26023536/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2715132 CPUtime=1726.01 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 13594 0 1 0 172470 131 0 0 20 0 19 0 341671069 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 678783 279851 2271 9 0 669476 0
[pid=10038/tid=10039] ppid=10036 vsize=2715132 CPUtime=1716.83 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2950 0 1 0 171650 33 0 0 20 0 19 0 341671069 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089379540336 140089234255463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10041] ppid=10036 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/10038/task/10041/stat : 10041 (java) S 10036 10038 6377 0 -1 4202560 186 0 0 0 30 13 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089363990824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10042] ppid=10036 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/10038/task/10042/stat : 10042 (java) S 10036 10038 6377 0 -1 4202560 193 0 0 0 29 14 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089362938024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10043] ppid=10036 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/10038/task/10043/stat : 10043 (java) S 10036 10038 6377 0 -1 4202560 201 0 0 0 33 15 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089361885736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10044] ppid=10036 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/10038/task/10044/stat : 10044 (java) S 10036 10038 6377 0 -1 4202560 246 0 0 0 32 18 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089360832936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10045] ppid=10036 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/10038/task/10045/stat : 10045 (java) S 10036 10038 6377 0 -1 4202560 166 0 0 0 24 12 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089359780648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10046] ppid=10036 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/10038/task/10046/stat : 10046 (java) S 10036 10038 6377 0 -1 4202560 188 0 0 0 28 13 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089358727848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10047] ppid=10036 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/10038/task/10047/stat : 10047 (java) S 10036 10038 6377 0 -1 4202560 211 0 0 0 33 16 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089357675560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10048] ppid=10036 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/10038/task/10048/stat : 10048 (java) S 10036 10038 6377 0 -1 4202560 151 0 0 0 28 9 0 0 20 0 19 0 341671070 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089356622760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10049] ppid=10036 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10038/task/10049/stat : 10049 (java) S 10036 10038 6377 0 -1 4202560 56 0 0 0 0 1 0 0 20 0 19 0 341671071 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089226131688 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10050] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10050/stat : 10050 (java) S 10036 10038 6377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089225077752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10051] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10051/stat : 10051 (java) S 10036 10038 6377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089224025352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10052] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10052/stat : 10052 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089222973840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10053] ppid=10036 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/10038/task/10053/stat : 10053 (java) S 10036 10038 6377 0 -1 4202560 4565 0 0 0 59 0 0 0 20 0 19 0 341671074 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089221921464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10054] ppid=10036 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/10038/task/10054/stat : 10054 (java) S 10036 10038 6377 0 -1 4202560 3203 0 0 0 45 0 0 0 20 0 19 0 341671074 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089220868664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10055] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10055/stat : 10055 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089219816568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10056] ppid=10036 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/10038/task/10056/stat : 10056 (java) S 10036 10038 6377 0 -1 4202560 99 0 0 0 19 14 0 0 20 0 19 0 341671075 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140089218763976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10057] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10057/stat : 10057 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671127 2780295168 279851 33554432000 1073741824 1073778376 140737334152944 140088210088872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1726.01
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 10072
/proc/meminfo: memFree=25949552/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2715132 CPUtime=1786.14 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 13664 0 1 0 178477 137 0 0 20 0 19 0 341671069 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 678783 288043 2271 9 0 669476 0
[pid=10038/tid=10039] ppid=10036 vsize=2715132 CPUtime=1776.64 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2951 0 1 0 177630 34 0 0 20 0 19 0 341671069 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089379540352 140089234306609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10041] ppid=10036 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/10038/task/10041/stat : 10041 (java) S 10036 10038 6377 0 -1 4202560 192 0 0 0 30 14 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089363990824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10042] ppid=10036 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/10038/task/10042/stat : 10042 (java) S 10036 10038 6377 0 -1 4202560 196 0 0 0 30 14 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089362938024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10043] ppid=10036 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/10038/task/10043/stat : 10043 (java) S 10036 10038 6377 0 -1 4202560 215 0 0 0 36 16 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089361885736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10044] ppid=10036 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/10038/task/10044/stat : 10044 (java) S 10036 10038 6377 0 -1 4202560 254 0 0 0 32 19 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089360832936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10045] ppid=10036 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/10038/task/10045/stat : 10045 (java) S 10036 10038 6377 0 -1 4202560 171 0 0 0 25 12 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089359780648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10046] ppid=10036 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/10038/task/10046/stat : 10046 (java) S 10036 10038 6377 0 -1 4202560 195 0 0 0 30 13 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089358727848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10047] ppid=10036 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/10038/task/10047/stat : 10047 (java) S 10036 10038 6377 0 -1 4202560 215 0 0 0 34 16 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089357675560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10048] ppid=10036 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/10038/task/10048/stat : 10048 (java) S 10036 10038 6377 0 -1 4202560 167 0 0 0 30 11 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089356622760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10049] ppid=10036 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10038/task/10049/stat : 10049 (java) S 10036 10038 6377 0 -1 4202560 58 0 0 0 0 1 0 0 20 0 19 0 341671071 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089226131688 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10050] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10050/stat : 10050 (java) S 10036 10038 6377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089225077752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10051] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10051/stat : 10051 (java) S 10036 10038 6377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089224025352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10052] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10052/stat : 10052 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089222973840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10053] ppid=10036 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/10038/task/10053/stat : 10053 (java) S 10036 10038 6377 0 -1 4202560 4565 0 0 0 59 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089221921464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10054] ppid=10036 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/10038/task/10054/stat : 10054 (java) S 10036 10038 6377 0 -1 4202560 3203 0 0 0 45 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089220868664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10055] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10055/stat : 10055 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089219816568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10056] ppid=10036 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/10038/task/10056/stat : 10056 (java) S 10036 10038 6377 0 -1 4202560 103 0 0 0 19 15 0 0 20 0 19 0 341671075 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089218763976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10057] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10057/stat : 10057 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671127 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140088210088872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1786.14
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 10131
/proc/meminfo: memFree=26860268/32873844 swapFree=7124/7124
[pid=10038] ppid=10036 vsize=2715132 CPUtime=1800.05 cores=1,3,5,7
/proc/10038/stat : 10038 (java) S 10036 10038 6377 0 -1 4202496 13664 0 1 0 179867 138 0 0 20 0 19 0 341671069 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140737334144080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10038/statm: 678783 288043 2271 9 0 669476 0
[pid=10038/tid=10039] ppid=10036 vsize=2715132 CPUtime=1790.51 cores=1,3,5,7
/proc/10038/task/10039/stat : 10039 (java) R 10036 10038 6377 0 -1 4202560 2951 0 1 0 179017 34 0 0 20 0 19 0 341671069 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089379540352 140089234206135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10041] ppid=10036 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/10038/task/10041/stat : 10041 (java) S 10036 10038 6377 0 -1 4202560 192 0 0 0 30 14 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089363990824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10042] ppid=10036 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/10038/task/10042/stat : 10042 (java) S 10036 10038 6377 0 -1 4202560 196 0 0 0 30 14 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089362938024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10043] ppid=10036 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/10038/task/10043/stat : 10043 (java) S 10036 10038 6377 0 -1 4202560 215 0 0 0 36 16 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089361885736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10044] ppid=10036 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/10038/task/10044/stat : 10044 (java) S 10036 10038 6377 0 -1 4202560 254 0 0 0 32 19 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089360832936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10038/tid=10045] ppid=10036 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/10038/task/10045/stat : 10045 (java) S 10036 10038 6377 0 -1 4202560 171 0 0 0 25 12 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089359780648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10046] ppid=10036 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/10038/task/10046/stat : 10046 (java) S 10036 10038 6377 0 -1 4202560 195 0 0 0 30 13 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089358727848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10047] ppid=10036 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/10038/task/10047/stat : 10047 (java) S 10036 10038 6377 0 -1 4202560 215 0 0 0 34 16 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089357675560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10048] ppid=10036 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/10038/task/10048/stat : 10048 (java) S 10036 10038 6377 0 -1 4202560 167 0 0 0 30 11 0 0 20 0 19 0 341671070 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089356622760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10049] ppid=10036 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10038/task/10049/stat : 10049 (java) S 10036 10038 6377 0 -1 4202560 58 0 0 0 0 1 0 0 20 0 19 0 341671071 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089226131688 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10050] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10050/stat : 10050 (java) S 10036 10038 6377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089225077752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10051] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10051/stat : 10051 (java) S 10036 10038 6377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341671072 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089224025352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10052] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10052/stat : 10052 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089222973840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10038/tid=10053] ppid=10036 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/10038/task/10053/stat : 10053 (java) S 10036 10038 6377 0 -1 4202560 4565 0 0 0 59 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089221921464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10054] ppid=10036 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/10038/task/10054/stat : 10054 (java) S 10036 10038 6377 0 -1 4202560 3203 0 0 0 45 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089220868664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10055] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10055/stat : 10055 (java) S 10036 10038 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341671074 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089219816568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10038/tid=10056] ppid=10036 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/10038/task/10056/stat : 10056 (java) S 10036 10038 6377 0 -1 4202560 103 0 0 0 19 15 0 0 20 0 19 0 341671075 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140089218763976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10038/tid=10057] ppid=10036 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10038/task/10057/stat : 10057 (java) S 10036 10038 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341671127 2780295168 288043 33554432000 1073741824 1073778376 140737334152944 140088210088872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10038 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=79258
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=792727
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.25
CPU time (s): 1800.05
CPU user time (s): 1798.67
CPU system time (s): 1.38
CPU usage (%): 100.211
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.08
system time used= 1.79273
maximum resident set size= 1152316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13702
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38673
involuntary context switches= 5901
runsolver used 8.85865 second user time and 10.9163 second system time
The end