0.37/0.33
0.37/0.33 AbsCon 2
0.37/0.33
0.70/0.54 Solving XCSP3-instance-4246080-1500703968 as a CSP
0.70/0.54 Loading variables...
0.70/0.57 Loading constraints...
0.97/0.65 Solver SolverBacktrack being built...
0.97/0.65
1.32/0.70 Preprocessing : gac=true, ccks=41616, filters=0, revisions=102 (useless=102), AC=0, removals=0, inconsistent=false
1.32/0.70
2.05/1.03
2.05/1.03 v <instantiation id='sol1' type='solution'> <list> x[] y[] </list> <values> 0 34 1 33 2 32 3 31 4 30 5 29 6 28 7 27 8 26 9 25 10 24 11 23 12 22 13 21 14 20 15 19 16 18 17 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 </values> </instantiation>
2.05/1.03 s SATISFIABLE
2.05/1.03
2.05/1.03 d WRONG_DECISIONS 46
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246080-1500703968/watcher-4246080-1500703968 -o /tmp/evaluation-result-4246080-1500703968/solver-4246080-1500703968 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500696776-19900 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4246080-1500703968.xml
pid=21876
running on 8 cores: 0-3,8-11
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.85 2.00 2.03 3/266 21879
/proc/meminfo: memFree=31678500/32770624 swapFree=5932/280792
[pid=21879] ppid=21876 vsize=8349744 CPUtime=0 cores=0-3,8-11
/proc/21879/stat : 21879 (java) S 21876 21879 18810 0 -1 1077944320 2220 0 0 0 0 0 0 0 20 0 2 0 5663954 8550137856 2441 33554432000 4194304 4196468 140722705247696 140722705230240 140615158275831 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
/proc/21879/statm: 2087436 2441 1198 1 0 2076347 0
[pid=21879/tid=21880] ppid=21876 vsize=8351800 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21880/stat : 21880 (java) S 21876 21879 18810 0 -1 1077944384 925 0 0 0 0 0 0 0 20 0 4 0 5663955 8552243200 2441 33554432000 4194304 4196468 140722705247696 140615162517200 140615158286037 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21881] ppid=21876 vsize=8351800 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21881/stat : 21881 (java) S 21876 21879 18810 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 5663956 8552243200 2441 33554432000 4194304 4196468 140722705247696 140615084350048 140615158286037 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21882] ppid=21876 vsize=8352828 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21882/stat : 21882 (java) S 21876 21879 18810 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 5663956 8553295872 2507 33554432000 4194304 4196468 140722705247696 140615083297504 140615158286037 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21883] ppid=21876 vsize=8352828 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21883/stat : 21883 (java) R 21876 21879 18810 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 5663956 8553295872 2507 33554432000 4194304 4196468 140722705247696 140615162517200 140615151015681 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[startup+0.100065 s]
/proc/loadavg: 1.85 2.00 2.03 3/266 21879
/proc/meminfo: memFree=31678500/32770624 swapFree=5932/280792
[pid=21879] ppid=21876 vsize=10833892 CPUtime=0.09 cores=0-3,8-11
/proc/21879/stat : 21879 (java) S 21876 21879 18810 0 -1 1077944320 4537 0 0 0 8 1 0 0 20 0 19 0 5663954 11093905408 5652 33554432000 4194304 4196468 140722705247696 140722705230240 140615158275831 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
/proc/21879/statm: 2708473 5652 2584 1 0 2696911 0
[pid=21879/tid=21880] ppid=21876 vsize=10833892 CPUtime=0.06 cores=0-3,8-11
/proc/21879/task/21880/stat : 21880 (java) D 21876 21879 18810 0 -1 1077944384 2635 0 0 0 6 0 0 0 20 0 19 0 5663955 11093905408 5652 33554432000 4194304 4196468 140722705247696 140615162513216 140615158299709 0 4 0 16800975 18446744072101658148 0 0 -1 9 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21881] ppid=21876 vsize=10833892 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21881/stat : 21881 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 5663956 11093905408 5652 33554432000 4194304 4196468 140722705247696 140615084349712 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21882] ppid=21876 vsize=10833892 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21882/stat : 21882 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 5663956 11093905408 5652 33554432000 4194304 4196468 140722705247696 140615083297168 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21883] ppid=21876 vsize=10833892 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21883/stat : 21883 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 5663956 11093905408 5652 33554432000 4194304 4196468 140722705247696 140614763014672 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10833892
[startup+0.200563 s]
/proc/loadavg: 1.85 2.00 2.03 3/266 21879
/proc/meminfo: memFree=31678500/32770624 swapFree=5932/280792
[pid=21879] ppid=21876 vsize=10900580 CPUtime=0.17 cores=0-3,8-11
/proc/21879/stat : 21879 (java) S 21876 21879 18810 0 -1 1077944320 5293 0 0 0 15 2 0 0 20 0 20 0 5663954 11162193920 6821 33554432000 4194304 4196468 140722705247696 140722705230240 140615158275831 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
/proc/21879/statm: 2725145 6821 2755 1 0 2713552 0
[pid=21879/tid=21880] ppid=21876 vsize=10900580 CPUtime=0.13 cores=0-3,8-11
/proc/21879/task/21880/stat : 21880 (java) R 21876 21879 18810 0 -1 4202560 3224 0 0 0 12 1 0 0 20 0 20 0 5663955 11162193920 6821 33554432000 4194304 4196468 140722705247696 140615162509248 140615142319461 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21881] ppid=21876 vsize=10900580 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21881/stat : 21881 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5663956 11162193920 6821 33554432000 4194304 4196468 140722705247696 140615084349712 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21882] ppid=21876 vsize=10900580 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21882/stat : 21882 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5663956 11162193920 6821 33554432000 4194304 4196468 140722705247696 140615083297168 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21883] ppid=21876 vsize=10900580 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21883/stat : 21883 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5663956 11162193920 6821 33554432000 4194304 4196468 140722705247696 140614763014672 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10900580
[startup+0.3005 s]
/proc/loadavg: 1.85 2.00 2.03 3/266 21879
/proc/meminfo: memFree=31678500/32770624 swapFree=5932/280792
[pid=21879] ppid=21876 vsize=10902664 CPUtime=0.37 cores=0-3,8-11
/proc/21879/stat : 21879 (java) S 21876 21879 18810 0 -1 1077944320 8026 0 0 0 34 3 0 0 20 0 20 0 5663954 11164327936 9901 33554432000 4194304 4196468 140722705247696 140722705230240 140615158275831 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
/proc/21879/statm: 2725666 9901 2918 1 0 2713552 0
[pid=21879/tid=21880] ppid=21876 vsize=10902664 CPUtime=0.22 cores=0-3,8-11
/proc/21879/task/21880/stat : 21880 (java) R 21876 21879 18810 0 -1 4202560 5064 0 0 0 21 1 0 0 20 0 20 0 5663955 11164327936 9901 33554432000 4194304 4196468 140722705247696 140615162515008 140615158287766 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21881] ppid=21876 vsize=10902664 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21881/stat : 21881 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5663956 11164327936 9901 33554432000 4194304 4196468 140722705247696 140615084349712 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21882] ppid=21876 vsize=10902664 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21882/stat : 21882 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5663956 11164327936 9901 33554432000 4194304 4196468 140722705247696 140615083297168 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21883] ppid=21876 vsize=10902664 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21883/stat : 21883 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5663956 11164327936 9901 33554432000 4194304 4196468 140722705247696 140614763014672 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902664
[startup+0.700312 s]
/proc/loadavg: 1.85 2.00 2.03 3/266 21879
/proc/meminfo: memFree=31678500/32770624 swapFree=5932/280792
[pid=21879] ppid=21876 vsize=10971352 CPUtime=1.32 cores=0-3,8-11
/proc/21879/stat : 21879 (java) S 21876 21879 18810 0 -1 1077944320 12676 0 0 0 125 7 0 0 20 0 21 0 5663954 11234664448 22919 33554432000 4194304 4196468 140722705247696 140722705230240 140615158275831 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
/proc/21879/statm: 2742838 22919 3110 1 0 2730705 0
[pid=21879/tid=21880] ppid=21876 vsize=10971352 CPUtime=0.27 cores=0-3,8-11
/proc/21879/task/21880/stat : 21880 (java) S 21876 21879 18810 0 -1 1077944384 5165 0 0 0 25 2 0 0 20 0 21 0 5663955 11234664448 22919 33554432000 4194304 4196468 140722705247696 140615162518704 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21881] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21881/stat : 21881 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 22919 33554432000 4194304 4196468 140722705247696 140615084349712 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21882] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21882/stat : 21882 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 22919 33554432000 4194304 4196468 140722705247696 140615083297168 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21883] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21883/stat : 21883 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 22919 33554432000 4194304 4196468 140722705247696 140614763014672 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21879 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800543 s]
/proc/loadavg: 1.85 2.00 2.03 3/266 21879
/proc/meminfo: memFree=31678500/32770624 swapFree=5932/280792
[pid=21879] ppid=21876 vsize=10971352 CPUtime=1.7 cores=0-3,8-11
/proc/21879/stat : 21879 (java) S 21876 21879 18810 0 -1 1077944320 12998 0 0 0 163 7 0 0 20 0 21 0 5663954 11234664448 23223 33554432000 4194304 4196468 140722705247696 140722705230240 140615158275831 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
/proc/21879/statm: 2742838 23223 3114 1 0 2730705 0
[pid=21879/tid=21880] ppid=21876 vsize=10971352 CPUtime=0.27 cores=0-3,8-11
/proc/21879/task/21880/stat : 21880 (java) S 21876 21879 18810 0 -1 1077944384 5165 0 0 0 25 2 0 0 20 0 21 0 5663955 11234664448 23223 33554432000 4194304 4196468 140722705247696 140615162518704 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21881] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21881/stat : 21881 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 23223 33554432000 4194304 4196468 140722705247696 140615084349712 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21882] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21882/stat : 21882 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 23223 33554432000 4194304 4196468 140722705247696 140615083297168 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21883] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21883/stat : 21883 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 23223 33554432000 4194304 4196468 140722705247696 140614763014672 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10971352
[startup+1.00033 s]
/proc/loadavg: 1.85 2.00 2.03 3/266 21879
/proc/meminfo: memFree=31678500/32770624 swapFree=5932/280792
[pid=21879] ppid=21876 vsize=10971352 CPUtime=2.05 cores=0-3,8-11
/proc/21879/stat : 21879 (java) S 21876 21879 18810 0 -1 1077944320 13112 0 0 0 198 7 0 0 20 0 21 0 5663954 11234664448 23353 33554432000 4194304 4196468 140722705247696 140722705230240 140615158275831 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
/proc/21879/statm: 2742838 23353 3117 1 0 2730705 0
[pid=21879/tid=21880] ppid=21876 vsize=10971352 CPUtime=0.27 cores=0-3,8-11
/proc/21879/task/21880/stat : 21880 (java) S 21876 21879 18810 0 -1 1077944384 5165 0 0 0 25 2 0 0 20 0 21 0 5663955 11234664448 23353 33554432000 4194304 4196468 140722705247696 140615162518704 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21881] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21881/stat : 21881 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 23353 33554432000 4194304 4196468 140722705247696 140615084349712 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21882] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21882/stat : 21882 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 23353 33554432000 4194304 4196468 140722705247696 140615083297168 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
[pid=21879/tid=21883] ppid=21876 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21879/task/21883/stat : 21883 (java) S 21876 21879 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5663956 11234664448 23353 33554432000 4194304 4196468 140722705247696 140614763014672 140615158286037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28360704 140722705249475 140722705249604 140722705249604 140722705252303 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10971352
Child status: 0
Real time (s): 1.05034
CPU time (s): 2.15098
CPU user time (s): 2.06482
CPU system time (s): 0.08616
CPU usage (%): 204.789
Max. virtual memory (cumulated for all children) (KiB): 10971352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.06482
system time used= 0.08616
maximum resident set size= 94956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2507
involuntary context switches= 174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014163 second user time and 0.019733 second system time
The end
Begin job on node132 at 2017-07-22 08:12:48
IDJOB=4246080
IDBENCH=124113
IDSOLVER=2624
FILE ID=node132/4246080-1500703968
RUNJOBID= node132-1500696776-19900
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB
SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-035.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246080-1500703968/watcher-4246080-1500703968 -o /tmp/evaluation-result-4246080-1500703968/solver-4246080-1500703968 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500696776-19900 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4246080-1500703968.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= fe30f006f3af9f6842518347a037ed7d
RANDOM SEED=1905396526
node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1733.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31678600 kB
MemAvailable: 31882032 kB
Buffers: 126152 kB
Cached: 357244 kB
SwapCached: 0 kB
Active: 363200 kB
Inactive: 289420 kB
Active(anon): 172488 kB
Inactive(anon): 8628 kB
Active(file): 190712 kB
Inactive(file): 280792 kB
Unevictable: 5932 kB
Mlocked: 5932 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8196 kB
Writeback: 0 kB
AnonPages: 199388 kB
Mapped: 42856 kB
Shmem: 8872 kB
Slab: 129684 kB
SReclaimable: 95524 kB
SUnreclaim: 34160 kB
KernelStack: 4960 kB
PageTables: 5480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 1178620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 96256 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 140672 kB
DirectMap2M: 33404928 kB
Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 08:12:49