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-3454288-1307192936/watcher-3454288-1307192936 -o /tmp/evaluation-result-3454288-1307192936/solver-3454288-1307192936 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454288-1307192936.opb
running on 4 cores: 0,2,4,6
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.52 3.73 3.39 4/494 4635
/proc/meminfo: memFree=17509324/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/4635/stat : 4635 (java) R 4633 4635 678 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 830893278 23580672 693 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274469004776 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4635/statm: 5757 693 509 9 0 124 0
[pid=4635/tid=4636] ppid=4633 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4635 678 0 -1 4202560 4025 0 1 0 0 0 0 0 25 0 2 0 830893279 10694979584 4841 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.121526 s]
/proc/loadavg: 3.52 3.73 3.39 4/494 4635
/proc/meminfo: memFree=17509324/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10539992 CPUtime=0.13 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 13646 0 1 0 12 1 0 0 25 0 18 0 830893278 10792951808 13301 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2634998 13301 2133 9 0 2625732 0
[pid=4635/tid=4636] ppid=4633 vsize=10539992 CPUtime=0.1 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4635 678 0 -1 4202560 11605 0 1 0 9 1 0 0 25 0 18 0 830893279 10792951808 13301 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539992
[startup+0.200489 s]
/proc/loadavg: 3.52 3.73 3.39 4/494 4635
/proc/meminfo: memFree=17509324/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10539992 CPUtime=0.25 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 14317 0 1 0 24 1 0 0 25 0 18 0 830893278 10792951808 13913 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2634998 13913 2169 9 0 2625732 0
[pid=4635/tid=4636] ppid=4633 vsize=10539992 CPUtime=0.18 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4635 678 0 -1 4202560 12075 0 1 0 17 1 0 0 25 0 18 0 830893279 10792951808 13913 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505182412 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10539992
[startup+0.300518 s]
/proc/loadavg: 3.52 3.73 3.39 4/494 4635
/proc/meminfo: memFree=17509324/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10540044 CPUtime=0.48 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 16261 0 1 0 46 2 0 0 25 0 18 0 830893278 10793005056 15570 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2635011 15571 2201 9 0 2625745 0
[pid=4635/tid=4636] ppid=4633 vsize=10540044 CPUtime=0.28 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4635 678 0 -1 4202560 13227 0 1 0 27 1 0 0 25 0 18 0 830893279 10793005056 15571 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505592651 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540044
[startup+0.700485 s]
/proc/loadavg: 3.52 3.73 3.39 4/494 4635
/proc/meminfo: memFree=17509324/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10543780 CPUtime=1.16 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 57474 0 1 0 109 7 0 0 25 0 18 0 830893278 10796830720 55009 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2635945 55014 2213 9 0 2626679 0
[pid=4635/tid=4636] ppid=4633 vsize=10543780 CPUtime=0.67 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4635 678 0 -1 4202560 50997 0 1 0 61 6 0 0 25 0 18 0 830893279 10796830720 55017 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505558875 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10543780
[startup+1.50125 s]
/proc/loadavg: 3.52 3.73 3.39 5/516 4660
/proc/meminfo: memFree=17239692/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10547892 CPUtime=3.04 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 76765 0 1 0 294 10 0 0 25 0 22 0 830893278 10801041408 73835 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2636973 73836 2235 9 0 2627707 0
[pid=4635/tid=4636] ppid=4633 vsize=10547892 CPUtime=0.98 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4635 678 0 -1 4202560 63898 0 1 0 90 8 0 0 25 0 22 0 830893279 10801041408 73836 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4646] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 678 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830893282 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 0 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 678 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830893282 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4648] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893282 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4649] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485791153 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4650] ppid=4633 vsize=10547892 CPUtime=0.52 cores=0,2,4,6
/proc/4635/task/4650/stat : 4650 (java) S 4633 4635 678 0 -1 4202560 2724 0 0 0 52 0 0 0 15 0 22 0 830893284 10801041408 73837 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4651] ppid=4633 vsize=10547892 CPUtime=0.57 cores=0,2,4,6
/proc/4635/task/4651/stat : 4651 (java) R 4633 4635 678 0 -1 4202560 3195 0 0 0 57 0 0 0 15 0 22 0 830893284 10801041408 73838 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 47688389277158 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4635/tid=4652] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4652/stat : 4652 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10801041408 73839 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4653] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4653/stat : 4653 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830893284 10801041408 73839 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4657] ppid=4633 vsize=10547892 CPUtime=0.49 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4635 678 0 -1 4202560 955 0 0 0 49 0 0 0 25 0 22 0 830893379 10801041408 73839 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505784774 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4635/tid=4658] ppid=4633 vsize=10547892 CPUtime=0.43 cores=0,2,4,6
/proc/4635/task/4658/stat : 4658 (java) R 4633 4635 678 0 -1 4202560 4829 0 0 0 43 0 0 0 25 0 22 0 830893379 10801041408 73839 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505799442 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4635/tid=4659] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4659/stat : 4659 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893382 10801041408 73839 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4660] ppid=4633 vsize=10547892 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4660/stat : 4660 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893385 10801041408 73839 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 10547892
[startup+3.10096 s]
/proc/loadavg: 3.52 3.73 3.39 4/516 4660
/proc/meminfo: memFree=16905016/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10548196 CPUtime=6.47 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 300186 0 1 0 611 36 0 0 25 0 22 0 830893278 10801352704 296813 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2637049 296816 2236 9 0 2627783 0
[pid=4635/tid=4636] ppid=4633 vsize=10548196 CPUtime=0.98 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4635 678 0 -1 4202560 63898 0 1 0 90 8 0 0 15 0 22 0 830893279 10801352704 296820 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296826 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296832 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296838 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296844 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296851 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296857 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296863 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893281 10801352704 296869 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4646] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 678 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 830893282 10801352704 296876 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 0 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 678 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830893282 10801352704 296882 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4648] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893282 10801352704 296887 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4649] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10801352704 296894 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485791153 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4650] ppid=4633 vsize=10548196 CPUtime=0.67 cores=0,2,4,6
/proc/4635/task/4650/stat : 4650 (java) S 4633 4635 678 0 -1 4202560 2813 0 0 0 67 0 0 0 16 0 22 0 830893284 10801352704 296901 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4651] ppid=4633 vsize=10548196 CPUtime=0.65 cores=0,2,4,6
/proc/4635/task/4651/stat : 4651 (java) S 4633 4635 678 0 -1 4202560 3649 0 0 0 65 0 0 0 15 0 22 0 830893284 10801352704 296907 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4652] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4652/stat : 4652 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10801352704 296914 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4653] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4653/stat : 4653 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830893284 10801352704 296920 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4657] ppid=4633 vsize=10548196 CPUtime=2.08 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4635 678 0 -1 4202560 1698 0 0 0 208 0 0 0 25 0 22 0 830893379 10801352704 296927 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505784774 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4635/tid=4658] ppid=4633 vsize=10548196 CPUtime=2.03 cores=0,2,4,6
/proc/4635/task/4658/stat : 4658 (java) R 4633 4635 678 0 -1 4202560 227079 0 0 0 177 26 0 0 25 0 22 0 830893379 10801352704 296933 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912506057530 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4635/tid=4659] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4659/stat : 4659 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893382 10801352704 296940 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4660] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4660/stat : 4660 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893385 10801352704 296946 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 10548196
[startup+6.30144 s]
/proc/loadavg: 3.56 3.73 3.40 5/516 4663
/proc/meminfo: memFree=14940148/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10548196 CPUtime=12.93 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 666148 0 1 0 1216 77 0 0 25 0 22 0 830893278 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2637049 662759 2249 9 0 2627783 0
[pid=4635/tid=4636] ppid=4633 vsize=10548196 CPUtime=0.98 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4635 678 0 -1 4202560 63898 0 1 0 90 8 0 0 15 0 22 0 830893279 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 678 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=10548196 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 678 0 -1 4202560 155 0 0 0 0 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=10548196 CPUtime=0.02 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 678 0 -1 4202560 1585 0 0 0 2 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=10548196 CPUtime=0.02 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 678 0 -1 4202560 1705 0 0 0 2 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=10548196 CPUtime=0.02 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 678 0 -1 4202560 2088 0 0 0 2 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=10548196 CPUtime=0.02 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 678 0 -1 4202560 1626 0 0 0 2 0 0 0 18 0 22 0 830893281 10801352704 662759 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 678 0 -1 4202560 29361 0 0 0 47 4 0 0 15 0 22 0 830893281 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=10550348 CPUtime=0.47 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 678 0 -1 4202560 42169 0 0 0 41 6 0 0 16 0 22 0 830893281 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=10550348 CPUtime=0.49 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 678 0 -1 4202560 36548 0 0 0 44 5 0 0 16 0 22 0 830893281 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=10550348 CPUtime=0.54 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 678 0 -1 4202560 19246 0 0 0 52 2 0 0 15 0 22 0 830893281 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=10550348 CPUtime=0.49 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 678 0 -1 4202560 29107 0 0 0 44 5 0 0 16 0 22 0 830893281 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=10550348 CPUtime=0.46 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 678 0 -1 4202560 25215 0 0 0 43 3 0 0 16 0 22 0 830893281 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4646] ppid=4633 vsize=10550348 CPUtime=0.2 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 678 0 -1 4202560 68 0 0 0 18 2 0 0 15 0 22 0 830893282 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 0 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 678 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830893282 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4648] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4635 678 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830893282 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4649] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485791153 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4650] ppid=4633 vsize=10550348 CPUtime=1.12 cores=0,2,4,6
/proc/4635/task/4650/stat : 4650 (java) S 4633 4635 678 0 -1 4202560 6571 0 0 0 111 1 0 0 15 0 22 0 830893284 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4651] ppid=4633 vsize=10550348 CPUtime=0.86 cores=0,2,4,6
/proc/4635/task/4651/stat : 4651 (java) S 4633 4635 678 0 -1 4202560 3687 0 0 0 86 0 0 0 16 0 22 0 830893284 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4652] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4652/stat : 4652 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4653] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4653/stat : 4653 (java) S 4633 4635 678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830893284 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4657] ppid=4633 vsize=10550348 CPUtime=819.92 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4635 678 0 -1 4202560 2759 0 0 0 81991 1 0 0 25 0 22 0 830893379 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912506194264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4635/tid=4658] ppid=4633 vsize=10550348 CPUtime=819.87 cores=0,2,4,6
/proc/4635/task/4658/stat : 4658 (java) R 4633 4635 678 0 -1 4202560 761233 0 0 0 81901 86 0 0 25 0 22 0 830893379 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505779626 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4635/tid=4659] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4659/stat : 4659 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893382 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4660] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4660/stat : 4660 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893385 10803556352 1058228 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1646.98
Current children cumulated vsize (KiB) 10550348
[startup+882.318 s]
/proc/loadavg: 2.50 3.46 3.56 3/489 4727
/proc/meminfo: memFree=16124456/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10550348 CPUtime=1767.15 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 1082106 0 1 0 176576 139 0 0 25 0 22 0 830893278 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2637587 1058315 2268 9 0 2628321 0
[pid=4635/tid=4636] ppid=4633 vsize=10550348 CPUtime=0.98 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4635 678 0 -1 4202560 63904 0 1 0 90 8 0 0 15 0 22 0 830893279 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=10550348 CPUtime=0.54 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 678 0 -1 4202560 26161 0 0 0 50 4 0 0 15 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=10550348 CPUtime=0.49 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 678 0 -1 4202560 34765 0 0 0 44 5 0 0 15 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=10550348 CPUtime=0.56 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 678 0 -1 4202560 29385 0 0 0 52 4 0 0 16 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=10550348 CPUtime=0.51 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 678 0 -1 4202560 42169 0 0 0 45 6 0 0 15 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=10550348 CPUtime=0.53 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 678 0 -1 4202560 36566 0 0 0 48 5 0 0 16 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=10550348 CPUtime=0.57 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 678 0 -1 4202560 19277 0 0 0 55 2 0 0 16 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=10550348 CPUtime=0.52 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 678 0 -1 4202560 29107 0 0 0 47 5 0 0 15 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=10550348 CPUtime=0.5 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 678 0 -1 4202560 25229 0 0 0 47 3 0 0 16 0 22 0 830893281 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4646] ppid=4633 vsize=10550348 CPUtime=0.2 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 678 0 -1 4202560 70 0 0 0 18 2 0 0 16 0 22 0 830893282 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 0 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 678 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830893282 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4648] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4635 678 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830893282 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4649] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485791153 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4650] ppid=4633 vsize=10550348 CPUtime=1.12 cores=0,2,4,6
/proc/4635/task/4650/stat : 4650 (java) S 4633 4635 678 0 -1 4202560 6571 0 0 0 111 1 0 0 15 0 22 0 830893284 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4651] ppid=4633 vsize=10550348 CPUtime=0.86 cores=0,2,4,6
/proc/4635/task/4651/stat : 4651 (java) S 4633 4635 678 0 -1 4202560 3687 0 0 0 86 0 0 0 16 0 22 0 830893284 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4652] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4652/stat : 4652 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4653] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4653/stat : 4653 (java) S 4633 4635 678 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830893284 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4657] ppid=4633 vsize=10550348 CPUtime=879.83 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4635 678 0 -1 4202560 2767 0 0 0 87982 1 0 0 25 0 22 0 830893379 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505869544 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4635/tid=4658] ppid=4633 vsize=10550348 CPUtime=879.79 cores=0,2,4,6
/proc/4635/task/4658/stat : 4658 (java) R 4633 4635 678 0 -1 4202560 761240 0 0 0 87893 86 0 0 25 0 22 0 830893379 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505779614 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4635/tid=4659] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4659/stat : 4659 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893382 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4660] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4660/stat : 4660 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893385 10803556352 1058315 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1767.15
Current children cumulated vsize (KiB) 10550348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.818 s]
/proc/loadavg: 2.39 3.39 3.53 3/489 4728
/proc/meminfo: memFree=16124188/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=10550348 CPUtime=1800.2 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4635 678 0 -1 4202496 1082140 0 1 0 179880 140 0 0 25 0 22 0 830893278 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 2637587 1058342 2268 9 0 2628321 0
[pid=4635/tid=4636] ppid=4633 vsize=10550348 CPUtime=0.98 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4635 678 0 -1 4202560 63904 0 1 0 90 8 0 0 15 0 22 0 830893279 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=10550348 CPUtime=0.55 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 678 0 -1 4202560 26161 0 0 0 51 4 0 0 16 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=10550348 CPUtime=0.51 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 678 0 -1 4202560 34765 0 0 0 46 5 0 0 16 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=10550348 CPUtime=0.57 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 678 0 -1 4202560 29385 0 0 0 53 4 0 0 16 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=10550348 CPUtime=0.52 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 678 0 -1 4202560 42196 0 0 0 46 6 0 0 16 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=10550348 CPUtime=0.54 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 678 0 -1 4202560 36566 0 0 0 49 5 0 0 15 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=10550348 CPUtime=0.58 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 678 0 -1 4202560 19277 0 0 0 56 2 0 0 15 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=10550348 CPUtime=0.52 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 678 0 -1 4202560 29107 0 0 0 47 5 0 0 15 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=10550348 CPUtime=0.5 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 678 0 -1 4202560 25229 0 0 0 47 3 0 0 15 0 22 0 830893281 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4646] ppid=4633 vsize=10550348 CPUtime=0.2 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 678 0 -1 4202560 72 0 0 0 18 2 0 0 15 0 22 0 830893282 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 0 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 678 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830893282 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4648] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4635 678 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830893282 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4649] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485791153 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4650] ppid=4633 vsize=10550348 CPUtime=1.12 cores=0,2,4,6
/proc/4635/task/4650/stat : 4650 (java) S 4633 4635 678 0 -1 4202560 6571 0 0 0 111 1 0 0 15 0 22 0 830893284 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 6 0 0 0
[pid=4635/tid=4651] ppid=4633 vsize=10550348 CPUtime=0.86 cores=0,2,4,6
/proc/4635/task/4651/stat : 4651 (java) S 4633 4635 678 0 -1 4202560 3687 0 0 0 86 0 0 0 16 0 22 0 830893284 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4652] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4652/stat : 4652 (java) S 4633 4635 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830893284 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485783449 0 4 0 16800975 18446604446732803008 0 0 -1 4 0 0 0
[pid=4635/tid=4653] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4653/stat : 4653 (java) S 4633 4635 678 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830893284 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4657] ppid=4633 vsize=10550348 CPUtime=896.33 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4635 678 0 -1 4202560 2770 0 0 0 89632 1 0 0 25 0 22 0 830893379 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912505863835 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4635/tid=4658] ppid=4633 vsize=10550348 CPUtime=896.29 cores=0,2,4,6
/proc/4635/task/4658/stat : 4658 (java) R 4633 4635 678 0 -1 4202560 761240 0 0 0 89543 86 0 0 25 0 22 0 830893379 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 46912506155381 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4635/tid=4659] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4659/stat : 4659 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893382 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 2 0 0 0
[pid=4635/tid=4660] ppid=4633 vsize=10550348 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4660/stat : 4660 (java) S 4633 4635 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830893385 10803556352 1058342 33554432000 1073741824 1073778376 140733214535456 18446744073709551615 274485784064 0 4 0 16800975 18446604446732803008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10550348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+898.924 s]
/proc/loadavg: 2.39 3.39 3.53 3/489 4728
/proc/meminfo: memFree=16124188/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/4635/stat : 4635 (java) Z 4633 4635 678 0 -1 4203548 1082167 0 1 0 179885 147 0 0 17 0 2 0 830893278 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 0 0 0 0 0 0 0
[pid=4635/tid=4657] ppid=4633 vsize=0 CPUtime=896.41 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4635 678 0 -1 4203588 2770 0 0 0 89633 8 0 0 25 0 2 0 830893379 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
[startup+899.001 s]
/proc/loadavg: 2.39 3.39 3.53 3/489 4728
/proc/meminfo: memFree=16124188/32950928 swapFree=61858088/67111528
[pid=4635] ppid=4633 vsize=0 CPUtime=1800.4 cores=0,2,4,6
/proc/4635/stat : 4635 (java) Z 4633 4635 678 0 -1 4203548 1082167 0 1 0 179885 155 0 0 17 0 2 0 830893278 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4635/statm: 0 0 0 0 0 0 0
[pid=4635/tid=4657] ppid=4633 vsize=0 CPUtime=896.49 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4635 678 0 -1 4203588 2770 0 0 0 89633 16 0 0 25 0 2 0 830893379 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.022
CPU time (s): 1800.43
CPU user time (s): 1798.86
CPU system time (s): 1.57376
CPU usage (%): 200.266
Max. virtual memory (cumulated for all children) (KiB): 10558660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.57376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1082167
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= 25297
involuntary context switches= 10182
runsolver used 4.44932 second user time and 9.59754 second system time
The end