4.84/4.98 s SATISFIABLE
4.84/4.98 v 1071 1 728 2 786 380 0 753 847 316 382 6 0 1036 7 472 3 1 122 1066 754 10 4 959 0 754 987 54 13 912 753 18 1 648 1064 1065 17 959 2 15 11 8 379 1069 694 1070 6 786 54 942 114 0 175 1066 865 1 181 1069 1070 382 379 9 30 987 1065 175 372 29 11 10 15 2 10 1062 122 912 18 1066 610 865 29 686 181 0 610 382 25 5 472 380 3 648 732 316 5 0 1 3 1069 17 2
4.84/4.98 d AC 32
4.84/4.98 d RUNTIME 4.847
4.84/4.98 d NODES 319
4.84/4.98 d NODES/s 66
4.84/4.98 d BACKTRACKS 189
4.84/4.98 d BACKTRACKS/s 39
4.84/4.98 d CHECKS 0
4.84/4.98 d CHECKS/s 0
4.84/4.98 c SAT 4.847 TIME 319 NDS 647 PARSTIME 240 BUILDPB 538 CONFIG 3422 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-2116770-1248032230/watcher-2116770-1248032230 -o /tmp/evaluation-result-2116770-1248032230/solver-2116770-1248032230 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116770-1248032230.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.08 2.02 1.98 3/80 22947
/proc/meminfo: memFree=880864/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=10676 CPUtime=0.01
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 710 0 0 0 0 1 0 0 18 0 2 0 90289609 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 2669 488 211 9 0 1184 0
[pid=22947/tid=22948] ppid=22945 vsize=10676 CPUtime=0
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 90289610 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 8708056 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0522091 s]
/proc/loadavg: 2.08 2.02 1.98 3/80 22947
/proc/meminfo: memFree=880864/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=859892 CPUtime=0.03
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 2379 0 1 0 2 1 0 0 18 0 5 0 90289609 880529408 1941 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 214973 1942 904 9 0 209888 0
[pid=22947/tid=22948] ppid=22945 vsize=859892 CPUtime=0.02
/proc/22947/task/22948/stat : 22948 (java) D 22945 22947 22555 0 -1 64 1653 0 1 0 2 0 0 0 17 0 5 0 90289610 880529408 1942 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 859892
[startup+0.103624 s]
/proc/loadavg: 2.08 2.02 1.98 3/80 22947
/proc/meminfo: memFree=880864/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=864060 CPUtime=0.09
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 3793 0 1 0 7 2 0 0 18 0 9 0 90289609 884797440 3256 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216015 3256 1717 9 0 210484 0
[pid=22947/tid=22948] ppid=22945 vsize=864060 CPUtime=0.07
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 2854 0 1 0 6 1 0 0 18 0 9 0 90289610 884797440 3256 996147200 134512640 134550932 4294955888 18446744073709551615 4125875835 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864060
[startup+0.302622 s]
/proc/loadavg: 2.08 2.02 1.98 3/80 22947
/proc/meminfo: memFree=880864/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=864192 CPUtime=0.29
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 4482 0 1 0 26 3 0 0 18 0 9 0 90289609 884932608 3907 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216048 3907 1855 9 0 210517 0
[pid=22947/tid=22948] ppid=22945 vsize=864192 CPUtime=0.25
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 3519 0 1 0 23 2 0 0 19 0 9 0 90289610 884932608 3907 996147200 134512640 134550932 4294955888 18446744073709551615 4125926758 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864192
[startup+0.701664 s]
/proc/loadavg: 2.08 2.02 1.98 3/80 22947
/proc/meminfo: memFree=880864/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=864936 CPUtime=0.68
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 5819 0 1 0 64 4 0 0 18 0 9 0 90289609 885694464 5233 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216234 5233 1898 9 0 210703 0
[pid=22947/tid=22948] ppid=22945 vsize=864936 CPUtime=0.51
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 4550 0 1 0 48 3 0 0 21 0 9 0 90289610 885694464 5233 996147200 134512640 134550932 4294955888 18446744073709551615 4125931169 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864936
[startup+1.50174 s]
/proc/loadavg: 2.08 2.02 1.98 3/89 22956
/proc/meminfo: memFree=859672/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=865256 CPUtime=1.48
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 10992 0 1 0 140 8 0 0 18 0 9 0 90289609 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216314 10370 1983 9 0 210783 0
[pid=22947/tid=22948] ppid=22945 vsize=865256 CPUtime=1.15
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 9615 0 1 0 109 6 0 0 25 0 9 0 90289610 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 102751282 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22950] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22950/stat : 22950 (java) S 22945 22947 22555 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22951] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22951/stat : 22951 (java) S 22945 22947 22555 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90289612 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22952] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22952/stat : 22952 (java) S 22945 22947 22555 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90289612 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22953] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22953/stat : 22953 (java) S 22945 22947 22555 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90289614 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22954] ppid=22945 vsize=865256 CPUtime=0.3
/proc/22947/task/22954/stat : 22954 (java) S 22945 22947 22555 0 -1 64 646 0 0 0 30 0 0 0 15 0 9 0 90289614 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22955] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22955/stat : 22955 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90289614 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22956] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22956/stat : 22956 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90289615 886022144 10370 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865256
[startup+3.10189 s]
/proc/loadavg: 2.08 2.02 1.98 3/89 22956
/proc/meminfo: memFree=840472/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=865256 CPUtime=3.06
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 17792 0 1 0 294 12 0 0 18 0 9 0 90289609 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216314 17164 1996 9 0 210783 0
[pid=22947/tid=22948] ppid=22945 vsize=865256 CPUtime=2.59
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 14907 0 1 0 250 9 0 0 25 0 9 0 90289610 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4127295411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22950] ppid=22945 vsize=865256 CPUtime=0.03
/proc/22947/task/22950/stat : 22950 (java) S 22945 22947 22555 0 -1 64 1441 0 0 0 3 0 0 0 16 0 9 0 90289612 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22951] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22951/stat : 22951 (java) S 22945 22947 22555 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22952] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22952/stat : 22952 (java) S 22945 22947 22555 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22953] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22953/stat : 22953 (java) S 22945 22947 22555 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90289614 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22954] ppid=22945 vsize=865256 CPUtime=0.39
/proc/22947/task/22954/stat : 22954 (java) S 22945 22947 22555 0 -1 64 711 0 0 0 39 0 0 0 15 0 9 0 90289614 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22955] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22955/stat : 22955 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90289614 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22956] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22956/stat : 22956 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90289615 886022144 17164 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865256
Solver just ended. Dumping a history of the last processes samples
[startup+3.90197 s]
/proc/loadavg: 2.08 2.02 1.98 3/89 22956
/proc/meminfo: memFree=819480/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=865256 CPUtime=3.85
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 17799 0 1 0 372 13 0 0 18 0 9 0 90289609 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216314 17171 1996 9 0 210783 0
[pid=22947/tid=22948] ppid=22945 vsize=865256 CPUtime=3.38
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 14908 0 1 0 328 10 0 0 25 0 9 0 90289610 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4127417684 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22950] ppid=22945 vsize=865256 CPUtime=0.03
/proc/22947/task/22950/stat : 22950 (java) S 22945 22947 22555 0 -1 64 1441 0 0 0 3 0 0 0 16 0 9 0 90289612 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22951] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22951/stat : 22951 (java) S 22945 22947 22555 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22952] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22952/stat : 22952 (java) S 22945 22947 22555 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22953] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22953/stat : 22953 (java) S 22945 22947 22555 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90289614 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22954] ppid=22945 vsize=865256 CPUtime=0.41
/proc/22947/task/22954/stat : 22954 (java) S 22945 22947 22555 0 -1 64 717 0 0 0 40 1 0 0 16 0 9 0 90289614 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22955] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22955/stat : 22955 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90289614 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22956] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22956/stat : 22956 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90289615 886022144 17171 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 865256
[startup+4.70205 s]
/proc/loadavg: 2.08 2.02 1.98 3/89 22956
/proc/meminfo: memFree=819288/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=865256 CPUtime=4.64
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 17811 0 1 0 451 13 0 0 18 0 9 0 90289609 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216314 17181 1998 9 0 210783 0
[pid=22947/tid=22948] ppid=22945 vsize=865256 CPUtime=4.16
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 14917 0 1 0 406 10 0 0 25 0 9 0 90289610 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4127223904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22950] ppid=22945 vsize=865256 CPUtime=0.03
/proc/22947/task/22950/stat : 22950 (java) S 22945 22947 22555 0 -1 64 1441 0 0 0 3 0 0 0 16 0 9 0 90289612 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22951] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22951/stat : 22951 (java) S 22945 22947 22555 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22952] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22952/stat : 22952 (java) S 22945 22947 22555 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22953] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22953/stat : 22953 (java) S 22945 22947 22555 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90289614 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22954] ppid=22945 vsize=865256 CPUtime=0.42
/proc/22947/task/22954/stat : 22954 (java) S 22945 22947 22555 0 -1 64 720 0 0 0 41 1 0 0 16 0 9 0 90289614 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22955] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22955/stat : 22955 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90289614 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22956] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22956/stat : 22956 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90289615 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 865256
[startup+4.90207 s]
/proc/loadavg: 2.08 2.02 1.98 3/89 22956
/proc/meminfo: memFree=819288/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=865256 CPUtime=4.84
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 17811 0 1 0 471 13 0 0 18 0 9 0 90289609 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216314 17181 1998 9 0 210783 0
[pid=22947/tid=22948] ppid=22945 vsize=865256 CPUtime=4.36
/proc/22947/task/22948/stat : 22948 (java) R 22945 22947 22555 0 -1 64 14917 0 1 0 426 10 0 0 25 0 9 0 90289610 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4127397936 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22950] ppid=22945 vsize=865256 CPUtime=0.03
/proc/22947/task/22950/stat : 22950 (java) S 22945 22947 22555 0 -1 64 1441 0 0 0 3 0 0 0 16 0 9 0 90289612 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22951] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22951/stat : 22951 (java) S 22945 22947 22555 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22952] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22952/stat : 22952 (java) S 22945 22947 22555 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90289612 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22953] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22953/stat : 22953 (java) S 22945 22947 22555 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90289614 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22954] ppid=22945 vsize=865256 CPUtime=0.42
/proc/22947/task/22954/stat : 22954 (java) S 22945 22947 22555 0 -1 64 720 0 0 0 41 1 0 0 16 0 9 0 90289614 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22955] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22955/stat : 22955 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90289614 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22956] ppid=22945 vsize=865256 CPUtime=0
/proc/22947/task/22956/stat : 22956 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90289615 886022144 17181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 865256
[startup+5.00207 s]
/proc/loadavg: 2.08 2.02 1.98 3/89 22956
/proc/meminfo: memFree=819288/2055920 swapFree=4192812/4192956
[pid=22947] ppid=22945 vsize=865580 CPUtime=4.93
/proc/22947/stat : 22947 (java) S 22945 22947 22555 0 -1 0 17849 0 1 0 480 13 0 0 18 0 9 0 90289609 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22947/statm: 216395 17215 2008 9 0 210864 0
[pid=22947/tid=22948] ppid=22945 vsize=865580 CPUtime=4.44
/proc/22947/task/22948/stat : 22948 (java) S 22945 22947 22555 0 -1 64 14947 0 1 0 434 10 0 0 25 0 9 0 90289610 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22950] ppid=22945 vsize=865580 CPUtime=0.03
/proc/22947/task/22950/stat : 22950 (java) S 22945 22947 22555 0 -1 64 1441 0 0 0 3 0 0 0 16 0 9 0 90289612 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22951] ppid=22945 vsize=865580 CPUtime=0
/proc/22947/task/22951/stat : 22951 (java) S 22945 22947 22555 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90289612 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22952] ppid=22945 vsize=865580 CPUtime=0
/proc/22947/task/22952/stat : 22952 (java) S 22945 22947 22555 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90289612 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22953] ppid=22945 vsize=865580 CPUtime=0
/proc/22947/task/22953/stat : 22953 (java) S 22945 22947 22555 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90289614 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22954] ppid=22945 vsize=865580 CPUtime=0.42
/proc/22947/task/22954/stat : 22954 (java) S 22945 22947 22555 0 -1 64 723 0 0 0 41 1 0 0 15 0 9 0 90289614 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22955] ppid=22945 vsize=865580 CPUtime=0
/proc/22947/task/22955/stat : 22955 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90289614 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22947/tid=22956] ppid=22945 vsize=865580 CPUtime=0
/proc/22947/task/22956/stat : 22956 (java) S 22945 22947 22555 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90289615 886353920 17215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 865580
Child status: 0
Real time (s): 5.03452
CPU time (s): 4.95125
CPU user time (s): 4.80527
CPU system time (s): 0.145977
CPU usage (%): 98.346
Max. virtual memory (cumulated for all children) (KiB): 865580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.80527
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17852
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= 2373
involuntary context switches= 2477
runsolver used 0.007998 second user time and 0.020996 second system time
The end
Begin job on node18 at 2009-07-19 21:37:10
IDJOB=2116770
IDBENCH=57647
IDSOLVER=780
FILE ID=node18/2116770-1248032230
PBS_JOBID= 9529009
Free space on /tmp= 66312 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-06-1071.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-2116770-1248032230/watcher-2116770-1248032230 -o /tmp/evaluation-result-2116770-1248032230/solver-2116770-1248032230 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116770-1248032230.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= 59af34547620dd78a43fde16d9149e7e
RANDOM SEED=1645407471
node18.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.243
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.243
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: 881344 kB
Buffers: 109660 kB
Cached: 711168 kB
SwapCached: 0 kB
Active: 487048 kB
Inactive: 589820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 881344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5100 kB
Writeback: 0 kB
Mapped: 273876 kB
Slab: 82732 kB
Committed_AS: 1244660 kB
PageTables: 2232 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= 66308 MiB
End job on node18 at 2009-07-19 21:37:15