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-3454723-1307186721/watcher-3454723-1307186721 -o /tmp/evaluation-result-3454723-1307186721/solver-3454723-1307186721 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454723-1307186721.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.36 2.26 1.95 3/509 20865
/proc/meminfo: memFree=20747856/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 1377 0 1 0 0 0 0 0 25 0 2 0 562863344 88928256 1078 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 21711 1082 836 9 0 12867 0
[pid=20865/tid=20866] ppid=20863 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) R 20863 20865 17058 0 -1 4202560 7062 0 1 0 0 0 0 0 25 0 2 0 562863345 10694979584 7878 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0438721 s]
/proc/loadavg: 3.36 2.26 1.95 3/509 20865
/proc/meminfo: memFree=20747856/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 11292 0 1 0 2 1 0 0 25 0 13 0 562863344 10718699520 10988 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2616870 10991 1675 9 0 2607618 0
[pid=20865/tid=20866] ppid=20863 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) R 20863 20865 17058 0 -1 4202560 10148 0 1 0 2 1 0 0 25 0 13 0 562863345 10718699520 10993 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268660323013 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100862 s]
/proc/loadavg: 3.36 2.26 1.95 3/509 20865
/proc/meminfo: memFree=20747856/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10539548 CPUtime=0.1 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 13113 0 1 0 9 1 0 0 25 0 18 0 562863344 10792497152 12760 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2634887 12760 2092 9 0 2625621 0
[pid=20865/tid=20866] ppid=20863 vsize=10539548 CPUtime=0.08 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) R 20863 20865 17058 0 -1 4202560 11171 0 1 0 7 1 0 0 18 0 18 0 562863345 10792497152 12761 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 47917379421237 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) 10539548
[startup+0.300794 s]
/proc/loadavg: 3.36 2.26 1.95 3/509 20865
/proc/meminfo: memFree=20747856/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10546876 CPUtime=0.67 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 17442 0 1 0 65 2 0 0 25 0 22 0 562863344 10800001024 15878 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2636719 15878 2213 9 0 2627453 0
[pid=20865/tid=20866] ppid=20863 vsize=10546876 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 19 0 22 0 562863345 10800001024 15878 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10546876
[startup+0.700722 s]
/proc/loadavg: 3.36 2.26 1.95 3/509 20865
/proc/meminfo: memFree=20747856/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10557560 CPUtime=2.21 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 50786 0 1 0 215 6 0 0 25 0 22 0 562863344 10810941440 45183 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2639390 45189 2252 9 0 2630124 0
[pid=20865/tid=20866] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 15 0 22 0 562863345 10810941440 45193 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10557560
[startup+1.50162 s]
/proc/loadavg: 3.36 2.26 1.95 5/531 20887
/proc/meminfo: memFree=20515080/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10557560 CPUtime=4.34 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 83774 0 1 0 424 10 0 0 25 0 22 0 562863344 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2639390 73614 2257 9 0 2630124 0
[pid=20865/tid=20866] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 15 0 22 0 562863345 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20868] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20868/stat : 20868 (java) S 20863 20865 17058 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20869] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20869/stat : 20869 (java) S 20863 20865 17058 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20870] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20870/stat : 20870 (java) S 20863 20865 17058 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20871] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20871/stat : 20871 (java) S 20863 20865 17058 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20872] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20872/stat : 20872 (java) S 20863 20865 17058 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20873] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20873/stat : 20873 (java) S 20863 20865 17058 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20874] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20874/stat : 20874 (java) S 20863 20865 17058 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20875] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20875/stat : 20875 (java) S 20863 20865 17058 0 -1 4202560 329 0 0 0 0 0 0 0 16 0 22 0 562863346 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20876] ppid=20863 vsize=10557560 CPUtime=0.06 cores=1,3,5,7
/proc/20865/task/20876/stat : 20876 (java) S 20863 20865 17058 0 -1 4202560 1194 0 0 0 6 0 0 0 16 0 22 0 562863347 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 0 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20877] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20877/stat : 20877 (java) S 20863 20865 17058 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20878] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20878/stat : 20878 (java) S 20863 20865 17058 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20879] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20879/stat : 20879 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672485809 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20880] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20880/stat : 20880 (java) S 20863 20865 17058 0 -1 4202560 4186 0 0 0 80 0 0 0 22 0 22 0 562863350 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20881] ppid=20863 vsize=10557560 CPUtime=0.78 cores=1,3,5,7
/proc/20865/task/20881/stat : 20881 (java) S 20863 20865 17058 0 -1 4202560 12841 0 0 0 77 1 0 0 22 0 22 0 562863350 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20882] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20882/stat : 20882 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20883] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20883/stat : 20883 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562863350 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20884] ppid=20863 vsize=10557560 CPUtime=1.24 cores=1,3,5,7
/proc/20865/task/20884/stat : 20884 (java) R 20863 20865 17058 0 -1 4202560 288 0 0 0 124 0 0 0 20 0 22 0 562863362 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505583740 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20865/tid=20885] ppid=20863 vsize=10557560 CPUtime=1.23 cores=1,3,5,7
/proc/20865/task/20885/stat : 20885 (java) R 20863 20865 17058 0 -1 4202560 51253 0 0 0 118 5 0 0 25 0 22 0 562863362 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912506009042 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20865/tid=20886] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20886/stat : 20886 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562863362 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20887] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20887/stat : 20887 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 562863362 10810941440 73614 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10557560
[startup+3.10134 s]
/proc/loadavg: 3.36 2.26 1.95 5/531 20887
/proc/meminfo: memFree=20424744/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10557560 CPUtime=7.45 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 93219 0 1 0 734 11 0 0 25 0 22 0 562863344 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2639390 83055 2257 9 0 2630124 0
[pid=20865/tid=20866] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 15 0 22 0 562863345 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20868] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20868/stat : 20868 (java) S 20863 20865 17058 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20869] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20869/stat : 20869 (java) S 20863 20865 17058 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20870] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20870/stat : 20870 (java) S 20863 20865 17058 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20871] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20871/stat : 20871 (java) S 20863 20865 17058 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20872] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20872/stat : 20872 (java) S 20863 20865 17058 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20873] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20873/stat : 20873 (java) S 20863 20865 17058 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20874] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20874/stat : 20874 (java) S 20863 20865 17058 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20875] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20875/stat : 20875 (java) S 20863 20865 17058 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20876] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20876/stat : 20876 (java) S 20863 20865 17058 0 -1 4202560 2520 0 0 0 15 0 0 0 16 0 22 0 562863347 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 0 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20877] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20877/stat : 20877 (java) S 20863 20865 17058 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20878] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20878/stat : 20878 (java) S 20863 20865 17058 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20879] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20879/stat : 20879 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672485809 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20880] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20880/stat : 20880 (java) S 20863 20865 17058 0 -1 4202560 4186 0 0 0 80 0 0 0 22 0 22 0 562863350 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20881] ppid=20863 vsize=10557560 CPUtime=0.79 cores=1,3,5,7
/proc/20865/task/20881/stat : 20881 (java) S 20863 20865 17058 0 -1 4202560 12841 0 0 0 78 1 0 0 15 0 22 0 562863350 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20882] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20882/stat : 20882 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20883] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20883/stat : 20883 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562863350 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20884] ppid=20863 vsize=10557560 CPUtime=2.74 cores=1,3,5,7
/proc/20865/task/20884/stat : 20884 (java) R 20863 20865 17058 0 -1 4202560 292 0 0 0 274 0 0 0 22 0 22 0 562863362 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505662408 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20865/tid=20885] ppid=20863 vsize=10557560 CPUtime=2.73 cores=1,3,5,7
/proc/20865/task/20885/stat : 20885 (java) R 20863 20865 17058 0 -1 4202560 59141 0 0 0 266 7 0 0 25 0 22 0 562863362 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505593953 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20865/tid=20886] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20886/stat : 20886 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562863362 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20887] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20887/stat : 20887 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 562863362 10810941440 83055 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 10557560
[startup+6.30077 s]
/proc/loadavg: 3.41 2.29 1.97 5/531 20887
/proc/meminfo: memFree=20422520/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10557560 CPUtime=13.63 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 94750 0 1 0 1351 12 0 0 25 0 22 0 562863344 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2639390 84224 2257 9 0 2630124 0
[pid=20865/tid=20866] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 15 0 22 0 562863345 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20868] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20868/stat : 20868 (java) S 20863 20865 17058 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20869] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20869/stat : 20869 (java) S 20863 20865 17058 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20870] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20870/stat : 20870 (java) S 20863 20865 17058 0 -1 4202560 6 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20871] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20871/stat : 20871 (java) S 20863 20865 17058 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20872] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20872/stat : 20872 (java) S 20863 20865 17058 0 -1 4202560 165 0 0 0 1 0 0 0 16 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20873] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20873/stat : 20873 (java) S 20863 20865 17058 0 -1 4202560 275 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20874] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20874/stat : 20874 (java) S 20863 20865 17058 0 -1 4202560 112 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20875] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20875/stat : 20875 (java) S 20863 20865 17058 0 -1 4202560 384 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/20865/task/20878/stat : 20878 (java) S 20863 20865 17058 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20879] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20879/stat : 20879 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672485809 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20880] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20880/stat : 20880 (java) S 20863 20865 17058 0 -1 4202560 4186 0 0 0 80 0 0 0 22 0 22 0 562863350 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20881] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20881/stat : 20881 (java) S 20863 20865 17058 0 -1 4202560 12841 0 0 0 79 1 0 0 15 0 22 0 562863350 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20882] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20882/stat : 20882 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20883] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20883/stat : 20883 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562863350 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20884] ppid=20863 vsize=10557560 CPUtime=5.67 cores=1,3,5,7
/proc/20865/task/20884/stat : 20884 (java) R 20863 20865 17058 0 -1 4202560 300 0 0 0 567 0 0 0 25 0 22 0 562863362 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505653006 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20865/tid=20885] ppid=20863 vsize=10557560 CPUtime=5.67 cores=1,3,5,7
/proc/20865/task/20885/stat : 20885 (java) R 20863 20865 17058 0 -1 4202560 59143 0 0 0 560 7 0 0 25 0 22 0 562863362 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505720176 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20865/tid=20886] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20886/stat : 20886 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562863362 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20887] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20887/stat : 20887 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 562863362 10810941440 84224 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.63
Current children cumulated vsize (KiB) 10557560
Solver just ended. Dumping a history of the last processes samples
[startup+7.10163 s]
/proc/loadavg: 3.41 2.29 1.97 5/531 20887
/proc/meminfo: memFree=20421280/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10557560 CPUtime=15.15 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 95222 0 1 0 1503 12 0 0 25 0 22 0 562863344 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2639390 84693 2257 9 0 2630124 0
[pid=20865/tid=20866] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 15 0 22 0 562863345 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20868] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20868/stat : 20868 (java) S 20863 20865 17058 0 -1 4202560 263 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20869] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20869/stat : 20869 (java) S 20863 20865 17058 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20870] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20870/stat : 20870 (java) S 20863 20865 17058 0 -1 4202560 6 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20871] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20871/stat : 20871 (java) S 20863 20865 17058 0 -1 4202560 129 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20872] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20872/stat : 20872 (java) S 20863 20865 17058 0 -1 4202560 165 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20873] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20873/stat : 20873 (java) S 20863 20865 17058 0 -1 4202560 276 0 0 0 1 0 0 0 16 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20874] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20874/stat : 20874 (java) S 20863 20865 17058 0 -1 4202560 112 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20875] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20875/stat : 20875 (java) S 20863 20865 17058 0 -1 4202560 384 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20876] ppid=20863 vsize=10557560 CPUtime=0.48 cores=1,3,5,7
/proc/20865/task/20876/stat : 20876 (java) S 20863 20865 17058 0 -1 4202560 4504 0 0 0 48 0 0 0 16 0 22 0 562863347 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 0 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20877] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20877/stat : 20877 (java) S 20863 20865 17058 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20878] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20878/stat : 20878 (java) S 20863 20865 17058 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20879] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20879/stat : 20879 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672485809 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20880] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20880/stat : 20880 (java) S 20863 20865 17058 0 -1 4202560 4186 0 0 0 80 0 0 0 22 0 22 0 562863350 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20881] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20881/stat : 20881 (java) S 20863 20865 17058 0 -1 4202560 12841 0 0 0 79 1 0 0 15 0 22 0 562863350 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20882] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20882/stat : 20882 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20883] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20883/stat : 20883 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562863350 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20884] ppid=20863 vsize=10557560 CPUtime=6.37 cores=1,3,5,7
/proc/20865/task/20884/stat : 20884 (java) R 20863 20865 17058 0 -1 4202560 303 0 0 0 637 0 0 0 25 0 22 0 562863362 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505563854 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20865/tid=20885] ppid=20863 vsize=10557560 CPUtime=6.38 cores=1,3,5,7
/proc/20865/task/20885/stat : 20885 (java) R 20863 20865 17058 0 -1 4202560 59143 0 0 0 631 7 0 0 25 0 22 0 562863362 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505720254 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20865/tid=20886] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20886/stat : 20886 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562863362 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20887] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20887/stat : 20887 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 562863362 10810941440 84693 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (KiB) 10557560
[startup+7.50157 s]
/proc/loadavg: 3.41 2.29 1.97 5/531 20887
/proc/meminfo: memFree=20421280/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10557560 CPUtime=15.93 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 95247 0 1 0 1581 12 0 0 25 0 22 0 562863344 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2639390 84716 2258 9 0 2630124 0
[pid=20865/tid=20866] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 15 0 22 0 562863345 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20868] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20868/stat : 20868 (java) S 20863 20865 17058 0 -1 4202560 263 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20869] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20869/stat : 20869 (java) S 20863 20865 17058 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20870] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20870/stat : 20870 (java) S 20863 20865 17058 0 -1 4202560 6 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20871] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20871/stat : 20871 (java) S 20863 20865 17058 0 -1 4202560 129 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20872] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20872/stat : 20872 (java) S 20863 20865 17058 0 -1 4202560 165 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20873] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20873/stat : 20873 (java) S 20863 20865 17058 0 -1 4202560 276 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20874] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20874/stat : 20874 (java) S 20863 20865 17058 0 -1 4202560 112 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20875] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20875/stat : 20875 (java) S 20863 20865 17058 0 -1 4202560 384 0 0 0 1 0 0 0 15 0 22 0 562863346 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20876] ppid=20863 vsize=10557560 CPUtime=0.51 cores=1,3,5,7
/proc/20865/task/20876/stat : 20876 (java) S 20863 20865 17058 0 -1 4202560 4525 0 0 0 51 0 0 0 16 0 22 0 562863347 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 0 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20877] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20877/stat : 20877 (java) S 20863 20865 17058 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20878] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20878/stat : 20878 (java) S 20863 20865 17058 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 562863348 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20879] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20879/stat : 20879 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672485809 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20880] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20880/stat : 20880 (java) S 20863 20865 17058 0 -1 4202560 4186 0 0 0 80 0 0 0 22 0 22 0 562863350 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20881] ppid=20863 vsize=10557560 CPUtime=0.81 cores=1,3,5,7
/proc/20865/task/20881/stat : 20881 (java) S 20863 20865 17058 0 -1 4202560 12841 0 0 0 80 1 0 0 15 0 22 0 562863350 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20882] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20882/stat : 20882 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562863350 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20883] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20883/stat : 20883 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562863350 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20884] ppid=20863 vsize=10557560 CPUtime=6.74 cores=1,3,5,7
/proc/20865/task/20884/stat : 20884 (java) R 20863 20865 17058 0 -1 4202560 307 0 0 0 674 0 0 0 25 0 22 0 562863362 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505653006 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20865/tid=20885] ppid=20863 vsize=10557560 CPUtime=6.75 cores=1,3,5,7
/proc/20865/task/20885/stat : 20885 (java) R 20863 20865 17058 0 -1 4202560 59143 0 0 0 668 7 0 0 25 0 22 0 562863362 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 46912505720144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20865/tid=20886] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20886/stat : 20886 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562863362 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20887] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20887/stat : 20887 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 562863362 10810941440 84716 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 15.93
Current children cumulated vsize (KiB) 10557560
[startup+7.71852 s]
/proc/loadavg: 3.41 2.29 1.97 4/529 20887
/proc/meminfo: memFree=20420576/32951124 swapFree=46575304/67111528
[pid=20865] ppid=20863 vsize=10557560 CPUtime=16.15 cores=1,3,5,7
/proc/20865/stat : 20865 (java) S 20863 20865 17058 0 -1 4202496 95248 0 1 0 1603 12 0 0 25 0 19 0 562863344 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20865/statm: 2639390 84717 2259 9 0 2630124 0
[pid=20865/tid=20866] ppid=20863 vsize=10557560 CPUtime=0.15 cores=1,3,5,7
/proc/20865/task/20866/stat : 20866 (java) S 20863 20865 17058 0 -1 4202560 11743 0 1 0 14 1 0 0 15 0 19 0 562863345 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20868] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20868/stat : 20868 (java) S 20863 20865 17058 0 -1 4202560 263 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20869] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20869/stat : 20869 (java) S 20863 20865 17058 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20870] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20870/stat : 20870 (java) S 20863 20865 17058 0 -1 4202560 6 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20871] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20871/stat : 20871 (java) S 20863 20865 17058 0 -1 4202560 129 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20872] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20872/stat : 20872 (java) S 20863 20865 17058 0 -1 4202560 165 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20873] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20873/stat : 20873 (java) S 20863 20865 17058 0 -1 4202560 276 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20874] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20874/stat : 20874 (java) S 20863 20865 17058 0 -1 4202560 112 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20875] ppid=20863 vsize=10557560 CPUtime=0.01 cores=1,3,5,7
/proc/20865/task/20875/stat : 20875 (java) S 20863 20865 17058 0 -1 4202560 384 0 0 0 1 0 0 0 15 0 19 0 562863346 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20876] ppid=20863 vsize=10557560 CPUtime=0.51 cores=1,3,5,7
/proc/20865/task/20876/stat : 20876 (java) S 20863 20865 17058 0 -1 4202560 4525 0 0 0 51 0 0 0 16 0 19 0 562863347 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 0 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20877] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20877/stat : 20877 (java) S 20863 20865 17058 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 562863348 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20878] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20878/stat : 20878 (java) S 20863 20865 17058 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 562863348 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20879] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20879/stat : 20879 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 562863350 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672485809 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20880] ppid=20863 vsize=10557560 CPUtime=0.8 cores=1,3,5,7
/proc/20865/task/20880/stat : 20880 (java) S 20863 20865 17058 0 -1 4202560 4186 0 0 0 80 0 0 0 22 0 19 0 562863350 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
[pid=20865/tid=20881] ppid=20863 vsize=10557560 CPUtime=0.81 cores=1,3,5,7
/proc/20865/task/20881/stat : 20881 (java) S 20863 20865 17058 0 -1 4202560 12841 0 0 0 80 1 0 0 15 0 19 0 562863350 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 3 0 0 0
[pid=20865/tid=20882] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20882/stat : 20882 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 562863350 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478105 0 4 0 16800975 18446604457414564928 0 0 -1 5 0 0 0
[pid=20865/tid=20883] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20883/stat : 20883 (java) S 20863 20865 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 562863350 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 1 0 0 0
[pid=20865/tid=20886] ppid=20863 vsize=10557560 CPUtime=0 cores=1,3,5,7
/proc/20865/task/20886/stat : 20886 (java) S 20863 20865 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 562863362 10810941440 84717 33554432000 1073741824 1073778376 140736467871136 18446744073709551615 268672478720 0 4 0 16800975 18446604457414564928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.15
Current children cumulated vsize (KiB) 10557560
Child status: 20
Real time (s): 7.74515
CPU time (s): 16.1875
CPU user time (s): 16.0486
CPU system time (s): 0.138978
CPU usage (%): 209.002
Max. virtual memory (cumulated for all children) (KiB): 10557560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0486
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95258
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= 1139
involuntary context switches= 743
runsolver used 0.040993 second user time and 0.105983 second system time
The end