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-4256772-1501987448/watcher-4256772-1501987448 -o /tmp/evaluation-result-4256772-1501987448/solver-4256772-1501987448 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501986359-8060 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 867158192 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256772-1501987448.xml
pid=8251
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.49 1.74 1.87 3/183 8254
/proc/meminfo: memFree=31554932/32770624 swapFree=0/290776
[pid=8254] ppid=8251 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8254/stat : 8254 (runsolver) D 8251 8254 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46560139 24240128 107 18446744073709551615 4194304 4338465 140733787411024 140733787408664 140004716499671 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 28852224 140733787418738 140733787419212 140733787419212 140733787422666 0
/proc/8254/statm: 5918 107 54 36 0 2156 0
[startup+0.101843 s]
/proc/loadavg: 1.49 1.74 1.87 3/183 8254
/proc/meminfo: memFree=31554932/32770624 swapFree=0/290776
[pid=8254] ppid=8251 vsize=13356344 CPUtime=0 cores=1,3,5,7
/proc/8254/stat : 8254 (java) S 8251 8254 30500 0 -1 1077944320 2643 0 0 0 0 0 0 0 20 0 6 0 46560139 13676896256 2809 18446744073709551615 4194304 4196468 140722358077472 140722358060016 139713123925751 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
/proc/8254/statm: 3339086 2809 1316 1 0 3329056 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13356344
[startup+0.200293 s]
/proc/loadavg: 1.49 1.74 1.87 3/183 8254
/proc/meminfo: memFree=31554932/32770624 swapFree=0/290776
[pid=8254] ppid=8251 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/8254/stat : 8254 (java) S 8251 8254 30500 0 -1 1077944320 4956 0 0 0 5 0 0 0 20 0 14 0 46560139 14240239616 5505 18446744073709551615 4194304 4196468 140722358077472 140722358060016 139713123925751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
/proc/8254/statm: 3476621 5505 2582 1 0 3466118 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.300203 s]
/proc/loadavg: 1.49 1.74 1.87 3/183 8254
/proc/meminfo: memFree=31554932/32770624 swapFree=0/290776
[pid=8254] ppid=8251 vsize=13975920 CPUtime=0.17 cores=1,3,5,7
/proc/8254/stat : 8254 (java) S 8251 8254 30500 0 -1 1077944320 9828 0 0 0 15 2 0 0 20 0 15 0 46560139 14311342080 9249 18446744073709551615 4194304 4196468 140722358077472 140722358060016 139713123925751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
/proc/8254/statm: 3493980 9249 3534 1 0 3482759 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13975920
[startup+0.700167 s]
/proc/loadavg: 1.49 1.74 1.87 3/183 8254
/proc/meminfo: memFree=31554932/32770624 swapFree=0/290776
[pid=8254] ppid=8251 vsize=13977988 CPUtime=0.89 cores=1,3,5,7
/proc/8254/stat : 8254 (java) S 8251 8254 30500 0 -1 1077944320 13753 0 0 0 84 5 0 0 20 0 15 0 46560139 14313459712 16063 18446744073709551615 4194304 4196468 140722358077472 140722358060016 139713123925751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
/proc/8254/statm: 3494497 16063 3716 1 0 3483271 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 13977988
[startup+1.50071 s]
/proc/loadavg: 1.49 1.74 1.87 5/216 8300
/proc/meminfo: memFree=31419448/32770624 swapFree=0/290800
[pid=8254] ppid=8251 vsize=13982084 CPUtime=3.04 cores=1,3,5,7
/proc/8254/stat : 8254 (java) S 8251 8254 30500 0 -1 1077944320 31012 0 0 0 295 9 0 0 20 0 15 0 46560139 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 140722358060016 139713123925751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
/proc/8254/statm: 3495521 34029 3755 1 0 3484295 0
[pid=8254/tid=8258] ppid=8251 vsize=13982084 CPUtime=1.31 cores=1,3,5,7
/proc/8254/task/8258/stat : 8258 (java) R 8251 8254 30500 0 -1 4202560 14399 0 0 0 126 5 0 0 20 0 15 0 46560148 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713128160712 139712756993004 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8259] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8259/stat : 8259 (java) S 8251 8254 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713080891792 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8260] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8260/stat : 8260 (java) S 8251 8254 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713079838992 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8261] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8261/stat : 8261 (java) S 8251 8254 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713078786704 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8262] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8262/stat : 8262 (java) S 8251 8254 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713077733904 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8263] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8263/stat : 8263 (java) S 8251 8254 30500 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46560150 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712601778800 139713123936898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8264] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8264/stat : 8264 (java) S 8251 8254 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46560151 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712600724768 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8265] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8265/stat : 8265 (java) S 8251 8254 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46560151 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712599672432 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8266] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8266/stat : 8266 (java) S 8251 8254 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712598620752 139713123944347 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8267] ppid=8251 vsize=13982084 CPUtime=0.65 cores=1,3,5,7
/proc/8254/task/8267/stat : 8267 (java) R 8251 8254 30500 0 -1 4202560 6636 0 0 0 64 1 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712597553624 139713105447075 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8268] ppid=8251 vsize=13982084 CPUtime=0.65 cores=1,3,5,7
/proc/8254/task/8268/stat : 8268 (java) R 8251 8254 30500 0 -1 4202560 5646 0 0 0 64 1 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712596495816 139713116215124 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8269] ppid=8251 vsize=13982084 CPUtime=0.41 cores=1,3,5,7
/proc/8254/task/8269/stat : 8269 (java) S 8251 8254 30500 0 -1 1077944384 2950 0 0 0 40 1 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712595462512 139713123936898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8270] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8270/stat : 8270 (java) S 8251 8254 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712594409952 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8271] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8271/stat : 8271 (java) S 8251 8254 30500 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46560161 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712593357744 139713123936898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8254 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50071 s]
/proc/loadavg: 1.49 1.74 1.87 5/216 8300
/proc/meminfo: memFree=31419448/32770624 swapFree=0/290800
[pid=8254] ppid=8251 vsize=13982084 CPUtime=3.04 cores=1,3,5,7
/proc/8254/stat : 8254 (java) S 8251 8254 30500 0 -1 1077944320 31012 0 0 0 295 9 0 0 20 0 15 0 46560139 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 140722358060016 139713123925751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
/proc/8254/statm: 3495521 34029 3755 1 0 3484295 0
[pid=8254/tid=8258] ppid=8251 vsize=13982084 CPUtime=1.31 cores=1,3,5,7
/proc/8254/task/8258/stat : 8258 (java) R 8251 8254 30500 0 -1 4202560 14399 0 0 0 126 5 0 0 20 0 15 0 46560148 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713128160712 139712756993004 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8259] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8259/stat : 8259 (java) S 8251 8254 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713080891792 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8260] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8260/stat : 8260 (java) S 8251 8254 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713079838992 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8261] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8261/stat : 8261 (java) S 8251 8254 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713078786704 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8262] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8262/stat : 8262 (java) S 8251 8254 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46560149 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139713077733904 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8263] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8263/stat : 8263 (java) S 8251 8254 30500 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46560150 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712601778800 139713123936898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8264] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8264/stat : 8264 (java) S 8251 8254 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46560151 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712600724768 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8265] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8265/stat : 8265 (java) S 8251 8254 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46560151 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712599672432 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8266] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8266/stat : 8266 (java) S 8251 8254 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712598620752 139713123944347 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8267] ppid=8251 vsize=13982084 CPUtime=0.65 cores=1,3,5,7
/proc/8254/task/8267/stat : 8267 (java) R 8251 8254 30500 0 -1 4202560 6636 0 0 0 64 1 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712597553624 139713105447075 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8268] ppid=8251 vsize=13982084 CPUtime=0.65 cores=1,3,5,7
/proc/8254/task/8268/stat : 8268 (java) R 8251 8254 30500 0 -1 4202560 5646 0 0 0 64 1 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712596495816 139713116215124 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8269] ppid=8251 vsize=13982084 CPUtime=0.41 cores=1,3,5,7
/proc/8254/task/8269/stat : 8269 (java) S 8251 8254 30500 0 -1 1077944384 2950 0 0 0 40 1 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712595462512 139713123936898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8270] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8270/stat : 8270 (java) S 8251 8254 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46560153 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712594409952 139713123935957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
[pid=8254/tid=8271] ppid=8251 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8271/stat : 8271 (java) S 8251 8254 30500 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46560161 14317654016 34029 18446744073709551615 4194304 4196468 140722358077472 139712593357744 139713123936898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16973824 140722358079900 140722358080081 140722358080081 140722358083535 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 1.52209
CPU time (s): 3.07521
CPU user time (s): 2.97584
CPU system time (s): 0.099365
CPU usage (%): 202.039
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.97584
system time used= 0.099365
maximum resident set size= 138536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31516
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= 2356
involuntary context switches= 8
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010179 second user time and 0.013233 second system time
The end