runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729865-1338729474/watcher-3729865-1338729474 -o /tmp/evaluation-result-3729865-1338729474/solver-3729865-1338729474 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3729865-1338729474.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
[startup+0 s]
/proc/loadavg: 1.86 2.00 1.95 3/194 9811
/proc/meminfo: memFree=26357268/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/9811/stat : 9811 (runsolver) R 9809 3621 3621 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 1 0 339071801 12095488 38 33554432000 4194304 5436572 140733727682480 140733727678776 4831721 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/9811/statm: 2953 38 18 304 0 2645 0
Current StackSize limit: 10240 KiB
[startup+0.047457 s]
/proc/loadavg: 1.86 2.00 1.95 3/194 9811
/proc/meminfo: memFree=26357268/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 3686 0 1 0 2 1 0 0 20 0 13 0 339071801 2371293184 4893 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 578929 4893 1700 9 0 569630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.10028 s]
/proc/loadavg: 1.86 2.00 1.95 3/194 9811
/proc/meminfo: memFree=26357268/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 4676 0 1 0 9 1 0 0 20 0 18 0 339071801 2712133632 6393 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 662142 6393 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300197 s]
/proc/loadavg: 1.86 2.00 1.95 3/194 9811
/proc/meminfo: memFree=26357268/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 6380 0 1 0 49 2 0 0 20 0 19 0 339071801 2780295168 8818 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 678783 8818 2226 9 0 669476 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2715132
[startup+0.700197 s]
/proc/loadavg: 1.86 2.00 1.95 3/194 9811
/proc/meminfo: memFree=26357268/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2715132 CPUtime=1.24 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 9426 0 1 0 122 2 0 0 20 0 19 0 339071801 2780295168 10735 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 678783 10735 2240 9 0 669476 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 2715132
[startup+1.50063 s]
/proc/loadavg: 1.79 1.99 1.95 3/213 9830
/proc/meminfo: memFree=26321020/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2715132 CPUtime=2.07 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 9434 0 1 0 205 2 0 0 20 0 19 0 339071801 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 678783 11764 2244 9 0 669476 0
[pid=9811/tid=9813] ppid=9809 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/9811/task/9813/stat : 9813 (java) R 9809 9811 3621 0 -1 4202560 2771 0 1 0 145 1 0 0 20 0 19 0 339071802 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391973256360 140391827915141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9814] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9814/stat : 9814 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391957715624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9815] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9815/stat : 9815 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391956663080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9816] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9816/stat : 9816 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391955610536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9811/tid=9817] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391954557992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391953504424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391952451880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9820] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9820/stat : 9820 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391951399336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9821] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9821/stat : 9821 (java) S 9809 9811 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391950346792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9822] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9822/stat : 9822 (java) S 9809 9811 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339071804 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391819999848 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9823] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9823/stat : 9823 (java) S 9809 9811 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391818946168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9824] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9824/stat : 9824 (java) S 9809 9811 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391817893512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9825] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9825/stat : 9825 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391816842256 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9826] ppid=9809 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/9811/task/9826/stat : 9826 (java) S 9809 9811 3621 0 -1 4202560 2592 0 0 0 27 0 0 0 20 0 19 0 339071807 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391815788600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9827] ppid=9809 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/9811/task/9827/stat : 9827 (java) S 9809 9811 3621 0 -1 4202560 2870 0 0 0 29 0 0 0 20 0 19 0 339071807 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391814736056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9828] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9828/stat : 9828 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391813683704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9829] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9829/stat : 9829 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140391812631368 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9830] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9830/stat : 9830 (java) S 9809 9811 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339071828 2780295168 11764 33554432000 1073741824 1073778376 140737340136944 140390803957032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+2.30067 s]
/proc/loadavg: 1.79 1.99 1.95 3/213 9830
/proc/meminfo: memFree=26314620/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2715132 CPUtime=2.88 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 9437 0 1 0 286 2 0 0 20 0 19 0 339071801 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 678783 12788 2244 9 0 669476 0
[pid=9811/tid=9813] ppid=9809 vsize=2715132 CPUtime=2.26 cores=1,3,5,7
/proc/9811/task/9813/stat : 9813 (java) R 9809 9811 3621 0 -1 4202560 2774 0 1 0 225 1 0 0 20 0 19 0 339071802 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391973266136 140391827915145 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9814] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9814/stat : 9814 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391957715624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9815] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9815/stat : 9815 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391956663080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9816] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9816/stat : 9816 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391955610536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9811/tid=9817] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391954557992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391953504424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391952451880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9820] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9820/stat : 9820 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391951399336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9821] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9821/stat : 9821 (java) S 9809 9811 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391950346792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9822] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9822/stat : 9822 (java) S 9809 9811 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339071804 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391819999848 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9823] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9823/stat : 9823 (java) S 9809 9811 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391818946168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9824] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9824/stat : 9824 (java) S 9809 9811 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391817893512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9825] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9825/stat : 9825 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391816842256 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9826] ppid=9809 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/9811/task/9826/stat : 9826 (java) S 9809 9811 3621 0 -1 4202560 2592 0 0 0 27 0 0 0 20 0 19 0 339071807 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391815788600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9827] ppid=9809 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/9811/task/9827/stat : 9827 (java) S 9809 9811 3621 0 -1 4202560 2870 0 0 0 30 0 0 0 20 0 19 0 339071807 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391814736056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9828] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9828/stat : 9828 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391813683704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9829] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9829/stat : 9829 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140391812631368 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9830] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9830/stat : 9830 (java) S 9809 9811 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339071828 2780295168 12788 33554432000 1073741824 1073778376 140737340136944 140390803957032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 2715132
[startup+2.50076 s]
/proc/loadavg: 1.79 1.99 1.95 3/213 9830
/proc/meminfo: memFree=26314620/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2715132 CPUtime=3.08 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 9438 0 1 0 306 2 0 0 20 0 19 0 339071801 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 678783 13300 2244 9 0 669476 0
[pid=9811/tid=9813] ppid=9809 vsize=2715132 CPUtime=2.46 cores=1,3,5,7
/proc/9811/task/9813/stat : 9813 (java) R 9809 9811 3621 0 -1 4202560 2775 0 1 0 245 1 0 0 20 0 19 0 339071802 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391973266136 140391828040414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9814] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9814/stat : 9814 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391957715624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9815] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9815/stat : 9815 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391956663080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9816] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9816/stat : 9816 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391955610536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9811/tid=9817] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391954557992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391953504424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391952451880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9820] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9820/stat : 9820 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391951399336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9821] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9821/stat : 9821 (java) S 9809 9811 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391950346792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9822] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9822/stat : 9822 (java) S 9809 9811 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339071804 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391819999848 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9823] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9823/stat : 9823 (java) S 9809 9811 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391818946168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9824] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9824/stat : 9824 (java) S 9809 9811 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391817893512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9825] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9825/stat : 9825 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391816842256 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9826] ppid=9809 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/9811/task/9826/stat : 9826 (java) S 9809 9811 3621 0 -1 4202560 2592 0 0 0 27 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391815788600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9827] ppid=9809 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/9811/task/9827/stat : 9827 (java) S 9809 9811 3621 0 -1 4202560 2870 0 0 0 31 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391814736056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9828] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9828/stat : 9828 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391813683704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9829] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9829/stat : 9829 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391812631368 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9830] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9830/stat : 9830 (java) S 9809 9811 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339071828 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140390803957032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 2715132
[startup+2.60085 s]
/proc/loadavg: 1.79 1.99 1.95 3/213 9830
/proc/meminfo: memFree=26314620/32873844 swapFree=6608/6608
[pid=9811] ppid=9809 vsize=2715132 CPUtime=3.18 cores=1,3,5,7
/proc/9811/stat : 9811 (java) S 9809 9811 3621 0 -1 4202496 9438 0 1 0 316 2 0 0 20 0 19 0 339071801 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140737340128080 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 678783 13300 2244 9 0 669476 0
[pid=9811/tid=9813] ppid=9809 vsize=2715132 CPUtime=2.56 cores=1,3,5,7
/proc/9811/task/9813/stat : 9813 (java) R 9809 9811 3621 0 -1 4202560 2775 0 1 0 255 1 0 0 20 0 19 0 339071802 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391973266136 140391827900858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9814] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9814/stat : 9814 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391957715624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9815] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9815/stat : 9815 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391956663080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9816] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9816/stat : 9816 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391955610536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9811/tid=9817] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391954557992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391953504424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391952451880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9811/tid=9820] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9820/stat : 9820 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391951399336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9821] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9821/stat : 9821 (java) S 9809 9811 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339071803 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391950346792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9822] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9822/stat : 9822 (java) S 9809 9811 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339071804 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391819999848 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9823] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9823/stat : 9823 (java) S 9809 9811 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391818946168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9824] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9824/stat : 9824 (java) S 9809 9811 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339071805 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391817893512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9825] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9825/stat : 9825 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391816842256 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9826] ppid=9809 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/9811/task/9826/stat : 9826 (java) S 9809 9811 3621 0 -1 4202560 2592 0 0 0 27 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391815788600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9811/tid=9827] ppid=9809 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/9811/task/9827/stat : 9827 (java) R 9809 9811 3621 0 -1 4202560 2870 0 0 0 31 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391814736056 140391979469005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9828] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9828/stat : 9828 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391813683704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9829] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9829/stat : 9829 (java) S 9809 9811 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339071807 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140391812631368 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9811/tid=9830] ppid=9809 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9811/task/9830/stat : 9830 (java) S 9809 9811 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339071828 2780295168 13300 33554432000 1073741824 1073778376 140737340136944 140390803957032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 2715132
Child status: 20
Real time (s): 2.648
CPU time (s): 3.2725
CPU user time (s): 3.22151
CPU system time (s): 0.050992
CPU usage (%): 123.584
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.22151
system time used= 0.050992
maximum resident set size= 55372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9532
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317
involuntary context switches= 28
runsolver used 0.003999 second user time and 0.023996 second system time
The end