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-4256313-1501628041/watcher-4256313-1501628041 -o /tmp/evaluation-result-4256313-1501628041/solver-4256313-1501628041 -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 738886879 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256313-1501628041.xml
pid=18899
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.36 1.52 1.63 2/195 18902
/proc/meminfo: memFree=31686080/32770624 swapFree=0/201064
[pid=18902] ppid=18899 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18902/stat : 18902 (runsolver) D 18899 18902 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11421063 24240128 108 18446744073709551615 4194304 4338465 140726431555088 140726431552728 140054811083479 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31068160 140726431563879 140726431564358 140726431564358 140726431567818 0
/proc/18902/statm: 5918 108 54 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 1.36 1.52 1.63 2/195 18902
/proc/meminfo: memFree=31686080/32770624 swapFree=0/201064
[pid=18902] ppid=18899 vsize=105196 CPUtime=0 cores=1,3,5,7
/proc/18902/stat : 18902 (java) S 18899 18902 5123 0 -1 1077944320 1626 0 0 0 0 0 0 0 20 0 2 0 11421063 107720704 1316 18446744073709551615 4194304 4196468 140727275765216 140727275747760 140214586113783 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
/proc/18902/statm: 26299 1316 989 1 0 16816 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 105196
[startup+0.200299 s]
/proc/loadavg: 1.36 1.52 1.63 2/195 18902
/proc/meminfo: memFree=31686080/32770624 swapFree=0/201064
[pid=18902] ppid=18899 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/18902/stat : 18902 (java) S 18899 18902 5123 0 -1 1077944320 5006 0 0 0 4 1 0 0 20 0 14 0 11421063 14240239616 5535 18446744073709551615 4194304 4196468 140727275765216 140727275747760 140214586113783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
/proc/18902/statm: 3476621 5535 2566 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.300312 s]
/proc/loadavg: 1.36 1.52 1.63 2/195 18902
/proc/meminfo: memFree=31686080/32770624 swapFree=0/201064
[pid=18902] ppid=18899 vsize=13976944 CPUtime=0.14 cores=1,3,5,7
/proc/18902/stat : 18902 (java) S 18899 18902 5123 0 -1 1077944320 9546 0 0 0 12 2 0 0 20 0 15 0 11421063 14312390656 8556 18446744073709551615 4194304 4196468 140727275765216 140727275747760 140214586113783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
/proc/18902/statm: 3494236 8556 3379 1 0 3483023 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13976944
[startup+0.704226 s]
/proc/loadavg: 1.36 1.52 1.63 2/195 18902
/proc/meminfo: memFree=31686080/32770624 swapFree=0/201064
[pid=18902] ppid=18899 vsize=13977988 CPUtime=0.89 cores=1,3,5,7
/proc/18902/stat : 18902 (java) S 18899 18902 5123 0 -1 1077944320 13680 0 0 0 84 5 0 0 20 0 15 0 11421063 14313459712 15973 18446744073709551615 4194304 4196468 140727275765216 140727275747760 140214586113783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
/proc/18902/statm: 3494497 15973 3717 1 0 3483279 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 13977988
[startup+1.50062 s]
/proc/loadavg: 1.36 1.52 1.63 5/210 18917
/proc/meminfo: memFree=31597728/32770624 swapFree=0/201088
[pid=18902] ppid=18899 vsize=13980036 CPUtime=2.98 cores=1,3,5,7
/proc/18902/stat : 18902 (java) S 18899 18902 5123 0 -1 1077944320 27885 0 0 0 290 8 0 0 20 0 15 0 11421063 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140727275747760 140214586113783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
/proc/18902/statm: 3495009 37184 3745 1 0 3483791 0
[pid=18902/tid=18904] ppid=18899 vsize=13980036 CPUtime=1.3 cores=1,3,5,7
/proc/18902/task/18904/stat : 18904 (java) R 18899 18902 5123 0 -1 4202560 13941 0 0 0 124 6 0 0 20 0 15 0 11421073 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214590349288 140214194231778 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18905] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18905/stat : 18905 (java) S 18899 18902 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11421074 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214520547728 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18906] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18906/stat : 18906 (java) S 18899 18902 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11421074 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214519494928 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18907] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18907/stat : 18907 (java) S 18899 18902 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11421074 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214518442640 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18908] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18908/stat : 18908 (java) S 18899 18902 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11421074 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214517389840 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18909] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18909/stat : 18909 (java) S 18899 18902 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11421075 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214064876144 140214586124930 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18910] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18910/stat : 18910 (java) S 18899 18902 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11421075 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214063822112 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18911] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18911/stat : 18911 (java) S 18899 18902 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11421076 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214062769776 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18912] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18912/stat : 18912 (java) S 18899 18902 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11421078 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214061718096 140214586132379 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18913] ppid=18899 vsize=13980036 CPUtime=0.64 cores=1,3,5,7
/proc/18902/task/18913/stat : 18913 (java) R 18899 18902 5123 0 -1 4202560 6475 0 0 0 64 0 0 0 20 0 15 0 11421078 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214060651408 140214563708528 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18914] ppid=18899 vsize=13980036 CPUtime=0.67 cores=1,3,5,7
/proc/18902/task/18914/stat : 18914 (java) R 18899 18902 5123 0 -1 4202560 4065 0 0 0 67 0 0 0 20 0 15 0 11421078 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214059598368 140214569613153 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18915] ppid=18899 vsize=13980036 CPUtime=0.34 cores=1,3,5,7
/proc/18902/task/18915/stat : 18915 (java) R 18899 18902 5123 0 -1 1077944384 2022 0 0 0 34 0 0 0 20 0 15 0 11421078 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214058559856 140214586124930 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18916] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18916/stat : 18916 (java) S 18899 18902 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11421078 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214057507296 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18917] ppid=18899 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18917/stat : 18917 (java) S 18899 18902 5123 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11421087 14315556864 37184 18446744073709551615 4194304 4196468 140727275765216 140214056455088 140214586124930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 13980036
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18902 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60083 s]
/proc/loadavg: 1.36 1.52 1.63 5/210 18917
/proc/meminfo: memFree=31597728/32770624 swapFree=0/201088
[pid=18902] ppid=18899 vsize=14046600 CPUtime=3.26 cores=1,3,5,7
/proc/18902/stat : 18902 (java) S 18899 18902 5123 0 -1 1077944320 28454 0 0 0 317 9 0 0 20 0 13 0 11421063 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140727275747760 140214586113783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
/proc/18902/statm: 3511650 40825 3747 1 0 3500432 0
[pid=18902/tid=18904] ppid=18899 vsize=14046600 CPUtime=1.39 cores=1,3,5,7
/proc/18902/task/18904/stat : 18904 (java) S 18899 18902 5123 0 -1 1077944384 14333 0 0 0 133 6 0 0 20 0 13 0 11421073 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214590356624 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18905] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18905/stat : 18905 (java) S 18899 18902 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 11421074 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214520547728 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18906] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18906/stat : 18906 (java) S 18899 18902 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 11421074 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214519494928 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18907] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18907/stat : 18907 (java) S 18899 18902 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 11421074 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214518442640 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18908] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18908/stat : 18908 (java) S 18899 18902 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11421074 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214517389840 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18909] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18909/stat : 18909 (java) S 18899 18902 5123 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 13 0 11421075 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214064876352 140214586124930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18910] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18910/stat : 18910 (java) S 18899 18902 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 11421075 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214063822112 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18911] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18911/stat : 18911 (java) S 18899 18902 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 11421076 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214062769776 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18913] ppid=18899 vsize=14046600 CPUtime=0.73 cores=1,3,5,7
/proc/18902/task/18913/stat : 18913 (java) S 18899 18902 5123 0 -1 1077944384 6551 0 0 0 73 0 0 0 20 0 13 0 11421078 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214060649456 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18914] ppid=18899 vsize=14046600 CPUtime=0.76 cores=1,3,5,7
/proc/18902/task/18914/stat : 18914 (java) S 18899 18902 5123 0 -1 1077944384 4080 0 0 0 76 0 0 0 20 0 13 0 11421078 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214059596656 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18915] ppid=18899 vsize=14046600 CPUtime=0.34 cores=1,3,5,7
/proc/18902/task/18915/stat : 18915 (java) S 18899 18902 5123 0 -1 1077944384 2038 0 0 0 34 0 0 0 20 0 13 0 11421078 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214058559856 140214586124930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
[pid=18902/tid=18916] ppid=18899 vsize=14046600 CPUtime=0 cores=1,3,5,7
/proc/18902/task/18916/stat : 18916 (java) S 18899 18902 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 11421078 14383718400 40825 18446744073709551615 4194304 4196468 140727275765216 140214057507296 140214586123989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33402880 140727275770258 140727275770443 140727275770443 140727275773903 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 14046600
Child status: 0
Real time (s): 1.6065
CPU time (s): 3.27867
CPU user time (s): 3.17926
CPU system time (s): 0.099415
CPU usage (%): 204.088
Max. virtual memory (cumulated for all children) (KiB): 14046600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.17926
system time used= 0.099415
maximum resident set size= 163576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28469
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= 2287
involuntary context switches= 9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010409 second user time and 0.010409 second system time
The end