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-4256731-1501632907/watcher-4256731-1501632907 -o /tmp/evaluation-result-4256731-1501632907/solver-4256731-1501632907 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501623096-17792 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 288978580 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256731-1501632907.xml
pid=25729
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: 1.55 1.53 1.54 3/202 25732
/proc/meminfo: memFree=31281656/32770624 swapFree=0/187644
[pid=25732] ppid=25729 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25732/stat : 25732 (runsolver) D 25729 25732 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5201371 24240128 107 18446744073709551615 4194304 4338465 140725269591280 140725269588920 140146100843223 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 34365440 140725269598316 140725269598791 140725269598791 140725269602250 0
/proc/25732/statm: 5918 107 54 36 0 2156 0
[startup+0.100721 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25732
/proc/meminfo: memFree=31281656/32770624 swapFree=0/187644
[pid=25732] ppid=25729 vsize=11658652 CPUtime=0 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 3187 0 -1 1077944320 2246 0 0 0 0 0 0 0 20 0 3 0 5201371 11938459648 2389 18446744073709551615 4194304 4196468 140722371667008 140722371649552 140289895083767 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
/proc/25732/statm: 2914663 2389 1149 1 0 2904641 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11658652
[startup+0.200219 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25732
/proc/meminfo: memFree=31281656/32770624 swapFree=0/187644
[pid=25732] ppid=25729 vsize=13976388 CPUtime=0.06 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 3187 0 -1 1077944320 5835 0 0 0 6 0 0 0 20 0 15 0 5201371 14311821312 6341 18446744073709551615 4194304 4196468 140722371667008 140722371649552 140289895083767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
/proc/25732/statm: 3494097 6341 3285 1 0 3482884 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13976388
[startup+0.302994 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25732
/proc/meminfo: memFree=31281656/32770624 swapFree=0/187644
[pid=25732] ppid=25729 vsize=13975920 CPUtime=0.23 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 3187 0 -1 1077944320 10103 0 0 0 21 2 0 0 20 0 15 0 5201371 14311342080 9844 18446744073709551615 4194304 4196468 140722371667008 140722371649552 140289895083767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
/proc/25732/statm: 3493980 9844 3540 1 0 3482767 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13975920
[startup+0.705011 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25732
/proc/meminfo: memFree=31281656/32770624 swapFree=0/187644
[pid=25732] ppid=25729 vsize=13977988 CPUtime=0.99 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 3187 0 -1 1077944320 13874 0 0 0 95 4 0 0 20 0 15 0 5201371 14313459712 16652 18446744073709551615 4194304 4196468 140722371667008 140722371649552 140289895083767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
/proc/25732/statm: 3494497 16652 3717 1 0 3483279 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13977988
[startup+1.5006 s]
/proc/loadavg: 1.55 1.53 1.54 5/217 25747
/proc/meminfo: memFree=31194032/32770624 swapFree=0/187632
[pid=25732] ppid=25729 vsize=13982084 CPUtime=3.14 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 3187 0 -1 1077944320 26659 0 0 0 307 7 0 0 20 0 15 0 5201371 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140722371649552 140289895083767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
/proc/25732/statm: 3495521 32912 3750 1 0 3484303 0
[pid=25732/tid=25734] ppid=25729 vsize=13982084 CPUtime=1.35 cores=0,2,4,6
/proc/25732/task/25734/stat : 25734 (java) R 25729 25732 3187 0 -1 4202560 14174 0 0 0 130 5 0 0 20 0 15 0 5201381 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289899313504 140289491623937 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25735] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25735/stat : 25735 (java) S 25729 25732 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289814497936 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25736] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25736/stat : 25736 (java) S 25729 25732 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289813445136 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25737] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25737/stat : 25737 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289812392336 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25738] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25738/stat : 25738 (java) S 25729 25732 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289811339536 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25739] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25739/stat : 25739 (java) S 25729 25732 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5201383 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289080249200 140289895094914 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25740] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25740/stat : 25740 (java) S 25729 25732 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5201383 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289079195168 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25741] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25741/stat : 25741 (java) S 25729 25732 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5201383 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289078142320 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25742] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25742/stat : 25742 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201386 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289077090640 140289895102363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25743] ppid=25729 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/25732/task/25743/stat : 25743 (java) R 25729 25732 3187 0 -1 4202560 4664 0 0 0 66 0 0 0 20 0 15 0 5201386 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289076023880 140289876627086 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25744] ppid=25729 vsize=13982084 CPUtime=0.65 cores=0,2,4,6
/proc/25732/task/25744/stat : 25744 (java) R 25729 25732 3187 0 -1 4202560 3421 0 0 0 65 0 0 0 20 0 15 0 5201386 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289074965480 140289876604602 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25745] ppid=25729 vsize=13982084 CPUtime=0.44 cores=0,2,4,6
/proc/25732/task/25745/stat : 25745 (java) S 25729 25732 3187 0 -1 1077944384 3017 0 0 0 44 0 0 0 20 0 15 0 5201386 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289073932400 140289895094914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25746] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25746/stat : 25746 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201386 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289072879840 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25747] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25747/stat : 25747 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201390 14317654016 32912 18446744073709551615 4194304 4196468 140722371667008 140289071828144 140289895094914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25732 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60073 s]
/proc/loadavg: 1.55 1.53 1.54 5/217 25747
/proc/meminfo: memFree=31194032/32770624 swapFree=0/187632
[pid=25732] ppid=25729 vsize=13982084 CPUtime=3.46 cores=0,2,4,6
/proc/25732/stat : 25732 (java) S 25729 25732 3187 0 -1 1077944320 26859 0 0 0 339 7 0 0 20 0 15 0 5201371 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140722371649552 140289895083767 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
/proc/25732/statm: 3495521 33339 3751 1 0 3484303 0
[pid=25732/tid=25734] ppid=25729 vsize=13982084 CPUtime=1.45 cores=0,2,4,6
/proc/25732/task/25734/stat : 25734 (java) R 25729 25732 3187 0 -1 4202560 14188 0 0 0 140 5 0 0 20 0 15 0 5201381 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289899313504 140289490266998 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25735] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25735/stat : 25735 (java) S 25729 25732 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289814497936 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25736] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25736/stat : 25736 (java) S 25729 25732 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289813445136 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25737] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25737/stat : 25737 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289812392336 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25738] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25738/stat : 25738 (java) S 25729 25732 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5201381 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289811339536 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25739] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25739/stat : 25739 (java) S 25729 25732 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5201383 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289080249200 140289895094914 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25740] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25740/stat : 25740 (java) S 25729 25732 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5201383 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289079195168 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25741] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25741/stat : 25741 (java) S 25729 25732 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5201383 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289078142320 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25742] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25742/stat : 25742 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201386 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289077090640 140289895102363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25743] ppid=25729 vsize=13982084 CPUtime=0.76 cores=0,2,4,6
/proc/25732/task/25743/stat : 25743 (java) R 25729 25732 3187 0 -1 4202560 4768 0 0 0 76 0 0 0 20 0 15 0 5201386 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289076026992 140289880209008 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25744] ppid=25729 vsize=13982084 CPUtime=0.75 cores=0,2,4,6
/proc/25732/task/25744/stat : 25744 (java) R 25729 25732 3187 0 -1 4202560 3445 0 0 0 75 0 0 0 20 0 15 0 5201386 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289074965480 140289878470676 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25745] ppid=25729 vsize=13982084 CPUtime=0.46 cores=0,2,4,6
/proc/25732/task/25745/stat : 25745 (java) S 25729 25732 3187 0 -1 1077944384 3075 0 0 0 46 0 0 0 20 0 15 0 5201386 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289073932400 140289895094914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25746] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25746/stat : 25746 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201386 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289072879840 140289895093973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
[pid=25732/tid=25747] ppid=25729 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25732/task/25747/stat : 25747 (java) S 25729 25732 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201390 14317654016 33339 18446744073709551615 4194304 4196468 140722371667008 140289071828144 140289895094914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7524352 140722371670423 140722371670604 140722371670604 140722371674063 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 1.62436
CPU time (s): 3.50691
CPU user time (s): 3.42402
CPU system time (s): 0.082888
CPU usage (%): 215.895
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42402
system time used= 0.082888
maximum resident set size= 135848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27086
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= 2521
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011571 second user time and 0.026035 second system time
The end