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-4256096-1501629419/watcher-4256096-1501629419 -o /tmp/evaluation-result-4256096-1501629419/solver-4256096-1501629419 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501623088-15580 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1631551504 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256096-1501629419.xml
pid=20069
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.54 1.52 1.58 3/196 20072
/proc/meminfo: memFree=28714472/32770624 swapFree=0/202616
[pid=20072] ppid=20069 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20072/stat : 20072 (runsolver) D 20069 20072 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11558828 24240128 108 18446744073709551615 4194304 4338465 140724697914880 140724697912520 140409270801111 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 18182144 140724697923686 140724697924166 140724697924166 140724697927626 0
/proc/20072/statm: 5918 108 54 36 0 2156 0
[startup+0.100062 s]
/proc/loadavg: 1.54 1.52 1.58 3/196 20072
/proc/meminfo: memFree=28714472/32770624 swapFree=0/202616
[pid=20072] ppid=20069 vsize=11658652 CPUtime=0 cores=1,3,5,7
/proc/20072/stat : 20072 (java) S 20069 20072 5123 0 -1 1077944320 2245 0 0 0 0 0 0 0 20 0 3 0 11558828 11938459648 2389 18446744073709551615 4194304 4196468 140722289684240 140722289666784 140439211986679 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
/proc/20072/statm: 2914663 2389 1149 1 0 2904641 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11658652
[startup+0.200296 s]
/proc/loadavg: 1.54 1.52 1.58 3/196 20072
/proc/meminfo: memFree=28714472/32770624 swapFree=0/202616
[pid=20072] ppid=20069 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/20072/stat : 20072 (java) S 20069 20072 5123 0 -1 1077944320 4932 0 0 0 4 1 0 0 20 0 14 0 11558828 14240239616 5485 18446744073709551615 4194304 4196468 140722289684240 140722289666784 140439211986679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
/proc/20072/statm: 3476621 5485 2572 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.300349 s]
/proc/loadavg: 1.54 1.52 1.58 3/196 20072
/proc/meminfo: memFree=28714472/32770624 swapFree=0/202616
[pid=20072] ppid=20069 vsize=13975920 CPUtime=0.18 cores=1,3,5,7
/proc/20072/stat : 20072 (java) S 20069 20072 5123 0 -1 1077944320 9849 0 0 0 16 2 0 0 20 0 15 0 11558828 14311342080 9216 18446744073709551615 4194304 4196468 140722289684240 140722289666784 140439211986679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
/proc/20072/statm: 3493980 9216 3507 1 0 3482767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13975920
[startup+0.700253 s]
/proc/loadavg: 1.54 1.52 1.58 3/196 20072
/proc/meminfo: memFree=28714472/32770624 swapFree=0/202616
[pid=20072] ppid=20069 vsize=13977988 CPUtime=0.92 cores=1,3,5,7
/proc/20072/stat : 20072 (java) S 20069 20072 5123 0 -1 1077944320 13775 0 0 0 87 5 0 0 20 0 15 0 11558828 14313459712 16602 18446744073709551615 4194304 4196468 140722289684240 140722289666784 140439211986679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
/proc/20072/statm: 3494497 16602 3713 1 0 3483279 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20072 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801374 s]
/proc/loadavg: 1.54 1.52 1.58 3/196 20072
/proc/meminfo: memFree=28714472/32770624 swapFree=0/202616
[pid=20072] ppid=20069 vsize=13980036 CPUtime=1.08 cores=1,3,5,7
/proc/20072/stat : 20072 (java) S 20069 20072 5123 0 -1 1077944320 14411 0 0 0 103 5 0 0 20 0 15 0 11558828 14315556864 18238 18446744073709551615 4194304 4196468 140722289684240 140722289666784 140439211986679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
/proc/20072/statm: 3495009 18238 3728 1 0 3483791 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 13980036
[startup+1.20685 s]
/proc/loadavg: 1.54 1.52 1.58 5/211 20087
/proc/meminfo: memFree=28606236/32770624 swapFree=0/202620
[pid=20072] ppid=20069 vsize=13980036 CPUtime=2.2 cores=1,3,5,7
/proc/20072/stat : 20072 (java) S 20069 20072 5123 0 -1 1077944320 28125 0 0 0 212 8 0 0 20 0 15 0 11558828 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140722289666784 140439211986679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
/proc/20072/statm: 3495009 34010 3737 1 0 3483791 0
[pid=20072/tid=20074] ppid=20069 vsize=13980036 CPUtime=1.03 cores=1,3,5,7
/proc/20072/task/20074/stat : 20074 (java) R 20069 20072 5123 0 -1 4202560 13385 0 0 0 98 5 0 0 20 0 15 0 11558838 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140439216224816 140438803714796 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20075] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20075/stat : 20075 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11558838 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140439131401360 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20076] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20076/stat : 20076 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11558838 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140439130348560 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20077] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20077/stat : 20077 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11558838 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140439129295760 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20078] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20078/stat : 20078 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11558838 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140439128242960 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20079] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20079/stat : 20079 (java) S 20069 20072 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11558840 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438397471088 140439211997826 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20080] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20080/stat : 20080 (java) S 20069 20072 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11558840 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438396417056 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20081] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20081/stat : 20081 (java) S 20069 20072 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11558841 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438395364208 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20082] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20082/stat : 20082 (java) S 20069 20072 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11558843 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438394312528 140439212005275 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20083] ppid=20069 vsize=13980036 CPUtime=0.39 cores=1,3,5,7
/proc/20072/task/20083/stat : 20083 (java) R 20069 20072 5123 0 -1 4202560 5803 0 0 0 39 0 0 0 20 0 15 0 11558843 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438393247096 140439196380436 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20084] ppid=20069 vsize=13980036 CPUtime=0.39 cores=1,3,5,7
/proc/20072/task/20084/stat : 20084 (java) R 20069 20072 5123 0 -1 4202560 5564 0 0 0 39 0 0 0 20 0 15 0 11558843 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438392189128 140439196380555 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20085] ppid=20069 vsize=13980036 CPUtime=0.35 cores=1,3,5,7
/proc/20072/task/20085/stat : 20085 (java) S 20069 20072 5123 0 -1 1077944384 1999 0 0 0 35 0 0 0 20 0 15 0 11558843 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438391155312 140439211997826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20086] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20086/stat : 20086 (java) S 20069 20072 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11558843 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438390102752 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20087] ppid=20069 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20087/stat : 20087 (java) S 20069 20072 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11558850 14315556864 34010 18446744073709551615 4194304 4196468 140722289684240 140438389050032 140439211997826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 13980036
[startup+1.30075 s]
/proc/loadavg: 1.54 1.52 1.58 5/211 20087
/proc/meminfo: memFree=28606236/32770624 swapFree=0/202620
[pid=20072] ppid=20069 vsize=14046600 CPUtime=2.43 cores=1,3,5,7
/proc/20072/stat : 20072 (java) S 20069 20072 5123 0 -1 1077944320 30518 0 0 0 235 8 0 0 20 0 13 0 11558828 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140722289666784 140439211986679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
/proc/20072/statm: 3511650 35921 3739 1 0 3500432 0
[pid=20072/tid=20074] ppid=20069 vsize=14046600 CPUtime=1.09 cores=1,3,5,7
/proc/20072/task/20074/stat : 20074 (java) S 20069 20072 5123 0 -1 1077944384 13941 0 0 0 104 5 0 0 20 0 13 0 11558838 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140439216229520 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20075] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20075/stat : 20075 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11558838 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140439131401360 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20076] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20076/stat : 20076 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11558838 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140439130348560 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20077] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20077/stat : 20077 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11558838 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140439129295760 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20078] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20078/stat : 20078 (java) S 20069 20072 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11558838 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140439128242960 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20079] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20079/stat : 20079 (java) S 20069 20072 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 13 0 11558840 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140438397471296 140439211997826 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20080] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20080/stat : 20080 (java) S 20069 20072 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 11558840 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140438396417056 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20081] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20081/stat : 20081 (java) S 20069 20072 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 11558841 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140438395364208 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20083] ppid=20069 vsize=14046600 CPUtime=0.46 cores=1,3,5,7
/proc/20072/task/20083/stat : 20083 (java) S 20069 20072 5123 0 -1 1077944384 6699 0 0 0 46 0 0 0 20 0 13 0 11558843 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140438393240656 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20084] ppid=20069 vsize=14046600 CPUtime=0.48 cores=1,3,5,7
/proc/20072/task/20084/stat : 20084 (java) R 20069 20072 5123 0 -1 4202560 6368 0 0 0 48 0 0 0 20 0 13 0 11558843 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140438392194136 140439197094303 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20085] ppid=20069 vsize=14046600 CPUtime=0.35 cores=1,3,5,7
/proc/20072/task/20085/stat : 20085 (java) S 20069 20072 5123 0 -1 1077944384 2074 0 0 0 35 0 0 0 20 0 13 0 11558843 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140438391155312 140439211997826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
[pid=20072/tid=20086] ppid=20069 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/20072/task/20086/stat : 20086 (java) S 20069 20072 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 11558843 14383718400 35921 18446744073709551615 4194304 4196468 140722289684240 140438390102752 140439211996885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140722289693073 140722289693259 140722289693259 140722289696719 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 14046600
Child status: 0
Real time (s): 1.32807
CPU time (s): 2.46003
CPU user time (s): 2.37159
CPU system time (s): 0.088445
CPU usage (%): 185.233
Max. virtual memory (cumulated for all children) (KiB): 14046600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.37159
system time used= 0.088445
maximum resident set size= 145016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2170
involuntary context switches= 5
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007491 second user time and 0.012485 second system time
The end