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-3456058-1307662283/watcher-3456058-1307662283 -o /tmp/evaluation-result-3456058-1307662283/solver-3456058-1307662283 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456058-1307662283.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: 1.94 2.01 2.00 2/193 14941
/proc/meminfo: memFree=28174688/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14941/stat : 14941 (java) R 14939 14941 11485 0 -1 4202496 948 0 0 0 0 0 0 0 23 0 1 0 877827893 23580672 691 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274659886512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14941/statm: 5757 691 508 9 0 124 0
[startup+0.0855729 s]
/proc/loadavg: 1.94 2.01 2.00 2/193 14941
/proc/meminfo: memFree=28174688/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=10473364 CPUtime=0.07 cores=1,3,5,7
/proc/14941/stat : 14941 (java) S 14939 14941 11485 0 -1 4202496 12270 0 1 0 6 1 0 0 23 0 18 0 877827893 10724724736 11966 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14941/statm: 2618341 11967 1913 9 0 2609075 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473364
[startup+0.100618 s]
/proc/loadavg: 1.94 2.01 2.00 2/193 14941
/proc/meminfo: memFree=28174688/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=10539796 CPUtime=0.11 cores=1,3,5,7
/proc/14941/stat : 14941 (java) S 14939 14941 11485 0 -1 4202496 13043 0 1 0 9 2 0 0 23 0 18 0 877827893 10792751104 12697 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14941/statm: 2634949 12697 2092 9 0 2625683 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539796
[startup+0.300535 s]
/proc/loadavg: 1.94 2.01 2.00 2/193 14941
/proc/meminfo: memFree=28174688/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=10544908 CPUtime=0.56 cores=1,3,5,7
/proc/14941/stat : 14941 (java) S 14939 14941 11485 0 -1 4202496 19264 0 1 0 53 3 0 0 23 0 19 0 877827893 10797985792 16524 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14941/statm: 2636227 16525 2187 9 0 2626961 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10544908
[startup+0.700468 s]
/proc/loadavg: 1.94 2.01 2.00 2/193 14941
/proc/meminfo: memFree=28174688/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=10555024 CPUtime=1.74 cores=1,3,5,7
/proc/14941/stat : 14941 (java) S 14939 14941 11485 0 -1 4202496 50456 0 1 0 168 6 0 0 23 0 19 0 877827893 10808344576 44336 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14941/statm: 2638756 44339 2216 9 0 2629490 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 10555024
Solver just ended. Dumping a history of the last processes samples
[startup+1.10744 s]
/proc/loadavg: 1.94 2.01 2.00 3/212 14960
/proc/meminfo: memFree=27897792/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=10554280 CPUtime=2.52 cores=1,3,5,7
/proc/14941/stat : 14941 (java) S 14939 14941 11485 0 -1 4202496 90928 0 1 0 241 11 0 0 23 0 19 0 877827893 10807582720 82881 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14941/statm: 2638570 82887 2219 9 0 2629304 0
[pid=14941/tid=14943] ppid=14939 vsize=10554280 CPUtime=1.08 cores=1,3,5,7
/proc/14941/task/14943/stat : 14943 (java) R 14939 14941 11485 0 -1 4202560 73843 0 1 0 100 8 0 0 25 0 19 0 877827894 10807582720 82890 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 46912505552808 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14941/tid=14944] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14944/stat : 14944 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 82892 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14945] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14945/stat : 14945 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 82895 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14946] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14946/stat : 14946 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 82897 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14947] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14947/stat : 14947 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 82900 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14948] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14948/stat : 14948 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 82903 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14949] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14949/stat : 14949 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 82905 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14950] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14950/stat : 14950 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877827896 10807582720 82908 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14951] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14951/stat : 14951 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 82911 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14952] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14952/stat : 14952 (java) S 14939 14941 11485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877827897 10807582720 82914 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 0 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14953] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14953/stat : 14953 (java) S 14939 14941 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877827897 10807582720 82917 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14954] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14954/stat : 14954 (java) S 14939 14941 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877827897 10807582720 82920 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14955] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14955/stat : 14955 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827900 10807582720 82922 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676631985 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14956] ppid=14939 vsize=10554280 CPUtime=0.69 cores=1,3,5,7
/proc/14941/task/14956/stat : 14956 (java) S 14939 14941 11485 0 -1 4202560 7724 0 0 0 69 0 0 0 25 0 19 0 877827900 10807582720 82925 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14957] ppid=14939 vsize=10554280 CPUtime=0.7 cores=1,3,5,7
/proc/14941/task/14957/stat : 14957 (java) S 14939 14941 11485 0 -1 4202560 8210 0 0 0 70 0 0 0 24 0 19 0 877827900 10807582720 82927 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14958] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14958/stat : 14958 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827900 10807582720 82929 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14959] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14959/stat : 14959 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877827900 10807582720 82932 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14960] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14960/stat : 14960 (java) S 14939 14941 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877827908 10807582720 82933 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 10554280
[startup+1.30141 s]
/proc/loadavg: 1.94 2.01 2.00 3/212 14960
/proc/meminfo: memFree=27897792/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=10554280 CPUtime=2.71 cores=1,3,5,7
/proc/14941/stat : 14941 (java) S 14939 14941 11485 0 -1 4202496 111999 0 1 0 258 13 0 0 23 0 19 0 877827893 10807582720 103951 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14941/statm: 2638570 103958 2219 9 0 2629304 0
[pid=14941/tid=14943] ppid=14939 vsize=10554280 CPUtime=1.29 cores=1,3,5,7
/proc/14941/task/14943/stat : 14943 (java) R 14939 14941 11485 0 -1 4202560 94913 0 1 0 118 11 0 0 25 0 19 0 877827894 10807582720 103960 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 46912505560453 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14941/tid=14944] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14944/stat : 14944 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 103963 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14945] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14945/stat : 14945 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 103965 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14946] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14946/stat : 14946 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 103968 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14947] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14947/stat : 14947 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 103970 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14948] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14948/stat : 14948 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 103973 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14949] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14949/stat : 14949 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 103976 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14950] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14950/stat : 14950 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877827896 10807582720 103978 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14951] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14951/stat : 14951 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 103981 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14952] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14952/stat : 14952 (java) S 14939 14941 11485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877827897 10807582720 103984 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 0 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14953] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14953/stat : 14953 (java) S 14939 14941 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877827897 10807582720 103987 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14954] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14954/stat : 14954 (java) S 14939 14941 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877827897 10807582720 103990 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14955] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14955/stat : 14955 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827900 10807582720 103993 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676631985 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14956] ppid=14939 vsize=10554280 CPUtime=0.69 cores=1,3,5,7
/proc/14941/task/14956/stat : 14956 (java) S 14939 14941 11485 0 -1 4202560 7724 0 0 0 69 0 0 0 25 0 19 0 877827900 10807582720 103996 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14957] ppid=14939 vsize=10554280 CPUtime=0.7 cores=1,3,5,7
/proc/14941/task/14957/stat : 14957 (java) S 14939 14941 11485 0 -1 4202560 8210 0 0 0 70 0 0 0 24 0 19 0 877827900 10807582720 103999 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14958] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14958/stat : 14958 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827900 10807582720 104000 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14959] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14959/stat : 14959 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877827900 10807582720 104001 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14960] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14960/stat : 14960 (java) S 14939 14941 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877827908 10807582720 104004 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10554280
[startup+1.4014 s]
/proc/loadavg: 1.94 2.01 2.00 3/212 14960
/proc/meminfo: memFree=27897792/32951132 swapFree=67054608/67111528
[pid=14941] ppid=14939 vsize=10554280 CPUtime=2.82 cores=1,3,5,7
/proc/14941/stat : 14941 (java) S 14939 14941 11485 0 -1 4202496 122743 0 1 0 268 14 0 0 23 0 19 0 877827893 10807582720 114695 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14941/statm: 2638570 114699 2219 9 0 2629304 0
[pid=14941/tid=14943] ppid=14939 vsize=10554280 CPUtime=1.38 cores=1,3,5,7
/proc/14941/task/14943/stat : 14943 (java) R 14939 14941 11485 0 -1 4202560 105654 0 1 0 126 12 0 0 25 0 19 0 877827894 10807582720 114701 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 46912505560468 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14941/tid=14944] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14944/stat : 14944 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 114703 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14945] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14945/stat : 14945 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 114705 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14946] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14946/stat : 14946 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 114707 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14947] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14947/stat : 14947 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 114708 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14948] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14948/stat : 14948 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 114710 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14949] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14949/stat : 14949 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 114712 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14950] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14950/stat : 14950 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877827896 10807582720 114714 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14951] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14951/stat : 14951 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827896 10807582720 114716 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14952] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14952/stat : 14952 (java) S 14939 14941 11485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877827897 10807582720 114718 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 0 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14953] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14953/stat : 14953 (java) S 14939 14941 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877827897 10807582720 114719 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14954] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14954/stat : 14954 (java) S 14939 14941 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877827897 10807582720 114721 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14955] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14955/stat : 14955 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827900 10807582720 114723 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676631985 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14956] ppid=14939 vsize=10554280 CPUtime=0.69 cores=1,3,5,7
/proc/14941/task/14956/stat : 14956 (java) S 14939 14941 11485 0 -1 4202560 7724 0 0 0 69 0 0 0 25 0 19 0 877827900 10807582720 114725 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
[pid=14941/tid=14957] ppid=14939 vsize=10554280 CPUtime=0.72 cores=1,3,5,7
/proc/14941/task/14957/stat : 14957 (java) S 14939 14941 11485 0 -1 4202560 8210 0 0 0 72 0 0 0 22 0 19 0 877827900 10807582720 114727 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14958] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14958/stat : 14958 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877827900 10807582720 114729 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624281 0 4 0 16800975 18446604471129758400 0 0 -1 1 0 0 0
[pid=14941/tid=14959] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14959/stat : 14959 (java) S 14939 14941 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877827900 10807582720 114731 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 4 0 16800975 18446604471129758400 0 0 -1 7 0 0 0
[pid=14941/tid=14960] ppid=14939 vsize=10554280 CPUtime=0 cores=1,3,5,7
/proc/14941/task/14960/stat : 14960 (java) S 14939 14941 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877827908 10807582720 114734 33554432000 1073741824 1073778376 140736558644256 18446744073709551615 274676624896 0 4 0 16800975 18446604471129758400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10554280
Child status: 30
Real time (s): 1.4362
CPU time (s): 2.88056
CPU user time (s): 2.71259
CPU system time (s): 0.167974
CPU usage (%): 200.568
Max. virtual memory (cumulated for all children) (KiB): 10556924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.71259
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122873
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= 267
involuntary context switches= 51
runsolver used 0.005999 second user time and 0.009998 second system time
The end