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-3454000-1307194777/watcher-3454000-1307194777 -o /tmp/evaluation-result-3454000-1307194777/solver-3454000-1307194777 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454000-1307194777.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: 1.74 2.28 2.98 4/482 25910
/proc/meminfo: memFree=28374048/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 5405 0 1 0 0 0 0 0 25 0 2 0 831075706 10694979584 5108 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2611079 5121 917 9 0 2602235 0
[pid=25910/tid=25911] ppid=25908 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) R 25908 25910 21158 0 -1 4202560 4906 0 1 0 0 0 0 0 25 0 2 0 831075706 10694979584 5721 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.066251 s]
/proc/loadavg: 1.74 2.28 2.98 4/482 25910
/proc/meminfo: memFree=28374048/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10538488 CPUtime=0.05 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 11744 0 1 0 4 1 0 0 25 0 18 0 831075706 10791411712 11442 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2634622 11444 1741 9 0 2625356 0
[pid=25910/tid=25911] ppid=25908 vsize=10538488 CPUtime=0.05 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) R 25908 25910 21158 0 -1 4202560 10572 0 1 0 4 1 0 0 18 0 18 0 831075706 10791411712 11444 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 47456615380504 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538488
[startup+0.100245 s]
/proc/loadavg: 1.74 2.28 2.98 4/482 25910
/proc/meminfo: memFree=28374048/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10540024 CPUtime=0.11 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 13066 0 1 0 9 2 0 0 25 0 18 0 831075706 10792984576 12732 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2635006 12733 2092 9 0 2625740 0
[pid=25910/tid=25911] ppid=25908 vsize=10540024 CPUtime=0.08 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) R 25908 25910 21158 0 -1 4202560 11115 0 1 0 7 1 0 0 18 0 18 0 831075706 10792984576 12733 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 47456616816090 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540024
[startup+0.300241 s]
/proc/loadavg: 1.74 2.28 2.98 4/482 25910
/proc/meminfo: memFree=28374048/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10544520 CPUtime=0.43 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 15209 0 1 0 41 2 0 0 25 0 19 0 831075706 10797588480 14576 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2636130 14576 2205 9 0 2626864 0
[pid=25910/tid=25911] ppid=25908 vsize=10544520 CPUtime=0.25 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) S 25908 25910 21158 0 -1 4202560 12369 0 1 0 23 2 0 0 19 0 19 0 831075706 10797588480 14576 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10544520
[startup+0.701179 s]
/proc/loadavg: 1.74 2.28 2.98 4/482 25910
/proc/meminfo: memFree=28374048/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10544520 CPUtime=0.43 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 15209 0 1 0 41 2 0 0 25 0 19 0 831075706 10797588480 14576 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2636130 14576 2205 9 0 2626864 0
[pid=25910/tid=25911] ppid=25908 vsize=10544520 CPUtime=0.25 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) S 25908 25910 21158 0 -1 4202560 12369 0 1 0 23 2 0 0 19 0 19 0 831075706 10797588480 14576 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10544520
[startup+1.50103 s]
/proc/loadavg: 1.74 2.28 2.98 3/501 25938
/proc/meminfo: memFree=28184868/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10550532 CPUtime=0.66 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 19449 0 1 0 63 3 0 0 25 0 19 0 831075706 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2637633 17586 2219 9 0 2628367 0
[pid=25910/tid=25911] ppid=25908 vsize=10550532 CPUtime=0.25 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) S 25908 25910 21158 0 -1 4202560 12387 0 1 0 23 2 0 0 16 0 19 0 831075706 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25914] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25915] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25916] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25917] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25918] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25919] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25919/stat : 25919 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25920] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25920/stat : 25920 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25921] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25921/stat : 25921 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831075709 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 0 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25922] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25922/stat : 25922 (java) S 25908 25910 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831075709 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25923] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25923/stat : 25923 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075709 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25924] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25924/stat : 25924 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134537649 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25925] ppid=25908 vsize=10550532 CPUtime=0.16 cores=0,2,4,6
/proc/25910/task/25925/stat : 25925 (java) S 25908 25910 21158 0 -1 4202560 2909 0 0 0 16 0 0 0 16 0 19 0 831075711 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25926] ppid=25908 vsize=10550532 CPUtime=0.15 cores=0,2,4,6
/proc/25910/task/25926/stat : 25926 (java) S 25908 25910 21158 0 -1 4202560 2580 0 0 0 15 0 0 0 16 0 19 0 831075711 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25927] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25927/stat : 25927 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25928] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25928/stat : 25928 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831075711 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25934] ppid=25908 vsize=10550532 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25934/stat : 25934 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831075733 10803744768 17586 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10550532
Solver just ended. Dumping a history of the last processes samples
[startup+1.90088 s]
/proc/loadavg: 1.74 2.28 2.98 3/501 25938
/proc/meminfo: memFree=28184868/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10550732 CPUtime=0.98 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 23233 0 1 0 94 4 0 0 25 0 19 0 831075706 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2637683 19914 2220 9 0 2628417 0
[pid=25910/tid=25911] ppid=25908 vsize=10550732 CPUtime=0.25 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) S 25908 25910 21158 0 -1 4202560 12392 0 1 0 23 2 0 0 16 0 19 0 831075706 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 4 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25914] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25915] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25916] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25917] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25918] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25919] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25919/stat : 25919 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25920] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25920/stat : 25920 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25921] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25921/stat : 25921 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831075709 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 0 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25922] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25922/stat : 25922 (java) S 25908 25910 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831075709 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25923] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25923/stat : 25923 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075709 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25924] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25924/stat : 25924 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134537649 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25925] ppid=25908 vsize=10550732 CPUtime=0.29 cores=0,2,4,6
/proc/25910/task/25925/stat : 25925 (java) R 25908 25910 21158 0 -1 4202560 5621 0 0 0 28 1 0 0 16 0 19 0 831075711 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 47456615203436 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=25910/tid=25926] ppid=25908 vsize=10550732 CPUtime=0.24 cores=0,2,4,6
/proc/25910/task/25926/stat : 25926 (java) S 25908 25910 21158 0 -1 4202560 2658 0 0 0 24 0 0 0 16 0 19 0 831075711 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25927] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25927/stat : 25927 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25928] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25928/stat : 25928 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831075711 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25934] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25934/stat : 25934 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831075733 10803949568 19914 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10550732
[startup+2.10092 s]
/proc/loadavg: 1.74 2.28 2.98 3/501 25944
/proc/meminfo: memFree=28011552/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10550732 CPUtime=1.09 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 23876 0 1 0 105 4 0 0 25 0 19 0 831075706 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2637683 20044 2220 9 0 2628417 0
[pid=25910/tid=25911] ppid=25908 vsize=10550732 CPUtime=0.25 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) S 25908 25910 21158 0 -1 4202560 12392 0 1 0 23 2 0 0 16 0 19 0 831075706 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 4 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25914] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25915] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25916] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25917] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25918] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25919] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25919/stat : 25919 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25920] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25920/stat : 25920 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25921] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25921/stat : 25921 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831075709 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 0 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25922] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25922/stat : 25922 (java) S 25908 25910 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831075709 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25923] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25923/stat : 25923 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075709 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25924] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25924/stat : 25924 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134537649 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25925] ppid=25908 vsize=10550732 CPUtime=0.4 cores=0,2,4,6
/proc/25910/task/25925/stat : 25925 (java) S 25908 25910 21158 0 -1 4202560 6264 0 0 0 39 1 0 0 16 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25926] ppid=25908 vsize=10550732 CPUtime=0.24 cores=0,2,4,6
/proc/25910/task/25926/stat : 25926 (java) S 25908 25910 21158 0 -1 4202560 2658 0 0 0 24 0 0 0 16 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25927] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25927/stat : 25927 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25928] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25928/stat : 25928 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25934] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25934/stat : 25934 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831075733 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10550732
[startup+2.2179 s]
/proc/loadavg: 1.74 2.28 2.98 3/501 25944
/proc/meminfo: memFree=28011552/32951124 swapFree=41830676/67111528
[pid=25910] ppid=25908 vsize=10550732 CPUtime=1.09 cores=0,2,4,6
/proc/25910/stat : 25910 (java) S 25908 25910 21158 0 -1 4202496 23876 0 1 0 105 4 0 0 25 0 19 0 831075706 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25910/statm: 2637683 20044 2220 9 0 2628417 0
[pid=25910/tid=25911] ppid=25908 vsize=10550732 CPUtime=0.25 cores=0,2,4,6
/proc/25910/task/25911/stat : 25911 (java) S 25908 25910 21158 0 -1 4202560 12392 0 1 0 23 2 0 0 16 0 19 0 831075706 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 4 0 0 0
[pid=25910/tid=25913] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25914] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25915] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25916] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25917] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25918] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25919] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25919/stat : 25919 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25920] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25920/stat : 25920 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075708 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25921] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25921/stat : 25921 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831075709 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 0 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25922] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25922/stat : 25922 (java) S 25908 25910 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831075709 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25923] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25923/stat : 25923 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075709 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25924] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25924/stat : 25924 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134537649 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25925] ppid=25908 vsize=10550732 CPUtime=0.4 cores=0,2,4,6
/proc/25910/task/25925/stat : 25925 (java) S 25908 25910 21158 0 -1 4202560 6264 0 0 0 39 1 0 0 16 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25926] ppid=25908 vsize=10550732 CPUtime=0.24 cores=0,2,4,6
/proc/25910/task/25926/stat : 25926 (java) S 25908 25910 21158 0 -1 4202560 2658 0 0 0 24 0 0 0 16 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25927] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25927/stat : 25927 (java) S 25908 25910 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134529945 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
[pid=25910/tid=25928] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25928/stat : 25928 (java) S 25908 25910 21158 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831075711 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 6 0 0 0
[pid=25910/tid=25934] ppid=25908 vsize=10550732 CPUtime=0 cores=0,2,4,6
/proc/25910/task/25934/stat : 25934 (java) S 25908 25910 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831075733 10803949568 20044 33554432000 1073741824 1073778376 140735897846192 18446744073709551615 228134530560 0 4 0 16800975 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10550732
Child status: 30
Real time (s): 2.29627
CPU time (s): 1.11383
CPU user time (s): 1.06484
CPU system time (s): 0.048992
CPU usage (%): 48.5061
Max. virtual memory (cumulated for all children) (KiB): 10550732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.06484
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23889
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= 284
involuntary context switches= 37
runsolver used 0.015997 second user time and 0.035994 second system time
The end