runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3478737-1307436782/watcher-3478737-1307436782 -o /tmp/evaluation-result-3478737-1307436782/solver-3478737-1307436782 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478737-1307436782.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/551 3854
/proc/meminfo: memFree=24714252/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/3854/stat : 3854 (java) R 3852 3854 3822 0 -1 4202496 692 0 0 0 0 0 0 0 22 0 1 0 855275243 23580672 436 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239471732501 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3854/statm: 5757 450 341 9 0 124 0
[pid=3854/tid=3855] ppid=3852 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) R 3852 3854 3822 0 -1 4202560 5011 0 1 0 0 0 0 0 18 0 2 0 855275244 10694979584 5827 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0339211 s]
/proc/loadavg: 0.00 0.00 0.00 3/551 3854
/proc/meminfo: memFree=24714252/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 10744 0 1 0 1 1 0 0 22 0 10 0 855275243 10705932288 10443 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2613753 10444 1515 9 0 2604501 0
[pid=3854/tid=3855] ppid=3852 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) R 3852 3854 3822 0 -1 4202560 9623 0 1 0 1 1 0 0 20 0 10 0 855275244 10705932288 10444 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 47570499650307 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.10494 s]
/proc/loadavg: 0.00 0.00 0.00 3/551 3854
/proc/meminfo: memFree=24714252/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10539740 CPUtime=0.1 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 12980 0 1 0 8 2 0 0 22 0 18 0 855275243 10792693760 12677 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2634935 12680 2092 9 0 2625669 0
[pid=3854/tid=3855] ppid=3852 vsize=10539740 CPUtime=0.08 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) R 3852 3854 3822 0 -1 4202560 11077 0 1 0 7 1 0 0 22 0 18 0 855275244 10792693760 12680 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239476356129 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539740
[startup+0.300839 s]
/proc/loadavg: 0.00 0.00 0.00 3/551 3854
/proc/meminfo: memFree=24714252/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10540988 CPUtime=0.46 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 15855 0 1 0 44 2 0 0 22 0 18 0 855275243 10793971712 15265 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2635247 15266 2199 9 0 2625981 0
[pid=3854/tid=3855] ppid=3852 vsize=10540988 CPUtime=0.28 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) R 3852 3854 3822 0 -1 4202560 13107 0 1 0 26 2 0 0 22 0 18 0 855275244 10793971712 15267 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505590027 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540988
[startup+0.700796 s]
/proc/loadavg: 0.00 0.00 0.00 3/551 3854
/proc/meminfo: memFree=24714252/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10545664 CPUtime=1.23 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 53312 0 1 0 116 7 0 0 22 0 18 0 855275243 10798759936 51225 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2636416 51230 2216 9 0 2627150 0
[pid=3854/tid=3855] ppid=3852 vsize=10545664 CPUtime=0.67 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) R 3852 3854 3822 0 -1 4202560 47186 0 1 0 62 5 0 0 23 0 18 0 855275244 10798759936 51233 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505621860 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10545664
[startup+1.50064 s]
/proc/loadavg: 0.16 0.03 0.01 3/589 3895
/proc/meminfo: memFree=24053352/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10545664 CPUtime=2.1 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 149961 0 1 0 191 19 0 0 22 0 18 0 855275243 10798759936 147874 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2636416 147879 2216 9 0 2627150 0
[pid=3854/tid=3855] ppid=3852 vsize=10545664 CPUtime=1.47 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) R 3852 3854 3822 0 -1 4202560 143808 0 1 0 130 17 0 0 25 0 18 0 855275244 10798759936 147881 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505612852 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3854/tid=3857] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3857/stat : 3857 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855275246 10798759936 147884 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3858] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3858/stat : 3858 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855275246 10798759936 147887 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3859] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3859/stat : 3859 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855275246 10798759936 147890 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3860] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3860/stat : 3860 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855275246 10798759936 147893 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3861] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3861/stat : 3861 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855275246 10798759936 147893 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3862] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3862/stat : 3862 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855275246 10798759936 147895 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3863] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3863/stat : 3863 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855275246 10798759936 147898 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3864] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3864/stat : 3864 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855275246 10798759936 147900 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3866] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3866/stat : 3866 (java) S 3852 3854 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855275247 10798759936 147903 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 0 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3871] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3871/stat : 3871 (java) S 3852 3854 3822 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 855275247 10798759936 147906 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3872] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3872/stat : 3872 (java) S 3852 3854 3822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 855275247 10798759936 147909 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3875] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3875/stat : 3875 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855275250 10798759936 147912 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488518577 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3876] ppid=3852 vsize=10545664 CPUtime=0.32 cores=1,3,5,7
/proc/3854/task/3876/stat : 3876 (java) S 3852 3854 3822 0 -1 4202560 2118 0 0 0 32 0 0 0 15 0 18 0 855275250 10798759936 147915 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3877] ppid=3852 vsize=10545664 CPUtime=0.28 cores=1,3,5,7
/proc/3854/task/3877/stat : 3877 (java) S 3852 3854 3822 0 -1 4202560 2891 0 0 0 28 0 0 0 15 0 18 0 855275250 10798759936 147918 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3878] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3878/stat : 3878 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855275250 10798759936 147921 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3879] ppid=3852 vsize=10545664 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3879/stat : 3879 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855275250 10798759936 147923 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10545664
[startup+3.10133 s]
/proc/loadavg: 0.16 0.03 0.01 5/593 3899
/proc/meminfo: memFree=23054500/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10549884 CPUtime=5.67 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 272820 0 1 0 534 33 0 0 22 0 22 0 855275243 10803081216 268167 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2637471 268171 2239 9 0 2628205 0
[pid=3854/tid=3855] ppid=3852 vsize=10549884 CPUtime=1.88 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) S 3852 3854 3822 0 -1 4202560 193908 0 1 0 163 25 0 0 15 0 22 0 855275244 10803081216 268173 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3857] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3857/stat : 3857 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855275246 10803081216 268174 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3858] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3858/stat : 3858 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855275246 10803081216 268176 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3859] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3859/stat : 3859 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855275246 10803081216 268176 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3860] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3860/stat : 3860 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855275246 10803081216 268176 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3861] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3861/stat : 3861 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855275246 10803081216 268176 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3862] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3862/stat : 3862 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855275246 10803081216 268176 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3863] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3863/stat : 3863 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855275246 10803081216 268176 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3864] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3864/stat : 3864 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855275246 10803081216 268177 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3866] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3866/stat : 3866 (java) S 3852 3854 3822 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 855275247 10803081216 268177 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 0 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3871] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3871/stat : 3871 (java) S 3852 3854 3822 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 855275247 10803081216 268178 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3872] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3872/stat : 3872 (java) S 3852 3854 3822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 855275247 10803081216 268183 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3875] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3875/stat : 3875 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855275250 10803081216 268197 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488518577 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3876] ppid=3852 vsize=10549884 CPUtime=0.74 cores=1,3,5,7
/proc/3854/task/3876/stat : 3876 (java) S 3852 3854 3822 0 -1 4202560 3338 0 0 0 74 0 0 0 15 0 22 0 855275250 10803081216 268200 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3877] ppid=3852 vsize=10549884 CPUtime=0.72 cores=1,3,5,7
/proc/3854/task/3877/stat : 3877 (java) S 3852 3854 3822 0 -1 4202560 4451 0 0 0 72 0 0 0 15 0 22 0 855275250 10803081216 268202 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3878] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3878/stat : 3878 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855275250 10803081216 268204 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3879] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3879/stat : 3879 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855275250 10803081216 268206 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3896] ppid=3852 vsize=10549884 CPUtime=1.19 cores=1,3,5,7
/proc/3854/task/3896/stat : 3896 (java) R 3852 3854 3822 0 -1 4202560 984 0 0 0 119 0 0 0 25 0 22 0 855275434 10803081216 268207 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505900735 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3854/tid=3897] ppid=3852 vsize=10549884 CPUtime=1.1 cores=1,3,5,7
/proc/3854/task/3897/stat : 3897 (java) R 3852 3854 3822 0 -1 4202560 69010 0 0 0 104 6 0 0 25 0 22 0 855275434 10803081216 268208 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505830045 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3854/tid=3898] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3898/stat : 3898 (java) S 3852 3854 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855275436 10803081216 268210 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3899] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3899/stat : 3899 (java) S 3852 3854 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855275440 10803081216 268211 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 10549884
[startup+6.30171 s]
/proc/loadavg: 0.16 0.03 0.01 4/597 3903
/proc/meminfo: memFree=21293332/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10549884 CPUtime=12.05 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 429107 0 1 0 1153 52 0 0 22 0 22 0 855275243 10803081216 422619 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2637471 422646 2266 9 0 2628205 0
[pid=3854/tid=3855] ppid=3852 vsize=10549884 CPUtime=1.88 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) S 3852 3854 3822 0 -1 4202560 193908 0 1 0 163 25 0 0 15 0 22 0 855275244 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3857] ppid=3852 vsize=10549884 CPUtime=0.04 cores=1,3,5,7
/proc/3854/task/3857/stat : 3857 (java) S 3852 3854 3822 0 -1 4202560 3495 0 0 0 4 0 0 0 15 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3858] ppid=3852 vsize=10549884 CPUtime=0.02 cores=1,3,5,7
/proc/3854/task/3858/stat : 3858 (java) S 3852 3854 3822 0 -1 4202560 1298 0 0 0 2 0 0 0 15 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3859] ppid=3852 vsize=10549884 CPUtime=0.02 cores=1,3,5,7
/proc/3854/task/3859/stat : 3859 (java) S 3852 3854 3822 0 -1 4202560 1511 0 0 0 2 0 0 0 15 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3860] ppid=3852 vsize=10549884 CPUtime=0.01 cores=1,3,5,7
/proc/3854/task/3860/stat : 3860 (java) S 3852 3854 3822 0 -1 4202560 313 0 0 0 1 0 0 0 16 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3861] ppid=3852 vsize=10549884 CPUtime=0.04 cores=1,3,5,7
/proc/3854/task/3861/stat : 3861 (java) S 3852 3854 3822 0 -1 4202560 2970 0 0 0 4 0 0 0 15 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3862] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3862/stat : 3862 (java) S 3852 3854 3822 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3863] ppid=3852 vsize=10549884 CPUtime=0.04 cores=1,3,5,7
/proc/3854/task/3863/stat : 3863 (java) S 3852 3854 3822 0 -1 4202560 3357 0 0 0 4 0 0 0 15 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3864] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3864/stat : 3864 (java) S 3852 3854 3822 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 855275246 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3866] ppid=3852 vsize=10549884 CPUtime=0.32 cores=1,3,5,7
/proc/3854/task/3866/stat : 3866 (java) S 3852 3854 3822 0 -1 4202560 15676 0 0 0 30 2 0 0 16 0 22 0 855275247 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 0 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3871] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3871/stat : 3871 (java) S 3852 3854 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3872] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3872/stat : 3872 (java) S 3852 3854 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3875] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3875/stat : 3875 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855275250 10803081216 422656 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488518577 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 4.08 3.78 2.34 5/597 3937
/proc/meminfo: memFree=17362832/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10549884 CPUtime=1630.25 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 929282 0 1 0 162917 108 0 0 22 0 22 0 855275243 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2637471 916140 2268 9 0 2628205 0
[pid=3854/tid=3855] ppid=3852 vsize=10549884 CPUtime=1.89 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) S 3852 3854 3822 0 -1 4202560 193917 0 1 0 164 25 0 0 15 0 22 0 855275244 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3857] ppid=3852 vsize=10549884 CPUtime=0.65 cores=1,3,5,7
/proc/3854/task/3857/stat : 3857 (java) S 3852 3854 3822 0 -1 4202560 4963 0 0 0 65 0 0 0 15 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3858] ppid=3852 vsize=10549884 CPUtime=0.69 cores=1,3,5,7
/proc/3854/task/3858/stat : 3858 (java) S 3852 3854 3822 0 -1 4202560 4168 0 0 0 69 0 0 0 15 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3859] ppid=3852 vsize=10549884 CPUtime=0.59 cores=1,3,5,7
/proc/3854/task/3859/stat : 3859 (java) S 3852 3854 3822 0 -1 4202560 4513 0 0 0 58 1 0 0 16 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3860] ppid=3852 vsize=10549884 CPUtime=0.62 cores=1,3,5,7
/proc/3854/task/3860/stat : 3860 (java) S 3852 3854 3822 0 -1 4202560 3575 0 0 0 62 0 0 0 16 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3861] ppid=3852 vsize=10549884 CPUtime=0.67 cores=1,3,5,7
/proc/3854/task/3861/stat : 3861 (java) S 3852 3854 3822 0 -1 4202560 5985 0 0 0 67 0 0 0 16 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3862] ppid=3852 vsize=10549884 CPUtime=0.53 cores=1,3,5,7
/proc/3854/task/3862/stat : 3862 (java) S 3852 3854 3822 0 -1 4202560 2730 0 0 0 53 0 0 0 15 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3863] ppid=3852 vsize=10549884 CPUtime=0.63 cores=1,3,5,7
/proc/3854/task/3863/stat : 3863 (java) S 3852 3854 3822 0 -1 4202560 6125 0 0 0 63 0 0 0 16 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3864] ppid=3852 vsize=10549884 CPUtime=0.68 cores=1,3,5,7
/proc/3854/task/3864/stat : 3864 (java) S 3852 3854 3822 0 -1 4202560 3105 0 0 0 68 0 0 0 15 0 22 0 855275246 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3866] ppid=3852 vsize=10549884 CPUtime=16.88 cores=1,3,5,7
/proc/3854/task/3866/stat : 3866 (java) S 3852 3854 3822 0 -1 4202560 34770 0 0 0 1683 5 0 0 15 0 22 0 855275247 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 0 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3871] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3871/stat : 3871 (java) S 3852 3854 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3872] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3872/stat : 3872 (java) S 3852 3854 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3875] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3875/stat : 3875 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855275250 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488518577 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3876] ppid=3852 vsize=10549884 CPUtime=1.23 cores=1,3,5,7
/proc/3854/task/3876/stat : 3876 (java) S 3852 3854 3822 0 -1 4202560 5009 0 0 0 122 1 0 0 15 0 22 0 855275250 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3877] ppid=3852 vsize=10549884 CPUtime=1.06 cores=1,3,5,7
/proc/3854/task/3877/stat : 3877 (java) S 3852 3854 3822 0 -1 4202560 11088 0 0 0 105 1 0 0 15 0 22 0 855275250 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3878] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3878/stat : 3878 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855275250 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3879] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3879/stat : 3879 (java) S 3852 3854 3822 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 855275250 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3896] ppid=3852 vsize=10549884 CPUtime=802.03 cores=1,3,5,7
/proc/3854/task/3896/stat : 3896 (java) R 3852 3854 3822 0 -1 4202560 2059 0 0 0 80203 0 0 0 25 0 22 0 855275434 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505900924 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3854/tid=3897] ppid=3852 vsize=10549884 CPUtime=801.98 cores=1,3,5,7
/proc/3854/task/3897/stat : 3897 (java) R 3852 3854 3822 0 -1 4202560 646068 0 0 0 80129 69 0 0 25 0 22 0 855275434 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505900924 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3854/tid=3898] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3898/stat : 3898 (java) S 3852 3854 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855275436 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3899] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3899/stat : 3899 (java) S 3852 3854 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855275440 10803081216 916140 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1630.25
Current children cumulated vsize (KiB) 10549884
[startup+882.301 s]
/proc/loadavg: 4.02 3.81 2.44 5/597 3938
/proc/meminfo: memFree=17351768/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10549884 CPUtime=1749.73 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 929303 0 1 0 174865 108 0 0 22 0 22 0 855275243 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2637471 916146 2268 9 0 2628205 0
[pid=3854/tid=3855] ppid=3852 vsize=10549884 CPUtime=1.89 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) S 3852 3854 3822 0 -1 4202560 193917 0 1 0 164 25 0 0 15 0 22 0 855275244 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3857] ppid=3852 vsize=10549884 CPUtime=0.69 cores=1,3,5,7
/proc/3854/task/3857/stat : 3857 (java) S 3852 3854 3822 0 -1 4202560 4963 0 0 0 69 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3858] ppid=3852 vsize=10549884 CPUtime=0.73 cores=1,3,5,7
/proc/3854/task/3858/stat : 3858 (java) S 3852 3854 3822 0 -1 4202560 4168 0 0 0 73 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3859] ppid=3852 vsize=10549884 CPUtime=0.62 cores=1,3,5,7
/proc/3854/task/3859/stat : 3859 (java) S 3852 3854 3822 0 -1 4202560 4513 0 0 0 61 1 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3860] ppid=3852 vsize=10549884 CPUtime=0.66 cores=1,3,5,7
/proc/3854/task/3860/stat : 3860 (java) S 3852 3854 3822 0 -1 4202560 3575 0 0 0 66 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3861] ppid=3852 vsize=10549884 CPUtime=0.74 cores=1,3,5,7
/proc/3854/task/3861/stat : 3861 (java) S 3852 3854 3822 0 -1 4202560 5985 0 0 0 74 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3862] ppid=3852 vsize=10549884 CPUtime=0.55 cores=1,3,5,7
/proc/3854/task/3862/stat : 3862 (java) S 3852 3854 3822 0 -1 4202560 2730 0 0 0 55 0 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3863] ppid=3852 vsize=10549884 CPUtime=0.67 cores=1,3,5,7
/proc/3854/task/3863/stat : 3863 (java) S 3852 3854 3822 0 -1 4202560 6131 0 0 0 67 0 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3864] ppid=3852 vsize=10549884 CPUtime=0.73 cores=1,3,5,7
/proc/3854/task/3864/stat : 3864 (java) S 3852 3854 3822 0 -1 4202560 3105 0 0 0 73 0 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3866] ppid=3852 vsize=10549884 CPUtime=17.55 cores=1,3,5,7
/proc/3854/task/3866/stat : 3866 (java) S 3852 3854 3822 0 -1 4202560 34774 0 0 0 1750 5 0 0 15 0 22 0 855275247 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 0 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3871] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3871/stat : 3871 (java) S 3852 3854 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3872] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3872/stat : 3872 (java) S 3852 3854 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3875] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3875/stat : 3875 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488518577 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3876] ppid=3852 vsize=10549884 CPUtime=1.23 cores=1,3,5,7
/proc/3854/task/3876/stat : 3876 (java) S 3852 3854 3822 0 -1 4202560 5009 0 0 0 122 1 0 0 15 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3877] ppid=3852 vsize=10549884 CPUtime=1.06 cores=1,3,5,7
/proc/3854/task/3877/stat : 3877 (java) S 3852 3854 3822 0 -1 4202560 11088 0 0 0 105 1 0 0 15 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3878] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3878/stat : 3878 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3879] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3879/stat : 3879 (java) S 3852 3854 3822 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3896] ppid=3852 vsize=10549884 CPUtime=861.26 cores=1,3,5,7
/proc/3854/task/3896/stat : 3896 (java) R 3852 3854 3822 0 -1 4202560 2066 0 0 0 86126 0 0 0 25 0 22 0 855275434 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505937465 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3854/tid=3897] ppid=3852 vsize=10549884 CPUtime=861.21 cores=1,3,5,7
/proc/3854/task/3897/stat : 3897 (java) R 3852 3854 3822 0 -1 4202560 646068 0 0 0 86052 69 0 0 25 0 22 0 855275434 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505887877 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3854/tid=3898] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3898/stat : 3898 (java) S 3852 3854 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855275436 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3899] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3899/stat : 3899 (java) S 3852 3854 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855275440 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1749.73
Current children cumulated vsize (KiB) 10549884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.601 s]
/proc/loadavg: 4.01 3.83 2.48 3/574 3942
/proc/meminfo: memFree=21044912/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=10549884 CPUtime=1800.12 cores=1,3,5,7
/proc/3854/stat : 3854 (java) S 3852 3854 3822 0 -1 4202496 929305 0 1 0 179904 108 0 0 22 0 22 0 855275243 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 2637471 916146 2268 9 0 2628205 0
[pid=3854/tid=3855] ppid=3852 vsize=10549884 CPUtime=1.89 cores=1,3,5,7
/proc/3854/task/3855/stat : 3855 (java) S 3852 3854 3822 0 -1 4202560 193917 0 1 0 164 25 0 0 15 0 22 0 855275244 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3857] ppid=3852 vsize=10549884 CPUtime=0.71 cores=1,3,5,7
/proc/3854/task/3857/stat : 3857 (java) S 3852 3854 3822 0 -1 4202560 4963 0 0 0 71 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3858] ppid=3852 vsize=10549884 CPUtime=0.73 cores=1,3,5,7
/proc/3854/task/3858/stat : 3858 (java) S 3852 3854 3822 0 -1 4202560 4168 0 0 0 73 0 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3859] ppid=3852 vsize=10549884 CPUtime=0.62 cores=1,3,5,7
/proc/3854/task/3859/stat : 3859 (java) S 3852 3854 3822 0 -1 4202560 4513 0 0 0 61 1 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3860] ppid=3852 vsize=10549884 CPUtime=0.66 cores=1,3,5,7
/proc/3854/task/3860/stat : 3860 (java) S 3852 3854 3822 0 -1 4202560 3575 0 0 0 66 0 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3861] ppid=3852 vsize=10549884 CPUtime=0.76 cores=1,3,5,7
/proc/3854/task/3861/stat : 3861 (java) S 3852 3854 3822 0 -1 4202560 5985 0 0 0 76 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3862] ppid=3852 vsize=10549884 CPUtime=0.57 cores=1,3,5,7
/proc/3854/task/3862/stat : 3862 (java) S 3852 3854 3822 0 -1 4202560 2730 0 0 0 57 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3863] ppid=3852 vsize=10549884 CPUtime=0.7 cores=1,3,5,7
/proc/3854/task/3863/stat : 3863 (java) S 3852 3854 3822 0 -1 4202560 6131 0 0 0 70 0 0 0 16 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3864] ppid=3852 vsize=10549884 CPUtime=0.75 cores=1,3,5,7
/proc/3854/task/3864/stat : 3864 (java) S 3852 3854 3822 0 -1 4202560 3105 0 0 0 75 0 0 0 15 0 22 0 855275246 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3866] ppid=3852 vsize=10549884 CPUtime=17.82 cores=1,3,5,7
/proc/3854/task/3866/stat : 3866 (java) S 3852 3854 3822 0 -1 4202560 34774 0 0 0 1777 5 0 0 15 0 22 0 855275247 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 0 0 16800975 18446604466125452224 0 0 -1 1 0 0 0
[pid=3854/tid=3871] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3871/stat : 3871 (java) S 3852 3854 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3872] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3872/stat : 3872 (java) S 3852 3854 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855275247 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3875] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3875/stat : 3875 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488518577 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3876] ppid=3852 vsize=10549884 CPUtime=1.23 cores=1,3,5,7
/proc/3854/task/3876/stat : 3876 (java) S 3852 3854 3822 0 -1 4202560 5009 0 0 0 122 1 0 0 15 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
[pid=3854/tid=3877] ppid=3852 vsize=10549884 CPUtime=1.06 cores=1,3,5,7
/proc/3854/task/3877/stat : 3877 (java) S 3852 3854 3822 0 -1 4202560 11088 0 0 0 105 1 0 0 15 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 7 0 0 0
[pid=3854/tid=3878] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3878/stat : 3878 (java) S 3852 3854 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488510873 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3879] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3879/stat : 3879 (java) S 3852 3854 3822 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855275250 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3896] ppid=3852 vsize=10549884 CPUtime=886.29 cores=1,3,5,7
/proc/3854/task/3896/stat : 3896 (java) R 3852 3854 3822 0 -1 4202560 2068 0 0 0 88629 0 0 0 25 0 22 0 855275434 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505923786 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3854/tid=3897] ppid=3852 vsize=10549884 CPUtime=886.24 cores=1,3,5,7
/proc/3854/task/3897/stat : 3897 (java) R 3852 3854 3822 0 -1 4202560 646068 0 0 0 88555 69 0 0 25 0 22 0 855275434 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 46912505918234 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3854/tid=3898] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3898/stat : 3898 (java) S 3852 3854 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855275436 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 3 0 0 0
[pid=3854/tid=3899] ppid=3852 vsize=10549884 CPUtime=0 cores=1,3,5,7
/proc/3854/task/3899/stat : 3899 (java) S 3852 3854 3822 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855275440 10803081216 916146 33554432000 1073741824 1073778376 140736777899024 18446744073709551615 239488511488 0 4 0 16800975 18446604466125452224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10549884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.728 s]
/proc/loadavg: 4.01 3.83 2.48 3/574 3942
/proc/meminfo: memFree=21044912/32950928 swapFree=67056580/67111528
[pid=3854] ppid=3852 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/3854/stat : 3854 (java) Z 3852 3854 3822 0 -1 4203548 929336 0 1 0 179918 115 0 0 17 0 2 0 855275243 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3854/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 907.794
CPU time (s): 1800.41
CPU user time (s): 1799.18
CPU system time (s): 1.22381
CPU usage (%): 198.328
Max. virtual memory (cumulated for all children) (KiB): 10557140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.22381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 929336
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= 24701
involuntary context switches= 17740
runsolver used 5.00024 second user time and 12.3831 second system time
The end