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-3458098-1307158046/watcher-3458098-1307158046 -o /tmp/evaluation-result-3458098-1307158046/solver-3458098-1307158046 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458098-1307158046.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.05 2.03 1.94 2/535 14812
/proc/meminfo: memFree=21457448/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 4353 0 1 0 0 0 0 0 18 0 2 0 827401285 13850947584 4056 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3381579 4068 917 9 0 3372735 0
[pid=14812/tid=14813] ppid=14810 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 7645 0 1 0 0 0 0 0 19 0 2 0 827401286 13850947584 8461 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0496319 s]
/proc/loadavg: 2.05 2.03 1.94 2/535 14812
/proc/meminfo: memFree=21457448/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 13818 0 1 0 3 1 0 0 18 0 13 0 827401285 13874667520 13516 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3387370 13516 1676 9 0 3378118 0
[pid=14812/tid=14813] ppid=14810 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 12672 0 1 0 3 1 0 0 25 0 13 0 827401286 13874667520 13516 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 46912505099412 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.100569 s]
/proc/loadavg: 2.05 2.03 1.94 2/535 14812
/proc/meminfo: memFree=21457448/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13622372 CPUtime=0.11 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 15495 0 1 0 9 2 0 0 18 0 18 0 827401285 13949308928 15193 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3405593 15195 2092 9 0 3396327 0
[pid=14812/tid=14813] ppid=14810 vsize=13622372 CPUtime=0.08 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 13616 0 1 0 7 1 0 0 18 0 18 0 827401286 13949308928 15196 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254500352709 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622372
[startup+0.300555 s]
/proc/loadavg: 2.05 2.03 1.94 2/535 14812
/proc/meminfo: memFree=21457448/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13626296 CPUtime=0.51 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 18338 0 1 0 49 2 0 0 18 0 19 0 827401285 13953327104 17333 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3406574 17333 2203 9 0 3397308 0
[pid=14812/tid=14813] ppid=14810 vsize=13626296 CPUtime=0.28 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 14310 0 1 0 27 1 0 0 19 0 19 0 827401286 13953327104 17333 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 46912505610631 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13626296
[startup+0.70048 s]
/proc/loadavg: 2.05 2.03 1.94 2/535 14812
/proc/meminfo: memFree=21457448/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13626056 CPUtime=1.01 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 19647 0 1 0 99 2 0 0 18 0 19 0 827401285 13953081344 18289 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3406514 18289 2246 9 0 3397248 0
[pid=14812/tid=14813] ppid=14810 vsize=13626056 CPUtime=0.66 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 14604 0 1 0 65 1 0 0 19 0 19 0 827401286 13953081344 18289 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 46912505530887 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13626056
[startup+1.50124 s]
/proc/loadavg: 2.05 2.03 1.94 3/554 14831
/proc/meminfo: memFree=21389664/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13626056 CPUtime=1.88 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 20258 0 1 0 185 3 0 0 18 0 19 0 827401285 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3406514 18897 2247 9 0 3397248 0
[pid=14812/tid=14813] ppid=14810 vsize=13626056 CPUtime=1.41 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 14613 0 1 0 140 1 0 0 18 0 19 0 827401286 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 46912505525191 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14812/tid=14815] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14815/stat : 14815 (java) S 14810 14812 7151 0 -1 4202560 145 0 0 0 0 0 0 0 16 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14816] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14816/stat : 14816 (java) S 14810 14812 7151 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14817] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14817/stat : 14817 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14818] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14818/stat : 14818 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14819] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14819/stat : 14819 (java) S 14810 14812 7151 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14820] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14820/stat : 14820 (java) S 14810 14812 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14821] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14821/stat : 14821 (java) S 14810 14812 7151 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14822] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14822/stat : 14822 (java) S 14810 14812 7151 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14823] ppid=14810 vsize=13626056 CPUtime=0.05 cores=1,3,5,7
/proc/14812/task/14823/stat : 14823 (java) S 14810 14812 7151 0 -1 4202560 635 0 0 0 5 0 0 0 15 0 19 0 827401289 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 0 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14824] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14824/stat : 14824 (java) S 14810 14812 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827401289 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14825] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14825/stat : 14825 (java) S 14810 14812 7151 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 827401289 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14826] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14826/stat : 14826 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827401291 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512515505 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14827] ppid=14810 vsize=13626056 CPUtime=0.18 cores=1,3,5,7
/proc/14812/task/14827/stat : 14827 (java) S 14810 14812 7151 0 -1 4202560 976 0 0 0 18 0 0 0 15 0 19 0 827401292 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 1 0 0 0
[pid=14812/tid=14828] ppid=14810 vsize=13626056 CPUtime=0.2 cores=1,3,5,7
/proc/14812/task/14828/stat : 14828 (java) S 14810 14812 7151 0 -1 4202560 2276 0 0 0 20 0 0 0 15 0 19 0 827401292 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14829] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14829/stat : 14829 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827401292 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14830] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14830/stat : 14830 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827401292 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14831] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14831/stat : 14831 (java) S 14810 14812 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827401302 13953081344 18897 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13626056
Solver just ended. Dumping a history of the last processes samples
[startup+1.90116 s]
/proc/loadavg: 2.05 2.03 1.94 3/554 14831
/proc/meminfo: memFree=21389664/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13626056 CPUtime=2.28 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 20319 0 1 0 225 3 0 0 18 0 19 0 827401285 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3406514 18957 2247 9 0 3397248 0
[pid=14812/tid=14813] ppid=14810 vsize=13626056 CPUtime=1.8 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 14614 0 1 0 179 1 0 0 18 0 19 0 827401286 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 46912505518494 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14812/tid=14815] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14815/stat : 14815 (java) S 14810 14812 7151 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14816] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14816/stat : 14816 (java) S 14810 14812 7151 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14817] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14817/stat : 14817 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14818] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14818/stat : 14818 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14819] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14819/stat : 14819 (java) S 14810 14812 7151 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14820] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14820/stat : 14820 (java) S 14810 14812 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14821] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14821/stat : 14821 (java) S 14810 14812 7151 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14822] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14822/stat : 14822 (java) S 14810 14812 7151 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14823] ppid=14810 vsize=13626056 CPUtime=0.06 cores=1,3,5,7
/proc/14812/task/14823/stat : 14823 (java) S 14810 14812 7151 0 -1 4202560 695 0 0 0 6 0 0 0 16 0 19 0 827401289 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 0 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14824] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14824/stat : 14824 (java) S 14810 14812 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827401289 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14825] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14825/stat : 14825 (java) S 14810 14812 7151 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 827401289 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14826] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14826/stat : 14826 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827401291 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512515505 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14827] ppid=14810 vsize=13626056 CPUtime=0.18 cores=1,3,5,7
/proc/14812/task/14827/stat : 14827 (java) S 14810 14812 7151 0 -1 4202560 976 0 0 0 18 0 0 0 15 0 19 0 827401292 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 1 0 0 0
[pid=14812/tid=14828] ppid=14810 vsize=13626056 CPUtime=0.2 cores=1,3,5,7
/proc/14812/task/14828/stat : 14828 (java) S 14810 14812 7151 0 -1 4202560 2276 0 0 0 20 0 0 0 15 0 19 0 827401292 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14829] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14829/stat : 14829 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827401292 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14830] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14830/stat : 14830 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827401292 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14831] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14831/stat : 14831 (java) S 14810 14812 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827401302 13953081344 18957 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 13626056
[startup+2.30108 s]
/proc/loadavg: 2.05 2.03 1.94 3/554 14831
/proc/meminfo: memFree=21387164/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=13626056 CPUtime=2.7 cores=1,3,5,7
/proc/14812/stat : 14812 (java) S 14810 14812 7151 0 -1 4202496 20433 0 1 0 267 3 0 0 18 0 19 0 827401285 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 3406514 19070 2248 9 0 3397248 0
[pid=14812/tid=14813] ppid=14810 vsize=13626056 CPUtime=2.18 cores=1,3,5,7
/proc/14812/task/14813/stat : 14813 (java) R 14810 14812 7151 0 -1 4202560 14615 0 1 0 217 1 0 0 19 0 19 0 827401286 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 46912505597020 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14812/tid=14815] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14815/stat : 14815 (java) S 14810 14812 7151 0 -1 4202560 145 0 0 0 0 0 0 0 16 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14816] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14816/stat : 14816 (java) S 14810 14812 7151 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14817] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14817/stat : 14817 (java) S 14810 14812 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14818] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14818/stat : 14818 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14819] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14819/stat : 14819 (java) S 14810 14812 7151 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14820] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14820/stat : 14820 (java) S 14810 14812 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14821] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14821/stat : 14821 (java) S 14810 14812 7151 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14822] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14822/stat : 14822 (java) S 14810 14812 7151 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827401288 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14823] ppid=14810 vsize=13626056 CPUtime=0.07 cores=1,3,5,7
/proc/14812/task/14823/stat : 14823 (java) S 14810 14812 7151 0 -1 4202560 793 0 0 0 7 0 0 0 16 0 19 0 827401289 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 0 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14824] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14824/stat : 14824 (java) S 14810 14812 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827401289 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14825] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14825/stat : 14825 (java) S 14810 14812 7151 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 827401289 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14826] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14826/stat : 14826 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827401291 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512515505 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14827] ppid=14810 vsize=13626056 CPUtime=0.18 cores=1,3,5,7
/proc/14812/task/14827/stat : 14827 (java) S 14810 14812 7151 0 -1 4202560 976 0 0 0 18 0 0 0 15 0 19 0 827401292 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 1 0 0 0
[pid=14812/tid=14828] ppid=14810 vsize=13626056 CPUtime=0.22 cores=1,3,5,7
/proc/14812/task/14828/stat : 14828 (java) S 14810 14812 7151 0 -1 4202560 2283 0 0 0 22 0 0 0 15 0 19 0 827401292 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14829] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14829/stat : 14829 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827401292 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512507801 0 4 0 16800975 18446604463383261312 0 0 -1 3 0 0 0
[pid=14812/tid=14830] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14830/stat : 14830 (java) S 14810 14812 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827401292 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
[pid=14812/tid=14831] ppid=14810 vsize=13626056 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14831/stat : 14831 (java) S 14810 14812 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827401302 13953081344 19070 33554432000 1073741824 1073778376 140734893788000 18446744073709551615 254512508416 0 4 0 16800975 18446604463383261312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 13626056
[startup+2.40106 s]
/proc/loadavg: 2.05 2.03 1.94 3/554 14831
/proc/meminfo: memFree=21387164/32950928 swapFree=34259960/67111528
[pid=14812] ppid=14810 vsize=0 CPUtime=2.8 cores=1,3,5,7
/proc/14812/stat : 14812 (java) Z 14810 14812 7151 0 -1 4203548 20579 0 1 0 277 3 0 0 18 0 2 0 827401285 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14812/statm: 0 0 0 0 0 0 0
[pid=14812/tid=14829] ppid=14810 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/14812/task/14829/stat : 14829 (java) R 14810 14812 7151 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 827401292 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 2.40297
CPU time (s): 2.80857
CPU user time (s): 2.77258
CPU system time (s): 0.035994
CPU usage (%): 116.879
Max. virtual memory (cumulated for all children) (KiB): 13626296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.77258
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20579
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= 187
runsolver used 0.017997 second user time and 0.039993 second system time
The end