runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 931)
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-3195030-1302716337/watcher-3195030-1302716337 -o /tmp/evaluation-result-3195030-1302716337/solver-3195030-1302716337 -C 2400 -W 1300 -M 7680 java -Xms7000m -Xmx7000m -jar HOME/SAT_Intersec_01.jar HOME/instance-3195030-1302716337.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/198 17941
/proc/meminfo: memFree=14545220/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=23028 CPUtime=0 cores=4,6
/proc/17941/stat : 17941 (java) R 17939 17941 17880 0 -1 4202496 820 0 0 0 0 0 0 0 25 0 1 0 383230795 23580672 578 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239471732480 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17941/statm: 5757 592 446 9 0 124 0
[startup+0.033684 s]
/proc/loadavg: 2.00 2.00 2.00 4/198 17941
/proc/meminfo: memFree=14545220/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7383424 CPUtime=0.01 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 8479 0 1 0 1 0 0 0 25 0 11 0 383230795 7560626176 8192 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1845856 8194 1607 9 0 1836604 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7383424
[startup+0.100676 s]
/proc/loadavg: 2.00 2.00 2.00 4/198 17941
/proc/meminfo: memFree=14545220/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7394052 CPUtime=0.1 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 11240 0 1 0 9 1 0 0 25 0 18 0 383230795 7571509248 10950 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1848513 10952 2125 9 0 1838997 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7394052
[startup+0.300579 s]
/proc/loadavg: 2.00 2.00 2.00 4/198 17941
/proc/meminfo: memFree=14545220/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7418988 CPUtime=0.48 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 24663 0 1 0 45 3 0 0 25 0 18 0 383230795 7597043712 21496 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1854747 21496 2169 9 0 1845231 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7418988
[startup+0.700555 s]
/proc/loadavg: 2.00 2.00 2.00 4/198 17941
/proc/meminfo: memFree=14545220/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7419876 CPUtime=1.14 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 27407 0 1 0 110 4 0 0 25 0 18 0 383230795 7597953024 23810 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1854969 23810 2170 9 0 1845453 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 7419876
[startup+1.50141 s]
/proc/loadavg: 2.16 2.03 2.01 5/258 18009
/proc/meminfo: memFree=14190056/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7419876 CPUtime=1.94 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 30888 0 1 0 190 4 0 0 25 0 18 0 383230795 7597953024 27291 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1854969 27291 2170 9 0 1845453 0
[pid=17941/tid=17945] ppid=17939 vsize=7419876 CPUtime=1.48 cores=4,6
/proc/17941/task/17945/stat : 17945 (java) R 17939 17941 17880 0 -1 4202560 19038 0 1 0 145 3 0 0 25 0 18 0 383230795 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 46912505519999 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17941/tid=17951] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17951/stat : 17951 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 383230797 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17952] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17952/stat : 17952 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17953] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17953/stat : 17953 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17954] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17954/stat : 17954 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17955] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17955/stat : 17955 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17956] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17956/stat : 17956 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17957] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17957/stat : 17957 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 27292 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17958] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17958/stat : 17958 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 383230797 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17967] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17967/stat : 17967 (java) S 17939 17941 17880 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 383230798 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 0 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17968] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17968/stat : 17968 (java) S 17939 17941 17880 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 383230798 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17969] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17969/stat : 17969 (java) S 17939 17941 17880 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 383230798 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17973] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17973/stat : 17973 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488518577 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17974] ppid=17939 vsize=7419876 CPUtime=0.03 cores=4,6
/proc/17941/task/17974/stat : 17974 (java) S 17939 17941 17880 0 -1 4202560 164 0 0 0 3 0 0 0 25 0 18 0 383230800 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17975] ppid=17939 vsize=7419876 CPUtime=0.41 cores=4,6
/proc/17941/task/17975/stat : 17975 (java) S 17939 17941 17880 0 -1 4202560 10564 0 0 0 40 1 0 0 25 0 18 0 383230800 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17976] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17976/stat : 17976 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17977] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17977/stat : 17977 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230800 7597953024 27293 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 7419876
[startup+3.1011 s]
/proc/loadavg: 2.16 2.03 2.01 5/258 18009
/proc/meminfo: memFree=14033320/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7419876 CPUtime=3.53 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 37863 0 1 0 349 4 0 0 25 0 18 0 383230795 7597953024 34266 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1854969 34266 2170 9 0 1845453 0
[pid=17941/tid=17945] ppid=17939 vsize=7419876 CPUtime=3.08 cores=4,6
/proc/17941/task/17945/stat : 17945 (java) R 17939 17941 17880 0 -1 4202560 26012 0 1 0 305 3 0 0 25 0 18 0 383230795 7597953024 34266 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 46912505520156 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17941/tid=17951] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17951/stat : 17951 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 383230797 7597953024 34266 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17952] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17952/stat : 17952 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 34266 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17953] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17953/stat : 17953 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17954] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17954/stat : 17954 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17955] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17955/stat : 17955 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17956] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17956/stat : 17956 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17957] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17957/stat : 17957 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17958] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17958/stat : 17958 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 383230797 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17967] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17967/stat : 17967 (java) S 17939 17941 17880 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 383230798 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 0 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17968] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17968/stat : 17968 (java) S 17939 17941 17880 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 383230798 7597953024 34267 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17969] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17969/stat : 17969 (java) S 17939 17941 17880 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 383230798 7597953024 34268 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17973] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17973/stat : 17973 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7597953024 34269 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488518577 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17974] ppid=17939 vsize=7419876 CPUtime=0.03 cores=4,6
/proc/17941/task/17974/stat : 17974 (java) S 17939 17941 17880 0 -1 4202560 164 0 0 0 3 0 0 0 25 0 18 0 383230800 7597953024 34269 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17975] ppid=17939 vsize=7419876 CPUtime=0.42 cores=4,6
/proc/17941/task/17975/stat : 17975 (java) S 17939 17941 17880 0 -1 4202560 10564 0 0 0 41 1 0 0 18 0 18 0 383230800 7597953024 34269 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17976] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17976/stat : 17976 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7597953024 34269 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17977] ppid=17939 vsize=7419876 CPUtime=0 cores=4,6
/proc/17941/task/17977/stat : 17977 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230800 7597953024 34269 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 7419876
[startup+6.30149 s]
/proc/loadavg: 2.16 2.03 2.01 5/258 18009
/proc/meminfo: memFree=13573140/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7417140 CPUtime=6.74 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 51852 0 1 0 668 6 0 0 25 0 18 0 383230795 7595151360 47602 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1854285 47602 2172 9 0 1844769 0
[pid=17941/tid=17945] ppid=17939 vsize=7417140 CPUtime=6.28 cores=4,6
/proc/17941/task/17945/stat : 17945 (java) R 17939 17941 17880 0 -1 4202560 39999 0 1 0 623 5 0 0 21 0 18 0 383230795 7595151360 47602 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 46912505525800 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17941/tid=17951] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17951/stat : 17951 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 383230797 7595151360 47602 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17952] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17952/stat : 17952 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7595151360 47602 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17953] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17953/stat : 17953 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7595151360 47603 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17954] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17954/stat : 17954 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7595151360 47603 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17955] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17955/stat : 17955 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17956] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17956/stat : 17956 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17957] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17957/stat : 17957 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 383230797 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17958] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17958/stat : 17958 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 383230797 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17967] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17967/stat : 17967 (java) S 17939 17941 17880 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 383230798 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 0 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17968] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17968/stat : 17968 (java) S 17939 17941 17880 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 383230798 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17969] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17969/stat : 17969 (java) S 17939 17941 17880 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 383230798 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17973] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17973/stat : 17973 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488518577 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17974] ppid=17939 vsize=7417140 CPUtime=0.03 cores=4,6
/proc/17941/task/17974/stat : 17974 (java) S 17939 17941 17880 0 -1 4202560 164 0 0 0 3 0 0 0 25 0 18 0 383230800 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17975] ppid=17939 vsize=7417140 CPUtime=0.42 cores=4,6
/proc/17941/task/17975/stat : 17975 (java) S 17939 17941 17880 0 -1 4202560 10564 0 0 0 41 1 0 0 18 0 18 0 383230800 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17976] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17976/stat : 17976 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17977] ppid=17939 vsize=7417140 CPUtime=0 cores=4,6
/proc/17941/task/17977/stat : 17977 (java) S 17939 17941 17880 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 383230800 7595151360 47604 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 7417140
[startup+12.7013 s]
/proc/loadavg: 2.44 2.10 2.03 5/258 18009
/proc/meminfo: memFree=12653516/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7404840 CPUtime=13.16 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 79926 0 1 0 1306 10 0 0 25 0 18 0 383230795 7582556160 72602 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1851210 72602 2185 9 0 1841694 0
[pid=17941/tid=17945] ppid=17939 vsize=7404840 CPUtime=12.68 cores=4,6
################
# More data... #
################
[pid=17941/tid=17952] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17952/stat : 17952 (java) S 17939 17941 17880 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17953] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17953/stat : 17953 (java) S 17939 17941 17880 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17954] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17954/stat : 17954 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17955] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17955/stat : 17955 (java) S 17939 17941 17880 0 -1 4202560 514 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17956] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17956/stat : 17956 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17957] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17957/stat : 17957 (java) S 17939 17941 17880 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17958] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17958/stat : 17958 (java) S 17939 17941 17880 0 -1 4202560 468 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17967] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17967/stat : 17967 (java) S 17939 17941 17880 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 383230798 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 0 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17968] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17968/stat : 17968 (java) S 17939 17941 17880 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17969] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17969/stat : 17969 (java) S 17939 17941 17880 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17973] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17973/stat : 17973 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488518577 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17974] ppid=17939 vsize=7404840 CPUtime=0.04 cores=4,6
/proc/17941/task/17974/stat : 17974 (java) S 17939 17941 17880 0 -1 4202560 164 0 0 0 4 0 0 0 18 0 18 0 383230800 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17975] ppid=17939 vsize=7404840 CPUtime=0.43 cores=4,6
/proc/17941/task/17975/stat : 17975 (java) S 17939 17941 17880 0 -1 4202560 10577 0 0 0 42 1 0 0 17 0 18 0 383230800 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17976] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17976/stat : 17976 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17977] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17977/stat : 17977 (java) S 17939 17941 17880 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 383230800 7582556160 610027 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1122.81
Current children cumulated vsize (KiB) 7404840
[startup+1182.3 s]
/proc/loadavg: 4.00 3.97 3.42 5/258 18041
/proc/meminfo: memFree=4817084/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7404840 CPUtime=1182.81 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 617497 0 1 0 118211 70 0 0 25 0 18 0 383230795 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1851210 610031 2199 9 0 1841694 0
[pid=17941/tid=17945] ppid=17939 vsize=7404840 CPUtime=1182.32 cores=4,6
/proc/17941/task/17945/stat : 17945 (java) R 17939 17941 17880 0 -1 4202560 603549 0 1 0 118163 69 0 0 25 0 18 0 383230795 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 46912505615280 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17941/tid=17951] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17951/stat : 17951 (java) S 17939 17941 17880 0 -1 4202560 486 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17952] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17952/stat : 17952 (java) S 17939 17941 17880 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17953] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17953/stat : 17953 (java) S 17939 17941 17880 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17954] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17954/stat : 17954 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17955] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17955/stat : 17955 (java) S 17939 17941 17880 0 -1 4202560 514 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17956] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17956/stat : 17956 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17957] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17957/stat : 17957 (java) S 17939 17941 17880 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17958] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17958/stat : 17958 (java) S 17939 17941 17880 0 -1 4202560 471 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17967] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17967/stat : 17967 (java) S 17939 17941 17880 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 0 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17968] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17968/stat : 17968 (java) S 17939 17941 17880 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17969] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17969/stat : 17969 (java) S 17939 17941 17880 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17973] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17973/stat : 17973 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488518577 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17974] ppid=17939 vsize=7404840 CPUtime=0.04 cores=4,6
/proc/17941/task/17974/stat : 17974 (java) S 17939 17941 17880 0 -1 4202560 164 0 0 0 4 0 0 0 18 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17975] ppid=17939 vsize=7404840 CPUtime=0.43 cores=4,6
/proc/17941/task/17975/stat : 17975 (java) S 17939 17941 17880 0 -1 4202560 10577 0 0 0 42 1 0 0 17 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17976] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17976/stat : 17976 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17977] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17977/stat : 17977 (java) S 17939 17941 17880 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1182.81
Current children cumulated vsize (KiB) 7404840
[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.46 5/258 18042
/proc/meminfo: memFree=4816056/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7404840 CPUtime=1242.82 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 617501 0 1 0 124212 70 0 0 25 0 18 0 383230795 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1851210 610031 2199 9 0 1841694 0
[pid=17941/tid=17945] ppid=17939 vsize=7404840 CPUtime=1242.32 cores=4,6
/proc/17941/task/17945/stat : 17945 (java) R 17939 17941 17880 0 -1 4202560 603549 0 1 0 124163 69 0 0 25 0 18 0 383230795 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 46912505614975 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17941/tid=17951] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17951/stat : 17951 (java) S 17939 17941 17880 0 -1 4202560 486 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17952] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17952/stat : 17952 (java) S 17939 17941 17880 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17953] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17953/stat : 17953 (java) S 17939 17941 17880 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17954] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17954/stat : 17954 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17955] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17955/stat : 17955 (java) S 17939 17941 17880 0 -1 4202560 514 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17956] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17956/stat : 17956 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17957] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17957/stat : 17957 (java) S 17939 17941 17880 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17958] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17958/stat : 17958 (java) S 17939 17941 17880 0 -1 4202560 471 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17967] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17967/stat : 17967 (java) S 17939 17941 17880 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 0 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17968] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17968/stat : 17968 (java) S 17939 17941 17880 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17969] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17969/stat : 17969 (java) S 17939 17941 17880 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17973] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17973/stat : 17973 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488518577 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17974] ppid=17939 vsize=7404840 CPUtime=0.04 cores=4,6
/proc/17941/task/17974/stat : 17974 (java) S 17939 17941 17880 0 -1 4202560 164 0 0 0 4 0 0 0 18 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17975] ppid=17939 vsize=7404840 CPUtime=0.43 cores=4,6
/proc/17941/task/17975/stat : 17975 (java) S 17939 17941 17880 0 -1 4202560 10577 0 0 0 42 1 0 0 17 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17976] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17976/stat : 17976 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17977] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17977/stat : 17977 (java) S 17939 17941 17880 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1242.82
Current children cumulated vsize (KiB) 7404840
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.08 3.99 3.49 5/243 18046
/proc/meminfo: memFree=6321760/32950928 swapFree=67102716/67111528
[pid=17941] ppid=17939 vsize=7404840 CPUtime=1300.52 cores=4,6
/proc/17941/stat : 17941 (java) S 17939 17941 17880 0 -1 4202496 617508 0 1 0 129982 70 0 0 25 0 18 0 383230795 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17941/statm: 1851210 610031 2199 9 0 1841694 0
[pid=17941/tid=17945] ppid=17939 vsize=7404840 CPUtime=1300.02 cores=4,6
/proc/17941/task/17945/stat : 17945 (java) R 17939 17941 17880 0 -1 4202560 603550 0 1 0 129933 69 0 0 25 0 18 0 383230795 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 46912505615340 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17941/tid=17951] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17951/stat : 17951 (java) S 17939 17941 17880 0 -1 4202560 486 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17952] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17952/stat : 17952 (java) S 17939 17941 17880 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17953] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17953/stat : 17953 (java) S 17939 17941 17880 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17954] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17954/stat : 17954 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17955] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17955/stat : 17955 (java) S 17939 17941 17880 0 -1 4202560 514 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17956] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17956/stat : 17956 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17957] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17957/stat : 17957 (java) S 17939 17941 17880 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17958] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17958/stat : 17958 (java) S 17939 17941 17880 0 -1 4202560 471 0 0 0 0 0 0 0 15 0 18 0 383230797 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17967] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17967/stat : 17967 (java) S 17939 17941 17880 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 0 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17968] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17968/stat : 17968 (java) S 17939 17941 17880 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17969] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17969/stat : 17969 (java) S 17939 17941 17880 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 383230798 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17973] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17973/stat : 17973 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488518577 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17974] ppid=17939 vsize=7404840 CPUtime=0.04 cores=4,6
/proc/17941/task/17974/stat : 17974 (java) S 17939 17941 17880 0 -1 4202560 164 0 0 0 4 0 0 0 18 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17975] ppid=17939 vsize=7404840 CPUtime=0.43 cores=4,6
/proc/17941/task/17975/stat : 17975 (java) S 17939 17941 17880 0 -1 4202560 10577 0 0 0 42 1 0 0 17 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
[pid=17941/tid=17976] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17976/stat : 17976 (java) S 17939 17941 17880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488510873 0 4 0 16800975 18446604453982733312 0 0 -1 4 0 0 0
[pid=17941/tid=17977] ppid=17939 vsize=7404840 CPUtime=0 cores=4,6
/proc/17941/task/17977/stat : 17977 (java) S 17939 17941 17880 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 383230800 7582556160 610031 33554432000 1073741824 1073778376 140737153730704 18446744073709551615 239488511488 0 4 0 16800975 18446604453982733312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1300.52
Current children cumulated vsize (KiB) 7404840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.1
CPU time (s): 1300.63
CPU user time (s): 1299.83
CPU system time (s): 0.790879
CPU usage (%): 100.041
Max. virtual memory (cumulated for all children) (KiB): 7419876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.83
system time used= 0.790879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617528
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26690
involuntary context switches= 2349
runsolver used 2.48662 second user time and 4.6183 second system time
The end