48.45/48.49 s SATISFIABLE
48.45/48.49 v 19 12 4 19 15 18 14 5 0 12 15 4 19 0 8 0 18 3 4 4
48.45/48.49 d AC 32
48.45/48.49 d RUNTIME 48.391
48.45/48.49 d NODES 21659
48.45/48.49 d NODES/s 448
48.45/48.49 d BACKTRACKS 54716
48.45/48.49 d BACKTRACKS/s 1131
48.45/48.49 d CHECKS 0
48.45/48.49 d CHECKS/s 0
48.45/48.49 c SAT 48.391 TIME 21659 NDS 311 PARSTIME 92 BUILDPB 103 CONFIG 47885 RES true RESTART 1 HEURISTIC true RANDVAL
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116479-1248031117/watcher-2116479-1248031117 -o /tmp/evaluation-result-2116479-1248031117/solver-2116479-1248031117 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116479-1248031117.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 3/70 19949
/proc/meminfo: memFree=941896/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=1616 CPUtime=0
/proc/19949/stat : 19949 (java) D 19947 19949 18948 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 90178069 1654784 161 996147200 134512640 134550932 4294956064 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/19949/statm: 404 161 124 9 0 46 0
[startup+0.0438031 s]
/proc/loadavg: 2.02 2.04 2.00 3/70 19949
/proc/meminfo: memFree=941896/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=859892 CPUtime=0.03
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 2354 0 1 0 2 1 0 0 18 0 5 0 90178069 880529408 1920 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 214973 1923 894 9 0 209888 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 859892
[startup+0.10181 s]
/proc/loadavg: 2.02 2.04 2.00 3/70 19949
/proc/meminfo: memFree=941896/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865016 CPUtime=0.1
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 3970 0 1 0 8 2 0 0 18 0 9 0 90178069 885776384 3417 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216254 3419 1777 9 0 210723 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865016
[startup+0.301827 s]
/proc/loadavg: 2.02 2.04 2.00 3/70 19949
/proc/meminfo: memFree=941896/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=0.33
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 7414 0 1 0 28 5 0 0 18 0 9 0 90178069 886054912 6831 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 6832 1878 9 0 210791 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 865288
[startup+0.701864 s]
/proc/loadavg: 2.02 2.04 2.00 3/70 19949
/proc/meminfo: memFree=941896/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=0.77
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 14559 0 1 0 68 9 0 0 18 0 9 0 90178069 886054912 13939 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 13941 1960 9 0 210791 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 865288
[startup+1.50295 s]
/proc/loadavg: 1.93 2.03 1.99 2/79 19958
/proc/meminfo: memFree=875072/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=1.57
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20586 0 1 0 145 12 0 0 18 0 9 0 90178069 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19962 1977 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=1.36
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14733 0 1 0 127 9 0 0 22 0 9 0 90178071 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4126615796 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.09
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 7 2 0 0 17 0 9 0 90178072 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.1
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 371 0 0 0 10 0 0 0 16 0 9 0 90178074 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19962 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 865288
[startup+3.10209 s]
/proc/loadavg: 1.93 2.03 1.99 3/89 19993
/proc/meminfo: memFree=847600/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=3.17
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20607 0 1 0 304 13 0 0 18 0 9 0 90178069 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19979 1980 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=2.93
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14738 0 1 0 283 10 0 0 25 0 9 0 90178071 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4126583920 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.09
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 7 2 0 0 16 0 9 0 90178072 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.12
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 387 0 0 0 12 0 0 0 15 0 9 0 90178074 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19979 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 865288
[startup+6.30238 s]
/proc/loadavg: 1.94 2.03 1.99 3/89 19993
/proc/meminfo: memFree=794672/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=6.37
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20621 0 1 0 623 14 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=6.12
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14747 0 1 0 601 11 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4126572855 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.1
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 8 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 865288
[startup+12.703 s]
/proc/loadavg: 1.94 2.03 1.99 3/89 19993
/proc/meminfo: memFree=794480/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=12.77
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20637 0 1 0 1261 16 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=12.5
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14763 0 1 0 1238 12 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4126590152 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.1
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 8 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 865288
[startup+25.5011 s]
/proc/loadavg: 1.95 2.02 1.99 3/89 19993
/proc/meminfo: memFree=794480/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=25.56
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20670 0 1 0 2537 19 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=25.28
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14796 0 1 0 2513 15 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.12
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 10 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 865288
Solver just ended. Dumping a history of the last processes samples
[startup+38.3023 s]
/proc/loadavg: 1.96 2.02 1.99 3/89 19993
/proc/meminfo: memFree=794416/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=38.36
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20703 0 1 0 3813 23 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=38.05
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14829 0 1 0 3786 19 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4126495041 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.14
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 12 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.36
Current children cumulated vsize (KiB) 865288
[startup+44.7029 s]
/proc/loadavg: 1.96 2.02 1.99 3/89 19993
/proc/meminfo: memFree=794416/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=44.75
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20719 0 1 0 4451 24 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=44.44
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14845 0 1 0 4424 20 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4126576320 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.15
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 13 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.75
Current children cumulated vsize (KiB) 865288
[startup+46.303 s]
/proc/loadavg: 1.97 2.02 1.99 3/89 19993
/proc/meminfo: memFree=794416/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=46.35
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20723 0 1 0 4610 25 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=46.04
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14849 0 1 0 4583 21 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.15
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 13 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.35
Current children cumulated vsize (KiB) 865288
[startup+47.9021 s]
/proc/loadavg: 1.97 2.02 1.99 3/89 19993
/proc/meminfo: memFree=794416/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=47.95
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20727 0 1 0 4770 25 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=47.63
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14853 0 1 0 4742 21 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.15
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 13 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.95
Current children cumulated vsize (KiB) 865288
[startup+48.3022 s]
/proc/loadavg: 1.97 2.02 1.99 3/89 19993
/proc/meminfo: memFree=794416/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865288 CPUtime=48.35
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20728 0 1 0 4810 25 0 0 18 0 9 0 90178069 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216322 19984 1981 9 0 210791 0
[pid=19949/tid=19951] ppid=19947 vsize=865288 CPUtime=48.04
/proc/19949/task/19951/stat : 19951 (java) R 19947 19949 18948 0 -1 64 14854 0 1 0 4783 21 0 0 25 0 9 0 90178071 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865288 CPUtime=0.15
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 13 2 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865288 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865288 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886054912 19984 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.35
Current children cumulated vsize (KiB) 865288
[startup+48.5022 s]
/proc/loadavg: 1.97 2.02 1.99 3/89 19993
/proc/meminfo: memFree=794416/2055920 swapFree=4192812/4192956
[pid=19949] ppid=19947 vsize=865612 CPUtime=48.55
/proc/19949/stat : 19949 (java) S 19947 19949 18948 0 -1 0 20754 0 1 0 4829 26 0 0 18 0 9 0 90178069 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19949/statm: 216403 20006 1987 9 0 210872 0
[pid=19949/tid=19951] ppid=19947 vsize=865612 CPUtime=48.22
/proc/19949/task/19951/stat : 19951 (java) S 19947 19949 18948 0 -1 64 14874 0 1 0 4801 21 0 0 25 0 9 0 90178071 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865612 CPUtime=0.15
/proc/19949/task/19952/stat : 19952 (java) S 19947 19949 18948 0 -1 64 4749 0 0 0 13 2 0 0 16 0 9 0 90178072 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19953] ppid=19947 vsize=865612 CPUtime=0
/proc/19949/task/19953/stat : 19953 (java) S 19947 19949 18948 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90178072 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19954] ppid=19947 vsize=865612 CPUtime=0
/proc/19949/task/19954/stat : 19954 (java) S 19947 19949 18948 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90178072 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19955] ppid=19947 vsize=865612 CPUtime=0
/proc/19949/task/19955/stat : 19955 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90178074 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19956] ppid=19947 vsize=865612 CPUtime=0.13
/proc/19949/task/19956/stat : 19956 (java) S 19947 19949 18948 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 90178074 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19957] ppid=19947 vsize=865612 CPUtime=0
/proc/19949/task/19957/stat : 19957 (java) S 19947 19949 18948 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90178074 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19949/tid=19958] ppid=19947 vsize=865612 CPUtime=0
/proc/19949/task/19958/stat : 19958 (java) S 19947 19949 18948 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90178074 886386688 20006 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.55
Current children cumulated vsize (KiB) 865612
Child status: 0
Real time (s): 48.5403
CPU time (s): 48.5636
CPU user time (s): 48.2907
CPU system time (s): 0.272958
CPU usage (%): 100.048
Max. virtual memory (cumulated for all children) (KiB): 865612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.2907
system time used= 0.272958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20757
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= 2441
involuntary context switches= 1503
runsolver used 0.066989 second user time and 0.165974 second system time
The end
Begin job on node25 at 2009-07-19 21:18:37
IDJOB=2116479
IDBENCH=56931
IDSOLVER=780
FILE ID=node25/2116479-1248031117
PBS_JOBID= 9528995
Free space on /tmp= 66336 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-7_ext.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2116479-1248031117/watcher-2116479-1248031117 -o /tmp/evaluation-result-2116479-1248031117/solver-2116479-1248031117 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116479-1248031117.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 07d3ae142484721fc64ab76ec299d0ab
RANDOM SEED=1876707965
node25.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 942376 kB
Buffers: 102824 kB
Cached: 896504 kB
SwapCached: 0 kB
Active: 225172 kB
Inactive: 790936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 942376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6160 kB
Writeback: 0 kB
Mapped: 26680 kB
Slab: 82944 kB
Committed_AS: 465324 kB
PageTables: 1804 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66332 MiB
End job on node25 at 2009-07-19 21:19:26