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-3731695-1338740701/watcher-3731695-1338740701 -o /tmp/evaluation-result-3731695-1338740701/solver-3731695-1338740701 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731695-1338740701.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.00 2.04 2.00 2/174 22917
/proc/meminfo: memFree=27069500/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22917/stat : 22917 (java6) D 22915 22917 15301 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340194246 9515008 182 33554432000 1073741824 1073778376 140733947144640 140733947135672 251053031093 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22917/statm: 2323 182 140 9 0 71 0
[startup+0.059896 s]
/proc/loadavg: 2.00 2.04 2.00 2/174 22917
/proc/meminfo: memFree=27069500/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 3708 0 1 0 3 0 0 0 20 0 13 0 340194246 2371293184 5427 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 578929 5427 1709 9 0 569630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.100265 s]
/proc/loadavg: 2.00 2.04 2.00 2/174 22917
/proc/meminfo: memFree=27069500/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 4692 0 1 0 9 0 0 0 20 0 18 0 340194246 2712133632 6410 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 662142 6410 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300247 s]
/proc/loadavg: 2.00 2.04 2.00 2/174 22917
/proc/meminfo: memFree=27069500/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2648568 CPUtime=0.48 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 5890 0 1 0 47 1 0 0 20 0 18 0 340194246 2712133632 10469 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 662142 10469 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2648568
[startup+0.700217 s]
/proc/loadavg: 2.00 2.04 2.00 2/174 22917
/proc/meminfo: memFree=27069500/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2648568 CPUtime=1.08 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 9277 0 1 0 105 3 0 0 20 0 18 0 340194246 2712133632 50709 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 662142 50709 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2648568
[startup+1.50067 s]
/proc/loadavg: 2.00 2.04 2.00 3/212 22991
/proc/meminfo: memFree=26701316/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2648568 CPUtime=1.97 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 9413 0 1 0 189 8 0 0 20 0 18 0 340194246 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 662142 95277 2249 9 0 652835 0
[pid=22917/tid=22919] ppid=22915 vsize=2648568 CPUtime=1.43 cores=1,3,5,7
/proc/22917/task/22919/stat : 22919 (java) R 22915 22917 15301 0 -1 4202560 2910 0 1 0 137 6 0 0 20 0 18 0 340194247 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668279238864 251056416013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22920] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22920/stat : 22920 (java) S 22915 22917 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668263696808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22921] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22921/stat : 22921 (java) S 22915 22917 15301 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668262644264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22922] ppid=22915 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/22917/task/22922/stat : 22922 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668261591208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22923] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22923/stat : 22923 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668260538664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (java) S 22915 22917 15301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668259486632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22925] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22925/stat : 22925 (java) S 22915 22917 15301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668258434088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22926] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22926/stat : 22926 (java) S 22915 22917 15301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668257381032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22927] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22927/stat : 22927 (java) S 22915 22917 15301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340194249 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668256328488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22928] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22928/stat : 22928 (java) S 22915 22917 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340194250 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668243917160 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22929] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22929/stat : 22929 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340194250 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668242863480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22930] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22930/stat : 22930 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 340194250 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668241810312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22931] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22931/stat : 22931 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340194253 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668240759056 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22932] ppid=22915 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/22917/task/22932/stat : 22932 (java) S 22915 22917 15301 0 -1 4202560 2318 0 0 0 17 0 0 0 20 0 18 0 340194253 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668239706936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22933] ppid=22915 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/22917/task/22933/stat : 22933 (java) S 22915 22917 15301 0 -1 4202560 2949 0 0 0 20 0 0 0 20 0 18 0 340194253 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668238654392 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22934] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22934/stat : 22934 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340194253 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668237601528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22935] ppid=22915 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22935/stat : 22935 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340194253 2712133632 95277 33554432000 1073741824 1073778376 140733352223296 140668236549192 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 2648568
[startup+3.10069 s]
/proc/loadavg: 2.00 2.04 2.00 3/212 22991
/proc/meminfo: memFree=26609716/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2715132 CPUtime=4.38 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 12952 0 1 0 424 14 0 0 20 0 19 0 340194246 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 678783 107693 2273 9 0 669476 0
[pid=22917/tid=22919] ppid=22915 vsize=2715132 CPUtime=2.94 cores=1,3,5,7
/proc/22917/task/22919/stat : 22919 (java) R 22915 22917 15301 0 -1 4202560 2922 0 1 0 287 7 0 0 20 0 19 0 340194247 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668279239192 140668115327478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22920] ppid=22915 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/22917/task/22920/stat : 22920 (java) S 22915 22917 15301 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668263696808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22921] ppid=22915 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/22917/task/22921/stat : 22921 (java) S 22915 22917 15301 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668262644264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22922] ppid=22915 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/22917/task/22922/stat : 22922 (java) S 22915 22917 15301 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668261591208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22923] ppid=22915 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/22917/task/22923/stat : 22923 (java) S 22915 22917 15301 0 -1 4202560 28 0 0 0 6 1 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668260538664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668259486632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22925] ppid=22915 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/22917/task/22925/stat : 22925 (java) S 22915 22917 15301 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668258434088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22926] ppid=22915 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/22917/task/22926/stat : 22926 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668257381032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22927] ppid=22915 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/22917/task/22927/stat : 22927 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 19 0 340194249 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668256328488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22928] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22928/stat : 22928 (java) S 22915 22917 15301 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668243917160 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22929] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22929/stat : 22929 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668242863480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22930] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22930/stat : 22930 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668241810312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22931] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22931/stat : 22931 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668240759056 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22932] ppid=22915 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/22917/task/22932/stat : 22932 (java) S 22915 22917 15301 0 -1 4202560 4695 0 0 0 48 0 0 0 20 0 19 0 340194253 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668239706936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22933] ppid=22915 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/22917/task/22933/stat : 22933 (java) S 22915 22917 15301 0 -1 4202560 3996 0 0 0 45 0 0 0 20 0 19 0 340194253 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668238654392 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22934] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22934/stat : 22934 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668237601528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22935] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22935/stat : 22935 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 107693 33554432000 1073741824 1073778376 140733352223296 140668236549192 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 2715132
[startup+6.30071 s]
/proc/loadavg: 2.24 2.09 2.01 3/213 22992
/proc/meminfo: memFree=26533408/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2715132 CPUtime=7.58 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 12955 0 1 0 744 14 0 0 20 0 19 0 340194246 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 678783 107258 2273 9 0 669476 0
[pid=22917/tid=22919] ppid=22915 vsize=2715132 CPUtime=6.14 cores=1,3,5,7
/proc/22917/task/22919/stat : 22919 (java) R 22915 22917 15301 0 -1 4202560 2925 0 1 0 607 7 0 0 20 0 19 0 340194247 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668279245376 140668115391329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22920] ppid=22915 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/22917/task/22920/stat : 22920 (java) S 22915 22917 15301 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668263696808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22921] ppid=22915 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/22917/task/22921/stat : 22921 (java) S 22915 22917 15301 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668262644264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22922] ppid=22915 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/22917/task/22922/stat : 22922 (java) S 22915 22917 15301 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668261591208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22923] ppid=22915 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/22917/task/22923/stat : 22923 (java) S 22915 22917 15301 0 -1 4202560 28 0 0 0 6 1 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668260538664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668259486632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22925] ppid=22915 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/22917/task/22925/stat : 22925 (java) S 22915 22917 15301 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668258434088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22926] ppid=22915 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/22917/task/22926/stat : 22926 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668257381032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22927] ppid=22915 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/22917/task/22927/stat : 22927 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 19 0 340194249 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668256328488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22928] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22928/stat : 22928 (java) S 22915 22917 15301 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668243917160 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22929] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22929/stat : 22929 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668242863480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22930] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22930/stat : 22930 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668241810312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22931] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22931/stat : 22931 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668240759056 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22932] ppid=22915 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/22917/task/22932/stat : 22932 (java) S 22915 22917 15301 0 -1 4202560 4695 0 0 0 48 0 0 0 20 0 19 0 340194253 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668239706936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22933] ppid=22915 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/22917/task/22933/stat : 22933 (java) S 22915 22917 15301 0 -1 4202560 3996 0 0 0 46 0 0 0 20 0 19 0 340194253 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668238654392 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22934] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22934/stat : 22934 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668237601528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22935] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22935/stat : 22935 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668236549192 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22992] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22992/stat : 22992 (java) S 22915 22917 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340194512 2780295168 107258 33554432000 1073741824 1073778376 140733352223296 140668235494440 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
/proc/loadavg: 2.22 2.09 2.01 3/213 22992
/proc/meminfo: memFree=26436784/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2715132 CPUtime=14.02 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 12962 0 1 0 1388 14 0 0 20 0 19 0 340194246 2780295168 107265 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=22917/tid=22925] ppid=22915 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/22917/task/22925/stat : 22925 (java) S 22915 22917 15301 0 -1 4202560 164 0 0 0 13 11 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668258434088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22926] ppid=22915 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/22917/task/22926/stat : 22926 (java) S 22915 22917 15301 0 -1 4202560 206 0 0 0 14 13 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668257381032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22927] ppid=22915 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/22917/task/22927/stat : 22927 (java) S 22915 22917 15301 0 -1 4202560 274 0 0 0 22 17 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668256328488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22928] ppid=22915 vsize=2715132 CPUtime=4.52 cores=1,3,5,7
/proc/22917/task/22928/stat : 22928 (java) S 22915 22917 15301 0 -1 4202560 173 0 0 0 447 5 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668243917160 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22929] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22929/stat : 22929 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668242863480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22930] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22930/stat : 22930 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668241810312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22931] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22931/stat : 22931 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668240759056 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22932] ppid=22915 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/22917/task/22932/stat : 22932 (java) S 22915 22917 15301 0 -1 4202560 5233 0 0 0 60 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668239706936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22933] ppid=22915 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/22917/task/22933/stat : 22933 (java) S 22915 22917 15301 0 -1 4202560 4004 0 0 0 50 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668238654392 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22934] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22934/stat : 22934 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668237601528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22935] ppid=22915 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/22917/task/22935/stat : 22935 (java) S 22915 22917 15301 0 -1 4202560 99 0 0 0 41 36 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668236549192 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22992] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22992/stat : 22992 (java) S 22915 22917 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340194512 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668235494440 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.06
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 23008
/proc/meminfo: memFree=24337096/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2715132 CPUtime=1785.07 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 15178 0 1 0 178381 126 0 0 20 0 19 0 340194246 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 678783 343137 2286 9 0 669476 0
[pid=22917/tid=22919] ppid=22915 vsize=2715132 CPUtime=1777.1 cores=1,3,5,7
/proc/22917/task/22919/stat : 22919 (java) R 22915 22917 15301 0 -1 4202560 2938 0 1 0 177674 36 0 0 20 0 19 0 340194247 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668279247136 140668115327148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22920] ppid=22915 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/22917/task/22920/stat : 22920 (java) S 22915 22917 15301 0 -1 4202560 167 0 0 0 13 9 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668263696808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22921] ppid=22915 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/22917/task/22921/stat : 22921 (java) S 22915 22917 15301 0 -1 4202560 165 0 0 0 13 8 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668262644264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22922] ppid=22915 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/22917/task/22922/stat : 22922 (java) S 22915 22917 15301 0 -1 4202560 169 0 0 0 13 9 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668261591208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22923] ppid=22915 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/22917/task/22923/stat : 22923 (java) S 22915 22917 15301 0 -1 4202560 209 0 0 0 17 13 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668260538664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (java) S 22915 22917 15301 0 -1 4202560 190 0 0 0 15 12 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668259486632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22925] ppid=22915 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/22917/task/22925/stat : 22925 (java) S 22915 22917 15301 0 -1 4202560 164 0 0 0 13 11 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668258434088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22926] ppid=22915 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/22917/task/22926/stat : 22926 (java) S 22915 22917 15301 0 -1 4202560 206 0 0 0 14 13 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668257381032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22927] ppid=22915 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/22917/task/22927/stat : 22927 (java) S 22915 22917 15301 0 -1 4202560 274 0 0 0 22 17 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668256328488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22928] ppid=22915 vsize=2715132 CPUtime=4.52 cores=1,3,5,7
/proc/22917/task/22928/stat : 22928 (java) S 22915 22917 15301 0 -1 4202560 173 0 0 0 447 5 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668243917160 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22929] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22929/stat : 22929 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668242863480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22930] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22930/stat : 22930 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668241810312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22931] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22931/stat : 22931 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668240759056 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22932] ppid=22915 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/22917/task/22932/stat : 22932 (java) S 22915 22917 15301 0 -1 4202560 5233 0 0 0 60 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668239706936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22933] ppid=22915 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/22917/task/22933/stat : 22933 (java) S 22915 22917 15301 0 -1 4202560 4004 0 0 0 50 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668238654392 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22934] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22934/stat : 22934 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668237601528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22935] ppid=22915 vsize=2715132 CPUtime=0.8 cores=1,3,5,7
/proc/22917/task/22935/stat : 22935 (java) S 22915 22917 15301 0 -1 4202560 103 0 0 0 43 37 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668236549192 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22992] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22992/stat : 22992 (java) S 22915 22917 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340194512 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668235494440 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 23008
/proc/meminfo: memFree=24337100/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2715132 CPUtime=1800.09 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 15178 0 1 0 179883 126 0 0 20 0 19 0 340194246 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 678783 343137 2286 9 0 669476 0
[pid=22917/tid=22919] ppid=22915 vsize=2715132 CPUtime=1792.11 cores=1,3,5,7
/proc/22917/task/22919/stat : 22919 (java) R 22915 22917 15301 0 -1 4202560 2938 0 1 0 179175 36 0 0 20 0 19 0 340194247 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668279247136 140668115391140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22920] ppid=22915 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/22917/task/22920/stat : 22920 (java) S 22915 22917 15301 0 -1 4202560 167 0 0 0 13 9 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668263696808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22921] ppid=22915 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/22917/task/22921/stat : 22921 (java) S 22915 22917 15301 0 -1 4202560 165 0 0 0 13 8 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668262644264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22922] ppid=22915 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/22917/task/22922/stat : 22922 (java) S 22915 22917 15301 0 -1 4202560 169 0 0 0 13 9 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668261591208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22923] ppid=22915 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/22917/task/22923/stat : 22923 (java) S 22915 22917 15301 0 -1 4202560 209 0 0 0 17 13 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668260538664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (java) S 22915 22917 15301 0 -1 4202560 190 0 0 0 15 12 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668259486632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22925] ppid=22915 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/22917/task/22925/stat : 22925 (java) S 22915 22917 15301 0 -1 4202560 164 0 0 0 13 11 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668258434088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22926] ppid=22915 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/22917/task/22926/stat : 22926 (java) S 22915 22917 15301 0 -1 4202560 206 0 0 0 14 13 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668257381032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22927] ppid=22915 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/22917/task/22927/stat : 22927 (java) S 22915 22917 15301 0 -1 4202560 274 0 0 0 22 17 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668256328488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22928] ppid=22915 vsize=2715132 CPUtime=4.52 cores=1,3,5,7
/proc/22917/task/22928/stat : 22928 (java) S 22915 22917 15301 0 -1 4202560 173 0 0 0 447 5 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668243917160 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22929] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22929/stat : 22929 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668242863480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22930] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22930/stat : 22930 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668241810312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22931] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22931/stat : 22931 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668240759056 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22932] ppid=22915 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/22917/task/22932/stat : 22932 (java) S 22915 22917 15301 0 -1 4202560 5233 0 0 0 60 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668239706936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22933] ppid=22915 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/22917/task/22933/stat : 22933 (java) S 22915 22917 15301 0 -1 4202560 4004 0 0 0 50 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668238654392 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22934] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22934/stat : 22934 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668237601528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22935] ppid=22915 vsize=2715132 CPUtime=0.8 cores=1,3,5,7
/proc/22917/task/22935/stat : 22935 (java) S 22915 22917 15301 0 -1 4202560 103 0 0 0 43 37 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668236549192 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22992] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22992/stat : 22992 (java) S 22915 22917 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340194512 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668235494440 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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
[startup+1797.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 23008
/proc/meminfo: memFree=24337100/32873648 swapFree=7368/7368
[pid=22917] ppid=22915 vsize=2715132 CPUtime=1800.09 cores=1,3,5,7
/proc/22917/stat : 22917 (java) S 22915 22917 15301 0 -1 4202496 15178 0 1 0 179883 126 0 0 20 0 19 0 340194246 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140733352214432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22917/statm: 678783 343137 2286 9 0 669476 0
[pid=22917/tid=22919] ppid=22915 vsize=2715132 CPUtime=1792.11 cores=1,3,5,7
/proc/22917/task/22919/stat : 22919 (java) R 22915 22917 15301 0 -1 4202560 2938 0 1 0 179175 36 0 0 20 0 19 0 340194247 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668279247136 140668115391140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22920] ppid=22915 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/22917/task/22920/stat : 22920 (java) S 22915 22917 15301 0 -1 4202560 167 0 0 0 13 9 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668263696808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22921] ppid=22915 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/22917/task/22921/stat : 22921 (java) S 22915 22917 15301 0 -1 4202560 165 0 0 0 13 8 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668262644264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22922] ppid=22915 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/22917/task/22922/stat : 22922 (java) S 22915 22917 15301 0 -1 4202560 169 0 0 0 13 9 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668261591208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22923] ppid=22915 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/22917/task/22923/stat : 22923 (java) S 22915 22917 15301 0 -1 4202560 209 0 0 0 17 13 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668260538664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (java) S 22915 22917 15301 0 -1 4202560 190 0 0 0 15 12 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668259486632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22925] ppid=22915 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/22917/task/22925/stat : 22925 (java) S 22915 22917 15301 0 -1 4202560 164 0 0 0 13 11 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668258434088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22926] ppid=22915 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/22917/task/22926/stat : 22926 (java) S 22915 22917 15301 0 -1 4202560 206 0 0 0 14 13 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668257381032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22927] ppid=22915 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/22917/task/22927/stat : 22927 (java) S 22915 22917 15301 0 -1 4202560 274 0 0 0 22 17 0 0 20 0 19 0 340194249 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668256328488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22928] ppid=22915 vsize=2715132 CPUtime=4.52 cores=1,3,5,7
/proc/22917/task/22928/stat : 22928 (java) S 22915 22917 15301 0 -1 4202560 173 0 0 0 447 5 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668243917160 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22929] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22929/stat : 22929 (java) S 22915 22917 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668242863480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22930] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22930/stat : 22930 (java) S 22915 22917 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340194250 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668241810312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22931] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22931/stat : 22931 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668240759056 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22932] ppid=22915 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/22917/task/22932/stat : 22932 (java) S 22915 22917 15301 0 -1 4202560 5233 0 0 0 60 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668239706936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22917/tid=22933] ppid=22915 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/22917/task/22933/stat : 22933 (java) S 22915 22917 15301 0 -1 4202560 4004 0 0 0 50 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668238654392 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22934] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22934/stat : 22934 (java) S 22915 22917 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668237601528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22917/tid=22935] ppid=22915 vsize=2715132 CPUtime=0.8 cores=1,3,5,7
/proc/22917/task/22935/stat : 22935 (java) S 22915 22917 15301 0 -1 4202560 103 0 0 0 43 37 0 0 20 0 19 0 340194253 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668236549192 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22917/tid=22992] ppid=22915 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22992/stat : 22992 (java) S 22915 22917 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340194512 2780295168 343137 33554432000 1073741824 1073778376 140733352223296 140668235494440 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1797.35
CPU time (s): 1801
CPU user time (s): 1799.16
CPU system time (s): 1.84172
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.84172
maximum resident set size= 1372736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15228
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38186
involuntary context switches= 12909
runsolver used 6.49201 second user time and 14.6908 second system time
The end