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-3457944-1307166033/watcher-3457944-1307166033 -o /tmp/evaluation-result-3457944-1307166033/solver-3457944-1307166033 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457944-1307166033.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: 2.10 2.07 2.02 2/486 28911
/proc/meminfo: memFree=27186156/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 3547 0 1 0 0 0 0 0 25 0 2 0 828201774 13833195520 3249 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3377245 3261 906 9 0 3368401 0
[pid=28911/tid=28912] ppid=28909 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 4874 0 1 0 0 0 0 0 25 0 2 0 828201774 13850947584 5690 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.077054 s]
/proc/loadavg: 2.10 2.07 2.02 2/486 28911
/proc/meminfo: memFree=27186156/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 14373 0 1 0 5 1 0 0 25 0 18 0 828201774 13880410112 14070 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3388772 14071 1754 9 0 3379506 0
[pid=28911/tid=28912] ppid=28909 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 13200 0 1 0 5 1 0 0 25 0 18 0 828201774 13880410112 14071 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.100956 s]
/proc/loadavg: 2.10 2.07 2.02 2/486 28911
/proc/meminfo: memFree=27186156/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13622164 CPUtime=0.1 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 15466 0 1 0 9 1 0 0 25 0 18 0 828201774 13949095936 15163 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3405541 15163 2092 9 0 3396275 0
[pid=28911/tid=28912] ppid=28909 vsize=13622164 CPUtime=0.08 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 13566 0 1 0 7 1 0 0 18 0 18 0 828201774 13949095936 15165 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622164
[startup+0.300924 s]
/proc/loadavg: 2.10 2.07 2.02 2/486 28911
/proc/meminfo: memFree=27186156/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13624500 CPUtime=0.47 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 18577 0 1 0 45 2 0 0 25 0 18 0 828201774 13951488000 17936 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3406125 17936 2201 9 0 3396859 0
[pid=28911/tid=28912] ppid=28909 vsize=13624500 CPUtime=0.28 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 15464 0 1 0 27 1 0 0 18 0 18 0 828201774 13951488000 17937 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624500
[startup+0.700893 s]
/proc/loadavg: 2.10 2.07 2.02 2/486 28911
/proc/meminfo: memFree=27186156/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13629136 CPUtime=1.47 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 39155 0 1 0 142 5 0 0 25 0 19 0 828201774 13956235264 34980 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3407284 34980 2235 9 0 3398018 0
[pid=28911/tid=28912] ppid=28909 vsize=13629136 CPUtime=0.68 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 30798 0 1 0 65 3 0 0 19 0 19 0 828201774 13956235264 34980 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 46912505779643 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13629136
[startup+1.50077 s]
/proc/loadavg: 2.10 2.07 2.02 5/526 28972
/proc/meminfo: memFree=26920736/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13629136 CPUtime=2.5 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 42284 0 1 0 245 5 0 0 25 0 19 0 828201774 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3407284 37672 2264 9 0 3398018 0
[pid=28911/tid=28912] ppid=28909 vsize=13629136 CPUtime=1.43 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 31185 0 1 0 140 3 0 0 20 0 19 0 828201774 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 46912505779617 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 28154 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 28154 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 28154 0 -1 4202560 314 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 28154 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 28154 0 -1 4202560 338 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=13629136 CPUtime=0.04 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 28154 0 -1 4202560 1083 0 0 0 4 0 0 0 16 0 19 0 828201778 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 0 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=13629136 CPUtime=0.51 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 28154 0 -1 4202560 5085 0 0 0 50 1 0 0 16 0 19 0 828201780 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=13629136 CPUtime=0.48 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 28154 0 -1 4202560 2586 0 0 0 48 0 0 0 21 0 19 0 828201780 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201780 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28971] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28971/stat : 28971 (java) S 28909 28911 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201827 13956235264 37672 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13629136
Solver just ended. Dumping a history of the last processes samples
[startup+1.9007 s]
/proc/loadavg: 2.10 2.07 2.02 5/526 28972
/proc/meminfo: memFree=26920736/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13629136 CPUtime=2.92 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 42370 0 1 0 287 5 0 0 25 0 19 0 828201774 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3407284 37757 2264 9 0 3398018 0
[pid=28911/tid=28912] ppid=28909 vsize=13629136 CPUtime=1.81 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 31187 0 1 0 178 3 0 0 20 0 19 0 828201774 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 46912505779677 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 28154 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 28154 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 28154 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 28154 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 28154 0 -1 4202560 314 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 28154 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 28154 0 -1 4202560 338 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=13629136 CPUtime=0.05 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 28154 0 -1 4202560 1159 0 0 0 5 0 0 0 16 0 19 0 828201778 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 0 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=13629136 CPUtime=0.52 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 28154 0 -1 4202560 5087 0 0 0 51 1 0 0 15 0 19 0 828201780 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=13629136 CPUtime=0.49 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 28154 0 -1 4202560 2587 0 0 0 49 0 0 0 16 0 19 0 828201780 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201780 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28971] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28971/stat : 28971 (java) S 28909 28911 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201827 13956235264 37757 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 13629136
[startup+2.30163 s]
/proc/loadavg: 2.10 2.07 2.02 3/526 28972
/proc/meminfo: memFree=26898292/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13629136 CPUtime=3.37 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 43047 0 1 0 332 5 0 0 25 0 19 0 828201774 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3407284 37767 2264 9 0 3398018 0
[pid=28911/tid=28912] ppid=28909 vsize=13629136 CPUtime=2.18 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 31188 0 1 0 215 3 0 0 20 0 19 0 828201774 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 46912505779433 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 28154 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 28154 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 28154 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 28154 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 28154 0 -1 4202560 314 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 28154 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 28154 0 -1 4202560 338 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=13629136 CPUtime=0.08 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 28154 0 -1 4202560 1159 0 0 0 8 0 0 0 16 0 19 0 828201778 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 0 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=13629136 CPUtime=0.56 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 28154 0 -1 4202560 5762 0 0 0 55 1 0 0 15 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=13629136 CPUtime=0.49 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 28154 0 -1 4202560 2587 0 0 0 49 0 0 0 15 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28971] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28971/stat : 28971 (java) S 28909 28911 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201827 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 13629136
[startup+2.40062 s]
/proc/loadavg: 2.10 2.07 2.02 3/526 28972
/proc/meminfo: memFree=26898292/32951124 swapFree=63649284/67111528
[pid=28911] ppid=28909 vsize=13629136 CPUtime=3.47 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 28154 0 -1 4202496 43047 0 1 0 342 5 0 0 25 0 19 0 828201774 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28911/statm: 3407284 37767 2264 9 0 3398018 0
[pid=28911/tid=28912] ppid=28909 vsize=13629136 CPUtime=2.28 cores=1,3,5,7
/proc/28911/task/28912/stat : 28912 (java) R 28909 28911 28154 0 -1 4202560 31188 0 1 0 225 3 0 0 21 0 19 0 828201774 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 46912505910268 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 28154 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 28154 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 28154 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 28154 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 28154 0 -1 4202560 314 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 28154 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 28154 0 -1 4202560 338 0 0 0 0 0 0 0 15 0 19 0 828201777 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=13629136 CPUtime=0.08 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 28154 0 -1 4202560 1159 0 0 0 8 0 0 0 16 0 19 0 828201778 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 0 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201778 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=13629136 CPUtime=0.56 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 28154 0 -1 4202560 5762 0 0 0 55 1 0 0 15 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=13629136 CPUtime=0.49 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 28154 0 -1 4202560 2587 0 0 0 49 0 0 0 15 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201780 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 5 0 0 0
[pid=28911/tid=28971] ppid=28909 vsize=13629136 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28971/stat : 28971 (java) S 28909 28911 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201827 13956235264 37767 33554432000 1073741824 1073778376 140735138825232 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 13629136
Child status: 30
Real time (s): 2.45579
CPU time (s): 3.53446
CPU user time (s): 3.46947
CPU system time (s): 0.06499
CPU usage (%): 143.924
Max. virtual memory (cumulated for all children) (KiB): 13629136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.46947
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43061
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= 428
involuntary context switches= 135
runsolver used 0.012998 second user time and 0.044993 second system time
The end