runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4110273-1467321935/watcher-4110273-1467321935 -o /tmp/evaluation-result-4110273-1467321935/solver-4110273-1467321935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467319426-13601 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110273-1467321935.wbo
pid=18702
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: 0.94 0.65 0.66 2/169 18705
/proc/meminfo: memFree=30445316/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 11222683 98570240 977 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 24065 977 743 9 0 16771 0
[pid=18705/tid=18706] ppid=18702 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) R 18702 18705 11495 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 11222684 98570240 977 33554432000 1073741824 1073778376 140734043180672 139781549354536 271787574656 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100155 s]
/proc/loadavg: 0.94 0.65 0.66 2/169 18705
/proc/meminfo: memFree=30445316/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 4497 0 1 0 9 1 0 0 20 0 18 0 11222683 9787879424 6125 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2389619 6125 2156 9 0 2380296 0
[pid=18705/tid=18706] ppid=18702 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) R 18702 18705 11495 0 -1 4202560 2387 0 1 0 6 1 0 0 20 0 18 0 11222684 9787879424 6125 33554432000 1073741824 1073778376 140734043180672 139781549357984 271790957837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200278 s]
/proc/loadavg: 0.94 0.65 0.66 2/169 18705
/proc/meminfo: memFree=30445316/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 4815 0 1 0 26 2 0 0 20 0 22 0 11222683 10060525568 7896 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 7896 2222 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2411 0 1 0 14 1 0 0 20 0 22 0 11222684 10060525568 7896 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732
[startup+0.300272 s]
/proc/loadavg: 0.94 0.65 0.66 2/169 18705
/proc/meminfo: memFree=30445316/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 7375 0 1 0 65 2 0 0 20 0 22 0 11222683 10060525568 9889 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 9889 2245 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2411 0 1 0 14 1 0 0 20 0 22 0 11222684 10060525568 9889 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732
[startup+0.700226 s]
/proc/loadavg: 0.94 0.65 0.66 2/169 18705
/proc/meminfo: memFree=30445316/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 14154 0 1 0 135 5 0 0 20 0 22 0 11222683 10060525568 16496 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 16496 2253 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2411 0 1 0 14 2 0 0 20 0 22 0 11222684 10060525568 16496 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9824732
[startup+1.50075 s]
/proc/loadavg: 0.87 0.64 0.65 1/188 18730
/proc/meminfo: memFree=30383120/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 15285 0 1 0 179 9 0 0 20 0 19 0 11222683 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 18627 2259 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2412 0 1 0 14 2 0 0 20 0 19 0 11222684 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18708] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18708/stat : 18708 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781527460776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18709] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18709/stat : 18709 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781526408232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18710] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18710/stat : 18710 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781525355176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18711] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18711/stat : 18711 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781524302632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18712] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18712/stat : 18712 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781187037608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18713] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18713/stat : 18713 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781185985064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18714] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18714/stat : 18714 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781184932008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18715] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18715/stat : 18715 (java) S 18702 18705 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781183879464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18716] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18716/stat : 18716 (java) S 18702 18705 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781171682152 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18717] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18717/stat : 18717 (java) S 18702 18705 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781170628472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18718] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18718/stat : 18718 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781169575304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18719] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18719/stat : 18719 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781168524048 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18720] ppid=18702 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/18705/task/18720/stat : 18720 (java) S 18702 18705 11495 0 -1 4202560 6826 0 0 0 55 2 0 0 20 0 19 0 11222688 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781167470904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18721] ppid=18702 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/18705/task/18721/stat : 18721 (java) S 18702 18705 11495 0 -1 4202560 4700 0 0 0 51 0 0 0 20 0 19 0 11222688 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781166418360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18722] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18722/stat : 18722 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781165365496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18723] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18723/stat : 18723 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781164313160 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18727] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18727/stat : 18727 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11222702 10060525568 18627 33554432000 1073741824 1073778376 140734043180672 139781160101288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 0.87 0.64 0.65 3/191 18739
/proc/meminfo: memFree=30370212/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 16293 0 1 0 285 14 0 0 20 0 19 0 11222683 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 30437 2266 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2413 0 1 0 15 2 0 0 20 0 19 0 11222684 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18708] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18708/stat : 18708 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781527460776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18709] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18709/stat : 18709 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781526408232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18710] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18710/stat : 18710 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781525355176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18711] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18711/stat : 18711 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781524302632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18712] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18712/stat : 18712 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781187037608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18713] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18713/stat : 18713 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781185985064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18714] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18714/stat : 18714 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781184932008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18715] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18715/stat : 18715 (java) S 18702 18705 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781183879464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18716] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18716/stat : 18716 (java) S 18702 18705 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781171682152 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18717] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18717/stat : 18717 (java) S 18702 18705 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781170628472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18718] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18718/stat : 18718 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781169575304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18719] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18719/stat : 18719 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781168524048 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18720] ppid=18702 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/18705/task/18720/stat : 18720 (java) S 18702 18705 11495 0 -1 4202560 7594 0 0 0 86 2 0 0 20 0 19 0 11222688 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781167470904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18721] ppid=18702 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/18705/task/18721/stat : 18721 (java) S 18702 18705 11495 0 -1 4202560 4896 0 0 0 86 0 0 0 20 0 19 0 11222688 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781166418360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18722] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18722/stat : 18722 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781165365496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18723] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18723/stat : 18723 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781164313160 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18727] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18727/stat : 18727 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11222702 10060525568 30437 33554432000 1073741824 1073778376 140734043180672 139781160101288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 9824732
[startup+6.30085 s]
/proc/loadavg: 0.87 0.64 0.65 1/188 18757
/proc/meminfo: memFree=30267484/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=4.29 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 16432 0 1 0 400 29 0 0 20 0 19 0 11222683 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 46178 2285 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2415 0 1 0 15 2 0 0 20 0 19 0 11222684 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18708] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18708/stat : 18708 (java) S 18702 18705 11495 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781527460776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18709] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18709/stat : 18709 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781526408232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18710] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18710/stat : 18710 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781525355176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18711] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18711/stat : 18711 (java) S 18702 18705 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781524302632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18712] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18712/stat : 18712 (java) S 18702 18705 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781187037608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18713] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18713/stat : 18713 (java) S 18702 18705 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781185985064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18714] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18714/stat : 18714 (java) S 18702 18705 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781184932008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18715] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18715/stat : 18715 (java) S 18702 18705 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11222685 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781183879464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18716] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18716/stat : 18716 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781171682152 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18717] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18717/stat : 18717 (java) S 18702 18705 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781170628472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18718] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18718/stat : 18718 (java) S 18702 18705 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781169575304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18719] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18719/stat : 18719 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781168524048 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18720] ppid=18702 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/18705/task/18720/stat : 18720 (java) S 18702 18705 11495 0 -1 4202560 7598 0 0 0 93 2 0 0 20 0 19 0 11222688 10060525568 46178 33554432000 1073741824 1073778376 140734043180672 139781167470904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18721] ppid=18702 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
################
# More data... #
################
/proc/18705/task/18718/stat : 18718 (java) S 18702 18705 11495 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 11222686 10060525568 51504 33554432000 1073741824 1073778376 140734043180672 139781169575304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18719] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18719/stat : 18719 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 51504 33554432000 1073741824 1073778376 140734043180672 139781168524048 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18720] ppid=18702 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/18705/task/18720/stat : 18720 (java) S 18702 18705 11495 0 -1 4202560 11463 0 0 0 141 3 0 0 20 0 19 0 11222688 10060525568 51504 33554432000 1073741824 1073778376 140734043180672 139781167470904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18721] ppid=18702 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/18705/task/18721/stat : 18721 (java) S 18702 18705 11495 0 -1 4202560 4953 0 0 0 110 1 0 0 20 0 19 0 11222688 10060525568 51504 33554432000 1073741824 1073778376 140734043180672 139781166418360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18722] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18722/stat : 18722 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 51504 33554432000 1073741824 1073778376 140734043180672 139781165365496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18723] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18723/stat : 18723 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11222688 10060525568 51504 33554432000 1073741824 1073778376 140734043180672 139781164313160 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18727] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18727/stat : 18727 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11222702 10060525568 51504 33554432000 1073741824 1073778376 140734043180672 139781160101288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=19 pid=1812 uid=0 cmd=/usr/local/sbin/pbs_mom
[startup+25.501 s]
/proc/loadavg: 0.70 0.61 0.64 3/191 18856
/proc/meminfo: memFree=30234940/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=20.28 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 20825 0 1 0 1928 100 0 0 20 0 20 0 11222683 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 54230 2286 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2415 0 1 0 22 2 0 0 20 0 20 0 11222684 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18708] ppid=18702 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18705/task/18708/stat : 18708 (java) S 18702 18705 11495 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781527460776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18709] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18709/stat : 18709 (java) S 18702 18705 11495 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781526408232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18710] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18710/stat : 18710 (java) S 18702 18705 11495 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781525355176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18711] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18711/stat : 18711 (java) S 18702 18705 11495 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781524302632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18712] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18712/stat : 18712 (java) S 18702 18705 11495 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781187037608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18713] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18713/stat : 18713 (java) S 18702 18705 11495 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781185985064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18714] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18714/stat : 18714 (java) S 18702 18705 11495 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781184932008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18715] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18715/stat : 18715 (java) S 18702 18705 11495 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781183879464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18716] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18716/stat : 18716 (java) S 18702 18705 11495 0 -1 4202560 51 0 0 0 1 4 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781171682152 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18717] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18717/stat : 18717 (java) S 18702 18705 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781170628472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18718] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18718/stat : 18718 (java) S 18702 18705 11495 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781169575304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18719] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18719/stat : 18719 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781168524048 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18720] ppid=18702 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/18705/task/18720/stat : 18720 (java) S 18702 18705 11495 0 -1 4202560 11464 0 0 0 168 3 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781167470904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18721] ppid=18702 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/18705/task/18721/stat : 18721 (java) S 18702 18705 11495 0 -1 4202560 4957 0 0 0 123 1 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781166418360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18722] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18722/stat : 18722 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781165365496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18723] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18723/stat : 18723 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781164313160 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18727] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18727/stat : 18727 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 11222702 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781160101288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18855] ppid=18702 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/18705/task/18855/stat : 18855 (java) R 18702 18705 11495 0 -1 4202560 2 0 0 0 110 0 0 0 20 0 20 0 11225122 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781161150720 139781406093958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 20.28
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=19 pid=1812 uid=0 cmd=/usr/local/sbin/pbs_mom
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18705 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6083 s]
/proc/loadavg: 0.70 0.61 0.64 2/189 18856
/proc/meminfo: memFree=30234940/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=20.39 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 20825 0 1 0 1939 100 0 0 20 0 20 0 11222683 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 54230 2286 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2415 0 1 0 22 2 0 0 20 0 20 0 11222684 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18708] ppid=18702 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18705/task/18708/stat : 18708 (java) S 18702 18705 11495 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781527460776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18709] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18709/stat : 18709 (java) S 18702 18705 11495 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781526408232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18710] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18710/stat : 18710 (java) S 18702 18705 11495 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781525355176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18711] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18711/stat : 18711 (java) S 18702 18705 11495 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781524302632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18712] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18712/stat : 18712 (java) S 18702 18705 11495 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781187037608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18713] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18713/stat : 18713 (java) S 18702 18705 11495 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781185985064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18714] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18714/stat : 18714 (java) S 18702 18705 11495 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781184932008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18715] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18715/stat : 18715 (java) S 18702 18705 11495 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781183879464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18716] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18716/stat : 18716 (java) S 18702 18705 11495 0 -1 4202560 51 0 0 0 1 4 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781171682152 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18717] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18717/stat : 18717 (java) S 18702 18705 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781170628472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18718] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18718/stat : 18718 (java) S 18702 18705 11495 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781169575304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18719] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18719/stat : 18719 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781168524048 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18720] ppid=18702 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/18705/task/18720/stat : 18720 (java) S 18702 18705 11495 0 -1 4202560 11464 0 0 0 168 3 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781167470904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18721] ppid=18702 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/18705/task/18721/stat : 18721 (java) S 18702 18705 11495 0 -1 4202560 4957 0 0 0 123 1 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781166418360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18722] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18722/stat : 18722 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781165365496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18723] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18723/stat : 18723 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781164313160 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18727] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18727/stat : 18727 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 11222702 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781160101288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18855] ppid=18702 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/18705/task/18855/stat : 18855 (java) R 18702 18705 11495 0 -1 4202560 2 0 0 0 120 0 0 0 20 0 20 0 11225122 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781161150720 139781406153663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 9824732
[startup+26.0007 s]
/proc/loadavg: 0.70 0.61 0.64 2/189 18856
/proc/meminfo: memFree=30234940/32872528 swapFree=1102192/1183952
[pid=18705] ppid=18702 vsize=9824732 CPUtime=20.78 cores=1,3,5,7
/proc/18705/stat : 18705 (java) S 18702 18705 11495 0 -1 4202496 20825 0 1 0 1978 100 0 0 20 0 20 0 11222683 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 140734043171808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18705/statm: 2456183 54230 2286 9 0 2446860 0
[pid=18705/tid=18706] ppid=18702 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18705/task/18706/stat : 18706 (java) S 18702 18705 11495 0 -1 4202560 2415 0 1 0 22 2 0 0 20 0 20 0 11222684 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781549359992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18708] ppid=18702 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18705/task/18708/stat : 18708 (java) S 18702 18705 11495 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781527460776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18709] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18709/stat : 18709 (java) S 18702 18705 11495 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781526408232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18710] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18710/stat : 18710 (java) S 18702 18705 11495 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781525355176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18711] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18711/stat : 18711 (java) S 18702 18705 11495 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781524302632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18712] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18712/stat : 18712 (java) S 18702 18705 11495 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781187037608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18713] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18713/stat : 18713 (java) S 18702 18705 11495 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781185985064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18714] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18714/stat : 18714 (java) S 18702 18705 11495 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781184932008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18715] ppid=18702 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18705/task/18715/stat : 18715 (java) S 18702 18705 11495 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 20 0 11222685 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781183879464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18716] ppid=18702 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18705/task/18716/stat : 18716 (java) S 18702 18705 11495 0 -1 4202560 51 0 0 0 1 4 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781171682152 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18717] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18717/stat : 18717 (java) S 18702 18705 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781170628472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18718] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18718/stat : 18718 (java) S 18702 18705 11495 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 20 0 11222686 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781169575304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18705/tid=18719] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18719/stat : 18719 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781168524048 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18720] ppid=18702 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/18705/task/18720/stat : 18720 (java) S 18702 18705 11495 0 -1 4202560 11464 0 0 0 168 3 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781167470904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18721] ppid=18702 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/18705/task/18721/stat : 18721 (java) S 18702 18705 11495 0 -1 4202560 4957 0 0 0 123 1 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781166418360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18722] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18722/stat : 18722 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781165365496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18705/tid=18723] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18723/stat : 18723 (java) S 18702 18705 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11222688 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781164313160 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18705/tid=18727] ppid=18702 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18705/task/18727/stat : 18727 (java) S 18702 18705 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 11222702 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781160101288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18705/tid=18855] ppid=18702 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/18705/task/18855/stat : 18855 (java) R 18702 18705 11495 0 -1 4202560 2 0 0 0 159 0 0 0 20 0 20 0 11225122 10060525568 54230 33554432000 1073741824 1073778376 140734043180672 139781161150720 139781405880363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 26.0733
CPU time (s): 20.8908
CPU user time (s): 19.808
CPU system time (s): 1.08283
CPU usage (%): 80.1235
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.808
system time used= 1.08283
maximum resident set size= 217636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20836
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2340
involuntary context switches= 863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169974 second user time and 0.26096 second system time
The end