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-3478968-1307440525/watcher-3478968-1307440525 -o /tmp/evaluation-result-3478968-1307440525/solver-3478968-1307440525 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478968-1307440525.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: 3.66 3.90 3.83 3/575 4595
/proc/meminfo: memFree=20254272/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 1127 0 0 0 0 0 0 0 17 0 2 0 855652507 24580096 864 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 6001 864 652 9 0 381 0
[pid=4595/tid=4596] ppid=4593 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 7474 0 1 0 0 1 0 0 18 0 2 0 855652508 10694979584 8290 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.075318 s]
/proc/loadavg: 3.66 3.90 3.83 3/575 4595
/proc/meminfo: memFree=20254272/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 11909 0 1 0 5 1 0 0 17 0 18 0 855652507 10724442112 11605 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2618272 11606 1754 9 0 2609006 0
[pid=4595/tid=4596] ppid=4593 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 10735 0 1 0 4 1 0 0 25 0 18 0 855652508 10724442112 11607 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100266 s]
/proc/loadavg: 3.66 3.90 3.83 3/575 4595
/proc/meminfo: memFree=20254272/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10540160 CPUtime=0.1 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 13022 0 1 0 8 2 0 0 17 0 18 0 855652507 10793123840 12718 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2635040 12718 2093 9 0 2625774 0
[pid=4595/tid=4596] ppid=4593 vsize=10540160 CPUtime=0.08 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 11108 0 1 0 7 1 0 0 25 0 18 0 855652508 10793123840 12718 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46985698907672 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540160
[startup+0.300243 s]
/proc/loadavg: 3.66 3.90 3.83 3/575 4595
/proc/meminfo: memFree=20254272/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10541496 CPUtime=0.42 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 42315 0 1 0 37 5 0 0 17 0 18 0 855652507 10794491904 41920 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2635374 41921 2194 9 0 2626108 0
[pid=4595/tid=4596] ppid=4593 vsize=10541496 CPUtime=0.28 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 39821 0 1 0 24 4 0 0 25 0 18 0 855652508 10794491904 41921 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46985696704136 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10541496
[startup+0.701168 s]
/proc/loadavg: 3.66 3.90 3.83 3/575 4595
/proc/meminfo: memFree=20254272/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10546232 CPUtime=1.16 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 153720 0 1 0 99 17 0 0 17 0 18 0 855652507 10799341568 151632 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2636558 151635 2215 9 0 2627292 0
[pid=4595/tid=4596] ppid=4593 vsize=10546232 CPUtime=0.68 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 147842 0 1 0 52 16 0 0 25 0 18 0 855652508 10799341568 151637 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505589930 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10546232
[startup+1.50102 s]
/proc/loadavg: 3.66 3.90 3.83 4/593 4613
/proc/meminfo: memFree=19172732/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10546232 CPUtime=2.01 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 477321 0 1 0 147 54 0 0 17 0 18 0 855652507 10799341568 475235 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2636558 475261 2215 9 0 2627292 0
[pid=4595/tid=4596] ppid=4593 vsize=10546232 CPUtime=1.48 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 471463 0 1 0 95 53 0 0 25 0 18 0 855652508 10799341568 475275 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46985700342874 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855652509 10799341568 475291 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855652509 10799341568 475308 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855652509 10799341568 475314 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855652509 10799341568 475315 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855652509 10799341568 475317 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855652509 10799341568 475320 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 3822 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 855652509 10799341568 475323 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855652509 10799341568 475325 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855652510 10799341568 475328 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 3822 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 855652511 10799341568 475331 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 855652511 10799341568 475334 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855652513 10799341568 475337 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=10546232 CPUtime=0.21 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 3822 0 -1 4202560 1408 0 0 0 21 0 0 0 22 0 18 0 855652513 10799341568 475339 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=10546232 CPUtime=0.3 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 3822 0 -1 4202560 3339 0 0 0 30 0 0 0 24 0 18 0 855652513 10799341568 475342 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855652513 10799341568 475345 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855652513 10799341568 475348 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10546232
[startup+3.10072 s]
/proc/loadavg: 3.66 3.90 3.83 4/593 4613
/proc/meminfo: memFree=17593220/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10546232 CPUtime=3.96 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 693112 0 1 0 320 76 0 0 17 0 18 0 855652507 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2636558 690979 2231 9 0 2627292 0
[pid=4595/tid=4596] ppid=4593 vsize=10546232 CPUtime=2.98 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 649460 0 1 0 228 70 0 0 25 0 18 0 855652508 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46985700342871 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=10546232 CPUtime=0.08 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 3822 0 -1 4202560 11245 0 0 0 7 1 0 0 18 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=10546232 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 3822 0 -1 4202560 2044 0 0 0 3 0 0 0 16 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 3822 0 -1 4202560 228 0 0 0 0 0 0 0 16 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=10546232 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 3822 0 -1 4202560 8876 0 0 0 4 0 0 0 18 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=10546232 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 3822 0 -1 4202560 4297 0 0 0 3 0 0 0 18 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=10546232 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 3822 0 -1 4202560 3879 0 0 0 3 0 0 0 16 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=10546232 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 3822 0 -1 4202560 7116 0 0 0 4 0 0 0 16 0 18 0 855652509 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 3822 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855652510 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855652511 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855652511 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855652513 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=10546232 CPUtime=0.28 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 3822 0 -1 4202560 1460 0 0 0 28 0 0 0 15 0 18 0 855652513 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=10546232 CPUtime=0.36 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 3822 0 -1 4202560 3353 0 0 0 36 0 0 0 15 0 18 0 855652513 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855652513 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855652513 10799341568 690979 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10546232
[startup+6.3011 s]
/proc/loadavg: 3.61 3.88 3.83 4/593 4613
/proc/meminfo: memFree=17391972/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10544684 CPUtime=7.79 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 725304 0 1 0 698 81 0 0 17 0 18 0 855652507 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2636171 722809 2231 9 0 2626905 0
[pid=4595/tid=4596] ppid=4593 vsize=10544684 CPUtime=5.96 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 3822 0 -1 4202560 650967 0 1 0 524 72 0 0 18 0 18 0 855652508 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46985700342871 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=10544684 CPUtime=0.21 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 3822 0 -1 4202560 14993 0 0 0 20 1 0 0 18 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=10544684 CPUtime=0.16 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 3822 0 -1 4202560 6432 0 0 0 16 0 0 0 16 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=10544684 CPUtime=0.06 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 3822 0 -1 4202560 2053 0 0 0 6 0 0 0 16 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=10544684 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=10544684 CPUtime=0.2 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 3822 0 -1 4202560 14048 0 0 0 19 1 0 0 16 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=10544684 CPUtime=0.17 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 3822 0 -1 4202560 11309 0 0 0 16 1 0 0 16 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=10544684 CPUtime=0.18 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 3822 0 -1 4202560 10016 0 0 0 17 1 0 0 16 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=10544684 CPUtime=0.11 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 3822 0 -1 4202560 9519 0 0 0 10 1 0 0 15 0 18 0 855652509 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=10544684 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 3822 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855652510 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=10544684 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855652511 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=10544684 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855652511 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=10544684 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855652513 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=10544684 CPUtime=0.28 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 3822 0 -1 4202560 1460 0 0 0 28 0 0 0 15 0 18 0 855652513 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=10544684 CPUtime=0.36 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 3822 0 -1 4202560 3353 0 0 0 36 0 0 0 15 0 18 0 855652513 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=10544684 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855652513 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=10544684 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855652513 10797756416 722809 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 3822 0 -1 4202560 208971 0 0 0 1541 28 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=10630340 CPUtime=14.66 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 3822 0 -1 4202560 226021 0 0 0 1436 30 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=10630340 CPUtime=15.28 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 3822 0 -1 4202560 199033 0 0 0 1502 26 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=10630340 CPUtime=16.29 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 3822 0 -1 4202560 195696 0 0 0 1604 25 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=10630340 CPUtime=16.88 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 3822 0 -1 4202560 221340 0 0 0 1659 29 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=10630340 CPUtime=17.15 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 3822 0 -1 4202560 249693 0 0 0 1682 33 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=10630340 CPUtime=14.49 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 3822 0 -1 4202560 177470 0 0 0 1424 25 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=10630340 CPUtime=16.12 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 3822 0 -1 4202560 230409 0 0 0 1580 32 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=10630340 CPUtime=147.45 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 3822 0 -1 4202560 378 0 0 0 14743 2 0 0 15 0 22 0 855652510 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855652511 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855652511 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=10630340 CPUtime=1.31 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 3822 0 -1 4202560 11224 0 0 0 130 1 0 0 15 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=10630340 CPUtime=1.73 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 3822 0 -1 4202560 11982 0 0 0 171 2 0 0 16 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 3822 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4621] ppid=4593 vsize=10630340 CPUtime=589.41 cores=1,3,5,7
/proc/4595/task/4621/stat : 4621 (java) R 4593 4595 3822 0 -1 4202560 34 0 0 0 58941 0 0 0 25 0 22 0 855678757 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505959809 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4622] ppid=4593 vsize=10630340 CPUtime=589.39 cores=1,3,5,7
/proc/4595/task/4622/stat : 4622 (java) R 4593 4595 3822 0 -1 4202560 87 0 0 0 58939 0 0 0 25 0 22 0 855678757 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505993584 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4623] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4623/stat : 4623 (java) S 4593 4595 3822 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 855678790 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4624] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4624/stat : 4624 (java) S 4593 4595 3822 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 22 0 855678790 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1688.77
Current children cumulated vsize (KiB) 10630340
[startup+1062.3 s]
/proc/loadavg: 3.90 3.85 3.82 5/597 4709
/proc/meminfo: memFree=12596336/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10630340 CPUtime=1796.72 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 2454546 0 1 0 179253 419 0 0 17 0 22 0 855652507 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2657585 2414943 2265 9 0 2648319 0
[pid=4595/tid=4596] ppid=4593 vsize=10630340 CPUtime=232.78 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 3822 0 -1 4202560 720984 0 1 0 23098 180 0 0 15 0 22 0 855652508 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=10630340 CPUtime=15.69 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 3822 0 -1 4202560 208971 0 0 0 1541 28 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=10630340 CPUtime=14.71 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 3822 0 -1 4202560 226021 0 0 0 1441 30 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=10630340 CPUtime=15.32 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 3822 0 -1 4202560 199033 0 0 0 1506 26 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=10630340 CPUtime=16.3 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 3822 0 -1 4202560 195696 0 0 0 1605 25 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=10630340 CPUtime=16.94 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 3822 0 -1 4202560 221340 0 0 0 1665 29 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=10630340 CPUtime=17.19 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 3822 0 -1 4202560 249693 0 0 0 1686 33 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=10630340 CPUtime=14.54 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 3822 0 -1 4202560 177470 0 0 0 1429 25 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=10630340 CPUtime=16.16 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 3822 0 -1 4202560 230409 0 0 0 1584 32 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=10630340 CPUtime=159.61 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 3822 0 -1 4202560 382 0 0 0 15959 2 0 0 15 0 22 0 855652510 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855652511 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855652511 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=10630340 CPUtime=1.32 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 3822 0 -1 4202560 11225 0 0 0 131 1 0 0 15 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=10630340 CPUtime=1.73 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 3822 0 -1 4202560 11982 0 0 0 171 2 0 0 16 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 3822 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4621] ppid=4593 vsize=10630340 CPUtime=637.16 cores=1,3,5,7
/proc/4595/task/4621/stat : 4621 (java) R 4593 4595 3822 0 -1 4202560 35 0 0 0 63716 0 0 0 25 0 22 0 855678757 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505959345 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4622] ppid=4593 vsize=10630340 CPUtime=637.14 cores=1,3,5,7
/proc/4595/task/4622/stat : 4622 (java) R 4593 4595 3822 0 -1 4202560 87 0 0 0 63714 0 0 0 25 0 22 0 855678757 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505993611 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4623] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4623/stat : 4623 (java) S 4593 4595 3822 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 855678790 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4624] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4624/stat : 4624 (java) S 4593 4595 3822 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 22 0 855678790 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 10630340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1064 s]
/proc/loadavg: 3.91 3.86 3.82 5/597 4709
/proc/meminfo: memFree=12596212/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=10630340 CPUtime=1800.14 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 3822 0 -1 4202496 2454548 0 1 0 179595 419 0 0 17 0 22 0 855652507 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 2657585 2414943 2265 9 0 2648319 0
[pid=4595/tid=4596] ppid=4593 vsize=10630340 CPUtime=232.78 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 3822 0 -1 4202560 720984 0 1 0 23098 180 0 0 15 0 22 0 855652508 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=10630340 CPUtime=15.69 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 3822 0 -1 4202560 208971 0 0 0 1541 28 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=10630340 CPUtime=14.71 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 3822 0 -1 4202560 226021 0 0 0 1441 30 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=10630340 CPUtime=15.32 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 3822 0 -1 4202560 199033 0 0 0 1506 26 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=10630340 CPUtime=16.3 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 3822 0 -1 4202560 195696 0 0 0 1605 25 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=10630340 CPUtime=16.94 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 3822 0 -1 4202560 221340 0 0 0 1665 29 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=10630340 CPUtime=17.19 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 3822 0 -1 4202560 249693 0 0 0 1686 33 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=10630340 CPUtime=14.54 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 3822 0 -1 4202560 177470 0 0 0 1429 25 0 0 16 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=10630340 CPUtime=16.16 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 3822 0 -1 4202560 230409 0 0 0 1584 32 0 0 15 0 22 0 855652509 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=10630340 CPUtime=159.61 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 3822 0 -1 4202560 382 0 0 0 15959 2 0 0 15 0 22 0 855652510 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855652511 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855652511 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=10630340 CPUtime=1.32 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 3822 0 -1 4202560 11225 0 0 0 131 1 0 0 15 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=10630340 CPUtime=1.73 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 3822 0 -1 4202560 11982 0 0 0 171 2 0 0 16 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 3822 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 855652513 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4595/tid=4621] ppid=4593 vsize=10630340 CPUtime=638.88 cores=1,3,5,7
/proc/4595/task/4621/stat : 4621 (java) R 4593 4595 3822 0 -1 4202560 35 0 0 0 63888 0 0 0 25 0 22 0 855678757 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505959814 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4622] ppid=4593 vsize=10630340 CPUtime=638.86 cores=1,3,5,7
/proc/4595/task/4622/stat : 4622 (java) R 4593 4595 3822 0 -1 4202560 87 0 0 0 63886 0 0 0 25 0 22 0 855678757 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 46912505972635 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4623] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4623/stat : 4623 (java) S 4593 4595 3822 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 855678790 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4595/tid=4624] ppid=4593 vsize=10630340 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4624/stat : 4624 (java) S 4593 4595 3822 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 22 0 855678790 10885468160 2414943 33554432000 1073741824 1073778376 140733359986704 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10630340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1064.2 s]
/proc/loadavg: 3.91 3.86 3.82 5/597 4709
/proc/meminfo: memFree=12596212/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/4595/stat : 4595 (java) Z 4593 4595 3822 0 -1 4203548 2454580 0 1 0 179603 435 0 0 15 0 2 0 855652507 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
[startup+1064.3 s]
/proc/loadavg: 3.91 3.86 3.82 5/597 4709
/proc/meminfo: memFree=12596212/32950928 swapFree=67056580/67111528
[pid=4595] ppid=4593 vsize=0 CPUtime=1800.48 cores=1,3,5,7
/proc/4595/stat : 4595 (java) Z 4593 4595 3822 0 -1 4203548 2454580 0 1 0 179603 445 0 0 15 0 2 0 855652507 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1064.37
CPU time (s): 1800.57
CPU user time (s): 1796.04
CPU system time (s): 4.53031
CPU usage (%): 169.167
Max. virtual memory (cumulated for all children) (KiB): 10635432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 4.53031
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2454580
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= 31797
involuntary context switches= 212496
runsolver used 5.9411 second user time and 14.4798 second system time
The end