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-4256587-1501627546/watcher-4256587-1501627546 -o /tmp/evaluation-result-4256587-1501627546/solver-4256587-1501627546 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29847 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 511573223 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256587-1501627546.xml
pid=456
running on 4 cores: 0,2,4,6
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: 2.01 1.84 1.72 3/198 460
/proc/meminfo: memFree=30550292/32770624 swapFree=0/224032
[pid=460] ppid=456 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/460/stat : 460 (runsolver) D 456 460 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 62408132 24240128 106 18446744073709551615 4194304 4338465 140724346571792 140724346569432 140553001566935 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 17784832 140724346572906 140724346573381 140724346573381 140724346576842 0
/proc/460/statm: 5918 106 53 36 0 2156 0
[startup+0.100091 s]
/proc/loadavg: 2.01 1.84 1.72 3/198 460
/proc/meminfo: memFree=30550292/32770624 swapFree=0/224032
[pid=460] ppid=456 vsize=13358552 CPUtime=0 cores=0,2,4,6
/proc/460/stat : 460 (java) S 456 460 18930 0 -1 1077944320 3322 0 0 0 0 0 0 0 20 0 6 0 62408132 13679157248 3972 18446744073709551615 4194304 4196468 140731176924096 140731176906640 140627621797623 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
/proc/460/statm: 3339638 3972 1864 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552
[startup+0.200225 s]
/proc/loadavg: 2.01 1.84 1.72 3/198 460
/proc/meminfo: memFree=30550292/32770624 swapFree=0/224032
[pid=460] ppid=456 vsize=13975920 CPUtime=0.08 cores=0,2,4,6
/proc/460/stat : 460 (java) S 456 460 18930 0 -1 1077944320 6558 0 0 0 7 1 0 0 20 0 15 0 62408132 14311342080 7798 18446744073709551615 4194304 4196468 140731176924096 140731176906640 140627621797623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
/proc/460/statm: 3493980 7798 3342 1 0 3482767 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13975920
[startup+0.300229 s]
/proc/loadavg: 2.01 1.84 1.72 3/198 460
/proc/meminfo: memFree=30550292/32770624 swapFree=0/224032
[pid=460] ppid=456 vsize=13975920 CPUtime=0.24 cores=0,2,4,6
/proc/460/stat : 460 (java) S 456 460 18930 0 -1 1077944320 9849 0 0 0 22 2 0 0 20 0 15 0 62408132 14311342080 10116 18446744073709551615 4194304 4196468 140731176924096 140731176906640 140627621797623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
/proc/460/statm: 3493980 10116 3528 1 0 3482767 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13975920
[startup+0.705856 s]
/proc/loadavg: 2.01 1.84 1.72 3/198 460
/proc/meminfo: memFree=30550292/32770624 swapFree=0/224032
[pid=460] ppid=456 vsize=13977988 CPUtime=1.05 cores=0,2,4,6
/proc/460/stat : 460 (java) S 456 460 18930 0 -1 1077944320 13828 0 0 0 101 4 0 0 20 0 15 0 62408132 14313459712 17648 18446744073709551615 4194304 4196468 140731176924096 140731176906640 140627621797623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
/proc/460/statm: 3494497 17648 3729 1 0 3483279 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13977988
[startup+1.50064 s]
/proc/loadavg: 2.01 1.84 1.72 5/213 475
/proc/meminfo: memFree=30452400/32770624 swapFree=0/224052
[pid=460] ppid=456 vsize=13980036 CPUtime=3.29 cores=0,2,4,6
/proc/460/stat : 460 (java) S 456 460 18930 0 -1 1077944320 28839 0 0 0 321 8 0 0 20 0 15 0 62408132 14315556864 47656 18446744073709551615 4194304 4196468 140731176924096 140731176906640 140627621797623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
/proc/460/statm: 3495009 47656 3752 1 0 3483791 0
[pid=460/tid=462] ppid=456 vsize=13980036 CPUtime=1.37 cores=0,2,4,6
/proc/460/task/462/stat : 462 (java) R 456 460 18930 0 -1 4202560 13424 0 0 0 131 6 0 0 20 0 15 0 62408141 14315556864 47656 18446744073709551615 4194304 4196468 140731176924096 140627626033176 140627249701775 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=463] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/463/stat : 463 (java) S 456 460 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 47656 18446744073709551615 4194304 4196468 140731176924096 140627578763920 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=464] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/464/stat : 464 (java) S 456 460 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627577711120 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=465] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/465/stat : 465 (java) S 456 460 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627576658320 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=466] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/466/stat : 466 (java) S 456 460 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627575605520 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=467] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/467/stat : 467 (java) S 456 460 18930 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 62408143 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627167456112 140627621808770 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=468] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/468/stat : 468 (java) S 456 460 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62408143 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627166402080 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=469] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/469/stat : 469 (java) S 456 460 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62408143 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627165349232 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=470] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/470/stat : 470 (java) S 456 460 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627164297552 140627621816219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=471] ppid=456 vsize=13980036 CPUtime=0.75 cores=0,2,4,6
/proc/460/task/471/stat : 471 (java) R 456 460 18930 0 -1 4202560 5138 0 0 0 74 1 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627163224976 140627602369750 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=472] ppid=456 vsize=13980036 CPUtime=0.75 cores=0,2,4,6
/proc/460/task/472/stat : 472 (java) R 456 460 18930 0 -1 4202560 6341 0 0 0 75 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626960030896 140627602496968 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=473] ppid=456 vsize=13980036 CPUtime=0.4 cores=0,2,4,6
/proc/460/task/473/stat : 473 (java) S 456 460 18930 0 -1 1077944384 2478 0 0 0 40 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626958997616 140627621808770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=474] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/474/stat : 474 (java) S 456 460 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626957945056 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=475] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/475/stat : 475 (java) S 456 460 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62408150 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626956893360 140627621808770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 13980036
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 460 sig 9
??? end of watcher thread
??? end of watcher thread
her main loop
3980036
8930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62408150 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626956893360 140627621808770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
9 Solver just ended.
Dumping a history of the last processes samples
[startup+1.50064 s]
/proc/loadavg: 2.01 1.84 1.72 5/213 475
/proc/meminfo: memFree=30452400/32770624 swapFree=0/224052
[pid=460] ppid=456 vsize=13980036 CPUtime=3.29 cores=0,2,4,6
/proc/460/stat : 460 (java) S 456 460 18930 0 -1 1077944320 28839 0 0 0 321 8 0 0 20 0 15 0 62408132 14315556864 47656 18446744073709551615 4194304 4196468 140731176924096 140731176906640 140627621797623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
/proc/460/statm: 3495009 47656 3752 1 0 3483791 0
[pid=460/tid=462] ppid=456 vsize=13980036 CPUtime=1.37 cores=0,2,4,6
/proc/460/task/462/stat : 462 (java) R 456 460 18930 0 -1 4202560 13424 0 0 0 131 6 0 0 20 0 15 0 62408141 14315556864 47656 18446744073709551615 4194304 4196468 140731176924096 140627626033176 140627249701775 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=463] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/463/stat : 463 (java) S 456 460 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 47656 18446744073709551615 4194304 4196468 140731176924096 140627578763920 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=464] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/464/stat : 464 (java) S 456 460 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627577711120 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=465] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/465/stat : 465 (java) S 456 460 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627576658320 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=466] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/466/stat : 466 (java) S 456 460 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62408141 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627575605520 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=467] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/467/stat : 467 (java) S 456 460 18930 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 62408143 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627167456112 140627621808770 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=468] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/468/stat : 468 (java) S 456 460 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62408143 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627166402080 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=469] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/469/stat : 469 (java) S 456 460 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62408143 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627165349232 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=470] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/470/stat : 470 (java) S 456 460 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627164297552 140627621816219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=471] ppid=456 vsize=13980036 CPUtime=0.75 cores=0,2,4,6
/proc/460/task/471/stat : 471 (java) R 456 460 18930 0 -1 4202560 5138 0 0 0 74 1 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140627163224976 140627602369750 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=472] ppid=456 vsize=13980036 CPUtime=0.75 cores=0,2,4,6
/proc/460/task/472/stat : 472 (java) R 456 460 18930 0 -1 4202560 6341 0 0 0 75 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626960030896 140627602496968 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=473] ppid=456 vsize=13980036 CPUtime=0.4 cores=0,2,4,6
/proc/460/task/473/stat : 473 (java) S 456 460 18930 0 -1 1077944384 2478 0 0 0 40 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626958997616 140627621808770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=474] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/474/stat : 474 (java) S 456 460 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408146 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626957945056 140627621807829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
[pid=460/tid=475] ppid=456 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/460/task/475/stat : 475 (java) S 456 460 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62408150 14315556864 48168 18446744073709551615 4194304 4196468 140731176924096 140626956893360 140627621808770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140731176927637 140731176927818 140731176927818 140731176931279 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 1.64726
CPU time (s): 3.71336
CPU user time (s): 3.60937
CPU system time (s): 0.103998
CPU usage (%): 225.426
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.60937
system time used= 0.103998
maximum resident set size= 223316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31567
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= 2305
involuntary context switches= 12
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013681 second user time and 0.008419 second system time
The end