108.79/110.30 s SATISFIABLE
108.79/110.30 v 34 35 75 57 79 78 117 93 122 121 63 101 111 134 141 140 156 171 179 180 53 54 111 110 125 131 141 135 163 162 29 13 48 44 107 104 123 122 130 131 3 2 8 35 50 49 63 64 79 80 2 0 45 54 63 64 85 93 103 95 0 1 6 5 12 13 25 24 33 48 12 13 25 23 40 41 49 50 58 57 9 0 12 14 25 24 40 61 69 48 34 79 89 44 93 96 107 133 146 145
108.79/110.30 d AC 32
108.79/110.30 d RUNTIME 110.152
108.79/110.30 d NODES 1115
108.79/110.30 d NODES/s 10
108.79/110.30 d BACKTRACKS 11675
108.79/110.30 d BACKTRACKS/s 106
108.79/110.30 d CHECKS 0
108.79/110.30 d CHECKS/s 0
108.79/110.30 c SAT 110.152 TIME 1115 NDS 483 PARSTIME 221 BUILDPB 655 CONFIG 108793 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-2116750-1248032198/watcher-2116750-1248032198 -o /tmp/evaluation-result-2116750-1248032198/solver-2116750-1248032198 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116750-1248032198.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.00 2.00 1.92 4/80 26928
/proc/meminfo: memFree=1140400/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=18576 CPUtime=0
/proc/26928/stat : 26928 (runsolver) R 26926 26928 26144 0 -1 4194368 16 0 0 0 0 0 0 0 22 0 1 0 90286264 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26928/statm: 4644 284 249 26 0 2626 0
[startup+0.0203129 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 26928
/proc/meminfo: memFree=1140400/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=11260 CPUtime=0.01
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 898 0 1 0 0 1 0 0 22 0 2 0 90286264 11530240 634 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 11135 671 361 9 0 9518 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11260
[startup+0.126311 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 26928
/proc/meminfo: memFree=1140400/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=864072 CPUtime=0.1
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 3980 0 1 0 8 2 0 0 22 0 9 0 90286264 884809728 3427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216018 3427 1778 9 0 210487 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 864072
[startup+0.30233 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 26928
/proc/meminfo: memFree=1140400/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=864860 CPUtime=0.28
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 4746 0 1 0 25 3 0 0 22 0 9 0 90286264 885616640 4171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216215 4171 1858 9 0 210684 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864860
[startup+0.702377 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 26928
/proc/meminfo: memFree=1140400/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865120 CPUtime=0.68
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 6745 0 1 0 64 4 0 0 22 0 9 0 90286264 885882880 6139 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216280 6139 1949 9 0 210749 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865120
[startup+1.50147 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1115816/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=1.47
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 11525 0 1 0 139 8 0 0 22 0 9 0 90286264 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 10901 1987 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=1.13
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 10136 0 1 0 107 6 0 0 25 0 9 0 90286265 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4125923939 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 90286267 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90286267 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.31
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 659 0 0 0 31 0 0 0 15 0 9 0 90286269 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 10901 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865244
[startup+3.10164 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1098728/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=3.05
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 17177 0 1 0 294 11 0 0 22 0 9 0 90286264 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 16551 1995 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=2.59
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14917 0 1 0 250 9 0 0 25 0 9 0 90286265 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.02
/proc/26928/task/26931/stat : 26931 (java) R 26926 26928 26144 0 -1 64 814 0 0 0 2 0 0 0 16 0 9 0 90286267 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 104194463 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 90286267 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90286267 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.42
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 719 0 0 0 41 1 0 0 15 0 9 0 90286269 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 16551 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 865244
[startup+6.30298 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1078376/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=6.2
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19339 0 1 0 607 13 0 0 22 0 9 0 90286264 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18708 1997 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=5.68
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14921 0 1 0 559 9 0 0 25 0 9 0 90286265 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4127264441 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.07
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2963 0 0 0 6 1 0 0 16 0 9 0 90286267 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.42
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 721 0 0 0 41 1 0 0 15 0 9 0 90286269 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 865244
[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1072744/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=12.54
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19351 0 1 0 1241 13 0 0 22 0 9 0 90286264 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18716 1997 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=12
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14925 0 1 0 1191 9 0 0 25 0 9 0 90286265 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4127248725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.08
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2969 0 0 0 7 1 0 0 17 0 9 0 90286267 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.43
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 723 0 0 0 42 1 0 0 16 0 9 0 90286269 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18716 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 865244
[startup+25.5021 s]
/proc/loadavg: 2.00 2.00 1.92 4/89 26937
/proc/meminfo: memFree=1072744/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=25.17
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19377 0 1 0 2503 14 0 0 22 0 9 0 90286264 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18735 1999 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=24.6
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14940 0 1 0 2450 10 0 0 25 0 9 0 90286265 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4127307980 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.08
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2969 0 0 0 7 1 0 0 17 0 9 0 90286267 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.45
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 734 0 0 0 44 1 0 0 15 0 9 0 90286269 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18735 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 865244
[startup+51.1028 s]
/proc/loadavg: 2.00 2.00 1.92 4/89 26937
/proc/meminfo: memFree=1072744/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=50.44
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19415 0 1 0 5030 14 0 0 22 0 9 0 90286264 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18759 2002 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=49.84
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14954 0 1 0 4974 10 0 0 25 0 9 0 90286265 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4127307952 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.1
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2985 0 0 0 9 1 0 0 16 0 9 0 90286267 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.47
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 742 0 0 0 46 1 0 0 16 0 9 0 90286269 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18759 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 865244
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1072616/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=100.99
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19438 0 1 0 10083 16 0 0 22 0 9 0 90286264 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18767 2003 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=100.34
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14969 0 1 0 10023 11 0 0 25 0 9 0 90286265 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4126624739 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.13
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2990 0 0 0 12 1 0 0 16 0 9 0 90286267 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.47
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 745 0 0 0 46 1 0 0 16 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.99
Current children cumulated vsize (KiB) 865244
Solver just ended. Dumping a history of the last processes samples
[startup+105.502 s]
/proc/loadavg: 2.00 2.00 1.92 4/89 26937
/proc/meminfo: memFree=1072616/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=104.15
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19438 0 1 0 10399 16 0 0 22 0 9 0 90286264 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18767 2003 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=103.51
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14969 0 1 0 10340 11 0 0 25 0 9 0 90286265 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4127386712 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.13
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2990 0 0 0 12 1 0 0 16 0 9 0 90286267 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.47
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 745 0 0 0 46 1 0 0 16 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) R 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 104.15
Current children cumulated vsize (KiB) 865244
[startup+108.702 s]
/proc/loadavg: 2.00 2.00 1.92 4/89 26937
/proc/meminfo: memFree=1072616/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=107.31
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19443 0 1 0 10715 16 0 0 22 0 9 0 90286264 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18770 2003 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=106.67
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14971 0 1 0 10655 12 0 0 25 0 9 0 90286265 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4127420193 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.13
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2993 0 0 0 12 1 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.47
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 745 0 0 0 46 1 0 0 16 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 107.31
Current children cumulated vsize (KiB) 865244
[startup+109.502 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1072616/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=108.1
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19443 0 1 0 10794 16 0 0 22 0 9 0 90286264 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18770 2003 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=107.46
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14971 0 1 0 10734 12 0 0 25 0 9 0 90286265 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4127298808 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.13
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2993 0 0 0 12 1 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.47
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 745 0 0 0 46 1 0 0 16 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.1
Current children cumulated vsize (KiB) 865244
[startup+109.902 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1072616/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865244 CPUtime=108.5
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19443 0 1 0 10834 16 0 0 22 0 9 0 90286264 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216311 18770 2003 9 0 210780 0
[pid=26928/tid=26930] ppid=26926 vsize=865244 CPUtime=107.86
/proc/26928/task/26930/stat : 26930 (java) R 26926 26928 26144 0 -1 64 14971 0 1 0 10774 12 0 0 25 0 9 0 90286265 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4127325180 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865244 CPUtime=0.13
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2993 0 0 0 12 1 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865244 CPUtime=0.47
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 745 0 0 0 46 1 0 0 16 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865244 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886009856 18770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.5
Current children cumulated vsize (KiB) 865244
[startup+110.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 26937
/proc/meminfo: memFree=1072616/2055920 swapFree=4192812/4192956
[pid=26928] ppid=26926 vsize=865568 CPUtime=108.89
/proc/26928/stat : 26928 (java) S 26926 26928 26144 0 -1 0 19479 0 1 0 10873 16 0 0 22 0 9 0 90286264 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26928/statm: 216392 18802 2013 9 0 210861 0
[pid=26928/tid=26930] ppid=26926 vsize=865568 CPUtime=108.24
/proc/26928/task/26930/stat : 26930 (java) S 26926 26928 26144 0 -1 64 14999 0 1 0 10812 12 0 0 25 0 9 0 90286265 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26931] ppid=26926 vsize=865568 CPUtime=0.13
/proc/26928/task/26931/stat : 26931 (java) S 26926 26928 26144 0 -1 64 2993 0 0 0 12 1 0 0 16 0 9 0 90286267 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26932] ppid=26926 vsize=865568 CPUtime=0
/proc/26928/task/26932/stat : 26932 (java) S 26926 26928 26144 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90286267 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26933] ppid=26926 vsize=865568 CPUtime=0
/proc/26928/task/26933/stat : 26933 (java) S 26926 26928 26144 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90286267 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26934] ppid=26926 vsize=865568 CPUtime=0
/proc/26928/task/26934/stat : 26934 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90286269 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26935] ppid=26926 vsize=865568 CPUtime=0.48
/proc/26928/task/26935/stat : 26935 (java) S 26926 26928 26144 0 -1 64 748 0 0 0 47 1 0 0 16 0 9 0 90286269 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26936] ppid=26926 vsize=865568 CPUtime=0
/proc/26928/task/26936/stat : 26936 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90286269 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26928/tid=26937] ppid=26926 vsize=865568 CPUtime=0
/proc/26928/task/26937/stat : 26937 (java) S 26926 26928 26144 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90286269 886341632 18802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.89
Current children cumulated vsize (KiB) 865568
Child status: 0
Real time (s): 110.356
CPU time (s): 108.909
CPU user time (s): 108.73
CPU system time (s): 0.178972
CPU usage (%): 98.6891
Max. virtual memory (cumulated for all children) (KiB): 865568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.73
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19482
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= 5200
involuntary context switches= 7169
runsolver used 0.144977 second user time and 0.428934 second system time
The end
Begin job on node21 at 2009-07-19 21:36:38
IDJOB=2116750
IDBENCH=57613
IDSOLVER=780
FILE ID=node21/2116750-1248032198
PBS_JOBID= 9529003
Free space on /tmp= 66332 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-10.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-2116750-1248032198/watcher-2116750-1248032198 -o /tmp/evaluation-result-2116750-1248032198/solver-2116750-1248032198 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116750-1248032198.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= 16828d5b306d2e949e22316dd26b1589
RANDOM SEED=203301303
node21.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.240
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.240
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: 1140880 kB
Buffers: 95312 kB
Cached: 619164 kB
SwapCached: 0 kB
Active: 341636 kB
Inactive: 485408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1140880 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5300 kB
Writeback: 0 kB
Mapped: 130352 kB
Slab: 72980 kB
Committed_AS: 1225164 kB
PageTables: 1956 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= 66324 MiB
End job on node21 at 2009-07-19 21:38:28