runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116391-1248031008/watcher-2116391-1248031008 -o /tmp/evaluation-result-2116391-1248031008/solver-2116391-1248031008 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116391-1248031008.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: 1.92 1.98 1.92 4/80 878
/proc/meminfo: memFree=482288/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=152 CPUtime=0
/proc/878/stat : 878 (java) R 876 878 31988 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 90164780 155648 26 996147200 134512640 134550932 4294955888 18446744073709551615 11281188 0 0 4096 0 0 0 0 17 0 0 0
/proc/878/statm: 38 26 19 9 0 4 0
[startup+0.0921669 s]
/proc/loadavg: 1.92 1.98 1.92 4/80 878
/proc/meminfo: memFree=482288/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864104 CPUtime=0.08
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 3792 0 1 0 6 2 0 0 18 0 9 0 90164780 884842496 3257 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216026 3259 1718 9 0 210495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864104
[startup+0.101163 s]
/proc/loadavg: 1.92 1.98 1.92 4/80 878
/proc/meminfo: memFree=482288/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864104 CPUtime=0.09
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 3903 0 1 0 7 2 0 0 18 0 9 0 90164780 884842496 3350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216026 3351 1751 9 0 210495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864104
[startup+0.301189 s]
/proc/loadavg: 1.92 1.98 1.92 4/80 878
/proc/meminfo: memFree=482288/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864416 CPUtime=0.29
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 7449 0 1 0 25 4 0 0 18 0 9 0 90164780 885161984 6874 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216104 6874 1855 9 0 210573 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864416
[startup+0.701232 s]
/proc/loadavg: 1.92 1.98 1.92 4/80 878
/proc/meminfo: memFree=482288/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864416 CPUtime=0.69
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 21097 0 1 0 60 9 0 0 18 0 9 0 90164780 885161984 20513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216104 20513 1889 9 0 210573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864416
[startup+1.50231 s]
/proc/loadavg: 1.92 1.98 1.92 3/89 887
/proc/meminfo: memFree=407144/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=1.49
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 26925 0 1 0 137 12 0 0 18 0 9 0 90164780 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 26312 1956 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=1.27
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 14573 0 1 0 120 7 0 0 25 0 9 0 90164781 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=0.13
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 11265 0 0 0 9 4 0 0 16 0 9 0 90164783 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 90164783 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.07
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 355 0 0 0 7 0 0 0 16 0 9 0 90164785 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 26312 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 26313 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 864572
[startup+3.10247 s]
/proc/loadavg: 1.92 1.98 1.92 3/89 887
/proc/meminfo: memFree=360232/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=3.09
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 34284 0 1 0 292 17 0 0 18 0 9 0 90164780 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33656 1978 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=2.6
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 14729 0 1 0 252 8 0 0 25 0 9 0 90164781 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4126543935 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=0.35
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18432 0 0 0 27 8 0 0 16 0 9 0 90164783 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.12
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 391 0 0 0 12 0 0 0 15 0 9 0 90164785 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 864572
[startup+6.3018 s]
/proc/loadavg: 1.93 1.98 1.92 3/89 887
/proc/meminfo: memFree=354600/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=6.29
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 34306 0 1 0 611 18 0 0 18 0 9 0 90164780 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33670 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=5.76
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 14737 0 1 0 568 8 0 0 25 0 9 0 90164781 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4126643387 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=0.35
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18432 0 0 0 27 8 0 0 16 0 9 0 90164783 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 405 0 0 0 14 0 0 0 17 0 9 0 90164785 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33670 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 864572
[startup+12.7025 s]
/proc/loadavg: 1.93 1.98 1.92 3/89 887
/proc/meminfo: memFree=354536/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=12.68
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 34325 0 1 0 1249 19 0 0 18 0 9 0 90164780 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33672 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=12.15
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 14754 0 1 0 1205 10 0 0 25 0 9 0 90164781 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4126643207 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=0.37
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18432 0 0 0 29 8 0 0 16 0 9 0 90164783 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 864572
[startup+25.5028 s]
/proc/loadavg: 1.95 1.98 1.92 3/89 887
/proc/meminfo: memFree=354536/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=25.48
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 34357 0 1 0 2527 21 0 0 18 0 9 0 90164780 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33672 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=24.92
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 14786 0 1 0 2481 11 0 0 25 0 9 0 90164781 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4126645952 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=0.38
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18432 0 0 0 30 8 0 0 16 0 9 0 90164783 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33672 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 864572
[startup+51.1024 s]
/proc/loadavg: 1.96 1.98 1.92 3/89 887
/proc/meminfo: memFree=354472/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=51.07
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 34423 0 1 0 5081 26 0 0 18 0 9 0 90164780 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33673 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=50.46
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 14851 0 1 0 5031 15 0 0 25 0 9 0 90164781 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=0.44
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18433 0 0 0 35 9 0 0 16 0 9 0 90164783 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33673 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 864572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 887
/proc/meminfo: memFree=353960/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=1601.7
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 38367 0 1 0 159846 324 0 0 18 0 9 0 90164780 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33678 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=1597.98
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 18790 0 1 0 159513 285 0 0 25 0 9 0 90164781 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4126653991 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=3.54
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18438 0 0 0 317 37 0 0 16 0 9 0 90164783 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33678 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 864572
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 887
/proc/meminfo: memFree=354024/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=1661.67
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 38522 0 1 0 165834 333 0 0 18 0 9 0 90164780 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33679 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=1657.83
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 18944 0 1 0 165490 293 0 0 25 0 9 0 90164781 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4126656855 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=3.66
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18439 0 0 0 328 38 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 864572
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 887
/proc/meminfo: memFree=353960/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=1721.65
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 38677 0 1 0 171820 345 0 0 18 0 9 0 90164780 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33679 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=1717.7
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 19099 0 1 0 171466 304 0 0 25 0 9 0 90164781 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=3.78
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18439 0 0 0 339 39 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 864572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 887
/proc/meminfo: memFree=353768/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=1781.63
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 38829 0 1 0 177810 353 0 0 18 0 9 0 90164780 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33679 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=1777.55
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 19251 0 1 0 177444 311 0 0 25 0 9 0 90164781 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4126645467 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=3.91
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18439 0 0 0 351 40 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 864572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 887
/proc/meminfo: memFree=353832/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=1800.03
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 38876 0 1 0 179648 355 0 0 18 0 9 0 90164780 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33679 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=1795.91
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 19298 0 1 0 179278 313 0 0 25 0 9 0 90164781 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4126650206 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=3.94
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18439 0 0 0 354 40 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 864572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 887
/proc/meminfo: memFree=353832/2055920 swapFree=4192812/4192956
[pid=878] ppid=876 vsize=864572 CPUtime=1800.03
/proc/878/stat : 878 (java) S 876 878 31988 0 -1 0 38876 0 1 0 179648 355 0 0 18 0 9 0 90164780 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/878/statm: 216143 33679 1981 9 0 210612 0
[pid=878/tid=880] ppid=876 vsize=864572 CPUtime=1795.91
/proc/878/task/880/stat : 880 (java) R 876 878 31988 0 -1 64 19298 0 1 0 179278 313 0 0 25 0 9 0 90164781 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4126650206 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=881] ppid=876 vsize=864572 CPUtime=3.94
/proc/878/task/881/stat : 881 (java) S 876 878 31988 0 -1 64 18439 0 0 0 354 40 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=882] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/882/stat : 882 (java) S 876 878 31988 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=883] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/883/stat : 883 (java) S 876 878 31988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90164783 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=884] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/884/stat : 884 (java) S 876 878 31988 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=885] ppid=876 vsize=864572 CPUtime=0.14
/proc/878/task/885/stat : 885 (java) S 876 878 31988 0 -1 64 407 0 0 0 14 0 0 0 16 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=886] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/886/stat : 886 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=878/tid=887] ppid=876 vsize=864572 CPUtime=0
/proc/878/task/887/stat : 887 (java) S 876 878 31988 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90164785 885321728 33679 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 864572
Child status: 143
Real time (s): 1800.79
CPU time (s): 1800.12
CPU user time (s): 1796.54
CPU system time (s): 3.57846
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 864572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 3.57845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38899
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= 76694
involuntary context switches= 83102
runsolver used 2.24566 second user time and 5.97109 second system time
The end
Begin job on node44 at 2009-07-19 21:16:49
IDJOB=2116391
IDBENCH=56805
IDSOLVER=780
FILE ID=node44/2116391-1248031008
PBS_JOBID= 9528959
Free space on /tmp= 66232 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-4_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-2116391-1248031008/watcher-2116391-1248031008 -o /tmp/evaluation-result-2116391-1248031008/solver-2116391-1248031008 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116391-1248031008.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= e23d593393ee702080d39ef2e2518c19
RANDOM SEED=1057846076
node44.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.219
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.219
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: 482768 kB
Buffers: 73600 kB
Cached: 1261036 kB
SwapCached: 0 kB
Active: 522436 kB
Inactive: 955204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 482768 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 21856 kB
Writeback: 0 kB
Mapped: 160860 kB
Slab: 80632 kB
Committed_AS: 1335664 kB
PageTables: 2020 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= 66224 MiB
End job on node44 at 2009-07-19 21:46:52